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 -