Tool SymDIVINE
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 11:13:29 CET [[ 2017-01-15 02:06:46 CET ]] [[ 2017-01-15 03:46:01 CET ]] [[ 2017-01-15 02:24:39 CET ]] [[ 2017-01-15 04:02:29 CET ]]
Run set sv-comp17.ReachSafety-ECA
Options --fix_volatile --fix_inline --silent -Os [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symdivine.2017-01-13_1113.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
eca-rers2012/Problem01_label15_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  0      error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem01_label20_false-unreach-call.c out of memory 0 wit inspect 120   110   1600 15000 .25  0      error (invalid witness file) .63 .41 8.7 42 error (invalid witness file) 6.8 3.6 88 300 - -
eca-rers2012/Problem01_label21_false-unreach-call.c out of memory 0 wit inspect 110   110   1400 15000 .25  0      error (invalid witness file) .63 .40 10   45 error (invalid witness file) 6.3 3.3 100 300 - -
eca-rers2012/Problem01_label32_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  14      error (invalid witness file) .67 .42 7.9 41 error (invalid witness file) 7.0 3.7 140 310 - -
eca-rers2012/Problem01_label33_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  .13   error (invalid witness file) .52 .33 9.6 39 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem01_label35_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  4.0    error (invalid witness file) .68 .42 8.8 42 error (invalid witness file) 7.4 3.9 94 300 - -
eca-rers2012/Problem01_label37_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  0      error (invalid witness file) .54 .35 11   40 error (invalid witness file) 7.7 4.0 100 300 - -
eca-rers2012/Problem01_label38_false-unreach-call.c out of memory 0 wit inspect 120   110   1300 15000 .25  0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem01_label44_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 .25  .090  error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.4 3.9 76 300 - -
eca-rers2012/Problem01_label47_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  0      error (invalid witness file) .51 .32 7.6 40 error (invalid witness file) 5.7 3.0 110 290 - -
eca-rers2012/Problem01_label50_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  0      error (invalid witness file) .53 .36 13   40 error (invalid witness file) 6.4 3.3 89 300 - -
eca-rers2012/Problem01_label56_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  15      error (invalid witness file) .52 .35 8.7 39 error (invalid witness file) 7.9 4.2 110 310 - -
eca-rers2012/Problem01_label57_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  4.3    error (invalid witness file) .49 .32 11   41 error (invalid witness file) 7.9 4.2 76 290 - -
eca-rers2012/Problem02_label13_false-unreach-call.c true -32 wit inspect 27   27   350 1900 .23  0      unknown 30    16    240   630 false(unreach-call) 38   21   580 750 - -
eca-rers2012/Problem02_label16_false-unreach-call.c false(unreach-call) 1 wit inspect 11   11   120 910 .23  0      false(unreach-call) 12    6.2  180   440 true 11   6.2 170 370 - -
eca-rers2012/Problem02_label43_false-unreach-call.c true -32 wit inspect 27   27   350 1900 .23  0      unknown 24    13    250   620 false(unreach-call) 31   18   440 730 - -
eca-rers2012/Problem02_label44_false-unreach-call.c true -32 wit inspect 27   27   330 1900 .23  0      unknown 23    12    410   610 false(unreach-call) 35   19   530 680 - -
eca-rers2012/Problem02_label45_false-unreach-call.c true -32 wit inspect 27   27   290 1900 .23  0      unknown 31    17    320   790 false(unreach-call) 54   30   1100 870 - -
eca-rers2012/Problem02_label50_false-unreach-call.c true -32 wit inspect 27   27   380 1900 .23  0      unknown 27    15    360   760 false(unreach-call) 39   22   790 740 - -
eca-rers2012/Problem02_label59_false-unreach-call.c true -32 wit inspect 27   27   280 1900 .23  9.7    unknown 32    17    290   720 false(unreach-call) 44   25   720 830 - -
eca-rers2012/Problem03_label09_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 .70  0      error (invalid witness file) .66 .41 7.9 40 error (invalid witness file) 7.3 3.8 110 300 - -
eca-rers2012/Problem03_label13_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  4.0    error (invalid witness file) .52 .33 13   41 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem03_label26_false-unreach-call.c out of memory 0 wit inspect 150   150   1500 15000 .70  4.0    error (invalid witness file) .54 .35 10   40 error (invalid witness file) 6.8 3.5 140 310 - -
eca-rers2012/Problem03_label27_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  15      error (invalid witness file) .53 .34 8.9 40 error (invalid witness file) 7.2 3.7 84 310 - -
eca-rers2012/Problem03_label28_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.3 3.3 140 300 - -
eca-rers2012/Problem03_label31_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      error (invalid witness file) .49 .31 10   40 error (invalid witness file) 8.5 4.4 79 300 - -
eca-rers2012/Problem03_label35_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  4.0    error (invalid witness file) .56 .35 14   43 error (invalid witness file) 8.2 4.3 99 300 - -
eca-rers2012/Problem03_label37_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      error (invalid witness file) .76 .46 7.0 40 error (invalid witness file) 8.2 4.3 69 300 - -
eca-rers2012/Problem03_label39_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  .070  error (invalid witness file) .57 .37 9.6 40 error (invalid witness file) 6.8 3.6 140 310 - -
eca-rers2012/Problem03_label43_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  3.9    error (invalid witness file) .60 .38 7.8 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem03_label45_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  14      error (invalid witness file) .55 .34 11   42 error (invalid witness file) 6.7 3.5 80 300 - -
eca-rers2012/Problem03_label50_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.5 3.4 100 300 - -
eca-rers2012/Problem03_label52_false-unreach-call.c out of memory 0 wit inspect 150   140   1900 15000 .70  0      error (invalid witness file) .64 .41 7.9 40 error (invalid witness file) 8.8 4.6 84 300 - -
eca-rers2012/Problem04_label04_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   3.9    error (invalid witness file) .67 .42 8.9 43 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem04_label06_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   4.0    error (invalid witness file) .48 .31 10   39 error (invalid witness file) 8.0 4.2 70 300 - -
eca-rers2012/Problem04_label09_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   4.0    error (invalid witness file) .49 .31 6.9 39 error (invalid witness file) 6.6 3.6 120 290 - -
eca-rers2012/Problem04_label11_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 7.7 4.0 120 310 - -
eca-rers2012/Problem04_label12_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   .098  error (invalid witness file) .60 .37 8.8 39 error (invalid witness file) 6.6 3.5 130 300 - -
eca-rers2012/Problem04_label13_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   14      error (invalid witness file) .57 .37 12   44 error (invalid witness file) 8.2 4.3 81 310 - -
eca-rers2012/Problem04_label14_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   15      error (invalid witness file) .66 .42 8.2 42 error (invalid witness file) 8.5 4.4 83 300 - -
eca-rers2012/Problem04_label15_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   4.0    error (invalid witness file) .51 .32 7.4 40 error (invalid witness file) 8.5 4.5 90 300 - -
eca-rers2012/Problem04_label17_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   4.0    error (invalid witness file) .54 .34 7.9 39 error (invalid witness file) 7.9 4.1 87 300 - -
eca-rers2012/Problem04_label18_false-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 2.0   0      error (invalid witness file) .53 .35 13   39 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem04_label19_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 2.0   9.7    error (invalid witness file) .48 .30 9.2 39 error (invalid witness file) 7.5 4.0 100 300 - -
eca-rers2012/Problem04_label26_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   9.8    error (invalid witness file) .59 .38 9.2 42 error (invalid witness file) 7.7 4.1 76 300 - -
eca-rers2012/Problem04_label27_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      error (invalid witness file) .59 .37 10   40 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem04_label31_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   0      error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.8 4.1 91 300 - -
eca-rers2012/Problem04_label32_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 2.0   0      error (invalid witness file) .47 .31 9.6 40 error (invalid witness file) 7.3 3.8 96 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   9.7    error (invalid witness file) .52 .33 12   39 error (invalid witness file) 7.0 3.6 140 310 - -
eca-rers2012/Problem04_label36_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      error (invalid witness file) .61 .39 9.8 41 error (invalid witness file) 7.8 4.1 140 330 - -
eca-rers2012/Problem04_label38_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.6 3.4 86 300 - -
eca-rers2012/Problem04_label39_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   4.1    error (invalid witness file) .57 .36 10   40 error (invalid witness file) 8.0 4.2 100 310 - -
eca-rers2012/Problem04_label40_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      error (invalid witness file) .52 .34 10   43 error (invalid witness file) 9.7 5.0 98 330 - -
eca-rers2012/Problem04_label45_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      error (invalid witness file) .55 .34 11   39 error (invalid witness file) 6.7 3.5 130 290 - -
eca-rers2012/Problem04_label52_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      error (invalid witness file) .59 .38 5.6 40 error (invalid witness file) 6.7 3.6 130 300 - -
eca-rers2012/Problem04_label55_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      error (invalid witness file) .65 .43 8.6 40 error (invalid witness file) 8.2 4.3 93 310 - -
eca-rers2012/Problem04_label58_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   0      error (invalid witness file) .61 .39 6.3 45 error (invalid witness file) 9.4 4.9 110 310 - -
eca-rers2012/Problem05_label00_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 7.2 3.8 110 290 - -
eca-rers2012/Problem05_label01_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .62 .40 7.5 39 error (invalid witness file) 7.8 4.1 100 310 - -
eca-rers2012/Problem05_label11_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .47 .30 8.4 39 error (invalid witness file) 7.7 4.0 150 300 - -
eca-rers2012/Problem05_label13_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      error (invalid witness file) .52 .33 10   39 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem05_label15_false-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   0      error (invalid witness file) .60 .39 8.5 39 error (invalid witness file) 7.7 4.0 110 310 - -
eca-rers2012/Problem05_label18_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 4.0   3.9    error (invalid witness file) .53 .35 6.8 42 error (invalid witness file) 6.1 3.3 140 290 - -
eca-rers2012/Problem05_label24_false-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   4.0    error (invalid witness file) .67 .42 7.7 40 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem05_label26_false-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   4.1    error (invalid witness file) .62 .40 7.9 42 error (invalid witness file) 11   5.5 80 310 - -
eca-rers2012/Problem05_label30_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   .098  error (invalid witness file) .68 .42 8.1 41 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      error (invalid witness file) .53 .33 13   43 error (invalid witness file) 7.7 4.1 99 290 - -
eca-rers2012/Problem05_label33_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   4.0    error (invalid witness file) .68 .43 8.4 42 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem05_label36_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      error (invalid witness file) .55 .36 7.9 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem05_label37_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      error (invalid witness file) .56 .36 11   42 error (invalid witness file) 6.8 3.5 120 290 - -
eca-rers2012/Problem05_label38_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      error (invalid witness file) .52 .32 10   40 error (invalid witness file) 7.8 4.0 130 320 - -
eca-rers2012/Problem05_label39_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   4.0    error (invalid witness file) .59 .38 11   40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem05_label40_false-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   0      error (invalid witness file) .52 .33 10   43 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem05_label41_false-unreach-call.c out of memory 0 wit inspect 130   130   1300 15000 4.0   0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.4 4.4 81 300 - -
eca-rers2012/Problem05_label44_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 4.0   9.8    error (invalid witness file) .54 .36 10   40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label47_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 4.0   0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 7.2 3.8 110 310 - -
eca-rers2012/Problem05_label48_false-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   9.9    error (invalid witness file) .59 .38 8.8 40 error (invalid witness file) 7.3 3.9 110 300 - -
eca-rers2012/Problem05_label51_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 4.0   10      error (invalid witness file) .50 .31 11   40 error (invalid witness file) 11   5.8 95 300 - -
eca-rers2012/Problem05_label55_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .57 .36 14   44 error (invalid witness file) 9.1 4.8 84 300 - -
eca-rers2012/Problem05_label57_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .69 .44 7.4 42 error (invalid witness file) 7.7 4.0 130 310 - -
eca-rers2012/Problem05_label58_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 8.4 4.4 74 310 - -
eca-rers2012/Problem06_label00_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   3.9    error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c out of memory 0 wit inspect 120   140   1600 15000 3.7   3200      error (invalid witness file) .65 .42 8.4 42 error (invalid witness file) 8.0 4.2 100 300 - -
eca-rers2012/Problem06_label02_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   4.1    error (invalid witness file) .53 .35 7.8 40 error (invalid witness file) 8.6 4.5 100 300 - -
eca-rers2012/Problem06_label04_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 3.7   0      error (invalid witness file) .54 .33 11   40 error (invalid witness file) 8.8 4.6 86 310 - -
eca-rers2012/Problem06_label05_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   0      error (invalid witness file) .63 .40 9.6 45 error (invalid witness file) 8.1 4.2 96 300 - -
eca-rers2012/Problem06_label09_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      error (invalid witness file) .65 .40 8.7 41 error (invalid witness file) 7.9 4.1 110 330 - -
eca-rers2012/Problem06_label10_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      error (invalid witness file) .52 .34 9.3 40 error (invalid witness file) 7.2 3.8 120 300 - -
eca-rers2012/Problem06_label11_false-unreach-call.c out of memory 0 wit inspect 160   240   1800 15000 3.7   24000      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem06_label12_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   240      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 8.1 4.3 100 300 - -
eca-rers2012/Problem06_label15_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 3.7   250      error (invalid witness file) .56 .36 8.9 39 error (invalid witness file) 7.3 3.9 130 300 - -
eca-rers2012/Problem06_label20_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      error (invalid witness file) .52 .33 11   39 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem06_label21_false-unreach-call.c out of memory 0 wit inspect 120   130   1500 15000 3.7   2300      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem06_label24_false-unreach-call.c out of memory 0 wit inspect 120   150   1900 15000 3.7   6500      error (invalid witness file) .57 .36 8.8 40 error (invalid witness file) 9.1 4.7 79 300 - -
eca-rers2012/Problem06_label27_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   3.9    error (invalid witness file) .50 .33 9.0 40 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem06_label29_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      error (invalid witness file) .53 .33 9.8 41 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem06_label33_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      error (invalid witness file) .54 .35 8.1 44 error (invalid witness file) 8.8 4.6 94 300 - -
eca-rers2012/Problem06_label36_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      error (invalid witness file) .53 .35 6.9 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem06_label37_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   4.0    error (invalid witness file) .47 .31 11   39 error (invalid witness file) 7.0 3.7 160 300 - -
eca-rers2012/Problem06_label38_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      error (invalid witness file) .52 .33 9.2 39 error (invalid witness file) 7.6 3.9 100 300 - -
eca-rers2012/Problem06_label44_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      error (invalid witness file) .59 .38 8.7 41 error (invalid witness file) 6.6 3.6 130 290 - -
eca-rers2012/Problem06_label47_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   4.5    error (invalid witness file) .52 .33 14   40 error (invalid witness file) 7.8 4.1 150 330 - -
eca-rers2012/Problem06_label48_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      error (invalid witness file) .50 .32 9.2 39 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem06_label56_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.4 3.9 76 310 - -
eca-rers2012/Problem06_label58_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   4.4    error (invalid witness file) .66 .42 7.3 40 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem06_label59_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      error (invalid witness file) .68 .42 8.3 39 error (invalid witness file) 7.4 3.9 140 300 - -
eca-rers2012/Problem07_label03_false-unreach-call.c out of memory 0 wit inspect 190   180   2100 15000 31     3.9    error (invalid witness file) .53 .35 10   42 error (invalid witness file) 7.3 3.9 150 420 - -
eca-rers2012/Problem07_label05_false-unreach-call.c out of memory 0 wit inspect 180   180   2200 15000 31     0      error (invalid witness file) .50 .33 13   41 error (invalid witness file) 6.9 3.7 110 420 - -
eca-rers2012/Problem07_label06_false-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     0      error (invalid witness file) .64 .41 8.2 39 error (invalid witness file) 9.9 5.3 110 440 - -
eca-rers2012/Problem07_label07_false-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     0      error (invalid witness file) .61 .39 11   43 error (invalid witness file) 8.0 4.3 120 430 - -
eca-rers2012/Problem07_label09_false-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      error (invalid witness file) .54 .34 7.2 39 error (invalid witness file) 9.4 5.0 100 430 - -
eca-rers2012/Problem07_label11_false-unreach-call.c out of memory 0 wit inspect 180   180   2300 15000 31     0      error (invalid witness file) .55 .36 12   42 error (invalid witness file) 8.2 4.4 150 440 - -
eca-rers2012/Problem07_label15_false-unreach-call.c out of memory 0 wit inspect 190   190   2600 15000 31     0      error (invalid witness file) .51 .33 5.9 40 error (invalid witness file) 7.4 4.0 140 430 - -
eca-rers2012/Problem07_label18_false-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      error (invalid witness file) .61 .38 8.0 44 error (invalid witness file) 8.0 4.3 130 430 - -
eca-rers2012/Problem07_label19_false-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     430      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 9.2 4.9 130 420 - -
eca-rers2012/Problem07_label20_false-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     4.3    error (invalid witness file) .51 .32 9.1 40 error (invalid witness file) 8.8 4.7 140 440 - -
eca-rers2012/Problem07_label23_false-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     0      error (invalid witness file) .54 .36 11   41 error (invalid witness file) 8.7 4.7 130 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     0      error (invalid witness file) .68 .43 7.4 41 error (invalid witness file) 8.4 4.5 160 430 - -
eca-rers2012/Problem07_label31_false-unreach-call.c out of memory 0 wit inspect 190   190   2600 15000 31     4.0    error (invalid witness file) .51 .33 8.4 40 error (invalid witness file) 7.6 4.1 120 430 - -
eca-rers2012/Problem07_label35_false-unreach-call.c out of memory 0 wit inspect 190   190   2700 15000 31     3.9    error (invalid witness file) .62 .40 6.0 39 error (invalid witness file) 9.2 4.9 120 420 - -
eca-rers2012/Problem07_label36_false-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     4.0    error (invalid witness file) .53 .33 8.9 44 error (invalid witness file) 8.2 4.4 170 450 - -
eca-rers2012/Problem07_label37_false-unreach-call.c out of memory 0 wit inspect 190   190   1900 15000 31     4.0    error (invalid witness file) .48 .32 11   40 error (invalid witness file) 7.7 4.2 140 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      error (invalid witness file) .66 .42 7.4 39 error (invalid witness file) 7.6 4.1 140 420 - -
eca-rers2012/Problem07_label40_false-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     0      error (invalid witness file) .62 .39 8.1 40 error (invalid witness file) 8.9 4.7 91 430 - -
eca-rers2012/Problem07_label42_false-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     1400      error (invalid witness file) .61 .39 6.8 40 error (invalid witness file) 8.8 4.7 130 420 - -
eca-rers2012/Problem07_label44_false-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     3.9    error (invalid witness file) .48 .32 10   39 error (invalid witness file) 8.0 4.3 100 420 - -
eca-rers2012/Problem07_label46_false-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     0      error (invalid witness file) .52 .34 10   40 error (invalid witness file) 7.8 4.2 110 430 - -
eca-rers2012/Problem07_label47_false-unreach-call.c out of memory 0 wit inspect 180   180   2700 15000 31     0      error (invalid witness file) .48 .32 8.6 40 error (invalid witness file) 9.4 5.1 100 430 - -
eca-rers2012/Problem07_label48_false-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      error (invalid witness file) .48 .30 7.3 39 error (invalid witness file) 7.7 4.1 160 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c out of memory 0 wit inspect 190   190   2000 15000 31     4.4    error (invalid witness file) .61 .38 6.7 40 error (invalid witness file) 8.4 4.5 110 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     4.3    error (invalid witness file) .51 .33 6.8 39 error (invalid witness file) 8.1 4.5 130 520 - -
eca-rers2012/Problem08_label02_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     0      error (invalid witness file) .66 .41 7.9 39 error (invalid witness file) 9.0 4.9 200 520 - -
eca-rers2012/Problem08_label04_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     9.9    error (invalid witness file) .64 .41 9.4 43 error (invalid witness file) 8.7 4.7 160 510 - -
eca-rers2012/Problem08_label05_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     9.8    error (invalid witness file) .48 .30 9.8 40 error (invalid witness file) 8.6 4.7 180 520 - -
eca-rers2012/Problem08_label06_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     4.6    error (invalid witness file) .54 .34 7.8 39 error (invalid witness file) 8.7 4.8 140 520 - -
eca-rers2012/Problem08_label07_false-unreach-call.c out of memory 0 wit inspect 150   140   1600 15000 61     9.7    error (invalid witness file) .65 .40 8.6 44 error (invalid witness file) 9.7 5.2 150 520 - -
eca-rers2012/Problem08_label10_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     0      error (invalid witness file) .64 .40 6.1 40 error (invalid witness file) 8.6 4.7 160 520 - -
eca-rers2012/Problem08_label13_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     0      error (invalid witness file) .62 .40 6.8 40 error (invalid witness file) 8.6 4.7 160 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     0      error (invalid witness file) .51 .33 9.3 40 error (invalid witness file) 9.0 4.9 180 520 - -
eca-rers2012/Problem08_label24_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 61     15      error (invalid witness file) .49 .32 7.9 40 error (invalid witness file) 8.7 4.7 140 530 - -
eca-rers2012/Problem08_label25_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     .057  error (invalid witness file) .53 .35 12   40 error (invalid witness file) 8.5 4.7 160 520 - -
eca-rers2012/Problem08_label26_false-unreach-call.c out of memory 0 wit inspect 150   150   1500 15000 61     0      error (invalid witness file) .66 .41 5.4 43 error (invalid witness file) 8.6 4.7 160 510 - -
eca-rers2012/Problem08_label28_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     4.4    error (invalid witness file) .52 .34 8.9 41 error (invalid witness file) 9.5 5.2 120 520 - -
eca-rers2012/Problem08_label29_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      error (invalid witness file) .63 .39 6.9 39 error (invalid witness file) 9.4 5.2 120 520 - -
eca-rers2012/Problem08_label34_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 8.3 4.5 130 520 - -
eca-rers2012/Problem08_label37_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     3.9    error (invalid witness file) .57 .35 9.5 39 error (invalid witness file) 9.4 5.1 140 520 - -
eca-rers2012/Problem08_label43_false-unreach-call.c out of memory 0 wit inspect 150   140   2000 15000 61     0      error (invalid witness file) .49 .31 9.2 40 error (invalid witness file) 9.0 4.8 160 530 - -
eca-rers2012/Problem08_label46_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     9.6    error (invalid witness file) .55 .37 13   41 error (invalid witness file) 9.2 5.0 130 510 - -
eca-rers2012/Problem08_label48_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      error (invalid witness file) .60 .38 8.8 41 error (invalid witness file) 9.6 5.1 170 550 - -
eca-rers2012/Problem08_label49_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     0      error (invalid witness file) .52 .33 9.0 40 error (invalid witness file) 9.6 5.2 110 510 - -
eca-rers2012/Problem08_label50_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 10   5.6 120 510 - -
eca-rers2012/Problem08_label51_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 9.2 5.0 170 520 - -
eca-rers2012/Problem08_label55_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     0      error (invalid witness file) .55 .36 9.4 40 error (invalid witness file) 12   6.4 99 510 - -
eca-rers2012/Problem08_label59_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      error (invalid witness file) .49 .32 13   40 error (invalid witness file) 8.7 4.7 180 520 - -
eca-rers2012/Problem09_label02_false-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     0      error (invalid witness file) .60 .39 9.2 40 error (invalid witness file) 8.3 4.7 170 520 - -
eca-rers2012/Problem09_label03_false-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     3.8    error (invalid witness file) .58 .37 10   42 error (invalid witness file) 8.4 4.6 160 520 - -
eca-rers2012/Problem09_label06_false-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      error (invalid witness file) .53 .35 11   39 error (invalid witness file) 8.5 4.7 120 520 - -
eca-rers2012/Problem09_label08_false-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     0      error (invalid witness file) .57 .38 4.2 39 error (invalid witness file) 10   5.7 87 530 - -
eca-rers2012/Problem09_label10_false-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     4.2    error (invalid witness file) .54 .33 9.4 41 error (invalid witness file) 8.3 4.7 180 530 - -
eca-rers2012/Problem09_label11_false-unreach-call.c out of memory 0 wit inspect 230   230   3000 15000 68     15      error (invalid witness file) .51 .34 9.5 42 error (invalid witness file) 12   6.6 120 540 - -
eca-rers2012/Problem09_label15_false-unreach-call.c out of memory 0 wit inspect 240   240   2400 15000 68     0      error (invalid witness file) .53 .35 9.2 39 error (invalid witness file) 9.0 5.0 140 520 - -
eca-rers2012/Problem09_label19_false-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      error (invalid witness file) .47 .30 8.1 39 error (invalid witness file) 8.1 4.5 130 530 - -
eca-rers2012/Problem09_label20_false-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     15      error (invalid witness file) .59 .38 8.9 41 error (invalid witness file) 9.6 5.3 150 530 - -
eca-rers2012/Problem09_label32_false-unreach-call.c out of memory 0 wit inspect 220   220   2800 15000 68     0      error (invalid witness file) .58 .36 9.6 41 error (invalid witness file) 8.6 4.7 150 530 - -
eca-rers2012/Problem09_label34_false-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     3.9    error (invalid witness file) .63 .41 8.5 41 error (invalid witness file) 8.6 4.7 160 530 - -
eca-rers2012/Problem09_label35_false-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      error (invalid witness file) .67 .42 7.3 43 error (invalid witness file) 8.6 4.7 170 540 - -
eca-rers2012/Problem09_label36_false-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      error (invalid witness file) .51 .34 7.4 40 error (invalid witness file) 8.1 4.6 120 520 - -
eca-rers2012/Problem09_label38_false-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     3.9    error (invalid witness file) .52 .34 8.9 40 error (invalid witness file) 8.7 4.8 160 520 - -
eca-rers2012/Problem09_label41_false-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 69     4.0    error (invalid witness file) .63 .40 7.3 41 error (invalid witness file) 9.4 5.3 120 540 - -
eca-rers2012/Problem09_label44_false-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     0      error (invalid witness file) .66 .42 7.8 42 error (invalid witness file) 9.0 4.9 150 530 - -
eca-rers2012/Problem09_label46_false-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 9.8 5.4 130 520 - -
eca-rers2012/Problem09_label47_false-unreach-call.c out of memory 0 wit inspect 230   230   3300 15000 68     4.3    error (invalid witness file) .57 .36 9.0 39 error (invalid witness file) 8.8 4.9 160 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     4.3    error (invalid witness file) .49 .34 9.9 40 error (invalid witness file) 9.1 5.0 110 540 - -
eca-rers2012/Problem09_label53_false-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      error (invalid witness file) .51 .33 10   39 error (invalid witness file) 8.4 4.7 120 530 - -
eca-rers2012/Problem09_label54_false-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     9.7    error (invalid witness file) .51 .32 8.8 42 error (invalid witness file) 8.3 4.6 180 520 - -
eca-rers2012/Problem09_label56_false-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     0      error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 9.2 5.1 150 520 - -
eca-rers2012/Problem09_label57_false-unreach-call.c out of memory 0 wit inspect 230   230   3300 15000 68     .0041 error (invalid witness file) .47 .30 6.9 39 error (invalid witness file) 10   5.7 84 530 - -
eca-rers2012/Problem09_label59_false-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     0      error (invalid witness file) .50 .33 9.9 40 error (invalid witness file) 8.5 4.7 150 530 - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 190   190   2400 13000 .23  9.8    false(unreach-call) 51    38    630   930 true 13   6.8 180 340 - -
eca-rers2012/Problem10_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 180   180   2100 13000 .23  49      false(unreach-call) 41    32    540   940 true 13   7.8 230 340 - -
eca-rers2012/Problem10_label24_false-unreach-call.c false(unreach-call) 1 wit inspect 110   110   1500 6000 .23  0      false(unreach-call) 50    38    400   920 true 11   5.7 210 320 - -
eca-rers2012/Problem10_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 240   240   3400 13000 .23  0      false(unreach-call) 49    37    430   960 true 12   6.7 200 350 - -
eca-rers2012/Problem10_label28_false-unreach-call.c false(unreach-call) 1 wit inspect 180   180   2200 13000 .23  0      false(unreach-call) 40    31    300   910 true 11   5.9 190 350 - -
eca-rers2012/Problem10_label29_false-unreach-call.c out of memory 0 wit inspect 310   310   3700 15000 .23  17      error (invalid witness file) .50 .33 9.5 40 error (invalid witness file) 7.0 3.6 120 300 - -
eca-rers2012/Problem10_label41_false-unreach-call.c false(unreach-call) 1 wit inspect 88   88   1100 6000 .23  4.0    false(unreach-call) 20    13    130   700 true 12   6.5 260 370 - -
eca-rers2012/Problem10_label42_false-unreach-call.c out of memory 0 wit inspect 310   310   3700 15000 .23  0      error (invalid witness file) .59 .37 6.9 39 error (invalid witness file) 7.1 3.7 93 300 - -
eca-rers2012/Problem10_label46_false-unreach-call.c false(unreach-call) 1 wit inspect 2.0 2.0 27 180 .23  .098  false(unreach-call) 12    6.4  130   330 true 14   7.4 170 350 - -
eca-rers2012/Problem10_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 170   170   2000 13000 .23  4.4    false(unreach-call) 21    14    240   720 true 11   5.8 200 360 - -
eca-rers2012/Problem10_label48_false-unreach-call.c false(unreach-call) 0 wit inspect 190   190   2700 13000 .23  16      timeout 93    83    1100   800 true 13   7.0 100 350 - -
eca-rers2012/Problem10_label50_false-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  15      error (invalid witness file) .62 .40 7.3 39 error (invalid witness file) 6.0 3.2 130 290 - -
eca-rers2012/Problem10_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 120   120   1500 6000 .23  4.0    false(unreach-call) 20    13    200   700 true 12   6.5 160 340 - -
eca-rers2012/Problem10_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 140   140   1500 7100 .23  3.9    false(unreach-call) 62    53    1700   960 true 14   7.5 180 360 - -
eca-rers2012/Problem10_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 130   130   1800 6200 .23  4.1    false(unreach-call) 69    58    770   1100 true 12   6.5 180 350 - -
eca-rers2012/Problem11_label00_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 .41  0      error (invalid witness file) .68 .43 8.6 40 error (invalid witness file) 6.4 3.3 99 300 - -
eca-rers2012/Problem11_label08_false-unreach-call.c false(unreach-call) 1 wit inspect 110   110   1500 8600 .41  0      false(unreach-call) 50    40    970   1100 true 14   7.3 210 410 - -
eca-rers2012/Problem11_label14_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      error (invalid witness file) .51 .34 9.9 40 error (invalid witness file) 5.8 3.1 130 300 - -
eca-rers2012/Problem11_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 47   47   570 3700 .41  0      false(unreach-call) 43    36    390   1100 true 14   7.4 200 420 - -
eca-rers2012/Problem11_label20_false-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  .029  error (invalid witness file) .52 .34 9.5 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem11_label29_false-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  0      error (invalid witness file) .49 .32 9.3 41 error (invalid witness file) 7.3 3.8 130 300 - -
eca-rers2012/Problem11_label31_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      error (invalid witness file) .62 .40 7.2 39 error (invalid witness file) 6.2 3.3 120 300 - -
eca-rers2012/Problem11_label34_false-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  15      error (invalid witness file) .64 .41 8.1 43 error (invalid witness file) 7.6 4.0 83 290 - -
eca-rers2012/Problem11_label36_false-unreach-call.c false(unreach-call) 1 wit inspect 36   36   450 3700 .41  0      false(unreach-call) 46    38    650   1100 true 14   7.3 220 410 - -
eca-rers2012/Problem11_label39_false-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 .41  .090  error (invalid witness file) .49 .33 9.8 40 error (invalid witness file) 6.3 3.4 130 300 - -
eca-rers2012/Problem11_label42_false-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem11_label43_false-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 .41  0      error (invalid witness file) .48 .32 7.4 41 error (invalid witness file) 5.9 3.2 120 300 - -
eca-rers2012/Problem11_label49_false-unreach-call.c false(unreach-call) 1 wit inspect 71   71   1000 7600 .41  0      false(unreach-call) 41    33    460   1100 true 14   7.4 200 400 - -
eca-rers2012/Problem11_label51_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  .070  error (invalid witness file) .64 .41 7.8 40 error (invalid witness file) 6.7 3.5 130 310 - -
eca-rers2012/Problem11_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 74   74   830 7600 .41  4.4    false(unreach-call) 45    37    930   1100 true 15   7.8 140 410 - -
eca-rers2012/Problem12_label00_false-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      error (invalid witness file) .65 .40 7.6 41 error (invalid witness file) 6.9 3.7 150 300 - -
eca-rers2012/Problem12_label03_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 1.7   0      error (invalid witness file) .61 .39 9.1 39 error (invalid witness file) 6.3 3.3 120 300 - -
eca-rers2012/Problem12_label06_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      error (invalid witness file) .52 .34 9.1 41 error (invalid witness file) 8.0 4.2 110 310 - -
eca-rers2012/Problem12_label07_false-unreach-call.c out of memory 0 wit inspect 150   150   2200 15000 1.7   0      error (invalid witness file) .47 .32 7.7 40 error (invalid witness file) 7.8 4.1 73 300 - -
eca-rers2012/Problem12_label08_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 1.7   0      error (invalid witness file) .63 .39 6.3 40 error (invalid witness file) 7.2 3.8 100 300 - -
eca-rers2012/Problem12_label10_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   4.0    error (invalid witness file) .48 .31 10   40 error (invalid witness file) 8.9 4.6 93 300 - -
eca-rers2012/Problem12_label13_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      error (invalid witness file) .57 .36 11   44 error (invalid witness file) 9.2 4.8 61 330 - -
eca-rers2012/Problem12_label19_false-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      error (invalid witness file) .51 .32 7.9 40 error (invalid witness file) 6.5 3.4 140 300 - -
eca-rers2012/Problem12_label20_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   4.1    error (invalid witness file) .64 .40 7.9 40 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem12_label21_false-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.7   0      error (invalid witness file) .56 .35 11   42 error (invalid witness file) 7.8 4.1 95 300 - -
eca-rers2012/Problem12_label25_false-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.4 3.4 130 300 - -
eca-rers2012/Problem12_label28_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   0      error (invalid witness file) .63 .39 7.5 40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem12_label30_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   0      error (invalid witness file) .53 .34 9.8 40 error (invalid witness file) 7.6 4.0 95 300 - -
eca-rers2012/Problem12_label34_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   0      error (invalid witness file) .53 .34 11   41 error (invalid witness file) 8.6 4.5 82 320 - -
eca-rers2012/Problem12_label35_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.3    error (invalid witness file) .50 .31 6.2 40 error (invalid witness file) 6.7 3.6 120 310 - -
eca-rers2012/Problem12_label37_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   0      error (invalid witness file) .52 .34 9.2 40 error (invalid witness file) 7.5 3.9 140 310 - -
eca-rers2012/Problem12_label38_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   4.0    error (invalid witness file) .52 .33 8.9 42 error (invalid witness file) 8.2 4.3 88 300 - -
eca-rers2012/Problem12_label39_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   .098  error (invalid witness file) .50 .32 8.4 41 error (invalid witness file) 6.5 3.4 100 300 - -
eca-rers2012/Problem12_label40_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.0    error (invalid witness file) .50 .32 13   39 error (invalid witness file) 6.8 3.5 110 310 - -
eca-rers2012/Problem12_label42_false-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   9.5    error (invalid witness file) .61 .38 8.3 40 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem12_label48_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.8   4.0    error (invalid witness file) .50 .33 8.8 39 error (invalid witness file) 7.1 3.7 120 300 - -
eca-rers2012/Problem12_label50_false-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 2.0   0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.7 3.5 92 310 - -
eca-rers2012/Problem12_label51_false-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      error (invalid witness file) .48 .33 11   40 error (invalid witness file) 8.0 4.2 87 290 - -
eca-rers2012/Problem12_label52_false-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.0    error (invalid witness file) .66 .40 7.5 40 error (invalid witness file) 8.4 4.4 99 300 - -
eca-rers2012/Problem12_label55_false-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 1.7   0      error (invalid witness file) .53 .34 9.3 40 error (invalid witness file) 7.9 4.1 90 300 - -
eca-rers2012/Problem13_label04_false-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   0      error (invalid witness file) .63 .39 8.8 41 error (invalid witness file) 8.0 4.2 91 300 - -
eca-rers2012/Problem13_label06_false-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 2.0   4.1    error (invalid witness file) .48 .31 8.7 42 error (invalid witness file) 7.9 4.2 160 320 - -
eca-rers2012/Problem13_label07_false-unreach-call.c out of memory 0 wit inspect 140   140   2000 15000 2.0   .12   error (invalid witness file) .52 .33 10   41 error (invalid witness file) 8.0 4.1 130 310 - -
eca-rers2012/Problem13_label11_false-unreach-call.c out of memory 0 wit inspect 140   140   2000 15000 2.0   0      error (invalid witness file) .50 .32 10   39 error (invalid witness file) 9.2 4.8 76 300 - -
eca-rers2012/Problem13_label12_false-unreach-call.c out of memory 0 wit inspect 140   150   1700 15000 2.0   2200      error (invalid witness file) .64 .41 8.5 40 error (invalid witness file) 7.6 4.0 68 300 - -
eca-rers2012/Problem13_label16_false-unreach-call.c out of memory 0 wit inspect 140   140   2000 15000 2.0   0      error (invalid witness file) .49 .31 10   40 error (invalid witness file) 7.7 4.1 100 300 - -
eca-rers2012/Problem13_label19_false-unreach-call.c out of memory 0 wit inspect 150   170   1700 15000 2.0   4900      error (invalid witness file) .56 .37 8.2 42 error (invalid witness file) 6.5 3.4 110 310 - -
eca-rers2012/Problem13_label21_false-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 8.0 4.2 87 300 - -
eca-rers2012/Problem13_label23_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      error (invalid witness file) .55 .34 10   40 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem13_label24_false-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      error (invalid witness file) .58 .36 14   44 error (invalid witness file) 6.8 3.5 120 310 - -
eca-rers2012/Problem13_label25_false-unreach-call.c out of memory 0 wit inspect 140   140   2000 15000 2.0   0      error (invalid witness file) .49 .31 8.2 39 error (invalid witness file) 6.9 3.6 110 310 - -
eca-rers2012/Problem13_label28_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.0 3.6 120 310 - -
eca-rers2012/Problem13_label29_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   410      error (invalid witness file) .63 .40 7.6 39 error (invalid witness file) 7.5 3.9 100 300 - -
eca-rers2012/Problem13_label30_false-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.6 3.5 100 310 - -
eca-rers2012/Problem13_label32_false-unreach-call.c out of memory 0 wit inspect 150   190   2100 15000 2.0   11000      error (invalid witness file) .53 .34 12   39 error (invalid witness file) 8.2 4.3 87 300 - -
eca-rers2012/Problem13_label35_false-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      error (invalid witness file) .62 .38 9.0 41 error (invalid witness file) 7.4 3.9 100 300 - -
eca-rers2012/Problem13_label36_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   .29   error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem13_label40_false-unreach-call.c out of memory 0 wit inspect 150   160   1700 15000 2.0   3900      error (invalid witness file) .60 .38 10   43 error (invalid witness file) 6.8 3.6 120 300 - -
eca-rers2012/Problem13_label43_false-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      error (invalid witness file) .51 .32 10   40 error (invalid witness file) 7.7 4.0 110 300 - -
eca-rers2012/Problem13_label44_false-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   0      error (invalid witness file) .72 .47 8.2 47 error (invalid witness file) 8.1 4.2 90 300 - -
eca-rers2012/Problem13_label45_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      error (invalid witness file) .70 .43 7.3 40 error (invalid witness file) 6.7 3.5 100 300 - -
eca-rers2012/Problem13_label48_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 9.5 4.9 85 320 - -
eca-rers2012/Problem13_label51_false-unreach-call.c out of memory 0 wit inspect 150   190   1900 15000 2.0   8700      error (invalid witness file) .48 .31 11   40 error (invalid witness file) 6.7 3.5 140 310 - -
eca-rers2012/Problem13_label54_false-unreach-call.c out of memory 0 wit inspect 140   140   2100 15000 2.0   0      error (invalid witness file) .51 .34 13   41 error (invalid witness file) 8.0 4.2 110 310 - -
eca-rers2012/Problem13_label58_false-unreach-call.c out of memory 0 wit inspect 140   140   1400 15000 2.0   4.4    error (invalid witness file) .66 .41 7.3 39 error (invalid witness file) 5.9 3.2 92 290 - -
eca-rers2012/Problem14_label02_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  0      error (invalid witness file) .67 .43 7.7 39 error (invalid witness file) 6.0 3.2 130 300 - -
eca-rers2012/Problem14_label08_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  0      error (invalid witness file) .64 .41 7.6 39 error (invalid witness file) 5.7 3.0 120 290 - -
eca-rers2012/Problem14_label10_false-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 .27  0      error (invalid witness file) .60 .37 7.7 40 error (invalid witness file) 7.5 3.9 120 310 - -
eca-rers2012/Problem14_label11_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      error (invalid witness file) .60 .38 5.6 40 error (invalid witness file) 7.4 3.9 76 300 - -
eca-rers2012/Problem14_label12_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  4.4    error (invalid witness file) .49 .32 9.4 40 error (invalid witness file) 5.9 3.2 100 300 - -
eca-rers2012/Problem14_label13_false-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 .27  0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.0 3.2 110 300 - -
eca-rers2012/Problem14_label14_false-unreach-call.c false(unreach-call) 0 wit inspect 67   67   760 6900 .27  0      timeout 93    81    1400   1800 true 12   6.7 170 360 - -
eca-rers2012/Problem14_label18_false-unreach-call.c out of memory 0 wit inspect 140   130   1400 15000 .27  4.1    error (invalid witness file) .64 .41 8.5 44 error (invalid witness file) 7.0 3.8 69 280 - -
eca-rers2012/Problem14_label22_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.8 3.1 99 300 - -
eca-rers2012/Problem14_label27_false-unreach-call.c out of memory 0 wit inspect 140   140   1400 15000 .27  9.7    error (invalid witness file) .48 .32 9.1 41 error (invalid witness file) 6.4 3.4 82 300 - -
eca-rers2012/Problem14_label28_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  9.8    error (invalid witness file) .48 .31 9.5 40 error (invalid witness file) 7.4 3.9 84 300 - -
eca-rers2012/Problem14_label29_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      error (invalid witness file) .48 .31 10   40 error (invalid witness file) 6.1 3.2 91 300 - -
eca-rers2012/Problem14_label31_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.8 4.1 79 300 - -
eca-rers2012/Problem14_label34_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.7 3.5 130 320 - -
eca-rers2012/Problem14_label37_false-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  .029  error (invalid witness file) .49 .31 11   40 error (invalid witness file) 7.6 4.0 97 300 - -
eca-rers2012/Problem14_label39_false-unreach-call.c out of memory 0 wit inspect 140   130   1800 15000 .27  0      error (invalid witness file) .62 .40 8.4 43 error (invalid witness file) 6.1 3.3 120 290 - -
eca-rers2012/Problem14_label40_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  4.0    error (invalid witness file) .55 .36 8.3 39 error (invalid witness file) 5.9 3.1 110 290 - -
eca-rers2012/Problem14_label41_false-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 .27  0      error (invalid witness file) .55 .36 9.3 40 error (invalid witness file) 7.3 3.8 89 300 - -
eca-rers2012/Problem14_label43_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  3.9    error (invalid witness file) .74 .46 7.7 43 error (invalid witness file) 6.2 3.3 110 300 - -
eca-rers2012/Problem14_label44_false-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  9.8    error (invalid witness file) .57 .37 4.9 39 error (invalid witness file) 6.6 3.4 79 300 - -
eca-rers2012/Problem14_label52_false-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  15      error (invalid witness file) .56 .36 7.8 39 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem14_label54_false-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 .27  0      error (invalid witness file) .65 .42 7.2 40 error (invalid witness file) 6.2 3.3 120 300 - -
eca-rers2012/Problem14_label56_false-unreach-call.c out of memory 0 wit inspect 140   130   1500 15000 .27  0      error (invalid witness file) .49 .32 7.3 41 error (invalid witness file) 5.9 3.2 110 300 - -
eca-rers2012/Problem14_label57_false-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .27  0      error (invalid witness file) .55 .36 9.4 39 error (invalid witness file) 5.9 3.1 93 300 - -
eca-rers2012/Problem14_label58_false-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 .27  9.9    error (invalid witness file) .65 .42 7.7 41 error (invalid witness file) 6.7 3.5 110 300 - -
eca-rers2012/Problem15_label00_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      error (invalid witness file) .56 .35 10   40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem15_label02_false-unreach-call.c false(unreach-call) 0 wit inspect 46   46   600 5500 .65  0      timeout 94    80    1700   2500 true 17   9.3 190 480 - -
eca-rers2012/Problem15_label03_false-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 .65  0      error (invalid witness file) .55 .34 11   41 error (invalid witness file) 7.5 4.0 79 290 - -
eca-rers2012/Problem15_label07_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  .029  error (invalid witness file) .51 .35 12   40 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem15_label09_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  10      error (invalid witness file) .67 .43 7.0 39 error (invalid witness file) 6.2 3.3 96 300 - -
eca-rers2012/Problem15_label14_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  0      error (invalid witness file) .68 .42 7.7 40 error (invalid witness file) 7.4 3.9 88 310 - -
eca-rers2012/Problem15_label15_false-unreach-call.c out of memory 0 wit inspect 120   110   1600 15000 .65  0      error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 6.1 3.2 120 300 - -
eca-rers2012/Problem15_label18_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      error (invalid witness file) .59 .39 9.9 41 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem15_label22_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      error (invalid witness file) .52 .35 11   40 error (invalid witness file) 7.2 3.8 140 300 - -
eca-rers2012/Problem15_label23_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      error (invalid witness file) .49 .33 10   40 error (invalid witness file) 7.5 4.0 69 300 - -
eca-rers2012/Problem15_label25_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  .098  error (invalid witness file) .48 .32 12   39 error (invalid witness file) 6.2 3.3 130 300 - -
eca-rers2012/Problem15_label29_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  47      error (invalid witness file) .66 .41 11   42 error (invalid witness file) 7.7 4.0 95 300 - -
eca-rers2012/Problem15_label30_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 .65  .025  error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 6.3 3.3 110 300 - -
eca-rers2012/Problem15_label33_false-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 .65  4.1    error (invalid witness file) .52 .33 10   39 error (invalid witness file) 5.9 3.1 110 290 - -
eca-rers2012/Problem15_label34_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      error (invalid witness file) .60 .38 7.4 39 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem15_label37_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      error (invalid witness file) .64 .39 6.5 40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem15_label38_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  .13   error (invalid witness file) .50 .32 10   40 error (invalid witness file) 7.1 3.7 110 290 - -
eca-rers2012/Problem15_label39_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  10      error (invalid witness file) .53 .34 8.4 40 error (invalid witness file) 7.6 3.9 70 310 - -
eca-rers2012/Problem15_label40_false-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  9.8    error (invalid witness file) .71 .46 8.2 40 error (invalid witness file) 6.9 3.6 110 290 - -
eca-rers2012/Problem15_label41_false-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  4.4    error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem15_label45_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  9.9    error (invalid witness file) .53 .34 8.3 42 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem15_label47_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      error (invalid witness file) .51 .33 7.1 42 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem15_label48_false-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 .65  0      error (invalid witness file) .51 .35 8.1 39 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem15_label50_false-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  14      error (invalid witness file) .67 .42 7.9 42 error (invalid witness file) 6.4 3.4 140 300 - -
eca-rers2012/Problem15_label51_false-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  .098  error (invalid witness file) .65 .42 7.6 39 error (invalid witness file) 8.0 4.2 89 300 - -
eca-rers2012/Problem16_label00_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  14      error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.8 3.6 100 300 - -
eca-rers2012/Problem16_label01_false-unreach-call.c false(unreach-call) 0 wit inspect 97   97   1300 9900 .56  9.9    timeout 93    81    800   1600 true 15   8.0 220 480 - -
eca-rers2012/Problem16_label03_false-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      error (invalid witness file) .62 .40 9.1 42 error (invalid witness file) 7.4 3.8 120 300 - -
eca-rers2012/Problem16_label04_false-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.5 3.4 120 300 - -
eca-rers2012/Problem16_label05_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      error (invalid witness file) .62 .38 7.7 41 error (invalid witness file) 7.9 4.2 87 300 - -
eca-rers2012/Problem16_label06_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      error (invalid witness file) .53 .33 13   42 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem16_label08_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  4.0    error (invalid witness file) .57 .37 12   44 error (invalid witness file) 7.7 4.0 88 300 - -
eca-rers2012/Problem16_label14_false-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      error (invalid witness file) .64 .41 7.3 40 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem16_label15_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      error (invalid witness file) .57 .36 14   43 error (invalid witness file) 6.8 3.5 120 320 - -
eca-rers2012/Problem16_label18_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      error (invalid witness file) .51 .34 10   39 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem16_label20_false-unreach-call.c out of memory 0 wit inspect 100   100   1600 15000 .56  0      error (invalid witness file) .52 .33 9.5 40 error (invalid witness file) 6.5 3.4 120 290 - -
eca-rers2012/Problem16_label22_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      error (invalid witness file) .62 .40 8.9 40 error (invalid witness file) 7.1 3.7 110 310 - -
eca-rers2012/Problem16_label27_false-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  4.0    error (invalid witness file) .50 .32 11   39 error (invalid witness file) 7.3 3.9 97 300 - -
eca-rers2012/Problem16_label30_false-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      error (invalid witness file) .55 .35 9.7 40 error (invalid witness file) 6.3 3.3 140 300 - -
eca-rers2012/Problem16_label31_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  3.9    error (invalid witness file) .48 .31 8.6 39 error (invalid witness file) 7.2 3.8 97 300 - -
eca-rers2012/Problem16_label33_false-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.4 3.8 110 300 - -
eca-rers2012/Problem16_label37_false-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      error (invalid witness file) .57 .36 12   44 error (invalid witness file) 6.2 3.2 120 300 - -
eca-rers2012/Problem16_label38_false-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      error (invalid witness file) .49 .31 8.2 39 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem16_label41_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      error (invalid witness file) .54 .34 11   40 error (invalid witness file) 7.2 3.8 97 300 - -
eca-rers2012/Problem16_label43_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem16_label44_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  .098  error (invalid witness file) .54 .35 11   41 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem16_label46_false-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      error (invalid witness file) .65 .41 8.1 41 error (invalid witness file) 8.0 4.2 84 300 - -
eca-rers2012/Problem16_label51_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem16_label52_false-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      error (invalid witness file) .58 .38 9.5 43 error (invalid witness file) 7.5 3.9 110 310 - -
eca-rers2012/Problem16_label54_false-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  9.9    error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.9 4.7 96 320 - -
eca-rers2012/Problem17_label04_false-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   0      error (invalid witness file) .64 .41 8.3 41 error (invalid witness file) 7.9 4.1 81 290 - -
eca-rers2012/Problem17_label07_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   16      error (invalid witness file) .54 .35 13   43 error (invalid witness file) 6.6 3.5 140 300 - -
eca-rers2012/Problem17_label09_false-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.6 4.0 86 300 - -
eca-rers2012/Problem17_label13_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 9.0 4.7 88 310 - -
eca-rers2012/Problem17_label16_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 8.3 4.4 83 300 - -
eca-rers2012/Problem17_label20_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   17      error (invalid witness file) .55 .35 9.2 39 error (invalid witness file) 7.7 4.0 97 300 - -
eca-rers2012/Problem17_label23_false-unreach-call.c out of memory 0 wit inspect 160   160   2300 15000 1.0   15      error (invalid witness file) .80 .51 8.5 44 error (invalid witness file) 7.5 3.9 94 300 - -
eca-rers2012/Problem17_label25_false-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      error (invalid witness file) .58 .38 8.1 41 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem17_label26_false-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      error (invalid witness file) .71 .47 6.8 39 error (invalid witness file) 8.6 4.5 84 310 - -
eca-rers2012/Problem17_label30_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   .029  error (invalid witness file) .53 .35 10   40 error (invalid witness file) 8.9 4.6 100 310 - -
eca-rers2012/Problem17_label31_false-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   4.0    error (invalid witness file) .69 .44 7.5 42 error (invalid witness file) 7.6 4.0 100 300 - -
eca-rers2012/Problem17_label33_false-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   0      error (invalid witness file) .55 .36 9.1 41 error (invalid witness file) 7.4 3.8 140 300 - -
eca-rers2012/Problem17_label34_false-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      error (invalid witness file) .64 .40 4.9 39 error (invalid witness file) 7.0 3.7 100 300 - -
eca-rers2012/Problem17_label35_false-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   12      error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.1 4.3 100 310 - -
eca-rers2012/Problem17_label37_false-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.0   0      error (invalid witness file) .62 .40 6.3 39 error (invalid witness file) 8.6 4.5 110 310 - -
eca-rers2012/Problem17_label40_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      error (invalid witness file) .62 .40 7.9 40 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem17_label46_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      error (invalid witness file) .60 .39 7.2 41 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem17_label49_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   .061  error (invalid witness file) .50 .32 9.8 39 error (invalid witness file) 8.1 4.3 90 290 - -
eca-rers2012/Problem17_label50_false-unreach-call.c false(unreach-call) 0 wit inspect 1.4 1.4 16 290 1.0   0      timeout 95    84    770   3500 true 22   13   290 490 - -
eca-rers2012/Problem17_label52_false-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   16      error (invalid witness file) .63 .41 7.1 44 error (invalid witness file) 7.4 3.9 130 320 - -
eca-rers2012/Problem17_label53_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   4.0    error (invalid witness file) .67 .41 7.4 41 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem17_label54_false-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   23      error (invalid witness file) .53 .36 8.5 41 error (invalid witness file) 8.1 4.2 70 300 - -
eca-rers2012/Problem17_label55_false-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      error (invalid witness file) .56 .36 5.5 40 error (invalid witness file) 7.9 4.2 83 300 - -
eca-rers2012/Problem17_label57_false-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   0      error (invalid witness file) .48 .32 12   40 error (invalid witness file) 8.5 4.4 84 300 - -
eca-rers2012/Problem18_label00_false-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 1.2   .033  error (invalid witness file) .67 .42 8.3 40 error (invalid witness file) 7.6 4.0 99 310 - -
eca-rers2012/Problem18_label01_false-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 1.2   4.4    error (invalid witness file) .55 .37 11   41 error (invalid witness file) 6.0 3.2 120 290 - -
eca-rers2012/Problem18_label03_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      error (invalid witness file) .53 .33 9.7 41 error (invalid witness file) 7.5 4.0 77 310 - -
eca-rers2012/Problem18_label06_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem18_label08_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   4.0    error (invalid witness file) .63 .40 7.8 40 error (invalid witness file) 6.2 3.3 91 300 - -
eca-rers2012/Problem18_label09_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   3.9    error (invalid witness file) .54 .36 8.5 41 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem18_label10_false-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      error (invalid witness file) .50 .34 8.7 40 error (invalid witness file) 7.3 3.8 120 320 - -
eca-rers2012/Problem18_label12_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   9.8    error (invalid witness file) .54 .35 11   43 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem18_label19_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   0      error (invalid witness file) .57 .37 8.0 39 error (invalid witness file) 7.5 4.0 96 300 - -
eca-rers2012/Problem18_label20_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   10      error (invalid witness file) .46 .31 10   39 error (invalid witness file) 7.7 4.0 150 320 - -
eca-rers2012/Problem18_label25_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   4.6    error (invalid witness file) .55 .36 11   41 error (invalid witness file) 7.9 4.2 84 290 - -
eca-rers2012/Problem18_label27_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   0      error (invalid witness file) .55 .35 13   43 error (invalid witness file) 7.0 3.7 140 320 - -
eca-rers2012/Problem18_label31_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   15      error (invalid witness file) .48 .30 8.8 40 error (invalid witness file) 6.3 3.4 98 290 - -
eca-rers2012/Problem18_label32_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   .098  error (invalid witness file) .63 .41 4.8 42 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem18_label33_false-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   4.1    error (invalid witness file) .65 .42 8.8 41 error (invalid witness file) 6.5 3.4 110 310 - -
eca-rers2012/Problem18_label34_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      error (invalid witness file) .53 .33 11   42 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem18_label35_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   4.1    error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.6 3.5 110 300 - -
eca-rers2012/Problem18_label36_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem18_label38_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   0      error (invalid witness file) .57 .37 8.6 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem18_label39_false-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      error (invalid witness file) .48 .31 10   40 error (invalid witness file) 6.7 3.5 97 300 - -
eca-rers2012/Problem18_label45_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      error (invalid witness file) .61 .40 5.7 39 error (invalid witness file) 7.9 4.2 81 300 - -
eca-rers2012/Problem18_label49_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.5   .098  error (invalid witness file) .52 .34 10   41 error (invalid witness file) 7.2 3.8 110 310 - -
eca-rers2012/Problem18_label52_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      error (invalid witness file) .58 .37 9.9 42 error (invalid witness file) 7.0 3.7 120 300 - -
eca-rers2012/Problem18_label55_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      error (invalid witness file) .51 .32 6.5 39 error (invalid witness file) 6.9 3.6 170 300 - -
eca-rers2012/Problem18_label57_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   9.7    error (invalid witness file) .54 .36 7.5 40 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem19_label10_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      error (invalid witness file) .64 .40 6.3 39 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem19_label11_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      error (invalid witness file) .63 .39 8.1 39 error (invalid witness file) 8.2 4.3 120 300 - -
eca-rers2012/Problem19_label14_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      error (invalid witness file) .54 .34 9.7 41 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem19_label17_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   3.9    error (invalid witness file) .49 .33 11   40 error (invalid witness file) 7.2 3.7 100 310 - -
eca-rers2012/Problem19_label18_false-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 3.1   9.9    error (invalid witness file) .62 .39 7.5 39 error (invalid witness file) 7.7 4.1 120 310 - -
eca-rers2012/Problem19_label19_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   4.1    error (invalid witness file) .67 .42 8.8 40 error (invalid witness file) 7.7 4.0 100 310 - -
eca-rers2012/Problem19_label21_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      error (invalid witness file) .71 .43 8.9 44 error (invalid witness file) 7.4 3.9 140 300 - -
eca-rers2012/Problem19_label22_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   15      error (invalid witness file) .57 .37 9.6 43 error (invalid witness file) 6.6 3.4 140 300 - -
eca-rers2012/Problem19_label26_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   4.1    error (invalid witness file) .48 .31 9.4 40 error (invalid witness file) 6.8 3.6 140 290 - -
eca-rers2012/Problem19_label27_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      error (invalid witness file) .53 .34 10   39 error (invalid witness file) 7.1 3.7 120 300 - -
eca-rers2012/Problem19_label28_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   4.3    error (invalid witness file) .49 .31 11   40 error (invalid witness file) 6.8 3.6 91 290 - -
eca-rers2012/Problem19_label29_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   4.0    error (invalid witness file) .53 .34 12   39 error (invalid witness file) 8.5 4.5 66 300 - -
eca-rers2012/Problem19_label31_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   0      error (invalid witness file) .51 .32 7.2 39 error (invalid witness file) 7.8 4.1 110 310 - -
eca-rers2012/Problem19_label32_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   4.3    error (invalid witness file) .52 .33 10   40 error (invalid witness file) 6.5 3.5 64 310 - -
eca-rers2012/Problem19_label41_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   0      error (invalid witness file) .56 .36 9.8 41 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem19_label42_false-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   0      error (invalid witness file) .64 .42 8.9 44 error (invalid witness file) 7.3 3.8 140 310 - -
eca-rers2012/Problem19_label43_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   9.6    error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem19_label47_false-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   9.8    error (invalid witness file) .54 .34 10   40 error (invalid witness file) 7.6 4.0 90 310 - -
eca-rers2012/Problem19_label50_false-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   .053  error (invalid witness file) .55 .34 13   42 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem19_label51_false-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 3.1   0      error (invalid witness file) .49 .32 6.9 40 error (invalid witness file) 7.2 3.8 120 310 - -
eca-rers2012/Problem19_label53_false-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   0      error (invalid witness file) .52 .34 10   41 error (invalid witness file) 7.2 3.8 140 310 - -
eca-rers2012/Problem19_label55_false-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   0      error (invalid witness file) .52 .34 9.4 42 error (invalid witness file) 7.4 3.9 130 310 - -
eca-rers2012/Problem19_label58_false-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      error (invalid witness file) .51 .33 11   39 error (invalid witness file) 7.5 3.9 150 310 - -
eca-rers2012/Problem19_label59_false-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 3.1   4.3    error (invalid witness file) .61 .39 5.8 40 error (invalid witness file) 8.3 4.4 92 310 - -
eca-rers2012/Problem01_label00_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  0      - - error (invalid witness file) .52 .35 6.7 40 error (invalid witness file) 5.8 3.1 89 290
eca-rers2012/Problem01_label01_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  .053  - - error (invalid witness file) .55 .35 10   41 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem01_label02_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  15      - - error (invalid witness file) .63 .39 7.1 39 error (invalid witness file) 6.5 3.4 120 310
eca-rers2012/Problem01_label03_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  0      - - error (invalid witness file) .49 .33 6.9 39 error (invalid witness file) 5.8 3.1 110 290
eca-rers2012/Problem01_label04_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  0      - - error (invalid witness file) .52 .32 13   42 error (invalid witness file) 6.9 3.7 110 310
eca-rers2012/Problem01_label05_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  15      - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 5.9 3.2 120 300
eca-rers2012/Problem01_label06_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 7.4 3.8 130 320
eca-rers2012/Problem01_label07_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.5 3.4 94 310
eca-rers2012/Problem01_label08_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  4.1    - - error (invalid witness file) .51 .34 11   39 error (invalid witness file) 7.2 3.7 120 310
eca-rers2012/Problem01_label09_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  0      - - error (invalid witness file) .50 .34 3.8 40 error (invalid witness file) 5.9 3.2 94 290
eca-rers2012/Problem01_label10_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  0      - - error (invalid witness file) .63 .39 9.2 40 error (invalid witness file) 6.4 3.3 120 290
eca-rers2012/Problem01_label11_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  4.1    - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 6.8 3.6 110 300
eca-rers2012/Problem01_label12_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .57 .37 6.9 40 error (invalid witness file) 7.5 3.9 85 300
eca-rers2012/Problem01_label13_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  3.9    - - error (invalid witness file) .67 .41 8.0 39 error (invalid witness file) 6.1 3.3 89 300
eca-rers2012/Problem01_label14_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  0      - - error (invalid witness file) .47 .31 9.3 40 error (invalid witness file) 6.5 3.4 150 300
eca-rers2012/Problem01_label16_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  0      - - error (invalid witness file) .50 .33 9.1 41 error (invalid witness file) 5.8 3.1 81 290
eca-rers2012/Problem01_label17_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .69 .43 6.4 40 error (invalid witness file) 6.5 3.5 130 300
eca-rers2012/Problem01_label18_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  0      - - error (invalid witness file) .53 .33 10   39 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem01_label19_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  14      - - error (invalid witness file) .64 .42 6.8 40 error (invalid witness file) 6.4 3.4 140 300
eca-rers2012/Problem01_label22_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  4.0    - - error (invalid witness file) .53 .33 13   42 error (invalid witness file) 6.4 3.4 140 310
eca-rers2012/Problem01_label23_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  0      - - error (invalid witness file) .53 .34 6.9 40 error (invalid witness file) 6.1 3.2 120 290
eca-rers2012/Problem01_label24_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  .029  - - error (invalid witness file) .48 .31 6.3 43 error (invalid witness file) 6.0 3.2 120 290
eca-rers2012/Problem01_label25_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  0      - - error (invalid witness file) .50 .32 8.0 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem01_label26_true-unreach-call.c out of memory 0 wit inspect 110   110   1600 15000 .25  9.9    - - error (invalid witness file) .53 .35 11   41 error (invalid witness file) 5.8 3.1 99 300
eca-rers2012/Problem01_label27_true-unreach-call.c out of memory 0 wit inspect 110   110   1500 15000 .25  4.0    - - error (invalid witness file) .54 .35 12   41 error (invalid witness file) 6.5 3.5 130 300
eca-rers2012/Problem01_label28_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  0      - - error (invalid witness file) .53 .35 11   41 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem01_label29_true-unreach-call.c out of memory 0 wit inspect 120   110   1600 15000 .25  9.8    - - error (invalid witness file) .58 .37 8.6 45 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem01_label30_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .54 .34 9.0 40 error (invalid witness file) 6.8 3.6 110 320
eca-rers2012/Problem01_label31_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  4.3    - - error (invalid witness file) .66 .41 8.9 40 error (invalid witness file) 5.7 3.1 110 300
eca-rers2012/Problem01_label34_true-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 .25  0      - - error (invalid witness file) .61 .40 6.1 39 error (invalid witness file) 5.9 3.1 92 300
eca-rers2012/Problem01_label36_true-unreach-call.c out of memory 0 wit inspect 110   110   1400 15000 .25  0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem01_label39_true-unreach-call.c out of memory 0 wit inspect 120   110   1700 15000 .25  .098  - - error (invalid witness file) .50 .32 6.9 40 error (invalid witness file) 5.9 3.1 64 290
eca-rers2012/Problem01_label40_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.3 3.4 130 300
eca-rers2012/Problem01_label41_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 .25  0      - - error (invalid witness file) .56 .35 13   40 error (invalid witness file) 6.0 3.2 110 300
eca-rers2012/Problem01_label42_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  0      - - error (invalid witness file) .54 .35 9.8 39 error (invalid witness file) 5.7 3.0 95 300
eca-rers2012/Problem01_label43_true-unreach-call.c out of memory 0 wit inspect 110   110   1500 15000 .25  4.0    - - error (invalid witness file) .59 .38 9.0 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem01_label45_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  0      - - error (invalid witness file) .47 .31 8.8 40 error (invalid witness file) 6.0 3.2 110 300
eca-rers2012/Problem01_label46_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .25  4.1    - - error (invalid witness file) .72 .44 7.9 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem01_label48_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  3.9    - - error (invalid witness file) .58 .38 9.3 41 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem01_label49_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  3.9    - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 7.0 3.7 83 300
eca-rers2012/Problem01_label51_true-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 .25  0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.0 3.6 130 320
eca-rers2012/Problem01_label52_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .25  0      - - error (invalid witness file) .51 .32 7.8 40 error (invalid witness file) 6.3 3.3 110 320
eca-rers2012/Problem01_label53_true-unreach-call.c out of memory 0 wit inspect 120   120   1800 15000 .25  4.0    - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.6 3.5 110 310
eca-rers2012/Problem01_label54_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .25  0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.2 3.3 110 300
eca-rers2012/Problem01_label55_true-unreach-call.c out of memory 0 wit inspect 110   110   1300 15000 .25  0      - - error (invalid witness file) .70 .44 7.0 40 error (invalid witness file) 5.9 3.2 88 300
eca-rers2012/Problem01_label58_true-unreach-call.c out of memory 0 wit inspect 120   110   1600 15000 .25  0      - - error (invalid witness file) .68 .43 8.2 41 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem01_label59_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .25  49      - - error (invalid witness file) .65 .41 9.1 41 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem02_label00_true-unreach-call.c true 2 wit inspect 27   27   320 1900 .23  9.7    - - true 21    11    250   580 true 34   19   280 730
eca-rers2012/Problem02_label01_true-unreach-call.c true 2 wit inspect 27   27   290 1900 .23  0      - - true 17    8.9  190   570 true 33   18   530 710
eca-rers2012/Problem02_label02_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  9.7    - - true 20    11    300   590 true 34   19   460 730
eca-rers2012/Problem02_label03_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 20    11    280   580 true 28   15   410 620
eca-rers2012/Problem02_label04_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  3.9    - - true 18    9.2  200   610 true 33   18   400 700
eca-rers2012/Problem02_label05_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  4.4    - - true 19    9.6  380   560 true 28   15   370 530
eca-rers2012/Problem02_label06_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 22    12    260   640 true 50   29   650 870
eca-rers2012/Problem02_label07_true-unreach-call.c true 2 wit inspect 27   27   360 1900 .23  0      - - true 17    8.7  130   580 true 34   19   370 680
eca-rers2012/Problem02_label08_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  4.0    - - true 21    11    300   580 true 30   16   410 530
eca-rers2012/Problem02_label09_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  0      - - true 18    9.2  310   570 true 43   23   590 760
eca-rers2012/Problem02_label10_true-unreach-call.c true 2 wit inspect 27   27   370 1900 .23  3.9    - - true 23    12    230   580 true 35   19   420 730
eca-rers2012/Problem02_label11_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  0      - - true 22    12    230   560 true 33   18   330 670
eca-rers2012/Problem02_label12_true-unreach-call.c true 2 wit inspect 27   27   290 1900 .23  0      - - true 18    9.2  180   570 true 32   18   440 740
eca-rers2012/Problem02_label14_true-unreach-call.c true 2 wit inspect 27   27   380 1900 .23  0      - - true 18    9.6  340   550 true 43   24   530 750
eca-rers2012/Problem02_label15_true-unreach-call.c true 2 wit inspect 27   27   390 1900 .23  0      - - true 20    10    220   590 true 44   24   390 730
eca-rers2012/Problem02_label17_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  0      - - true 22    11    240   550 true 27   15   260 650
eca-rers2012/Problem02_label18_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  0      - - true 19    9.7  310   570 true 29   16   530 650
eca-rers2012/Problem02_label19_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 17    8.9  180   560 true 28   15   300 630
eca-rers2012/Problem02_label20_true-unreach-call.c true 2 wit inspect 27   27   350 1900 .23  0      - - true 18    9.5  180   610 true 38   21   470 750
eca-rers2012/Problem02_label21_true-unreach-call.c true 2 wit inspect 26   26   350 1900 .23  0      - - true 21    11    300   600 true 28   16   320 610
eca-rers2012/Problem02_label22_true-unreach-call.c true 2 wit inspect 27   27   300 1900 .23  0      - - true 20    10    370   610 true 35   19   310 680
eca-rers2012/Problem02_label23_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 19    10    310   600 true 29   16   350 670
eca-rers2012/Problem02_label24_true-unreach-call.c true 2 wit inspect 27   27   370 1900 .23  0      - - true 22    11    290   610 true 37   21   620 750
eca-rers2012/Problem02_label25_true-unreach-call.c true 2 wit inspect 27   27   320 1900 .23  3.8    - - true 18    9.5  360   570 true 28   15   330 610
eca-rers2012/Problem02_label26_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  0      - - true 19    9.9  360   550 true 38   21   760 740
eca-rers2012/Problem02_label27_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  9.7    - - true 22    11    330   600 true 29   16   280 630
eca-rers2012/Problem02_label28_true-unreach-call.c true 2 wit inspect 27   27   350 1900 .23  9.5    - - true 17    8.8  130   590 true 28   15   440 670
eca-rers2012/Problem02_label29_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  0      - - true 17    8.8  160   600 true 34   19   440 730
eca-rers2012/Problem02_label30_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  0      - - true 19    9.7  330   560 true 40   22   430 730
eca-rers2012/Problem02_label31_true-unreach-call.c true 2 wit inspect 27   27   370 1900 .23  0      - - true 18    9.4  290   580 true 36   20   350 730
eca-rers2012/Problem02_label32_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 20    10    340   590 true 40   22   540 670
eca-rers2012/Problem02_label33_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  0      - - true 17    9.0  190   580 true 41   22   540 700
eca-rers2012/Problem02_label34_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  3.9    - - true 24    13    290   600 true 34   19   350 730
eca-rers2012/Problem02_label35_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  .13   - - true 18    9.1  340   580 true 36   20   550 700
eca-rers2012/Problem02_label36_true-unreach-call.c true 2 wit inspect 27   27   400 1900 .23  0      - - true 18    9.5  350   580 true 30   17   280 620
eca-rers2012/Problem02_label37_true-unreach-call.c true 2 wit inspect 27   27   440 1900 .23  0      - - true 25    13    200   580 true 30   16   430 660
eca-rers2012/Problem02_label38_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  15      - - true 20    10    200   570 true 35   19   570 640
eca-rers2012/Problem02_label39_true-unreach-call.c true 2 wit inspect 27   27   380 1900 .23  0      - - true 20    10    330   580 true 40   23   390 840
eca-rers2012/Problem02_label40_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  0      - - true 18    9.4  310   550 true 45   26   770 870
eca-rers2012/Problem02_label41_true-unreach-call.c true 2 wit inspect 27   27   300 1900 .23  0      - - true 19    9.9  330   590 true 35   19   350 740
eca-rers2012/Problem02_label42_true-unreach-call.c true 2 wit inspect 27   27   390 1900 .23  4.2    - - true 23    12    240   580 true 36   20   570 640
eca-rers2012/Problem02_label46_true-unreach-call.c true 2 wit inspect 27   27   320 1900 .23  0      - - true 18    9.4  360   600 true 34   18   350 610
eca-rers2012/Problem02_label47_true-unreach-call.c true 2 wit inspect 27   27   350 1900 .23  3.8    - - true 18    9.4  150   580 true 23   13   280 560
eca-rers2012/Problem02_label48_true-unreach-call.c true 2 wit inspect 27   27   360 1900 .23  0      - - true 21    11    240   580 true 23   12   310 560
eca-rers2012/Problem02_label49_true-unreach-call.c true 2 wit inspect 27   27   320 1900 .23  3.9    - - true 22    11    250   580 true 41   23   430 780
eca-rers2012/Problem02_label51_true-unreach-call.c true 2 wit inspect 27   27   340 1900 .23  15      - - true 18    9.3  260   580 true 34   18   540 680
eca-rers2012/Problem02_label52_true-unreach-call.c true 2 wit inspect 27   27   400 1900 .23  0      - - true 19    9.8  290   590 true 32   18   320 680
eca-rers2012/Problem02_label53_true-unreach-call.c true 2 wit inspect 27   27   330 1900 .23  4.0    - - true 24    12    280   600 true 39   22   440 770
eca-rers2012/Problem02_label54_true-unreach-call.c true 2 wit inspect 27   27   300 1900 .23  0      - - true 18    9.5  330   570 true 30   17   420 650
eca-rers2012/Problem02_label55_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  0      - - true 20    10    280   590 true 37   20   500 740
eca-rers2012/Problem02_label56_true-unreach-call.c true 2 wit inspect 27   27   350 1900 .23  4.0    - - true 23    12    270   590 true 35   19   330 750
eca-rers2012/Problem02_label57_true-unreach-call.c true 2 wit inspect 27   27   400 1900 .23  0      - - true 23    12    180   560 true 19   11   240 530
eca-rers2012/Problem02_label58_true-unreach-call.c true 2 wit inspect 27   27   310 1900 .23  3.9    - - true 18    9.1  260   580 true 15   8.5 270 510
eca-rers2012/Problem03_label00_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      - - error (invalid witness file) .49 .32 12   39 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem03_label01_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 .70  0      - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.5 3.4 120 310
eca-rers2012/Problem03_label02_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  0      - - error (invalid witness file) .61 .38 8.6 39 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem03_label03_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  10      - - error (invalid witness file) .51 .33 8.7 40 error (invalid witness file) 6.0 3.2 81 300
eca-rers2012/Problem03_label04_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      - - error (invalid witness file) .63 .39 8.0 39 error (invalid witness file) 6.2 3.3 110 290
eca-rers2012/Problem03_label05_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem03_label06_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  .13   - - error (invalid witness file) .61 .40 8.5 39 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem03_label07_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  .098  - - error (invalid witness file) .58 .37 11   39 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem03_label08_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  9.8    - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 7.6 4.0 160 320
eca-rers2012/Problem03_label10_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  9.5    - - error (invalid witness file) .50 .33 9.2 40 error (invalid witness file) 6.6 3.5 130 290
eca-rers2012/Problem03_label11_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  9.7    - - error (invalid witness file) .52 .34 7.1 39 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem03_label12_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  .13   - - error (invalid witness file) .65 .42 9.0 44 error (invalid witness file) 6.7 3.5 120 290
eca-rers2012/Problem03_label14_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .47 .30 9.0 39 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem03_label15_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 .70  4.4    - - error (invalid witness file) .51 .33 9.9 42 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem03_label16_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem03_label17_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .48 .31 7.4 39 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem03_label18_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .53 .35 12   42 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem03_label19_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 .70  4.0    - - error (invalid witness file) .51 .33 8.1 40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem03_label20_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.3 3.8 140 310
eca-rers2012/Problem03_label21_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .54 .36 7.4 40 error (invalid witness file) 6.4 3.4 83 300
eca-rers2012/Problem03_label22_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .53 .34 13   42 error (invalid witness file) 6.5 3.4 140 300
eca-rers2012/Problem03_label23_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .52 .34 12   44 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem03_label24_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  14      - - error (invalid witness file) .49 .32 13   41 error (invalid witness file) 6.8 3.5 120 290
eca-rers2012/Problem03_label25_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  14      - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem03_label29_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  15      - - error (invalid witness file) .52 .33 10   39 error (invalid witness file) 6.5 3.5 130 300
eca-rers2012/Problem03_label30_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 6.8 3.6 110 290
eca-rers2012/Problem03_label32_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .61 .40 9.4 41 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem03_label33_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .53 .35 7.3 41 error (invalid witness file) 6.7 3.5 110 310
eca-rers2012/Problem03_label34_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem03_label36_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  4.2    - - error (invalid witness file) .61 .40 7.8 39 error (invalid witness file) 6.5 3.4 100 300
eca-rers2012/Problem03_label38_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  4.1    - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 6.4 3.3 96 300
eca-rers2012/Problem03_label40_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  .029  - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem03_label41_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 .70  0      - - error (invalid witness file) .65 .41 8.4 40 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem03_label42_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  0      - - error (invalid witness file) .56 .35 12   43 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem03_label44_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .54 .34 9.2 39 error (invalid witness file) 6.3 3.4 91 310
eca-rers2012/Problem03_label46_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 .70  0      - - error (invalid witness file) .65 .41 9.3 41 error (invalid witness file) 6.4 3.5 130 300
eca-rers2012/Problem03_label47_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  14      - - error (invalid witness file) .68 .43 7.0 42 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem03_label48_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .53 .35 11   39 error (invalid witness file) 6.3 3.3 110 290
eca-rers2012/Problem03_label49_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  15      - - error (invalid witness file) .49 .33 7.6 39 error (invalid witness file) 7.9 4.1 150 330
eca-rers2012/Problem03_label51_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  3.9    - - error (invalid witness file) .66 .42 8.1 42 error (invalid witness file) 6.6 3.5 110 310
eca-rers2012/Problem03_label53_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  0      - - error (invalid witness file) .62 .41 8.4 40 error (invalid witness file) 6.7 3.5 86 310
eca-rers2012/Problem03_label54_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 .70  0      - - error (invalid witness file) .61 .40 7.7 39 error (invalid witness file) 6.4 3.4 110 290
eca-rers2012/Problem03_label55_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  9.8    - - error (invalid witness file) .48 .32 6.5 41 error (invalid witness file) 6.3 3.3 81 300
eca-rers2012/Problem03_label56_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 .70  .033  - - error (invalid witness file) .64 .41 8.1 39 error (invalid witness file) 7.4 3.9 150 320
eca-rers2012/Problem03_label57_true-unreach-call.c out of memory 0 wit inspect 150   150   2200 15000 .70  .098  - - error (invalid witness file) .56 .36 11   41 error (invalid witness file) 7.7 4.0 150 320
eca-rers2012/Problem03_label58_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 .70  4.1    - - error (invalid witness file) .54 .35 15   42 error (invalid witness file) 7.4 3.8 120 310
eca-rers2012/Problem03_label59_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 .70  0      - - error (invalid witness file) .58 .38 8.8 40 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem04_label00_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      - - error (invalid witness file) .55 .34 10   40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem04_label01_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 2.0   0      - - error (invalid witness file) .52 .34 12   43 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem04_label02_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   .13   - - error (invalid witness file) .52 .35 5.9 41 error (invalid witness file) 6.2 3.3 100 300
eca-rers2012/Problem04_label03_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   9.9    - - error (invalid witness file) .49 .32 9.1 39 error (invalid witness file) 6.7 3.5 140 310
eca-rers2012/Problem04_label05_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   4.0    - - error (invalid witness file) .62 .40 5.9 41 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem04_label07_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   .057  - - error (invalid witness file) .51 .34 9.7 41 error (invalid witness file) 7.7 4.1 130 320
eca-rers2012/Problem04_label08_true-unreach-call.c out of memory 0 wit inspect 120   110   1700 15000 2.0   0      - - error (invalid witness file) .65 .40 7.2 39 error (invalid witness file) 7.0 3.6 130 300
eca-rers2012/Problem04_label10_true-unreach-call.c out of memory 0 wit inspect 110   110   1600 15000 2.0   .098  - - error (invalid witness file) .56 .36 8.9 40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem04_label16_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   9.7    - - error (invalid witness file) .48 .31 9.9 39 error (invalid witness file) 7.5 3.9 110 300
eca-rers2012/Problem04_label20_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   4.3    - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 7.6 4.0 120 300
eca-rers2012/Problem04_label21_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      - - error (invalid witness file) .53 .35 9.7 41 error (invalid witness file) 8.9 4.7 92 310
eca-rers2012/Problem04_label22_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      - - error (invalid witness file) .51 .33 6.5 42 error (invalid witness file) 7.4 3.8 110 310
eca-rers2012/Problem04_label23_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      - - error (invalid witness file) .54 .35 12   43 error (invalid witness file) 7.2 3.7 120 300
eca-rers2012/Problem04_label24_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   4.0    - - error (invalid witness file) .59 .38 11   39 error (invalid witness file) 6.7 3.6 120 300
eca-rers2012/Problem04_label25_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   0      - - error (invalid witness file) .66 .41 10   44 error (invalid witness file) 6.7 3.5 96 300
eca-rers2012/Problem04_label28_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   0      - - error (invalid witness file) .52 .34 10   40 error (invalid witness file) 6.7 3.5 81 300
eca-rers2012/Problem04_label29_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   0      - - error (invalid witness file) .50 .34 4.5 39 error (invalid witness file) 6.9 3.6 130 310
eca-rers2012/Problem04_label30_true-unreach-call.c out of memory 0 wit inspect 120   110   1700 15000 2.0   4.0    - - error (invalid witness file) .54 .35 10   43 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem04_label33_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   4.1    - - error (invalid witness file) .63 .40 7.9 39 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem04_label34_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   4.0    - - error (invalid witness file) .63 .40 9.2 40 error (invalid witness file) 7.0 3.6 130 300
eca-rers2012/Problem04_label37_true-unreach-call.c out of memory 0 wit inspect 110   110   1300 15000 2.0   4.1    - - error (invalid witness file) .57 .37 9.6 40 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem04_label41_true-unreach-call.c out of memory 0 wit inspect 120   110   1400 15000 2.0   0      - - error (invalid witness file) .66 .42 8.5 39 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem04_label42_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   .098  - - error (invalid witness file) .62 .40 7.9 39 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem04_label43_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   4.0    - - error (invalid witness file) .65 .40 8.1 40 error (invalid witness file) 6.0 3.3 96 290
eca-rers2012/Problem04_label44_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   .098  - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 7.4 3.9 150 310
eca-rers2012/Problem04_label46_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   10      - - error (invalid witness file) .53 .35 9.4 40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem04_label47_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      - - error (invalid witness file) .72 .45 9.8 43 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem04_label48_true-unreach-call.c out of memory 0 wit inspect 120   110   1300 15000 2.0   0      - - error (invalid witness file) .59 .39 9.8 39 error (invalid witness file) 6.9 3.6 110 300
eca-rers2012/Problem04_label49_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      - - error (invalid witness file) .56 .35 12   42 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem04_label50_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      - - error (invalid witness file) .47 .30 5.7 40 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem04_label51_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   0      - - error (invalid witness file) .59 .38 8.9 40 error (invalid witness file) 6.7 3.6 120 300
eca-rers2012/Problem04_label53_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   9.8    - - error (invalid witness file) .62 .38 7.7 41 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem04_label54_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 2.0   0      - - error (invalid witness file) .59 .38 12   43 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem04_label56_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 2.0   0      - - error (invalid witness file) .62 .39 9.6 41 error (invalid witness file) 7.2 3.8 160 310
eca-rers2012/Problem04_label57_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 2.0   9.9    - - error (invalid witness file) .48 .30 12   40 error (invalid witness file) 6.8 3.6 150 300
eca-rers2012/Problem04_label59_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 2.0   0      - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 6.7 3.6 120 310
eca-rers2012/Problem05_label02_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   0      - - error (invalid witness file) .51 .34 9.4 41 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem05_label03_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   9.8    - - error (invalid witness file) .60 .39 11   42 error (invalid witness file) 7.5 3.9 150 300
eca-rers2012/Problem05_label04_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .56 .36 10   40 error (invalid witness file) 7.7 4.0 160 320
eca-rers2012/Problem05_label05_true-unreach-call.c out of memory 0 wit inspect 130   130   1300 15000 4.0   0      - - error (invalid witness file) .81 .50 6.1 41 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem05_label06_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .57 .36 9.5 40 error (invalid witness file) 7.4 3.9 110 310
eca-rers2012/Problem05_label07_true-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 4.0   0      - - error (invalid witness file) .59 .38 9.4 40 error (invalid witness file) 8.5 4.5 92 300
eca-rers2012/Problem05_label08_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   0      - - error (invalid witness file) .63 .39 8.5 40 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem05_label09_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      - - error (invalid witness file) .62 .39 8.4 40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem05_label10_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      - - error (invalid witness file) .47 .32 13   40 error (invalid witness file) 7.0 3.7 97 300
eca-rers2012/Problem05_label12_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 7.3 3.8 140 310
eca-rers2012/Problem05_label14_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.4 3.4 100 290
eca-rers2012/Problem05_label16_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .52 .32 9.2 41 error (invalid witness file) 6.9 3.6 110 310
eca-rers2012/Problem05_label17_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   0      - - error (invalid witness file) .62 .39 9.5 40 error (invalid witness file) 7.2 3.8 130 300
eca-rers2012/Problem05_label19_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   0      - - error (invalid witness file) .64 .41 8.3 39 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem05_label20_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.9 3.7 130 300
eca-rers2012/Problem05_label21_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   9.9    - - error (invalid witness file) .49 .32 11   41 error (invalid witness file) 6.8 3.6 100 300
eca-rers2012/Problem05_label22_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   4.0    - - error (invalid witness file) .53 .36 7.6 39 error (invalid witness file) 8.0 4.2 120 300
eca-rers2012/Problem05_label23_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   0      - - error (invalid witness file) .62 .38 11   43 error (invalid witness file) 7.3 3.8 140 310
eca-rers2012/Problem05_label25_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   4.0    - - error (invalid witness file) .52 .32 9.7 40 error (invalid witness file) 6.6 3.5 110 290
eca-rers2012/Problem05_label27_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   4.0    - - error (invalid witness file) .59 .38 10   41 error (invalid witness file) 7.5 3.9 140 300
eca-rers2012/Problem05_label28_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   4.0    - - error (invalid witness file) .53 .33 8.2 39 error (invalid witness file) 7.8 4.1 100 300
eca-rers2012/Problem05_label29_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   .13   - - error (invalid witness file) .62 .40 7.7 40 error (invalid witness file) 6.3 3.4 140 290
eca-rers2012/Problem05_label31_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 4.0   0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 7.2 3.8 140 310
eca-rers2012/Problem05_label34_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   0      - - error (invalid witness file) .52 .36 11   39 error (invalid witness file) 6.9 3.7 130 290
eca-rers2012/Problem05_label35_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   0      - - error (invalid witness file) .61 .38 5.6 40 error (invalid witness file) 8.3 4.4 93 310
eca-rers2012/Problem05_label42_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 4.0   0      - - error (invalid witness file) .51 .33 10   42 error (invalid witness file) 7.8 4.1 140 310
eca-rers2012/Problem05_label43_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .55 .35 13   42 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem05_label45_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 7.2 3.8 150 310
eca-rers2012/Problem05_label46_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   3.9    - - error (invalid witness file) .61 .39 7.4 40 error (invalid witness file) 7.0 3.7 120 310
eca-rers2012/Problem05_label49_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 4.0   0      - - error (invalid witness file) .67 .42 7.7 40 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem05_label50_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   0      - - error (invalid witness file) .52 .32 9.1 39 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem05_label52_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   4.1    - - error (invalid witness file) .48 .32 6.9 40 error (invalid witness file) 7.4 3.9 150 300
eca-rers2012/Problem05_label53_true-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 4.0   0      - - error (invalid witness file) .49 .32 8.0 39 error (invalid witness file) 7.4 3.9 140 320
eca-rers2012/Problem05_label54_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   4.4    - - error (invalid witness file) .63 .40 7.2 39 error (invalid witness file) 7.5 3.9 140 300
eca-rers2012/Problem05_label56_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 4.0   10      - - error (invalid witness file) .64 .40 7.6 40 error (invalid witness file) 6.8 3.6 130 290
eca-rers2012/Problem05_label59_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 4.0   4.0    - - error (invalid witness file) .49 .32 9.5 40 error (invalid witness file) 7.2 3.8 150 290
eca-rers2012/Problem06_label03_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      - - error (invalid witness file) .47 .31 7.3 39 error (invalid witness file) 9.1 4.8 140 340
eca-rers2012/Problem06_label06_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   4.3    - - error (invalid witness file) .63 .39 8.4 39 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem06_label07_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .50 .32 11   41 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem06_label08_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .59 .37 10   41 error (invalid witness file) 7.3 3.8 140 300
eca-rers2012/Problem06_label13_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   4.0    - - error (invalid witness file) .62 .39 7.6 39 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem06_label14_true-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 3.7   .025  - - error (invalid witness file) .54 .35 12   41 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem06_label16_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.9   0      - - error (invalid witness file) .58 .37 10   39 error (invalid witness file) 7.3 3.8 62 310
eca-rers2012/Problem06_label17_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   .098  - - error (invalid witness file) .51 .33 9.9 40 error (invalid witness file) 7.3 3.8 140 310
eca-rers2012/Problem06_label18_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      - - error (invalid witness file) .53 .34 6.3 39 error (invalid witness file) 6.9 3.6 130 290
eca-rers2012/Problem06_label19_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .57 .36 10   43 error (invalid witness file) 7.2 3.8 140 290
eca-rers2012/Problem06_label22_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      - - error (invalid witness file) .65 .42 9.0 40 error (invalid witness file) 7.3 3.8 110 310
eca-rers2012/Problem06_label23_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   0      - - error (invalid witness file) .55 .35 8.6 41 error (invalid witness file) 7.3 3.8 150 300
eca-rers2012/Problem06_label25_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   0      - - error (invalid witness file) .51 .31 5.6 41 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem06_label26_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   0      - - error (invalid witness file) .66 .44 9.0 42 error (invalid witness file) 6.9 3.6 120 310
eca-rers2012/Problem06_label28_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   4.0    - - error (invalid witness file) .56 .34 12   43 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem06_label30_true-unreach-call.c out of memory 0 wit inspect 120   120   1700 15000 3.7   0      - - error (invalid witness file) .63 .40 9.2 43 error (invalid witness file) 6.2 3.3 100 290
eca-rers2012/Problem06_label31_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 4.0   4.0    - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.6 3.5 89 310
eca-rers2012/Problem06_label32_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      - - error (invalid witness file) .51 .34 8.3 40 error (invalid witness file) 7.2 3.8 140 310
eca-rers2012/Problem06_label34_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .55 .36 11   42 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem06_label35_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .51 .33 6.8 40 error (invalid witness file) 7.2 3.8 110 310
eca-rers2012/Problem06_label39_true-unreach-call.c out of memory 0 wit inspect 190   290   1800 15000 3.7   26000      - - error (invalid witness file) .49 .32 9.6 40 error (invalid witness file) 7.0 3.7 120 310
eca-rers2012/Problem06_label40_true-unreach-call.c out of memory 0 wit inspect 180   400   2000 15000 3.7   54000      - - error (invalid witness file) .55 .36 11   42 error (invalid witness file) 7.7 4.0 140 320
eca-rers2012/Problem06_label41_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   4.0    - - error (invalid witness file) .59 .37 10   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem06_label42_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 3.7   .037  - - error (invalid witness file) .51 .32 9.6 40 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem06_label43_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   3.8    - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.9 3.7 130 300
eca-rers2012/Problem06_label45_true-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 3.7   0      - - error (invalid witness file) .51 .34 12   39 error (invalid witness file) 8.1 4.2 150 320
eca-rers2012/Problem06_label46_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   .029  - - error (invalid witness file) .69 .42 8.2 40 error (invalid witness file) 6.2 3.4 94 300
eca-rers2012/Problem06_label49_true-unreach-call.c out of memory 0 wit inspect 120   140   1500 15000 3.7   3500      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem06_label50_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 3.7   4.0    - - error (invalid witness file) .54 .35 13   45 error (invalid witness file) 7.3 3.9 140 300
eca-rers2012/Problem06_label51_true-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 3.7   0      - - error (invalid witness file) .64 .40 9.3 40 error (invalid witness file) 7.5 4.0 100 300
eca-rers2012/Problem06_label52_true-unreach-call.c out of memory 0 wit inspect 120   120   1200 15000 3.7   610      - - error (invalid witness file) .67 .42 11   41 error (invalid witness file) 7.1 3.8 150 310
eca-rers2012/Problem06_label53_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      - - error (invalid witness file) .63 .41 7.8 41 error (invalid witness file) 6.7 3.6 150 300
eca-rers2012/Problem06_label54_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 3.7   0      - - error (invalid witness file) .56 .38 9.7 39 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem06_label55_true-unreach-call.c out of memory 0 wit inspect 130   150   1400 15000 3.7   7900      - - error (invalid witness file) .49 .32 11   41 error (invalid witness file) 7.4 3.9 140 310
eca-rers2012/Problem06_label57_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 3.7   0      - - error (invalid witness file) .57 .36 11   41 error (invalid witness file) 7.5 3.9 150 310
eca-rers2012/Problem07_label00_true-unreach-call.c out of memory 0 wit inspect 190   180   2500 15000 31     0      - - error (invalid witness file) .50 .33 8.6 40 error (invalid witness file) 7.5 4.0 140 420
eca-rers2012/Problem07_label01_true-unreach-call.c out of memory 0 wit inspect 220   300   2600 15000 31     22000      - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 8.1 4.3 140 430
eca-rers2012/Problem07_label02_true-unreach-call.c timeout 0 wit inspect 330   930   4100 15000 31     160000      - - error (invalid witness file) .54 .36 9.4 39 error (invalid witness file) 7.5 4.0 150 430
eca-rers2012/Problem07_label04_true-unreach-call.c out of memory 0 wit inspect 190   180   2500 15000 31     0      - - error (invalid witness file) .59 .37 9.2 39 error (invalid witness file) 8.1 4.4 160 430
eca-rers2012/Problem07_label08_true-unreach-call.c out of memory 0 wit inspect 180   180   2300 15000 31     0      - - error (invalid witness file) .48 .32 9.4 40 error (invalid witness file) 8.2 4.4 120 430
eca-rers2012/Problem07_label10_true-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     0      - - error (invalid witness file) .51 .31 10   40 error (invalid witness file) 8.1 4.3 150 430
eca-rers2012/Problem07_label12_true-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     0      - - error (invalid witness file) .50 .31 12   39 error (invalid witness file) 9.1 4.8 170 450
eca-rers2012/Problem07_label13_true-unreach-call.c out of memory 0 wit inspect 200   230   2300 15000 31     8300      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.7 4.1 150 430
eca-rers2012/Problem07_label14_true-unreach-call.c out of memory 0 wit inspect 190   200   2300 15000 31     1800      - - error (invalid witness file) .80 .51 6.8 42 error (invalid witness file) 8.5 4.5 140 440
eca-rers2012/Problem07_label16_true-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     0      - - error (invalid witness file) .60 .38 8.8 40 error (invalid witness file) 7.5 4.1 150 430
eca-rers2012/Problem07_label17_true-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     .029  - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 7.7 4.1 160 430
eca-rers2012/Problem07_label21_true-unreach-call.c out of memory 0 wit inspect 190   190   2500 15000 31     0      - - error (invalid witness file) .52 .32 8.0 42 error (invalid witness file) 8.1 4.3 170 430
eca-rers2012/Problem07_label22_true-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     0      - - error (invalid witness file) .66 .42 7.7 41 error (invalid witness file) 8.1 4.3 180 440
eca-rers2012/Problem07_label24_true-unreach-call.c out of memory 0 wit inspect 190   190   2400 15000 31     .16   - - error (invalid witness file) .50 .33 9.1 40 error (invalid witness file) 8.0 4.3 130 430
eca-rers2012/Problem07_label25_true-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     4.5    - - error (invalid witness file) .54 .34 11   40 error (invalid witness file) 7.2 3.9 140 420
eca-rers2012/Problem07_label26_true-unreach-call.c out of memory 0 wit inspect 180   180   2400 15000 31     0      - - error (invalid witness file) .67 .42 7.4 42 error (invalid witness file) 7.9 4.3 150 430
eca-rers2012/Problem07_label27_true-unreach-call.c out of memory 0 wit inspect 190   190   2600 15000 31     0      - - error (invalid witness file) .46 .31 9.1 40 error (invalid witness file) 8.1 4.3 160 430
eca-rers2012/Problem07_label28_true-unreach-call.c out of memory 0 wit inspect 190   190   2600 15000 31     0      - - error (invalid witness file) .47 .32 11   40 error (invalid witness file) 8.4 4.5 150 430
eca-rers2012/Problem07_label29_true-unreach-call.c out of memory 0 wit inspect 180   180   2600 15000 31     0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.9 4.2 160 430
eca-rers2012/Problem07_label32_true-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     0      - - error (invalid witness file) .59 .37 10   41 error (invalid witness file) 8.0 4.3 160 430
eca-rers2012/Problem07_label33_true-unreach-call.c out of memory 0 wit inspect 190   180   2400 15000 31     0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 8.2 4.3 140 430
eca-rers2012/Problem07_label34_true-unreach-call.c out of memory 0 wit inspect 180   180   2100 15000 31     0      - - error (invalid witness file) .52 .34 9.6 42 error (invalid witness file) 7.6 4.1 130 430
eca-rers2012/Problem07_label38_true-unreach-call.c out of memory 0 wit inspect 190   190   2200 15000 31     .070  - - error (invalid witness file) .68 .43 8.4 40 error (invalid witness file) 8.7 4.6 150 440
eca-rers2012/Problem07_label41_true-unreach-call.c out of memory 0 wit inspect 190   190   2000 15000 31     6.7    - - error (invalid witness file) .62 .40 8.2 39 error (invalid witness file) 7.7 4.1 160 430
eca-rers2012/Problem07_label43_true-unreach-call.c out of memory 0 wit inspect 190   190   2600 15000 31     0      - - error (invalid witness file) .53 .34 8.9 40 error (invalid witness file) 8.1 4.4 160 430
eca-rers2012/Problem07_label45_true-unreach-call.c out of memory 0 wit inspect 190   190   2500 15000 31     0      - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 8.0 4.3 160 430
eca-rers2012/Problem07_label49_true-unreach-call.c out of memory 0 wit inspect 180   180   2200 15000 31     0      - - error (invalid witness file) .66 .41 9.5 43 error (invalid witness file) 8.0 4.3 130 420
eca-rers2012/Problem07_label50_true-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     4.3    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 8.2 4.5 140 430
eca-rers2012/Problem07_label51_true-unreach-call.c out of memory 0 wit inspect 180   180   2300 15000 31     0      - - error (invalid witness file) .59 .38 9.2 41 error (invalid witness file) 7.6 4.1 140 420
eca-rers2012/Problem07_label52_true-unreach-call.c out of memory 0 wit inspect 190   180   2700 15000 31     4.4    - - error (invalid witness file) .53 .34 11   39 error (invalid witness file) 7.7 4.2 130 430
eca-rers2012/Problem07_label53_true-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      - - error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 7.9 4.2 130 430
eca-rers2012/Problem07_label54_true-unreach-call.c out of memory 0 wit inspect 190   180   2000 15000 31     0      - - error (invalid witness file) .49 .32 12   39 error (invalid witness file) 7.3 4.0 140 420
eca-rers2012/Problem07_label55_true-unreach-call.c out of memory 0 wit inspect 190   190   2300 15000 31     0      - - error (invalid witness file) .64 .41 7.9 40 error (invalid witness file) 8.0 4.3 140 430
eca-rers2012/Problem07_label56_true-unreach-call.c out of memory 0 wit inspect 190   190   2000 15000 31     0      - - error (invalid witness file) .67 .42 9.0 41 error (invalid witness file) 7.9 4.3 120 430
eca-rers2012/Problem07_label57_true-unreach-call.c out of memory 0 wit inspect 190   190   2000 15000 31     0      - - error (invalid witness file) .66 .41 7.5 44 error (invalid witness file) 7.8 4.2 130 430
eca-rers2012/Problem07_label59_true-unreach-call.c out of memory 0 wit inspect 190   190   2100 15000 31     4.4    - - error (invalid witness file) .48 .30 7.7 40 error (invalid witness file) 7.4 4.0 110 420
eca-rers2012/Problem08_label00_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     4.0    - - error (invalid witness file) .67 .41 8.2 42 error (invalid witness file) 8.5 4.7 150 510
eca-rers2012/Problem08_label03_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     .029  - - error (invalid witness file) .58 .36 11   40 error (invalid witness file) 8.7 4.8 150 520
eca-rers2012/Problem08_label08_true-unreach-call.c out of memory 0 wit inspect 150   150   1500 15000 61     .029  - - error (invalid witness file) .64 .40 7.1 39 error (invalid witness file) 8.6 4.7 140 520
eca-rers2012/Problem08_label09_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     10      - - error (invalid witness file) .52 .33 13   41 error (invalid witness file) 8.3 4.5 160 520
eca-rers2012/Problem08_label11_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 10   5.8 120 510
eca-rers2012/Problem08_label12_true-unreach-call.c out of memory 0 wit inspect 150   150   1500 15000 61     4.0    - - error (invalid witness file) .51 .32 9.1 39 error (invalid witness file) 8.3 4.6 140 510
eca-rers2012/Problem08_label14_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     0      - - error (invalid witness file) .53 .34 10   40 error (invalid witness file) 8.8 4.8 180 510
eca-rers2012/Problem08_label16_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     9.7    - - error (invalid witness file) .52 .35 6.7 42 error (invalid witness file) 8.6 4.7 130 520
eca-rers2012/Problem08_label17_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     4.0    - - error (invalid witness file) .56 .37 9.7 41 error (invalid witness file) 8.1 4.4 160 510
eca-rers2012/Problem08_label18_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     0      - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 9.0 4.9 140 520
eca-rers2012/Problem08_label19_true-unreach-call.c out of memory 0 wit inspect 150   140   1700 15000 61     0      - - error (invalid witness file) .46 .32 7.2 40 error (invalid witness file) 8.8 4.8 170 510
eca-rers2012/Problem08_label20_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     0      - - error (invalid witness file) .60 .38 11   42 error (invalid witness file) 8.8 4.8 150 530
eca-rers2012/Problem08_label21_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     0      - - error (invalid witness file) .62 .39 9.5 41 error (invalid witness file) 9.3 5.1 190 530
eca-rers2012/Problem08_label22_true-unreach-call.c out of memory 0 wit inspect 150   140   1800 15000 61     4.1    - - error (invalid witness file) .52 .33 9.3 39 error (invalid witness file) 8.3 4.6 160 510
eca-rers2012/Problem08_label23_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     0      - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 8.2 4.5 130 510
eca-rers2012/Problem08_label27_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     4.3    - - error (invalid witness file) .58 .37 10   40 error (invalid witness file) 8.2 4.5 71 520
eca-rers2012/Problem08_label30_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     0      - - error (invalid witness file) .50 .33 12   42 error (invalid witness file) 8.4 4.6 150 510
eca-rers2012/Problem08_label31_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     0      - - error (invalid witness file) .65 .42 7.5 39 error (invalid witness file) 8.5 4.6 150 510
eca-rers2012/Problem08_label32_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 61     4.0    - - error (invalid witness file) .61 .39 8.7 40 error (invalid witness file) 9.6 5.1 170 530
eca-rers2012/Problem08_label33_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     .098  - - error (invalid witness file) .71 .45 8.8 44 error (invalid witness file) 8.3 4.5 160 520
eca-rers2012/Problem08_label35_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     4.0    - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 11   5.8 130 520
eca-rers2012/Problem08_label36_true-unreach-call.c out of memory 0 wit inspect 150   140   1800 15000 61     0      - - error (invalid witness file) .48 .30 7.5 40 error (invalid witness file) 8.4 4.6 150 510
eca-rers2012/Problem08_label38_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      - - error (invalid witness file) .50 .34 4.2 39 error (invalid witness file) 9.1 5.0 120 540
eca-rers2012/Problem08_label39_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.7 4.3 190 510
eca-rers2012/Problem08_label40_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 61     4.5    - - error (invalid witness file) .64 .40 7.3 42 error (invalid witness file) 8.9 4.9 170 510
eca-rers2012/Problem08_label41_true-unreach-call.c out of memory 0 wit inspect 150   150   1500 15000 61     0      - - error (invalid witness file) .66 .41 7.1 41 error (invalid witness file) 8.3 4.5 130 520
eca-rers2012/Problem08_label42_true-unreach-call.c out of memory 0 wit inspect 150   140   2000 15000 61     0      - - error (invalid witness file) .56 .37 11   41 error (invalid witness file) 9.7 5.3 120 520
eca-rers2012/Problem08_label44_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      - - error (invalid witness file) .52 .34 9.8 42 error (invalid witness file) 8.1 4.5 110 520
eca-rers2012/Problem08_label45_true-unreach-call.c out of memory 0 wit inspect 150   140   1900 15000 61     4.0    - - error (invalid witness file) .61 .39 9.0 40 error (invalid witness file) 9.0 4.9 140 520
eca-rers2012/Problem08_label47_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     4.1    - - error (invalid witness file) .52 .33 9.3 40 error (invalid witness file) 8.8 4.8 160 520
eca-rers2012/Problem08_label52_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     .098  - - error (invalid witness file) .54 .35 10   39 error (invalid witness file) 9.3 5.1 200 530
eca-rers2012/Problem08_label53_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     0      - - error (invalid witness file) .62 .40 7.6 39 error (invalid witness file) 8.6 4.7 140 520
eca-rers2012/Problem08_label54_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     4.0    - - error (invalid witness file) .48 .30 6.5 39 error (invalid witness file) 8.2 4.5 150 510
eca-rers2012/Problem08_label56_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 61     4.1    - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 8.1 4.4 120 520
eca-rers2012/Problem08_label57_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 61     4.1    - - error (invalid witness file) .57 .37 12   40 error (invalid witness file) 8.2 4.5 140 520
eca-rers2012/Problem08_label58_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 61     4.1    - - error (invalid witness file) .47 .30 5.5 40 error (invalid witness file) 9.4 5.2 170 550
eca-rers2012/Problem09_label00_true-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     0      - - error (invalid witness file) .65 .41 8.2 39 error (invalid witness file) 9.1 5.0 170 550
eca-rers2012/Problem09_label01_true-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     0      - - error (invalid witness file) .66 .41 7.9 39 error (invalid witness file) 8.4 4.6 180 530
eca-rers2012/Problem09_label04_true-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     0      - - error (invalid witness file) .54 .34 9.3 40 error (invalid witness file) 8.5 4.7 150 530
eca-rers2012/Problem09_label05_true-unreach-call.c out of memory 0 wit inspect 230   230   3200 15000 68     0      - - error (invalid witness file) .49 .31 13   40 error (invalid witness file) 9.1 5.0 150 660
eca-rers2012/Problem09_label07_true-unreach-call.c out of memory 0 wit inspect 230   230   3000 15000 68     0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 8.5 4.7 110 530
eca-rers2012/Problem09_label09_true-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      - - error (invalid witness file) .57 .37 10   40 error (invalid witness file) 9.2 5.1 170 530
eca-rers2012/Problem09_label12_true-unreach-call.c out of memory 0 wit inspect 230   230   3000 15000 68     4.2    - - error (invalid witness file) .65 .41 8.0 40 error (invalid witness file) 9.4 5.1 170 540
eca-rers2012/Problem09_label13_true-unreach-call.c out of memory 0 wit inspect 220   220   3000 15000 68     0      - - error (invalid witness file) .47 .30 9.6 39 error (invalid witness file) 9.0 5.0 180 530
eca-rers2012/Problem09_label14_true-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      - - error (invalid witness file) .49 .32 11   41 error (invalid witness file) 8.4 4.7 140 530
eca-rers2012/Problem09_label16_true-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     3.9    - - error (invalid witness file) .63 .40 7.3 39 error (invalid witness file) 9.1 5.0 180 530
eca-rers2012/Problem09_label17_true-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.2 4.6 170 520
eca-rers2012/Problem09_label18_true-unreach-call.c out of memory 0 wit inspect 230   220   3100 15000 68     0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 9.1 5.0 160 540
eca-rers2012/Problem09_label21_true-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 8.6 4.8 180 520
eca-rers2012/Problem09_label22_true-unreach-call.c out of memory 0 wit inspect 220   220   2800 15000 68     0      - - error (invalid witness file) .65 .42 6.9 41 error (invalid witness file) 7.7 4.3 91 520
eca-rers2012/Problem09_label23_true-unreach-call.c out of memory 0 wit inspect 230   230   3200 15000 68     0      - - error (invalid witness file) .59 .37 13   43 error (invalid witness file) 8.9 4.9 120 530
eca-rers2012/Problem09_label24_true-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     9.9    - - error (invalid witness file) .66 .43 8.0 41 error (invalid witness file) 8.6 4.8 120 530
eca-rers2012/Problem09_label25_true-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      - - error (invalid witness file) .55 .35 9.7 39 error (invalid witness file) 8.4 4.7 170 530
eca-rers2012/Problem09_label26_true-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      - - error (invalid witness file) .62 .41 6.5 43 error (invalid witness file) 8.3 4.7 110 530
eca-rers2012/Problem09_label27_true-unreach-call.c out of memory 0 wit inspect 220   220   3200 15000 68     3.8    - - error (invalid witness file) .62 .40 7.5 39 error (invalid witness file) 8.4 4.7 170 530
eca-rers2012/Problem09_label28_true-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      - - error (invalid witness file) .59 .36 9.2 39 error (invalid witness file) 8.1 4.5 150 520
eca-rers2012/Problem09_label29_true-unreach-call.c out of memory 0 wit inspect 230   230   3200 15000 68     0      - - error (invalid witness file) .70 .44 8.5 42 error (invalid witness file) 8.1 4.5 120 520
eca-rers2012/Problem09_label30_true-unreach-call.c out of memory 0 wit inspect 230   230   3100 15000 68     3.9    - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 8.7 4.8 160 520
eca-rers2012/Problem09_label31_true-unreach-call.c out of memory 0 wit inspect 230   230   3000 15000 68     4.2    - - error (invalid witness file) .59 .37 8.4 39 error (invalid witness file) 8.8 4.8 160 530
eca-rers2012/Problem09_label33_true-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     3.9    - - error (invalid witness file) .56 .34 13   41 error (invalid witness file) 8.4 4.6 160 520
eca-rers2012/Problem09_label37_true-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     0      - - error (invalid witness file) .50 .31 9.6 39 error (invalid witness file) 8.1 4.5 120 530
eca-rers2012/Problem09_label39_true-unreach-call.c out of memory 0 wit inspect 230   230   3000 15000 68     4.0    - - error (invalid witness file) .64 .40 7.0 39 error (invalid witness file) 8.3 4.6 160 530
eca-rers2012/Problem09_label40_true-unreach-call.c out of memory 0 wit inspect 230   230   2500 15000 68     10      - - error (invalid witness file) .51 .34 6.0 41 error (invalid witness file) 8.3 4.7 160 520
eca-rers2012/Problem09_label42_true-unreach-call.c out of memory 0 wit inspect 230   220   2400 15000 68     0      - - error (invalid witness file) .64 .40 8.6 40 error (invalid witness file) 8.1 4.5 150 520
eca-rers2012/Problem09_label43_true-unreach-call.c out of memory 0 wit inspect 230   230   3200 15000 68     0      - - error (invalid witness file) .49 .31 5.8 40 error (invalid witness file) 9.8 5.3 190 550
eca-rers2012/Problem09_label45_true-unreach-call.c out of memory 0 wit inspect 230   230   3100 15000 68     0      - - error (invalid witness file) .63 .40 10   44 error (invalid witness file) 9.0 5.0 140 540
eca-rers2012/Problem09_label48_true-unreach-call.c out of memory 0 wit inspect 230   230   2600 15000 68     0      - - error (invalid witness file) .50 .32 6.7 39 error (invalid witness file) 8.5 4.7 150 530
eca-rers2012/Problem09_label49_true-unreach-call.c out of memory 0 wit inspect 230   230   2800 15000 68     0      - - error (invalid witness file) .54 .35 7.2 40 error (invalid witness file) 8.6 4.7 120 530
eca-rers2012/Problem09_label50_true-unreach-call.c out of memory 0 wit inspect 230   230   2900 15000 68     3.9    - - error (invalid witness file) .51 .33 13   39 error (invalid witness file) 9.2 5.0 160 540
eca-rers2012/Problem09_label52_true-unreach-call.c out of memory 0 wit inspect 230   230   2700 15000 68     0      - - error (invalid witness file) .50 .35 10   41 error (invalid witness file) 8.4 4.6 130 530
eca-rers2012/Problem09_label55_true-unreach-call.c out of memory 0 wit inspect 230   230   3100 15000 68     0      - - error (invalid witness file) .48 .30 12   39 error (invalid witness file) 7.9 4.5 140 530
eca-rers2012/Problem09_label58_true-unreach-call.c out of memory 0 wit inspect 230   230   3100 15000 68     0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 8.6 4.7 160 520
eca-rers2012/Problem10_label00_true-unreach-call.c out of memory 0 wit inspect 310   310   3300 15000 .23  4.5    - - error (invalid witness file) .65 .41 7.5 39 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem10_label01_true-unreach-call.c out of memory 0 wit inspect 310   310   4300 15000 .23  0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.4 3.4 130 310
eca-rers2012/Problem10_label02_true-unreach-call.c out of memory 0 wit inspect 310   340   3800 15000 .23  7700      - - error (invalid witness file) .55 .36 9.5 40 error (invalid witness file) 7.3 3.9 97 290
eca-rers2012/Problem10_label03_true-unreach-call.c out of memory 0 wit inspect 310   310   4600 15000 .23  .098  - - error (invalid witness file) .66 .42 8.0 40 error (invalid witness file) 6.0 3.2 77 300
eca-rers2012/Problem10_label04_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  0      - - error (invalid witness file) .51 .34 12   39 error (invalid witness file) 6.6 3.5 110 310
eca-rers2012/Problem10_label05_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  0      - - error (invalid witness file) .53 .35 9.5 41 error (invalid witness file) 6.1 3.2 130 300
eca-rers2012/Problem10_label06_true-unreach-call.c out of memory 0 wit inspect 310   310   3600 15000 .23  4.1    - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.0 3.2 120 300
eca-rers2012/Problem10_label07_true-unreach-call.c out of memory 0 wit inspect 310   310   3600 15000 .23  4.1    - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem10_label08_true-unreach-call.c out of memory 0 wit inspect 310   310   3300 15000 .23  3.9    - - error (invalid witness file) .59 .37 11   40 error (invalid witness file) 6.0 3.2 78 290
eca-rers2012/Problem10_label09_true-unreach-call.c out of memory 0 wit inspect 310   310   4700 15000 .23  4.0    - - error (invalid witness file) .48 .31 8.5 39 error (invalid witness file) 5.3 2.9 90 290
eca-rers2012/Problem10_label10_true-unreach-call.c out of memory 0 wit inspect 310   310   4000 15000 .23  0      - - error (invalid witness file) .50 .32 12   41 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem10_label11_true-unreach-call.c out of memory 0 wit inspect 310   310   4000 15000 .23  .098  - - error (invalid witness file) .47 .32 9.8 40 error (invalid witness file) 6.2 3.3 130 290
eca-rers2012/Problem10_label13_true-unreach-call.c out of memory 0 wit inspect 310   310   4200 15000 .23  0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.2 3.3 100 300
eca-rers2012/Problem10_label14_true-unreach-call.c out of memory 0 wit inspect 310   310   4200 15000 .23  0      - - error (invalid witness file) .53 .35 13   41 error (invalid witness file) 6.3 3.4 120 310
eca-rers2012/Problem10_label16_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  4.0    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem10_label17_true-unreach-call.c out of memory 0 wit inspect 310   310   4100 15000 .23  3.9    - - error (invalid witness file) .49 .32 4.3 40 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem10_label18_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  580      - - error (invalid witness file) .61 .40 6.9 40 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem10_label19_true-unreach-call.c out of memory 0 wit inspect 310   310   4100 15000 .23  0      - - error (invalid witness file) .58 .37 6.6 39 error (invalid witness file) 6.4 3.3 130 300
eca-rers2012/Problem10_label20_true-unreach-call.c out of memory 0 wit inspect 310   310   3600 15000 .23  0      - - error (invalid witness file) .63 .41 8.8 44 error (invalid witness file) 5.5 3.0 110 290
eca-rers2012/Problem10_label21_true-unreach-call.c out of memory 0 wit inspect 310   310   3300 15000 .23  3.9    - - error (invalid witness file) .47 .32 7.6 39 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem10_label22_true-unreach-call.c out of memory 0 wit inspect 310   310   4300 15000 .23  14      - - error (invalid witness file) .48 .31 12   39 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem10_label23_true-unreach-call.c out of memory 0 wit inspect 310   330   3700 15000 .23  4500      - - error (invalid witness file) .67 .43 7.1 40 error (invalid witness file) 5.8 3.1 120 290
eca-rers2012/Problem10_label25_true-unreach-call.c out of memory 0 wit inspect 320   350   3800 15000 .23  10000      - - error (invalid witness file) .54 .36 9.3 40 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem10_label27_true-unreach-call.c out of memory 0 wit inspect 310   310   4300 15000 .23  0      - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem10_label30_true-unreach-call.c out of memory 0 wit inspect 310   310   3500 15000 .23  4.3    - - error (invalid witness file) .52 .34 11   41 error (invalid witness file) 6.0 3.2 130 300
eca-rers2012/Problem10_label31_true-unreach-call.c out of memory 0 wit inspect 310   310   4000 15000 .23  0      - - error (invalid witness file) .64 .41 8.7 39 error (invalid witness file) 5.9 3.1 110 290
eca-rers2012/Problem10_label32_true-unreach-call.c out of memory 0 wit inspect 310   310   3700 15000 .23  0      - - error (invalid witness file) .58 .38 8.0 40 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem10_label33_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  0      - - error (invalid witness file) .59 .37 9.7 40 error (invalid witness file) 7.3 3.8 120 320
eca-rers2012/Problem10_label34_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  0      - - error (invalid witness file) .50 .32 6.9 39 error (invalid witness file) 5.6 3.1 110 300
eca-rers2012/Problem10_label35_true-unreach-call.c out of memory 0 wit inspect 310   310   3500 15000 .23  4.0    - - error (invalid witness file) .48 .30 7.2 40 error (invalid witness file) 5.7 3.1 120 290
eca-rers2012/Problem10_label36_true-unreach-call.c out of memory 0 wit inspect 310   310   3500 15000 .23  4.0    - - error (invalid witness file) .56 .35 7.2 42 error (invalid witness file) 6.6 3.5 99 300
eca-rers2012/Problem10_label37_true-unreach-call.c out of memory 0 wit inspect 310   310   3500 15000 .23  0      - - error (invalid witness file) .70 .44 7.3 40 error (invalid witness file) 6.0 3.2 110 300
eca-rers2012/Problem10_label38_true-unreach-call.c out of memory 0 wit inspect 310   310   4800 15000 .23  .057  - - error (invalid witness file) .55 .36 12   44 error (invalid witness file) 6.1 3.2 110 300
eca-rers2012/Problem10_label39_true-unreach-call.c out of memory 0 wit inspect 310   310   4000 15000 .23  1700      - - error (invalid witness file) .57 .37 9.9 39 error (invalid witness file) 6.0 3.2 120 290
eca-rers2012/Problem10_label40_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  4.3    - - error (invalid witness file) .48 .32 12   40 error (invalid witness file) 5.9 3.1 83 300
eca-rers2012/Problem10_label43_true-unreach-call.c out of memory 0 wit inspect 310   310   4300 15000 .23  4.4    - - error (invalid witness file) .49 .31 8.7 41 error (invalid witness file) 6.9 3.6 130 310
eca-rers2012/Problem10_label44_true-unreach-call.c out of memory 0 wit inspect 310   310   3300 15000 .23  0      - - error (invalid witness file) .70 .43 11   42 error (invalid witness file) 6.3 3.3 130 310
eca-rers2012/Problem10_label45_true-unreach-call.c out of memory 0 wit inspect 310   340   4200 15000 .23  8300      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.3 3.4 140 300
eca-rers2012/Problem10_label49_true-unreach-call.c out of memory 0 wit inspect 310   310   3600 15000 .23  0      - - error (invalid witness file) .51 .32 9.9 39 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem10_label51_true-unreach-call.c out of memory 0 wit inspect 310   310   3800 15000 .23  16      - - error (invalid witness file) .64 .41 8.3 39 error (invalid witness file) 6.9 3.6 110 310
eca-rers2012/Problem10_label52_true-unreach-call.c out of memory 0 wit inspect 320   360   3900 15000 .23  12000      - - error (invalid witness file) .63 .40 7.3 39 error (invalid witness file) 6.4 3.3 140 300
eca-rers2012/Problem10_label53_true-unreach-call.c out of memory 0 wit inspect 310   310   4600 15000 .23  0      - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 7.4 3.9 160 320
eca-rers2012/Problem10_label54_true-unreach-call.c out of memory 0 wit inspect 310   340   3900 15000 .23  6000      - - error (invalid witness file) .57 .36 9.6 39 error (invalid witness file) 6.0 3.2 130 300
eca-rers2012/Problem10_label56_true-unreach-call.c out of memory 0 wit inspect 320   410   4300 15000 .23  27000      - - error (invalid witness file) .66 .41 8.8 42 error (invalid witness file) 6.5 3.4 140 290
eca-rers2012/Problem10_label59_true-unreach-call.c out of memory 0 wit inspect 310   310   4200 15000 .23  0      - - error (invalid witness file) .56 .36 10   40 error (invalid witness file) 6.2 3.3 130 290
eca-rers2012/Problem11_label01_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  4.4    - - error (invalid witness file) .47 .31 5.4 40 error (invalid witness file) 6.4 3.3 120 300
eca-rers2012/Problem11_label02_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .58 .37 10   40 error (invalid witness file) 6.7 3.5 120 290
eca-rers2012/Problem11_label03_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  9.9    - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.1 3.2 130 300
eca-rers2012/Problem11_label04_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem11_label05_true-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 .41  .13   - - error (invalid witness file) .61 .39 9.3 40 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem11_label06_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  3.9    - - error (invalid witness file) .68 .42 9.5 42 error (invalid witness file) 6.6 3.5 130 310
eca-rers2012/Problem11_label07_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem11_label09_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  9.8    - - error (invalid witness file) .57 .36 11   40 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem11_label10_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      - - error (invalid witness file) .73 .46 8.9 43 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem11_label11_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  0      - - error (invalid witness file) .48 .32 9.8 39 error (invalid witness file) 7.0 3.6 130 300
eca-rers2012/Problem11_label12_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .54 .37 10   40 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem11_label13_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  10      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem11_label16_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      - - error (invalid witness file) .54 .34 13   42 error (invalid witness file) 6.6 3.5 92 300
eca-rers2012/Problem11_label17_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  9.9    - - error (invalid witness file) .61 .38 7.7 39 error (invalid witness file) 6.3 3.4 120 290
eca-rers2012/Problem11_label18_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      - - error (invalid witness file) .62 .40 9.2 41 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem11_label19_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .63 .40 6.9 40 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem11_label21_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .54 .34 11   40 error (invalid witness file) 7.1 3.7 98 290
eca-rers2012/Problem11_label22_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .50 .32 6.5 41 error (invalid witness file) 6.6 3.4 98 300
eca-rers2012/Problem11_label23_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      - - error (invalid witness file) .52 .33 12   43 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem11_label24_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  4.5    - - error (invalid witness file) .64 .41 8.4 39 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem11_label25_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .69 .44 8.4 40 error (invalid witness file) 6.1 3.2 120 290
eca-rers2012/Problem11_label26_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .56 .37 13   41 error (invalid witness file) 8.1 4.3 96 300
eca-rers2012/Problem11_label27_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  0      - - error (invalid witness file) .51 .34 3.5 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem11_label28_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem11_label30_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .53 .35 6.8 43 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem11_label32_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 .41  3.9    - - error (invalid witness file) .54 .36 7.8 39 error (invalid witness file) 6.2 3.3 120 310
eca-rers2012/Problem11_label33_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  0      - - error (invalid witness file) .68 .43 7.2 40 error (invalid witness file) 6.6 3.4 120 300
eca-rers2012/Problem11_label35_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  15      - - error (invalid witness file) .53 .33 7.1 39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem11_label37_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  9.9    - - error (invalid witness file) .50 .32 8.3 42 error (invalid witness file) 6.0 3.2 120 300
eca-rers2012/Problem11_label38_true-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 .41  0      - - error (invalid witness file) .65 .41 6.2 42 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem11_label40_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  9.9    - - error (invalid witness file) .62 .40 7.1 40 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem11_label41_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  4.4    - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.0 3.1 100 290
eca-rers2012/Problem11_label44_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  4.0    - - error (invalid witness file) .51 .33 4.2 41 error (invalid witness file) 5.7 3.1 81 290
eca-rers2012/Problem11_label45_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  0      - - error (invalid witness file) .62 .40 9.2 41 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem11_label46_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .41  4.0    - - error (invalid witness file) .59 .38 8.7 40 error (invalid witness file) 7.4 3.9 120 310
eca-rers2012/Problem11_label47_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  4.1    - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem11_label48_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  4.0    - - error (invalid witness file) .62 .39 9.8 40 error (invalid witness file) 6.1 3.3 110 300
eca-rers2012/Problem11_label50_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  4.6    - - error (invalid witness file) .67 .42 8.1 43 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem11_label52_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  0      - - error (invalid witness file) .54 .35 9.9 40 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem11_label53_true-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 .41  0      - - error (invalid witness file) .65 .40 8.0 40 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem11_label54_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .41  9.8    - - error (invalid witness file) .62 .39 9.7 40 error (invalid witness file) 6.9 3.6 130 300
eca-rers2012/Problem11_label55_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  0      - - error (invalid witness file) .58 .36 11   40 error (invalid witness file) 5.7 3.1 110 290
eca-rers2012/Problem11_label56_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .41  4.1    - - error (invalid witness file) .55 .35 11   39 error (invalid witness file) 6.0 3.2 79 300
eca-rers2012/Problem11_label57_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .41  9.8    - - error (invalid witness file) .52 .34 10   42 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem11_label59_true-unreach-call.c out of memory 0 wit inspect 130   130   2000 15000 .41  9.6    - - error (invalid witness file) .61 .38 12   42 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem12_label01_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      - - error (invalid witness file) .58 .38 12   43 error (invalid witness file) 6.5 3.4 110 310
eca-rers2012/Problem12_label02_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   0      - - error (invalid witness file) .54 .36 9.7 40 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem12_label04_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem12_label05_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   4.1    - - error (invalid witness file) .65 .41 6.7 41 error (invalid witness file) 6.3 3.3 84 300
eca-rers2012/Problem12_label09_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   0      - - error (invalid witness file) .64 .40 8.7 40 error (invalid witness file) 6.5 3.4 88 310
eca-rers2012/Problem12_label11_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      - - error (invalid witness file) .70 .44 8.0 40 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem12_label12_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.0    - - error (invalid witness file) .58 .36 9.3 40 error (invalid witness file) 6.7 3.6 110 300
eca-rers2012/Problem12_label14_true-unreach-call.c out of memory 0 wit inspect 150   150   2200 15000 1.7   9.7    - - error (invalid witness file) .49 .32 4.1 40 error (invalid witness file) 7.2 3.8 130 300
eca-rers2012/Problem12_label15_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   0      - - error (invalid witness file) .49 .32 11   41 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem12_label16_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem12_label17_true-unreach-call.c out of memory 0 wit inspect 150   150   2200 15000 1.7   0      - - error (invalid witness file) .63 .40 6.1 40 error (invalid witness file) 7.9 4.2 97 300
eca-rers2012/Problem12_label18_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 2.0   0      - - error (invalid witness file) .48 .32 7.8 40 error (invalid witness file) 7.0 3.7 120 310
eca-rers2012/Problem12_label22_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   0      - - error (invalid witness file) .61 .38 10   40 error (invalid witness file) 6.8 3.6 140 300
eca-rers2012/Problem12_label23_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.9   0      - - error (invalid witness file) .71 .46 9.3 44 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem12_label24_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.9 3.7 140 300
eca-rers2012/Problem12_label26_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   0      - - error (invalid witness file) .50 .33 7.3 40 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem12_label27_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   .23   - - error (invalid witness file) .67 .42 8.8 41 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem12_label29_true-unreach-call.c out of memory 0 wit inspect 150   150   2200 15000 1.7   0      - - error (invalid witness file) .56 .36 13   40 error (invalid witness file) 6.7 3.6 130 300
eca-rers2012/Problem12_label31_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   0      - - error (invalid witness file) .52 .34 4.0 41 error (invalid witness file) 6.8 3.6 150 300
eca-rers2012/Problem12_label32_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem12_label33_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.9   0      - - error (invalid witness file) .66 .42 8.1 39 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem12_label36_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      - - error (invalid witness file) .55 .36 13   44 error (invalid witness file) 6.4 3.4 90 300
eca-rers2012/Problem12_label41_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 2.0   0      - - error (invalid witness file) .52 .36 7.4 40 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem12_label43_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   14      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem12_label44_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   9.5    - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem12_label45_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 2.0   0      - - error (invalid witness file) .64 .41 7.9 41 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem12_label46_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   4.0    - - error (invalid witness file) .61 .40 7.9 39 error (invalid witness file) 7.2 3.7 120 310
eca-rers2012/Problem12_label47_true-unreach-call.c out of memory 0 wit inspect 150   150   1900 15000 1.7   0      - - error (invalid witness file) .64 .40 8.4 40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem12_label49_true-unreach-call.c out of memory 0 wit inspect 150   150   2000 15000 1.7   0      - - error (invalid witness file) .57 .37 11   41 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem12_label53_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      - - error (invalid witness file) .65 .40 7.2 39 error (invalid witness file) 6.9 3.6 97 310
eca-rers2012/Problem12_label54_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.1    - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem12_label56_true-unreach-call.c out of memory 0 wit inspect 150   150   1600 15000 1.8   0      - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 7.6 3.9 120 310
eca-rers2012/Problem12_label57_true-unreach-call.c out of memory 0 wit inspect 150   150   2100 15000 1.7   0      - - error (invalid witness file) .60 .37 8.0 39 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem12_label58_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 1.7   4.0    - - error (invalid witness file) .57 .36 12   41 error (invalid witness file) 6.7 3.5 140 300
eca-rers2012/Problem12_label59_true-unreach-call.c out of memory 0 wit inspect 150   150   1800 15000 1.7   0      - - error (invalid witness file) .64 .41 7.3 41 error (invalid witness file) 7.6 3.9 150 320
eca-rers2012/Problem13_label00_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      - - error (invalid witness file) .48 .30 12   41 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem13_label01_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   4.0    - - error (invalid witness file) .79 .50 7.3 42 error (invalid witness file) 6.8 3.6 97 300
eca-rers2012/Problem13_label02_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   290      - - error (invalid witness file) .55 .35 9.3 41 error (invalid witness file) 6.7 3.5 110 290
eca-rers2012/Problem13_label03_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.7 3.5 150 300
eca-rers2012/Problem13_label05_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.5   .098  - - error (invalid witness file) .65 .40 8.1 39 error (invalid witness file) 6.7 3.6 140 300
eca-rers2012/Problem13_label08_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 7.2 3.7 140 310
eca-rers2012/Problem13_label09_true-unreach-call.c timeout 0 wit inspect 330   930   3000 15000 2.0   170000      - - error (invalid witness file) .64 .41 7.0 39 error (invalid witness file) 7.6 3.9 150 310
eca-rers2012/Problem13_label10_true-unreach-call.c timeout 0 wit inspect 550   930   4700 15000 2.0   90000      - - error (invalid witness file) .48 .30 11   39 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem13_label13_true-unreach-call.c out of memory 0 wit inspect 140   140   2100 15000 2.0   .057  - - error (invalid witness file) .62 .40 8.0 40 error (invalid witness file) 7.1 3.8 120 300
eca-rers2012/Problem13_label14_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   4.1    - - error (invalid witness file) .54 .35 4.4 40 error (invalid witness file) 6.3 3.4 100 300
eca-rers2012/Problem13_label15_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   .098  - - error (invalid witness file) .60 .38 5.1 41 error (invalid witness file) 7.3 3.8 130 300
eca-rers2012/Problem13_label17_true-unreach-call.c out of memory 0 wit inspect 140   140   2100 15000 2.0   4.1    - - error (invalid witness file) .49 .34 3.9 41 error (invalid witness file) 6.8 3.6 110 300
eca-rers2012/Problem13_label18_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   4.0    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem13_label20_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      - - error (invalid witness file) .50 .32 5.1 40 error (invalid witness file) 6.9 3.6 130 300
eca-rers2012/Problem13_label22_true-unreach-call.c out of memory 0 wit inspect 140   140   2100 15000 2.0   4.0    - - error (invalid witness file) .59 .37 8.9 42 error (invalid witness file) 6.3 3.4 92 300
eca-rers2012/Problem13_label26_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   4.4    - - error (invalid witness file) .62 .40 8.6 40 error (invalid witness file) 6.4 3.4 130 290
eca-rers2012/Problem13_label27_true-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 2.0   4.0    - - error (invalid witness file) .61 .39 8.7 40 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem13_label31_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   0      - - error (invalid witness file) .51 .34 4.2 42 error (invalid witness file) 7.3 3.8 140 300
eca-rers2012/Problem13_label33_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   0      - - error (invalid witness file) .66 .41 8.9 42 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem13_label34_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   0      - - error (invalid witness file) .48 .32 9.1 40 error (invalid witness file) 7.0 3.7 120 310
eca-rers2012/Problem13_label37_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   0      - - error (invalid witness file) .54 .37 11   39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem13_label38_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      - - error (invalid witness file) .53 .35 10   39 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem13_label39_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      - - error (invalid witness file) .51 .32 10   40 error (invalid witness file) 6.7 3.6 130 310
eca-rers2012/Problem13_label41_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   .098  - - error (invalid witness file) .51 .34 6.6 40 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem13_label42_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      - - error (invalid witness file) .51 .34 11   42 error (invalid witness file) 6.8 3.6 140 290
eca-rers2012/Problem13_label46_true-unreach-call.c out of memory 0 wit inspect 140   140   1400 15000 2.0   3.9    - - error (invalid witness file) .55 .34 12   41 error (invalid witness file) 7.1 3.7 110 300
eca-rers2012/Problem13_label47_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   4.4    - - error (invalid witness file) .58 .36 14   43 error (invalid witness file) 7.7 4.0 110 320
eca-rers2012/Problem13_label49_true-unreach-call.c timeout 0 wit inspect 350   930   4000 15000 2.0   180000      - - error (invalid witness file) .48 .30 7.2 40 error (invalid witness file) 6.8 3.5 110 300
eca-rers2012/Problem13_label50_true-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 2.0   0      - - error (invalid witness file) .63 .40 6.1 40 error (invalid witness file) 6.7 3.5 110 310
eca-rers2012/Problem13_label52_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 2.0   3.9    - - error (invalid witness file) .66 .43 9.9 41 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem13_label53_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 2.0   0      - - error (invalid witness file) .68 .42 6.5 39 error (invalid witness file) 7.1 3.7 150 300
eca-rers2012/Problem13_label55_true-unreach-call.c out of memory 0 wit inspect 150   150   1700 15000 2.0   2400      - - error (invalid witness file) .51 .33 7.5 40 error (invalid witness file) 6.8 3.7 140 300
eca-rers2012/Problem13_label56_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 2.0   0      - - error (invalid witness file) .68 .43 11   43 error (invalid witness file) 7.4 3.9 86 310
eca-rers2012/Problem13_label57_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   0      - - error (invalid witness file) .70 .44 7.5 43 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem13_label59_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 2.0   4.0    - - error (invalid witness file) .50 .33 6.5 40 error (invalid witness file) 6.9 3.7 130 300
eca-rers2012/Problem14_label00_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  0      - - error (invalid witness file) .52 .34 14   40 error (invalid witness file) 6.0 3.2 110 300
eca-rers2012/Problem14_label01_true-unreach-call.c out of memory 0 wit inspect 140   130   1700 15000 .27  0      - - error (invalid witness file) .57 .37 11   40 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem14_label03_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .72 .45 7.6 42 error (invalid witness file) 5.9 3.1 93 300
eca-rers2012/Problem14_label04_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  0      - - error (invalid witness file) .69 .43 8.3 40 error (invalid witness file) 6.0 3.2 98 300
eca-rers2012/Problem14_label05_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 5.8 3.1 88 300
eca-rers2012/Problem14_label06_true-unreach-call.c out of memory 0 wit inspect 130   130   1500 15000 .27  4.1    - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.1 3.2 130 300
eca-rers2012/Problem14_label07_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 .27  0      - - error (invalid witness file) .59 .37 6.2 39 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem14_label09_true-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 .27  4.0    - - error (invalid witness file) .54 .36 9.1 40 error (invalid witness file) 5.8 3.1 100 290
eca-rers2012/Problem14_label15_true-unreach-call.c out of memory 0 wit inspect 140   130   1700 15000 .27  0      - - error (invalid witness file) .49 .31 13   39 error (invalid witness file) 6.0 3.2 110 300
eca-rers2012/Problem14_label16_true-unreach-call.c out of memory 0 wit inspect 140   140   1900 15000 .27  0      - - error (invalid witness file) .47 .30 5.9 39 error (invalid witness file) 8.7 4.5 160 340
eca-rers2012/Problem14_label17_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .48 .31 6.4 40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem14_label19_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .59 .37 9.0 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem14_label20_true-unreach-call.c out of memory 0 wit inspect 140   130   1700 15000 .27  0      - - error (invalid witness file) .60 .38 10   40 error (invalid witness file) 6.0 3.2 120 290
eca-rers2012/Problem14_label21_true-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 .27  0      - - error (invalid witness file) .54 .34 12   41 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem14_label23_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  4.1    - - error (invalid witness file) .67 .41 9.4 42 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem14_label24_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .52 .33 10   41 error (invalid witness file) 6.0 3.2 120 280
eca-rers2012/Problem14_label25_true-unreach-call.c out of memory 0 wit inspect 130   130   1400 15000 .27  0      - - error (invalid witness file) .54 .36 5.5 39 error (invalid witness file) 6.5 3.5 140 300
eca-rers2012/Problem14_label26_true-unreach-call.c out of memory 0 wit inspect 140   130   1500 15000 .27  4.0    - - error (invalid witness file) .54 .35 12   43 error (invalid witness file) 6.6 3.4 130 310
eca-rers2012/Problem14_label30_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .27  0      - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.6 3.1 120 290
eca-rers2012/Problem14_label32_true-unreach-call.c out of memory 0 wit inspect 130   130   1700 15000 .27  4.0    - - error (invalid witness file) .48 .32 12   40 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem14_label33_true-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 .27  4.0    - - error (invalid witness file) .70 .44 7.7 41 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem14_label35_true-unreach-call.c out of memory 0 wit inspect 140   130   1900 15000 .27  0      - - error (invalid witness file) .55 .37 11   39 error (invalid witness file) 6.6 3.4 120 300
eca-rers2012/Problem14_label36_true-unreach-call.c out of memory 0 wit inspect 140   130   1700 15000 .27  0      - - error (invalid witness file) .53 .35 9.4 40 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem14_label38_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .52 .34 8.6 40 error (invalid witness file) 5.9 3.1 94 290
eca-rers2012/Problem14_label42_true-unreach-call.c out of memory 0 wit inspect 140   140   1700 15000 .27  4.1    - - error (invalid witness file) .60 .40 7.9 39 error (invalid witness file) 5.8 3.0 110 290
eca-rers2012/Problem14_label45_true-unreach-call.c out of memory 0 wit inspect 140   140   1500 15000 .27  0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.2 3.4 130 300
eca-rers2012/Problem14_label46_true-unreach-call.c out of memory 0 wit inspect 140   140   1800 15000 .27  0      - - error (invalid witness file) .57 .36 9.9 40 error (invalid witness file) 6.2 3.3 97 300
eca-rers2012/Problem14_label47_true-unreach-call.c out of memory 0 wit inspect 140   130   1900 15000 .27  0      - - error (invalid witness file) .58 .39 13   45 error (invalid witness file) 6.0 3.2 110 290
eca-rers2012/Problem14_label48_true-unreach-call.c out of memory 0 wit inspect 140   140   1400 15000 .27  0      - - error (invalid witness file) .69 .45 8.4 44 error (invalid witness file) 6.0 3.2 83 290
eca-rers2012/Problem14_label49_true-unreach-call.c out of memory 0 wit inspect 130   130   1600 15000 .27  0      - - error (invalid witness file) .62 .39 10   41 error (invalid witness file) 5.9 3.1 97 300
eca-rers2012/Problem14_label50_true-unreach-call.c out of memory 0 wit inspect 140   130   1500 15000 .27  4.4    - - error (invalid witness file) .65 .41 8.6 40 error (invalid witness file) 7.2 3.7 80 320
eca-rers2012/Problem14_label51_true-unreach-call.c out of memory 0 wit inspect 140   140   1600 15000 .27  9.8    - - error (invalid witness file) .72 .45 7.3 42 error (invalid witness file) 6.6 3.5 140 310
eca-rers2012/Problem14_label53_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .27  0      - - error (invalid witness file) .67 .42 7.7 42 error (invalid witness file) 7.2 3.8 150 330
eca-rers2012/Problem14_label55_true-unreach-call.c out of memory 0 wit inspect 130   130   1900 15000 .27  10      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.6 3.4 130 320
eca-rers2012/Problem14_label59_true-unreach-call.c out of memory 0 wit inspect 130   130   1800 15000 .27  0      - - error (invalid witness file) .60 .38 8.0 40 error (invalid witness file) 8.1 4.2 100 320
eca-rers2012/Problem15_label01_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  4.0    - - error (invalid witness file) .46 .30 6.3 39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem15_label04_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .62 .41 8.0 41 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem15_label05_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .51 .33 9.9 41 error (invalid witness file) 6.7 3.6 120 300
eca-rers2012/Problem15_label06_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  .082  - - error (invalid witness file) .51 .33 9.2 40 error (invalid witness file) 6.3 3.4 130 310
eca-rers2012/Problem15_label08_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  14      - - error (invalid witness file) .57 .36 6.0 43 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem15_label10_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  4.3    - - error (invalid witness file) .67 .42 8.4 43 error (invalid witness file) 6.7 3.5 92 300
eca-rers2012/Problem15_label11_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      - - error (invalid witness file) .54 .36 12   40 error (invalid witness file) 6.1 3.2 100 290
eca-rers2012/Problem15_label12_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  4.4    - - error (invalid witness file) .52 .33 10   40 error (invalid witness file) 5.9 3.2 93 300
eca-rers2012/Problem15_label13_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  15      - - error (invalid witness file) .46 .30 8.0 40 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem15_label16_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  0      - - error (invalid witness file) .66 .41 8.8 40 error (invalid witness file) 6.5 3.5 130 290
eca-rers2012/Problem15_label17_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .58 .37 8.2 39 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem15_label19_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  15      - - error (invalid witness file) .61 .39 11   42 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem15_label20_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      - - error (invalid witness file) .57 .37 9.5 39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem15_label21_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      - - error (invalid witness file) .69 .43 6.6 40 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem15_label24_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  9.8    - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.3 3.3 95 300
eca-rers2012/Problem15_label26_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  0      - - error (invalid witness file) .55 .34 8.8 40 error (invalid witness file) 6.1 3.3 130 290
eca-rers2012/Problem15_label27_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  .025  - - error (invalid witness file) .56 .36 7.7 43 error (invalid witness file) 6.5 3.4 130 290
eca-rers2012/Problem15_label28_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  0      - - error (invalid witness file) .68 .43 7.7 43 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem15_label31_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .60 .38 8.4 39 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem15_label32_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      - - error (invalid witness file) .49 .33 9.0 42 error (invalid witness file) 6.8 3.6 100 320
eca-rers2012/Problem15_label35_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  4.0    - - error (invalid witness file) .58 .37 10   43 error (invalid witness file) 7.0 3.6 150 300
eca-rers2012/Problem15_label36_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .48 .31 6.4 40 error (invalid witness file) 6.9 3.7 110 300
eca-rers2012/Problem15_label42_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  14      - - error (invalid witness file) .63 .39 7.5 40 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem15_label43_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      - - error (invalid witness file) .58 .37 4.6 40 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem15_label44_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem15_label46_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  0      - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem15_label49_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  0      - - error (invalid witness file) .64 .41 8.0 40 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem15_label52_true-unreach-call.c out of memory 0 wit inspect 120   120   1500 15000 .65  10      - - error (invalid witness file) .50 .32 12   42 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem15_label53_true-unreach-call.c out of memory 0 wit inspect 120   120   1400 15000 .65  9.8    - - error (invalid witness file) .58 .37 9.8 42 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem15_label54_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  .061  - - error (invalid witness file) .64 .41 7.3 39 error (invalid witness file) 7.3 3.8 97 300
eca-rers2012/Problem15_label55_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  14      - - error (invalid witness file) .49 .31 7.8 40 error (invalid witness file) 7.0 3.7 120 320
eca-rers2012/Problem15_label56_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  15      - - error (invalid witness file) .60 .38 9.2 40 error (invalid witness file) 6.9 3.6 150 300
eca-rers2012/Problem15_label57_true-unreach-call.c out of memory 0 wit inspect 120   120   1300 15000 .65  0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem15_label58_true-unreach-call.c out of memory 0 wit inspect 120   120   1600 15000 .65  4.0    - - error (invalid witness file) .58 .36 9.9 39 error (invalid witness file) 9.0 4.7 96 320
eca-rers2012/Problem15_label59_true-unreach-call.c false(unreach-call) -16 wit inspect 68   68   990 9100 .65  0      - - timeout 900    890    18000   2800 true 16   8.5 280 470
eca-rers2012/Problem16_label02_true-unreach-call.c false(unreach-call) -16 wit inspect 13   13   160 1600 .56  11      - - timeout 900    890    23000   2100 true 15   8.3 190 480
eca-rers2012/Problem16_label07_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      - - error (invalid witness file) .59 .38 8.2 41 error (invalid witness file) 6.1 3.2 110 300
eca-rers2012/Problem16_label09_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  4.0    - - error (invalid witness file) .59 .38 9.6 41 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem16_label10_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  4.0    - - error (invalid witness file) .57 .36 13   43 error (invalid witness file) 7.2 3.8 140 310
eca-rers2012/Problem16_label11_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem16_label12_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .59 .38 8.6 41 error (invalid witness file) 6.3 3.4 130 300
eca-rers2012/Problem16_label13_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      - - error (invalid witness file) .59 .37 13   44 error (invalid witness file) 6.5 3.5 130 300
eca-rers2012/Problem16_label16_true-unreach-call.c out of memory 0 wit inspect 100   100   1500 15000 .56  3.9    - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.5 3.4 130 310
eca-rers2012/Problem16_label17_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.4 3.4 120 310
eca-rers2012/Problem16_label19_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .64 .41 8.6 40 error (invalid witness file) 7.3 3.9 110 300
eca-rers2012/Problem16_label21_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      - - error (invalid witness file) .48 .30 12   39 error (invalid witness file) 7.3 3.9 100 300
eca-rers2012/Problem16_label23_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  9.8    - - error (invalid witness file) .65 .41 8.0 40 error (invalid witness file) 7.4 3.9 91 300
eca-rers2012/Problem16_label24_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  4.1    - - error (invalid witness file) .53 .35 10   40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem16_label25_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      - - error (invalid witness file) .54 .35 12   43 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem16_label26_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .51 .34 4.0 40 error (invalid witness file) 6.4 3.4 89 300
eca-rers2012/Problem16_label28_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  0      - - error (invalid witness file) .64 .42 8.2 40 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem16_label29_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  9.9    - - error (invalid witness file) .65 .41 9.1 41 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem16_label32_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  4.0    - - error (invalid witness file) .55 .35 10   42 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem16_label34_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  4.0    - - error (invalid witness file) .48 .32 6.5 40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem16_label35_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  .012  - - error (invalid witness file) .68 .43 7.2 40 error (invalid witness file) 6.6 3.4 100 310
eca-rers2012/Problem16_label36_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  9.8    - - error (invalid witness file) .55 .35 11   40 error (invalid witness file) 6.5 3.5 100 310
eca-rers2012/Problem16_label39_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.8 3.6 130 290
eca-rers2012/Problem16_label40_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  9.8    - - error (invalid witness file) .47 .31 8.4 39 error (invalid witness file) 6.5 3.5 120 300
eca-rers2012/Problem16_label42_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  0      - - error (invalid witness file) .50 .33 9.0 39 error (invalid witness file) 6.4 3.4 140 300
eca-rers2012/Problem16_label45_true-unreach-call.c out of memory 0 wit inspect 100   100   1500 15000 .56  0      - - error (invalid witness file) .55 .36 8.9 39 error (invalid witness file) 6.6 3.5 110 310
eca-rers2012/Problem16_label47_true-unreach-call.c out of memory 0 wit inspect 100   100   1400 15000 .56  15      - - error (invalid witness file) .66 .41 7.0 42 error (invalid witness file) 6.8 3.6 120 310
eca-rers2012/Problem16_label48_true-unreach-call.c out of memory 0 wit inspect 100   100   1300 15000 .56  9.9    - - error (invalid witness file) .51 .32 13   40 error (invalid witness file) 6.2 3.3 93 290
eca-rers2012/Problem16_label49_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem16_label50_true-unreach-call.c out of memory 0 wit inspect 100   100   1500 15000 .56  3.9    - - error (invalid witness file) .61 .38 7.7 40 error (invalid witness file) 6.1 3.2 130 300
eca-rers2012/Problem16_label53_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      - - error (invalid witness file) .55 .35 11   41 error (invalid witness file) 6.1 3.3 94 300
eca-rers2012/Problem16_label55_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  0      - - error (invalid witness file) .68 .43 8.7 42 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem16_label56_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .62 .39 8.1 43 error (invalid witness file) 6.6 3.4 130 310
eca-rers2012/Problem16_label57_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  4.0    - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 6.5 3.4 130 310
eca-rers2012/Problem16_label58_true-unreach-call.c out of memory 0 wit inspect 100   100   1100 15000 .56  4.4    - - error (invalid witness file) .68 .44 9.1 39 error (invalid witness file) 6.2 3.3 130 290
eca-rers2012/Problem16_label59_true-unreach-call.c out of memory 0 wit inspect 100   100   1200 15000 .56  0      - - error (invalid witness file) .66 .41 8.8 39 error (invalid witness file) 5.9 3.2 120 290
eca-rers2012/Problem17_label00_true-unreach-call.c out of memory 0 wit inspect 160   160   1600 15000 1.0   3.9    - - error (invalid witness file) .49 .32 9.5 40 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem17_label01_true-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   4.1    - - error (invalid witness file) .45 .29 5.3 40 error (invalid witness file) 6.6 3.5 140 310
eca-rers2012/Problem17_label02_true-unreach-call.c false(unreach-call) -16 wit inspect 150   150   1800 14000 1.0   0      - - timeout 910    890    18000   3700 true 22   12   170 480
eca-rers2012/Problem17_label03_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .51 .32 9.6 40 error (invalid witness file) 8.6 4.5 100 310
eca-rers2012/Problem17_label05_true-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   0      - - error (invalid witness file) .49 .33 7.1 40 error (invalid witness file) 6.2 3.3 110 300
eca-rers2012/Problem17_label06_true-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      - - error (invalid witness file) .48 .32 9.5 39 error (invalid witness file) 6.7 3.5 110 310
eca-rers2012/Problem17_label08_true-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      - - error (invalid witness file) .67 .43 7.5 42 error (invalid witness file) 7.2 3.8 130 300
eca-rers2012/Problem17_label10_true-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.0   0      - - error (invalid witness file) .56 .36 12   43 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem17_label11_true-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   0      - - error (invalid witness file) .52 .33 9.8 39 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem17_label12_true-unreach-call.c out of memory 0 wit inspect 160   160   2300 15000 1.0   0      - - error (invalid witness file) .55 .36 10   39 error (invalid witness file) 7.2 3.8 110 310
eca-rers2012/Problem17_label14_true-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   0      - - error (invalid witness file) .62 .40 9.1 39 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem17_label15_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .76 .47 9.5 43 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem17_label17_true-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.0   15      - - error (invalid witness file) .60 .36 9.8 41 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem17_label18_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .52 .32 11   40 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem17_label19_true-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   0      - - error (invalid witness file) .59 .38 9.4 39 error (invalid witness file) 6.9 3.6 130 310
eca-rers2012/Problem17_label21_true-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   15      - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.4 3.4 120 310
eca-rers2012/Problem17_label22_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .58 .38 11   43 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem17_label24_true-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   .098  - - error (invalid witness file) .55 .37 4.7 39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem17_label27_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   15      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.7 3.5 100 300
eca-rers2012/Problem17_label28_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.7 3.5 81 300
eca-rers2012/Problem17_label29_true-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   .053  - - error (invalid witness file) .67 .43 9.0 40 error (invalid witness file) 6.5 3.5 120 300
eca-rers2012/Problem17_label32_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   16      - - error (invalid witness file) .68 .43 9.1 41 error (invalid witness file) 7.1 3.7 150 310
eca-rers2012/Problem17_label36_true-unreach-call.c out of memory 0 wit inspect 160   160   2000 15000 1.0   0      - - error (invalid witness file) .65 .42 7.9 41 error (invalid witness file) 6.2 3.3 86 300
eca-rers2012/Problem17_label38_true-unreach-call.c out of memory 0 wit inspect 160   160   1800 15000 1.0   0      - - error (invalid witness file) .49 .31 14   40 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem17_label39_true-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   4.1    - - error (invalid witness file) .55 .34 10   44 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem17_label41_true-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   0      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.7 3.5 140 300
eca-rers2012/Problem17_label42_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   22      - - error (invalid witness file) .62 .38 8.4 39 error (invalid witness file) 6.5 3.4 91 310
eca-rers2012/Problem17_label43_true-unreach-call.c out of memory 0 wit inspect 160   160   2200 15000 1.0   .029  - - error (invalid witness file) .67 .42 9.4 44 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem17_label44_true-unreach-call.c out of memory 0 wit inspect 160   160   2100 15000 1.0   16      - - error (invalid witness file) .55 .36 9.5 40 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem17_label45_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   22      - - error (invalid witness file) .51 .32 13   40 error (invalid witness file) 6.1 3.2 100 300
eca-rers2012/Problem17_label47_true-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.0   0      - - error (invalid witness file) .56 .36 11   42 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem17_label48_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .71 .44 7.9 42 error (invalid witness file) 6.6 3.5 100 300
eca-rers2012/Problem17_label51_true-unreach-call.c out of memory 0 wit inspect 160   160   1600 15000 1.0   4.0    - - error (invalid witness file) .64 .40 7.8 40 error (invalid witness file) 7.0 3.6 130 310
eca-rers2012/Problem17_label56_true-unreach-call.c out of memory 0 wit inspect 160   160   1700 15000 1.0   4.2    - - error (invalid witness file) .51 .32 9.3 41 error (invalid witness file) 6.9 3.7 140 310
eca-rers2012/Problem17_label58_true-unreach-call.c out of memory 0 wit inspect 160   160   1900 15000 1.0   0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem17_label59_true-unreach-call.c false(unreach-call) -16 wit inspect 120   120   1200 11000 1.0   9.9    - - timeout 910    890    17000   3700 true 19   12   240 490
eca-rers2012/Problem18_label02_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      - - error (invalid witness file) .62 .38 9.0 41 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem18_label04_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   10      - - error (invalid witness file) .61 .37 7.0 39 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem18_label05_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   9.8    - - error (invalid witness file) .51 .34 13   42 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem18_label07_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      - - error (invalid witness file) .57 .37 7.4 41 error (invalid witness file) 6.5 3.4 100 300
eca-rers2012/Problem18_label11_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.3   4.0    - - error (invalid witness file) .53 .35 10   41 error (invalid witness file) 6.7 3.5 83 310
eca-rers2012/Problem18_label13_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   .098  - - error (invalid witness file) .47 .31 6.7 39 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem18_label14_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.5   4.1    - - error (invalid witness file) .63 .40 9.6 42 error (invalid witness file) 6.6 3.5 110 290
eca-rers2012/Problem18_label15_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 1.2   0      - - error (invalid witness file) .59 .39 8.4 39 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem18_label16_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      - - error (invalid witness file) .60 .38 9.2 40 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem18_label17_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      - - error (invalid witness file) .55 .35 13   43 error (invalid witness file) 7.2 3.8 130 300
eca-rers2012/Problem18_label18_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   4.0    - - error (invalid witness file) .49 .33 9.7 40 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem18_label21_true-unreach-call.c out of memory 0 wit inspect 170   170   2600 15000 1.2   9.7    - - error (invalid witness file) .55 .36 12   40 error (invalid witness file) 6.2 3.3 81 290
eca-rers2012/Problem18_label22_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      - - error (invalid witness file) .68 .41 9.1 40 error (invalid witness file) 6.5 3.5 120 300
eca-rers2012/Problem18_label23_true-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 1.2   0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.3 3.4 120 290
eca-rers2012/Problem18_label24_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      - - error (invalid witness file) .50 .33 9.8 40 error (invalid witness file) 6.5 3.5 130 300
eca-rers2012/Problem18_label26_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      - - error (invalid witness file) .52 .34 8.6 39 error (invalid witness file) 7.1 3.7 150 300
eca-rers2012/Problem18_label28_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   4.4    - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 6.5 3.4 130 310
eca-rers2012/Problem18_label29_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   0      - - error (invalid witness file) .57 .38 7.8 44 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem18_label30_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   0      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem18_label37_true-unreach-call.c out of memory 0 wit inspect 170   170   2500 15000 1.2   9.6    - - error (invalid witness file) .70 .43 7.2 40 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem18_label40_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      - - error (invalid witness file) .48 .30 8.4 40 error (invalid witness file) 7.2 3.7 140 310
eca-rers2012/Problem18_label41_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.2   0      - - error (invalid witness file) .45 .30 3.6 39 error (invalid witness file) 7.6 4.0 97 290
eca-rers2012/Problem18_label42_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   4.3    - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.5 3.5 140 300
eca-rers2012/Problem18_label43_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   4.1    - - error (invalid witness file) .58 .37 9.7 39 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem18_label44_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      - - error (invalid witness file) .67 .42 8.0 40 error (invalid witness file) 6.3 3.4 130 290
eca-rers2012/Problem18_label46_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 1.2   4.4    - - error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 6.9 3.6 140 310
eca-rers2012/Problem18_label47_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   0      - - error (invalid witness file) .56 .35 8.6 42 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem18_label48_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   14      - - error (invalid witness file) .56 .36 8.5 39 error (invalid witness file) 7.0 3.7 150 310
eca-rers2012/Problem18_label50_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 1.2   0      - - error (invalid witness file) .53 .33 11   39 error (invalid witness file) 6.2 3.4 130 290
eca-rers2012/Problem18_label51_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 1.3   0      - - error (invalid witness file) .65 .41 8.3 40 error (invalid witness file) 6.9 3.6 110 300
eca-rers2012/Problem18_label53_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   15      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 6.3 3.4 130 300
eca-rers2012/Problem18_label54_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 1.2   4.1    - - error (invalid witness file) .49 .32 9.8 42 error (invalid witness file) 6.5 3.4 99 300
eca-rers2012/Problem18_label56_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 1.2   0      - - error (invalid witness file) .71 .44 8.1 43 error (invalid witness file) 6.3 3.3 120 290
eca-rers2012/Problem18_label58_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      - - error (invalid witness file) .50 .32 14   39 error (invalid witness file) 6.6 3.5 89 300
eca-rers2012/Problem18_label59_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 1.2   0      - - error (invalid witness file) .62 .40 9.4 42 error (invalid witness file) 6.8 3.6 140 300
eca-rers2012/Problem19_label00_true-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 3.1   10      - - error (invalid witness file) .65 .41 8.3 40 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem19_label01_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      - - error (invalid witness file) .47 .29 8.4 40 error (invalid witness file) 6.9 3.7 130 300
eca-rers2012/Problem19_label02_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   0      - - error (invalid witness file) .49 .33 11   42 error (invalid witness file) 7.4 3.9 140 310
eca-rers2012/Problem19_label03_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   4.4    - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 8.4 4.4 160 330
eca-rers2012/Problem19_label04_true-unreach-call.c out of memory 0 wit inspect 170   170   1700 15000 3.1   3.9    - - error (invalid witness file) .63 .40 9.9 41 error (invalid witness file) 7.1 3.8 130 300
eca-rers2012/Problem19_label05_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   0      - - error (invalid witness file) .48 .31 4.5 39 error (invalid witness file) 7.1 3.7 150 310
eca-rers2012/Problem19_label06_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   0      - - error (invalid witness file) .49 .32 6.9 40 error (invalid witness file) 8.1 4.2 130 310
eca-rers2012/Problem19_label07_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   .098  - - error (invalid witness file) .49 .30 11   40 error (invalid witness file) 7.3 3.9 120 310
eca-rers2012/Problem19_label08_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   9.6    - - error (invalid witness file) .58 .38 9.8 40 error (invalid witness file) 7.2 3.8 140 310
eca-rers2012/Problem19_label09_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   3.9    - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.4 3.4 78 300
eca-rers2012/Problem19_label12_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.5   0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 7.0 3.7 150 300
eca-rers2012/Problem19_label13_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   0      - - error (invalid witness file) .47 .30 7.0 39 error (invalid witness file) 6.9 3.7 140 310
eca-rers2012/Problem19_label15_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   0      - - error (invalid witness file) .58 .38 8.5 39 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem19_label16_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   4.0    - - error (invalid witness file) .58 .38 12   39 error (invalid witness file) 6.7 3.6 130 290
eca-rers2012/Problem19_label20_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      - - error (invalid witness file) .50 .32 11   41 error (invalid witness file) 6.6 3.5 99 300
eca-rers2012/Problem19_label23_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   4.1    - - error (invalid witness file) .52 .34 8.6 40 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem19_label24_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   0      - - error (invalid witness file) .67 .43 7.9 41 error (invalid witness file) 7.3 3.8 130 300
eca-rers2012/Problem19_label25_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 3.1   0      - - error (invalid witness file) .59 .38 11   43 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem19_label30_true-unreach-call.c out of memory 0 wit inspect 170   170   1800 15000 3.1   0      - - error (invalid witness file) .48 .30 9.3 39 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem19_label33_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   4.1    - - error (invalid witness file) .55 .34 13   42 error (invalid witness file) 7.1 3.7 120 320
eca-rers2012/Problem19_label34_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      - - error (invalid witness file) .49 .32 6.5 40 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem19_label35_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   4.5    - - error (invalid witness file) .52 .34 11   41 error (invalid witness file) 6.9 3.6 120 290
eca-rers2012/Problem19_label36_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      - - error (invalid witness file) .55 .36 9.3 41 error (invalid witness file) 6.9 3.7 130 310
eca-rers2012/Problem19_label37_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 3.1   9.9    - - error (invalid witness file) .53 .34 9.6 39 error (invalid witness file) 7.0 3.7 120 320
eca-rers2012/Problem19_label38_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 3.1   10      - - error (invalid witness file) .64 .40 7.8 40 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem19_label39_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      - - error (invalid witness file) .55 .35 13   41 error (invalid witness file) 6.6 3.5 100 290
eca-rers2012/Problem19_label40_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.3   14      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 7.3 3.8 140 310
eca-rers2012/Problem19_label44_true-unreach-call.c out of memory 0 wit inspect 170   170   2400 15000 3.1   0      - - error (invalid witness file) .56 .36 9.9 39 error (invalid witness file) 6.4 3.4 100 310
eca-rers2012/Problem19_label45_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   .098  - - error (invalid witness file) .49 .31 12   42 error (invalid witness file) 7.8 4.1 150 310
eca-rers2012/Problem19_label46_true-unreach-call.c out of memory 0 wit inspect 170   170   2500 15000 3.1   0      - - error (invalid witness file) .63 .40 9.7 41 error (invalid witness file) 7.1 3.8 140 300
eca-rers2012/Problem19_label48_true-unreach-call.c out of memory 0 wit inspect 170   170   2300 15000 3.1   10      - - error (invalid witness file) .55 .35 10   43 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem19_label49_true-unreach-call.c out of memory 0 wit inspect 170   170   1900 15000 3.1   0      - - error (invalid witness file) .58 .38 6.8 39 error (invalid witness file) 7.3 3.8 140 300
eca-rers2012/Problem19_label52_true-unreach-call.c out of memory 0 wit inspect 170   170   2100 15000 3.1   0      - - error (invalid witness file) .52 .34 10   40 error (invalid witness file) 7.3 3.8 130 300
eca-rers2012/Problem19_label54_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.1   0      - - error (invalid witness file) .47 .31 4.5 40 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem19_label56_true-unreach-call.c out of memory 0 wit inspect 170   170   2000 15000 3.5   0      - - error (invalid witness file) .51 .34 3.9 39 error (invalid witness file) 6.6 3.5 92 300
eca-rers2012/Problem19_label57_true-unreach-call.c out of memory 0 wit inspect 170   170   2200 15000 3.1   0      - - error (invalid witness file) .52 .34 12   44 error (invalid witness file) 7.0 3.7 130 300
psyco/psyco_abp_1_false-unreach-call.c timeout 0 wit inspect 900   900   11000 720 .037 .32   error (invalid witness file) .60 .38 11   44 error (invalid witness file) 6.0 3.2 130 300 - -
psyco/psyco_cev_1_false-unreach-call.c timeout 0 wit inspect 900   900   12000 1800 40     5.8    error (invalid witness file) .54 .35 10   40 error (invalid witness file) 18   10   260 1600 - -
psyco/psyco_cev_2_false-unreach-call.c timeout 0 wit inspect 900   900   13000 2600 56     0      error (invalid witness file) .62 .38 11   43 error (invalid witness file) 25   14   320 1900 - -
psyco/psyco_cev_3_false-unreach-call.c timeout 0 wit inspect 900   900   13000 2800 64     0      error (invalid witness file) .48 .32 5.7 39 error (invalid witness file) 48   26   680 2400 - -
psyco/psyco_net_1_false-unreach-call.c timeout 0 wit inspect 900   900   12000 1100 2.2   10      error (invalid witness file) .52 .33 11   43 error (invalid witness file) 9.1 4.8 110 300 - -
psyco/psyco_accelerometer_1_true-unreach-call.c timeout 0 wit inspect 900   900   11000 2500 .55  0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 7.1 3.7 120 300
psyco/psyco_io_1_true-unreach-call.c false(unreach-call) -16 wit inspect 2.2 2.2 27 14 .012 0      - - true 33    18    500   1200 true 7.9 4.2 120 320
psyco/psyco_math_1_true-unreach-call.c true 2 wit inspect 230   230   3000 240 .012 0      - - true 6.5  3.5  96   290 true 8.1 4.4 120 320
psyco/psyco_security_true-unreach-call.c true 2 wit inspect 870   870   14000 1600 .016 .37   - - timeout 900    890    17000   3300 true 10   5.7 140 380
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 1149 -145 170000 180000 2200000 16000000 11000   870000   1149 1500 1200 20000 45000   1149 3500 1900 53000 150000   1149 6000 5300 110000 75000   1149 6600 3600 110000 260000  
    correct results 72 127 4400 4400 59000 230000 17   200   17 670 520 9100 15000   17 220 120 3300 6200   54 2000 1400 32000 34000   55 1800 990 23000 37000  
        correct true 55 110 2500 2500 35000 100000 12   120   0 0 0 0 0   17 0 0 0 0   54 2000 1400 32000 34000   55 1800 990 23000 37000  
        correct false 17 17 1900 1900 24000 130000 4.8 83   17 670 520 9100 15000   0 220 120 3300 6200   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 5 0 400 400 5400 35000 2.8 26   0 470 410 5800 10000   5 80 44 970 2200   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 5 0 400 400 5400 35000 2.8 26   0 470 410 5800 10000   0 80 44 970 2200   0 0 0 0 0   0 0 0 0 0  
    incorrect results 11 -272 510 510 6200 47000 4.7 31   0 170 89 1900 4100   6 240 130 4200 4600   1 3700 3600 77000 14000   5 80 45 1000 2200  
        incorrect true 6 -192 160 160 2000 12000 1.4 9.7 0 170 89 1900 4100   0 240 130 4200 4600   1 0 0 0 0   5 0 0 0 0  
        incorrect false 5 -80 350 350 4200 35000 3.3 21   0 0 0 0 0   6 0 0 0 0   0 3700 3600 77000 14000   0 80 45 1000 2200  
score (1149 tasks, max score: 1887) -145
Run set sv-comp17.ReachSafety-ECA