Tool ULTIMATE Automizer f7c3ed31
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 12:41:58 CET [[ 2017-01-15 02:09:41 CET ]] [[ 2017-01-15 04:03:21 CET ]] [[ 2017-01-15 02:31:54 CET ]] [[ 2017-01-15 04:27:36 CET ]]
Run set sv-comp17.ReachSafety-ECA
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-13_1241.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 false(unreach-call) 1 wit inspect 32   9.5 260 830 2.8 0      true 14    7.3  100   490 false(unreach-call) 17   8.9 210 550 - -
eca-rers2012/Problem01_label20_false-unreach-call.c false(unreach-call) 1 wit inspect 42   12   370 1100 2.8 0      true 13    6.6  160   460 false(unreach-call) 18   9.5 210 580 - -
eca-rers2012/Problem01_label21_false-unreach-call.c false(unreach-call) 1 wit inspect 37   11   330 1200 2.8 0      true 13    6.8  110   470 false(unreach-call) 18   9.4 260 590 - -
eca-rers2012/Problem01_label32_false-unreach-call.c false(unreach-call) 1 wit inspect 25   7.3 220 690 2.8 0      true 13    6.8  190   460 false(unreach-call) 18   9.2 210 560 - -
eca-rers2012/Problem01_label33_false-unreach-call.c false(unreach-call) 1 wit inspect 28   7.8 220 1000 2.7 0      true 15    7.6  200   440 false(unreach-call) 17   8.8 250 600 - -
eca-rers2012/Problem01_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 31   10   270 850 2.7 0      true 13    6.8  120   460 false(unreach-call) 16   8.4 210 550 - -
eca-rers2012/Problem01_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 27   8.4 240 740 2.8 0      true 17    8.5  140   460 false(unreach-call) 18   9.2 240 600 - -
eca-rers2012/Problem01_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 33   11   290 930 2.8 0      true 15    7.6  160   460 false(unreach-call) 23   12   160 590 - -
eca-rers2012/Problem01_label44_false-unreach-call.c false(unreach-call) 1 wit inspect 29   8.7 260 870 2.7 0      true 13    6.5  170   440 false(unreach-call) 17   8.8 240 590 - -
eca-rers2012/Problem01_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 29   8.6 230 890 2.8 0      true 13    6.7  120   470 false(unreach-call) 18   9.2 270 610 - -
eca-rers2012/Problem01_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 29   8.8 250 1100 2.7 0      true 16    8.3  170   440 false(unreach-call) 17   8.6 360 550 - -
eca-rers2012/Problem01_label56_false-unreach-call.c false(unreach-call) 1 wit inspect 31   8.7 230 900 2.8 0      true 13    6.5  200   470 false(unreach-call) 17   8.8 250 610 - -
eca-rers2012/Problem01_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 34   9.9 290 990 2.8 0      true 13    6.7  210   460 false(unreach-call) 19   9.8 270 620 - -
eca-rers2012/Problem02_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 26   7.1 210 760 2.7 0      true 11    5.9  190   420 false(unreach-call) 17   9.0 240 560 - -
eca-rers2012/Problem02_label16_false-unreach-call.c false(unreach-call) 1 wit inspect 17   4.7 130 650 2.6 0      true 11    5.6  150   440 false(unreach-call) 16   8.2 270 540 - -
eca-rers2012/Problem02_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 23   6.6 190 900 2.6 0      true 12    6.4  89   440 false(unreach-call) 15   7.7 210 530 - -
eca-rers2012/Problem02_label44_false-unreach-call.c false(unreach-call) 1 wit inspect 20   5.3 140 670 2.7 0      true 13    6.6  200   430 false(unreach-call) 15   7.9 210 530 - -
eca-rers2012/Problem02_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 31   8.4 220 920 2.7 0      true 12    6.1  180   450 false(unreach-call) 17   8.6 200 550 - -
eca-rers2012/Problem02_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 30   7.9 250 780 2.7 0      true 12    6.2  170   430 false(unreach-call) 16   8.3 250 560 - -
eca-rers2012/Problem02_label59_false-unreach-call.c false(unreach-call) 1 wit inspect 32   9.2 260 920 2.7 0      true 12    6.1  180   430 false(unreach-call) 17   8.7 190 550 - -
eca-rers2012/Problem03_label09_false-unreach-call.c timeout 0 wit inspect 910   290   5000 14000 2.3 0      error (invalid witness file) .48 .33 9.1 39 error (invalid witness file) 6.6 3.4 120 300 - -
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 96   43   910 4700 3.4 0      true 23    12    280   710 false(unreach-call) 28   15   600 700 - -
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 0 wit inspect 910   270   5500 13000 2.3 0      error (invalid witness file) .51 .32 9.7 39 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem03_label27_false-unreach-call.c timeout 0 wit inspect 900   250   4800 14000 2.3 0      error (invalid witness file) .50 .32 4.0 43 error (invalid witness file) 7.0 3.7 140 320 - -
eca-rers2012/Problem03_label28_false-unreach-call.c timeout 0 wit inspect 910   260   5000 14000 2.3 0      error (invalid witness file) .51 .33 6.5 40 error (invalid witness file) 6.4 3.4 120 300 - -
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 140   58   1000 5900 3.4 0      true 23    12    150   710 false(unreach-call) 25   13   250 750 - -
eca-rers2012/Problem03_label35_false-unreach-call.c timeout 0 wit inspect 910   390   6000 11000 2.3 0      error (invalid witness file) .55 .36 12   41 error (invalid witness file) 6.7 3.6 130 300 - -
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 66   27   570 2700 3.1 0      true 26    13    240   650 false(unreach-call) 22   11   190 670 - -
eca-rers2012/Problem03_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 450   210   3200 8900 3.5 0      true 23    12    330   810 false(unreach-call) 28   15   370 720 - -
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 160   80   1300 5900 3.1 0      true 23    12    250   680 false(unreach-call) 25   13   330 640 - -
eca-rers2012/Problem03_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 110   42   920 5100 3.6 0      true 25    13    330   820 false(unreach-call) 29   15   400 800 - -
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 140   61   1200 6100 3.4 0      true 22    11    190   650 false(unreach-call) 28   14   250 710 - -
eca-rers2012/Problem03_label52_false-unreach-call.c timeout 0 wit inspect 900   300   5400 14000 2.3 0      error (invalid witness file) .50 .31 5.5 42 error (invalid witness file) 6.3 3.3 140 310 - -
eca-rers2012/Problem04_label04_false-unreach-call.c false(unreach-call) 0 wit inspect 650   490   7100 6300 10   0      true 66    39    500   2300 timeout 98   52   970 4000 - -
eca-rers2012/Problem04_label06_false-unreach-call.c false(unreach-call) 0 wit inspect 800   650   10000 6500 11   0      timeout 96    69    840   2100 timeout 96   55   890 5400 - -
eca-rers2012/Problem04_label09_false-unreach-call.c false(unreach-call) 0 wit inspect 670   530   7300 6200 10   0      true 54    32    500   2000 timeout 96   55   1200 5200 - -
eca-rers2012/Problem04_label11_false-unreach-call.c false(unreach-call) 0 wit inspect 740   570   8300 6400 10   0      true 58    35    690   2300 timeout 98   56   1100 5400 - -
eca-rers2012/Problem04_label12_false-unreach-call.c timeout 0 wit inspect 900   720   12000 6600 2.3 0      error (invalid witness file) .52 .33 8.9 45 error (invalid witness file) 7.2 3.8 140 310 - -
eca-rers2012/Problem04_label13_false-unreach-call.c false(unreach-call) 0 wit inspect 820   670   12000 6500 10   0      true 72    44    510   2100 timeout 98   58   1100 5500 - -
eca-rers2012/Problem04_label14_false-unreach-call.c false(unreach-call) 0 wit inspect 830   640   12000 6900 11   0      true 54    33    720   2100 timeout 98   58   810 5400 - -
eca-rers2012/Problem04_label15_false-unreach-call.c false(unreach-call) 0 wit inspect 770   570   9600 6900 11   0      true 55    32    800   2200 timeout 97   57   1200 5300 - -
eca-rers2012/Problem04_label17_false-unreach-call.c false(unreach-call) 0 wit inspect 810   600   11000 6500 9.7 0      true 53    31    810   2000 timeout 97   56   880 5300 - -
eca-rers2012/Problem04_label18_false-unreach-call.c false(unreach-call) 0 wit inspect 890   720   12000 6300 10   0      true 64    38    820   2100 timeout 96   55   1400 5300 - -
eca-rers2012/Problem04_label19_false-unreach-call.c timeout 0 wit inspect 900   760   11000 6200 2.3 0      error (invalid witness file) .52 .34 4.9 40 error (invalid witness file) 7.7 4.0 130 330 - -
eca-rers2012/Problem04_label26_false-unreach-call.c timeout 0 wit inspect 900   730   11000 6300 2.3 0      error (invalid witness file) .46 .30 8.8 40 error (invalid witness file) 7.3 3.8 140 320 - -
eca-rers2012/Problem04_label27_false-unreach-call.c timeout 0 wit inspect 900   580   11000 9400 2.3 0      error (invalid witness file) .50 .34 5.2 40 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem04_label31_false-unreach-call.c timeout 0 wit inspect 900   710   9700 6600 2.3 0      error (invalid witness file) .48 .32 4.2 39 error (invalid witness file) 6.7 3.5 150 300 - -
eca-rers2012/Problem04_label32_false-unreach-call.c timeout 0 wit inspect 900   690   11000 6600 2.3 0      error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.6 3.4 110 300 - -
eca-rers2012/Problem04_label35_false-unreach-call.c false(unreach-call) 0 wit inspect 660   510   8800 6700 10   0      true 56    33    710   2100 timeout 97   56   830 5400 - -
eca-rers2012/Problem04_label36_false-unreach-call.c false(unreach-call) 0 wit inspect 840   680   10000 6500 10   0      true 68    41    850   2100 timeout 97   57   910 5500 - -
eca-rers2012/Problem04_label38_false-unreach-call.c timeout 0 wit inspect 900   690   11000 7200 2.3 0      error (invalid witness file) .53 .36 11   40 error (invalid witness file) 6.7 3.6 120 300 - -
eca-rers2012/Problem04_label39_false-unreach-call.c false(unreach-call) 0 wit inspect 660   510   7600 6300 11   0      true 81    56    940   2100 timeout 96   55   880 5300 - -
eca-rers2012/Problem04_label40_false-unreach-call.c timeout 0 wit inspect 900   690   10000 6900 11   0      true 63    38    740   2300 timeout 96   52   1100 4700 - -
eca-rers2012/Problem04_label45_false-unreach-call.c false(unreach-call) 0 wit inspect 850   680   12000 6100 10   0      true 62    37    570   2300 timeout 96   56   800 5500 - -
eca-rers2012/Problem04_label52_false-unreach-call.c false(unreach-call) 0 wit inspect 850   670   10000 7000 11   0      true 68    46    460   2200 timeout 96   54   1000 5000 - -
eca-rers2012/Problem04_label55_false-unreach-call.c false(unreach-call) 0 wit inspect 890   740   14000 6300 10   0      true 55    32    420   2100 timeout 96   56   790 5400 - -
eca-rers2012/Problem04_label58_false-unreach-call.c false(unreach-call) 0 wit inspect 790   620   10000 6400 11   0      true 71    44    680   2100 timeout 96   54   1400 4900 - -
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 0 wit inspect 900   460   7300 9000 2.3 0      error (invalid witness file) .51 .34 11   40 error (invalid witness file) 7.2 3.7 130 310 - -
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 0 wit inspect 900   440   7300 11000 2.3 0      error (invalid witness file) .47 .31 7.1 40 error (invalid witness file) 7.8 4.1 150 320 - -
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 0 wit inspect 910   430   8000 12000 2.3 0      error (invalid witness file) .67 .42 6.5 42 error (invalid witness file) 7.3 3.8 110 310 - -
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 0 wit inspect 900   530   8600 8800 2.3 0      error (invalid witness file) .49 .32 9.0 39 error (invalid witness file) 6.5 3.5 130 290 - -
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 0 wit inspect 900   490   7600 8700 2.3 0      error (invalid witness file) .55 .35 11   40 error (invalid witness file) 7.1 3.7 130 310 - -
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 0 wit inspect 900   510   9100 9200 2.3 0      error (invalid witness file) .55 .37 10   42 error (invalid witness file) 7.1 3.7 100 310 - -
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 0 wit inspect 900   340   5900 14000 2.3 0      error (invalid witness file) .55 .36 13   39 error (invalid witness file) 7.5 3.9 130 300 - -
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 0 wit inspect 900   400   7000 13000 2.3 0      error (invalid witness file) .48 .32 12   39 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 0 wit inspect 900   420   6500 10000 2.3 0      error (invalid witness file) .58 .38 13   44 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 0 wit inspect 900   500   8000 9700 2.3 0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.4 3.9 130 300 - -
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 0 wit inspect 900   480   9200 9700 2.3 0      error (invalid witness file) .55 .35 11   41 error (invalid witness file) 6.5 3.5 110 290 - -
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 0 wit inspect 900   420   6900 11000 2.7 0      error (invalid witness file) .55 .35 9.9 41 error (invalid witness file) 9.0 4.7 90 300 - -
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 0 wit inspect 900   560   8400 8800 2.5 0      error (invalid witness file) .55 .36 13   40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 0 wit inspect 900   520   8700 10000 2.3 0      error (invalid witness file) .58 .36 7.8 39 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 0 wit inspect 900   400   6400 12000 2.3 0      error (invalid witness file) .48 .31 9.2 39 error (invalid witness file) 6.7 3.6 100 300 - -
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 0 wit inspect 900   440   6900 10000 2.3 0      error (invalid witness file) .52 .32 6.1 40 error (invalid witness file) 7.1 3.7 130 300 - -
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 0 wit inspect 900   360   6100 13000 2.3 0      error (invalid witness file) .49 .31 13   39 error (invalid witness file) 7.1 3.7 110 310 - -
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 0 wit inspect 900   380   7300 12000 2.3 0      error (invalid witness file) .53 .35 6.8 39 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 0 wit inspect 900   400   6900 13000 2.3 0      error (invalid witness file) .59 .38 7.8 39 error (invalid witness file) 6.7 3.6 110 300 - -
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 0 wit inspect 900   360   5800 12000 2.3 0      error (invalid witness file) .50 .32 5.7 40 error (invalid witness file) 7.0 3.6 150 310 - -
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 0 wit inspect 900   380   6400 13000 2.3 0      error (invalid witness file) .49 .32 12   40 error (invalid witness file) 7.1 3.7 130 310 - -
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 0 wit inspect 900   440   7200 11000 2.3 0      error (invalid witness file) .55 .34 12   41 error (invalid witness file) 7.0 3.7 140 310 - -
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 0 wit inspect 900   530   9400 8200 2.3 0      error (invalid witness file) .56 .37 8.3 41 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 0 wit inspect 900   450   7800 9600 2.3 0      error (invalid witness file) .50 .32 7.6 42 error (invalid witness file) 7.2 3.8 150 300 - -
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 0 wit inspect 910   240   5400 14000 2.3 0      error (invalid witness file) .48 .30 9.2 39 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 0 wit inspect 900   220   4400 14000 2.3 0      error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.8 3.6 120 300 - -
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 0 wit inspect 910   220   4600 14000 2.3 0      error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.8 4.2 110 300 - -
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 0 wit inspect 910   280   5600 14000 2.3 0      error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.6 3.5 130 290 - -
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 0 wit inspect 910   240   5300 14000 2.3 0      error (invalid witness file) .55 .34 9.7 40 error (invalid witness file) 7.0 3.7 110 300 - -
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 0 wit inspect 910   290   5700 14000 2.3 0      error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.7 3.6 140 300 - -
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 0 wit inspect 910   270   4800 14000 2.3 0      error (invalid witness file) .55 .36 10   42 error (invalid witness file) 7.3 3.8 150 310 - -
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 0 wit inspect 900   280   5300 13000 2.3 0      error (invalid witness file) .55 .35 11   42 error (invalid witness file) 7.1 3.7 130 310 - -
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 0 wit inspect 910   260   5100 13000 2.3 0      error (invalid witness file) .52 .33 13   40 error (invalid witness file) 7.3 3.8 110 300 - -
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 0 wit inspect 910   260   5800 14000 2.3 0      error (invalid witness file) .50 .32 8.5 39 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 0 wit inspect 910   250   4800 14000 2.3 0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.7 3.5 110 290 - -
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 0 wit inspect 910   250   4700 14000 2.3 0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 7.3 3.8 130 300 - -
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 0 wit inspect 900   290   5800 13000 2.3 0      error (invalid witness file) .52 .34 10   43 error (invalid witness file) 7.5 3.9 96 300 - -
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 0 wit inspect 910   290   5300 14000 2.3 0      error (invalid witness file) .54 .35 13   42 error (invalid witness file) 6.8 3.6 120 300 - -
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 0 wit inspect 910   270   4900 14000 2.3 2.6    error (invalid witness file) .58 .38 8.6 40 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 0 wit inspect 910   280   5600 14000 2.3 0      error (invalid witness file) .53 .34 14   41 error (invalid witness file) 7.7 4.0 100 320 - -
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 0 wit inspect 910   250   4700 14000 2.3 0      error (invalid witness file) .49 .31 10   40 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 0 wit inspect 910   250   4600 14000 2.3 0      error (invalid witness file) .56 .37 12   42 error (invalid witness file) 8.6 4.4 140 330 - -
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 0 wit inspect 910   280   4900 14000 2.3 0      error (invalid witness file) .50 .32 9.6 39 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 0 wit inspect 900   290   5000 14000 2.3 0      error (invalid witness file) .52 .34 12   42 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 0 wit inspect 910   270   5100 14000 2.3 0      error (invalid witness file) .55 .34 9.8 39 error (invalid witness file) 7.2 3.7 140 310 - -
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 0 wit inspect 910   240   5100 14000 2.3 0      error (invalid witness file) .50 .33 6.6 40 error (invalid witness file) 7.3 3.8 130 310 - -
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 0 wit inspect 910   270   4900 14000 2.3 0      error (invalid witness file) .52 .33 9.9 41 error (invalid witness file) 7.2 3.7 130 310 - -
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 0 wit inspect 910   270   5900 13000 2.3 0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 0 wit inspect 900   290   5200 14000 2.3 0      error (invalid witness file) .52 .33 12   41 error (invalid witness file) 7.4 3.9 120 300 - -
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 0 wit inspect 910   550   11000 12000 2.3 0      error (invalid witness file) .52 .34 9.9 40 error (invalid witness file) 8.6 4.6 160 450 - -
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 0 wit inspect 900   550   9200 11000 2.3 0      error (invalid witness file) .51 .34 9.9 42 error (invalid witness file) 7.8 4.2 140 430 - -
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 0 wit inspect 900   590   8800 11000 2.3 0      error (invalid witness file) .54 .34 9.0 40 error (invalid witness file) 7.8 4.2 150 430 - -
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 0 wit inspect 900   630   11000 11000 2.3 0      error (invalid witness file) .56 .37 7.7 40 error (invalid witness file) 8.1 4.4 160 440 - -
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 0 wit inspect 900   550   10000 12000 2.3 0      error (invalid witness file) .47 .32 6.8 39 error (invalid witness file) 9.9 5.2 110 420 - -
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 0 wit inspect 910   640   10000 10000 2.3 0      error (invalid witness file) .49 .32 8.6 40 error (invalid witness file) 8.1 4.3 150 430 - -
eca-rers2012/Problem07_label15_false-unreach-call.c timeout 0 wit inspect 900   610   11000 12000 2.3 0      error (invalid witness file) .50 .33 9.8 39 error (invalid witness file) 7.9 4.2 140 420 - -
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 0 wit inspect 910   560   9000 13000 2.3 0      error (invalid witness file) .48 .31 9.2 40 error (invalid witness file) 8.3 4.5 160 440 - -
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 0 wit inspect 910   480   9700 14000 2.3 0      error (invalid witness file) .60 .38 13   44 error (invalid witness file) 7.2 3.9 110 420 - -
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 0 wit inspect 910   480   8100 14000 2.3 0      error (invalid witness file) .57 .37 6.0 40 error (invalid witness file) 8.3 4.5 160 440 - -
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 0 wit inspect 910   470   8200 14000 2.3 0      error (invalid witness file) .65 .41 8.2 41 error (invalid witness file) 7.9 4.2 160 430 - -
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 0 wit inspect 910   550   8800 12000 2.3 0      error (invalid witness file) .56 .37 11   44 error (invalid witness file) 8.9 4.8 140 440 - -
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 0 wit inspect 910   640   11000 8900 2.3 0      error (invalid witness file) .53 .34 11   39 error (invalid witness file) 7.9 4.1 130 430 - -
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 0 wit inspect 910   630   8800 11000 2.3 0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 7.6 4.1 140 430 - -
eca-rers2012/Problem07_label36_false-unreach-call.c timeout 0 wit inspect 900   630   11000 11000 2.3 0      error (invalid witness file) .58 .38 8.4 40 error (invalid witness file) 9.8 5.3 100 430 - -
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 0 wit inspect 900   590   9900 13000 2.3 0      error (invalid witness file) .60 .39 9.1 40 error (invalid witness file) 8.0 4.2 150 420 - -
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 0 wit inspect 900   590   9000 12000 2.3 0      error (invalid witness file) .49 .33 9.9 40 error (invalid witness file) 7.8 4.2 140 430 - -
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 0 wit inspect 900   610   9700 11000 2.3 0      error (invalid witness file) .56 .36 8.1 40 error (invalid witness file) 8.0 4.2 140 440 - -
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 0 wit inspect 910   500   8500 14000 2.3 0      error (invalid witness file) .62 .40 7.6 40 error (invalid witness file) 7.6 4.1 140 430 - -
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 0 wit inspect 910   480   8300 13000 2.3 0      error (invalid witness file) .50 .32 8.7 39 error (invalid witness file) 7.5 4.1 130 430 - -
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 0 wit inspect 900   520   9300 13000 2.3 0      error (invalid witness file) .53 .33 11   41 error (invalid witness file) 8.1 4.3 140 430 - -
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 0 wit inspect 900   470   7900 14000 2.3 0      error (invalid witness file) .54 .34 8.7 41 error (invalid witness file) 7.6 4.1 150 420 - -
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 0 wit inspect 900   470   7500 14000 2.3 0      error (invalid witness file) .48 .32 7.9 40 error (invalid witness file) 8.4 4.5 180 430 - -
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 0 wit inspect 900   610   11000 12000 2.6 0      error (invalid witness file) .49 .32 8.8 39 error (invalid witness file) 7.9 4.3 150 430 - -
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 0 wit inspect 900   700   12000 7900 2.3 0      error (invalid witness file) .63 .41 6.4 42 error (invalid witness file) 8.9 4.9 150 530 - -
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 0 wit inspect 900   690   11000 8400 2.3 0      error (invalid witness file) .52 .34 7.1 40 error (invalid witness file) 8.4 4.6 160 520 - -
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 0 wit inspect 900   690   11000 8800 2.3 0      error (invalid witness file) .50 .32 10   39 error (invalid witness file) 8.4 4.6 150 520 - -
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 0 wit inspect 900   690   12000 8400 2.3 0      error (invalid witness file) .52 .35 12   41 error (invalid witness file) 8.2 4.5 170 510 - -
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 0 wit inspect 900   700   11000 8700 2.3 0      error (invalid witness file) .49 .32 8.3 39 error (invalid witness file) 9.6 5.2 140 520 - -
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 0 wit inspect 900   660   11000 8600 2.3 0      error (invalid witness file) .49 .33 6.2 40 error (invalid witness file) 8.3 4.6 130 510 - -
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 0 wit inspect 900   680   13000 8000 2.3 0      error (invalid witness file) .54 .33 12   41 error (invalid witness file) 9.0 4.8 160 530 - -
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 0 wit inspect 900   730   12000 8200 2.3 0      error (invalid witness file) .48 .30 8.3 40 error (invalid witness file) 8.9 4.9 190 520 - -
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 0 wit inspect 900   710   10000 7400 2.3 0      error (invalid witness file) .50 .32 9.7 40 error (invalid witness file) 8.7 4.7 140 520 - -
eca-rers2012/Problem08_label24_false-unreach-call.c timeout 0 wit inspect 900   700   11000 8100 2.3 0      error (invalid witness file) .54 .33 12   40 error (invalid witness file) 8.5 4.7 180 520 - -
eca-rers2012/Problem08_label25_false-unreach-call.c timeout 0 wit inspect 900   690   12000 8500 2.3 0      error (invalid witness file) .52 .34 9.2 40 error (invalid witness file) 8.4 4.6 95 520 - -
eca-rers2012/Problem08_label26_false-unreach-call.c timeout 0 wit inspect 900   700   11000 7900 2.3 0      error (invalid witness file) .65 .41 4.9 40 error (invalid witness file) 9.2 5.0 170 520 - -
eca-rers2012/Problem08_label28_false-unreach-call.c timeout 0 wit inspect 900   690   11000 8700 2.3 0      error (invalid witness file) .48 .32 9.4 40 error (invalid witness file) 8.7 4.8 170 520 - -
eca-rers2012/Problem08_label29_false-unreach-call.c timeout 0 wit inspect 900   720   14000 7900 2.3 0      error (invalid witness file) .55 .35 10   41 error (invalid witness file) 8.9 4.8 160 530 - -
eca-rers2012/Problem08_label34_false-unreach-call.c timeout 0 wit inspect 900   660   9900 9300 2.3 0      error (invalid witness file) .53 .34 13   39 error (invalid witness file) 8.7 4.7 160 520 - -
eca-rers2012/Problem08_label37_false-unreach-call.c timeout 0 wit inspect 900   670   9900 9000 2.3 0      error (invalid witness file) .59 .38 11   43 error (invalid witness file) 8.6 4.8 160 520 - -
eca-rers2012/Problem08_label43_false-unreach-call.c timeout 0 wit inspect 900   690   13000 7900 2.3 0      error (invalid witness file) .52 .33 11   42 error (invalid witness file) 7.8 4.4 120 510 - -
eca-rers2012/Problem08_label46_false-unreach-call.c timeout 0 wit inspect 900   720   10000 8200 2.3 0      error (invalid witness file) .56 .35 5.5 40 error (invalid witness file) 9.2 5.1 120 520 - -
eca-rers2012/Problem08_label48_false-unreach-call.c timeout 0 wit inspect 900   660   11000 9500 2.3 0      error (invalid witness file) .50 .32 10   39 error (invalid witness file) 8.8 4.8 170 520 - -
eca-rers2012/Problem08_label49_false-unreach-call.c timeout 0 wit inspect 900   690   9500 8600 2.3 0      error (invalid witness file) .56 .36 10   41 error (invalid witness file) 8.2 4.5 150 510 - -
eca-rers2012/Problem08_label50_false-unreach-call.c timeout 0 wit inspect 900   700   10000 8000 2.3 0      error (invalid witness file) .52 .34 11   40 error (invalid witness file) 8.3 4.6 160 510 - -
eca-rers2012/Problem08_label51_false-unreach-call.c timeout 0 wit inspect 900   700   12000 7700 2.3 0      error (invalid witness file) .48 .32 6.4 40 error (invalid witness file) 10   5.4 120 520 - -
eca-rers2012/Problem08_label55_false-unreach-call.c timeout 0 wit inspect 900   710   13000 7700 2.3 0      error (invalid witness file) .49 .32 11   40 error (invalid witness file) 9.5 5.1 150 540 - -
eca-rers2012/Problem08_label59_false-unreach-call.c timeout 0 wit inspect 900   680   12000 8700 2.3 0      error (invalid witness file) .61 .40 9.1 39 error (invalid witness file) 11   5.9 100 510 - -
eca-rers2012/Problem09_label02_false-unreach-call.c timeout 0 wit inspect 900   650   10000 9500 2.3 0      error (invalid witness file) .66 .42 8.1 42 error (invalid witness file) 7.9 4.4 110 520 - -
eca-rers2012/Problem09_label03_false-unreach-call.c timeout 0 wit inspect 900   660   11000 9200 2.3 0      error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 8.7 4.9 150 530 - -
eca-rers2012/Problem09_label06_false-unreach-call.c timeout 0 wit inspect 900   650   10000 9300 2.3 0      error (invalid witness file) .58 .38 7.5 41 error (invalid witness file) 8.3 4.7 170 530 - -
eca-rers2012/Problem09_label08_false-unreach-call.c timeout 0 wit inspect 900   660   9800 8800 2.3 0      error (invalid witness file) .47 .32 8.9 39 error (invalid witness file) 8.4 4.6 160 530 - -
eca-rers2012/Problem09_label10_false-unreach-call.c timeout 0 wit inspect 900   620   9700 9500 2.3 0      error (invalid witness file) .51 .33 9.8 39 error (invalid witness file) 8.1 4.5 120 530 - -
eca-rers2012/Problem09_label11_false-unreach-call.c timeout 0 wit inspect 900   660   9900 9300 2.3 0      error (invalid witness file) .52 .32 12   40 error (invalid witness file) 8.3 4.6 120 520 - -
eca-rers2012/Problem09_label15_false-unreach-call.c timeout 0 wit inspect 900   700   12000 9200 2.3 0      error (invalid witness file) .60 .39 9.6 40 error (invalid witness file) 8.1 4.6 150 520 - -
eca-rers2012/Problem09_label19_false-unreach-call.c timeout 0 wit inspect 900   680   10000 8900 2.3 0      error (invalid witness file) .49 .31 8.5 40 error (invalid witness file) 8.6 4.8 170 520 - -
eca-rers2012/Problem09_label20_false-unreach-call.c timeout 0 wit inspect 900   660   12000 9800 2.3 0      error (invalid witness file) .49 .32 9.0 39 error (invalid witness file) 8.1 4.5 150 520 - -
eca-rers2012/Problem09_label32_false-unreach-call.c timeout 0 wit inspect 900   680   10000 9600 2.3 0      error (invalid witness file) .55 .35 10   40 error (invalid witness file) 9.1 5.0 140 540 - -
eca-rers2012/Problem09_label34_false-unreach-call.c timeout 0 wit inspect 900   660   12000 9700 2.3 0      error (invalid witness file) .48 .31 6.7 40 error (invalid witness file) 9.1 5.0 140 530 - -
eca-rers2012/Problem09_label35_false-unreach-call.c timeout 0 wit inspect 900   620   9100 9000 2.3 0      error (invalid witness file) .54 .35 10   41 error (invalid witness file) 8.6 4.7 170 540 - -
eca-rers2012/Problem09_label36_false-unreach-call.c timeout 0 wit inspect 900   730   12000 7400 2.3 0      error (invalid witness file) .48 .31 9.0 41 error (invalid witness file) 8.8 5.0 140 520 - -
eca-rers2012/Problem09_label38_false-unreach-call.c timeout 0 wit inspect 900   650   13000 9200 2.3 0      error (invalid witness file) .49 .32 7.2 40 error (invalid witness file) 8.2 4.6 120 530 - -
eca-rers2012/Problem09_label41_false-unreach-call.c timeout 0 wit inspect 900   670   10000 9100 2.3 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.6 4.7 150 530 - -
eca-rers2012/Problem09_label44_false-unreach-call.c timeout 0 wit inspect 900   630   10000 10000 2.3 0      error (invalid witness file) .53 .34 12   42 error (invalid witness file) 9.1 5.0 160 540 - -
eca-rers2012/Problem09_label46_false-unreach-call.c timeout 0 wit inspect 900   680   11000 8500 2.3 0      error (invalid witness file) .56 .35 10   43 error (invalid witness file) 10   5.6 150 540 - -
eca-rers2012/Problem09_label47_false-unreach-call.c timeout 0 wit inspect 900   690   11000 9000 2.3 0      error (invalid witness file) .49 .33 11   40 error (invalid witness file) 8.3 4.6 140 530 - -
eca-rers2012/Problem09_label51_false-unreach-call.c timeout 0 wit inspect 900   670   11000 8500 2.3 0      error (invalid witness file) .50 .31 12   39 error (invalid witness file) 7.9 4.4 130 520 - -
eca-rers2012/Problem09_label53_false-unreach-call.c timeout 0 wit inspect 900   670   9800 9300 2.3 0      error (invalid witness file) .50 .32 6.2 39 error (invalid witness file) 8.3 4.6 110 530 - -
eca-rers2012/Problem09_label54_false-unreach-call.c timeout 0 wit inspect 900   670   11000 8600 2.3 0      error (invalid witness file) .48 .30 8.5 40 error (invalid witness file) 8.7 4.8 160 530 - -
eca-rers2012/Problem09_label56_false-unreach-call.c timeout 0 wit inspect 900   650   11000 9500 2.3 0      error (invalid witness file) .52 .35 7.5 40 error (invalid witness file) 9.0 5.0 130 530 - -
eca-rers2012/Problem09_label57_false-unreach-call.c timeout 0 wit inspect 910   650   11000 8900 2.3 0      error (invalid witness file) .59 .39 7.6 40 error (invalid witness file) 8.7 4.8 160 530 - -
eca-rers2012/Problem09_label59_false-unreach-call.c timeout 0 wit inspect 900   620   11000 9800 2.3 0      error (invalid witness file) .50 .33 8.3 40 error (invalid witness file) 8.6 4.7 160 530 - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 240   210   3000 940 2.8 0      true 13    7.0  120   360 false(unreach-call) 16   8.6 210 570 - -
eca-rers2012/Problem10_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 31   11   240 720 2.8 0      true 11    5.5  120   350 false(unreach-call) 19   11   280 540 - -
eca-rers2012/Problem10_label24_false-unreach-call.c timeout 0 wit inspect 900   880   11000 900 2.3 0      error (invalid witness file) .58 .36 9.9 41 error (invalid witness file) 5.8 3.1 120 290 - -
eca-rers2012/Problem10_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 45   19   390 1600 2.8 0      true 11    5.9  160   360 false(unreach-call) 17   8.9 190 550 - -
eca-rers2012/Problem10_label28_false-unreach-call.c false(unreach-call) 1 wit inspect 39   14   350 910 2.8 0      true 11    5.5  130   360 false(unreach-call) 17   8.7 210 540 - -
eca-rers2012/Problem10_label29_false-unreach-call.c false(unreach-call) 1 wit inspect 40   16   370 1100 2.8 0      true 11    5.8  150   350 false(unreach-call) 17   8.9 250 580 - -
eca-rers2012/Problem10_label41_false-unreach-call.c false(unreach-call) 1 wit inspect 56   35   590 930 2.7 0      true 11    5.5  110   340 false(unreach-call) 16   8.6 270 540 - -
eca-rers2012/Problem10_label42_false-unreach-call.c false(unreach-call) 1 wit inspect 21   6.1 170 670 2.7 0      true 10    5.4  180   340 false(unreach-call) 15   7.8 200 550 - -
eca-rers2012/Problem10_label46_false-unreach-call.c false(unreach-call) 1 wit inspect 11   3.4 84 500 2.6 0      true 11    5.7  140   330 false(unreach-call) 15   8.1 270 450 - -
eca-rers2012/Problem10_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 130   93   1300 1100 2.7 0      true 11    5.6  130   340 false(unreach-call) 15   8.1 230 560 - -
eca-rers2012/Problem10_label48_false-unreach-call.c false(unreach-call) 1 wit inspect 67   34   620 1300 2.8 0      true 11    5.7  140   360 false(unreach-call) 17   8.8 260 570 - -
eca-rers2012/Problem10_label50_false-unreach-call.c timeout 0 wit inspect 900   870   12000 1000 2.3 0      error (invalid witness file) .56 .35 11   42 error (invalid witness file) 7.3 3.8 98 300 - -
eca-rers2012/Problem10_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 30   8.8 260 710 2.8 0      true 13    6.5  93   330 false(unreach-call) 16   8.6 300 580 - -
eca-rers2012/Problem10_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 37   12   320 1100 2.8 0      true 11    5.7  190   370 false(unreach-call) 16   8.5 220 570 - -
eca-rers2012/Problem10_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 71   40   710 1700 2.8 0      true 12    6.0  180   370 false(unreach-call) 17   9.1 250 580 - -
eca-rers2012/Problem11_label00_false-unreach-call.c false(unreach-call) 1 wit inspect 580   510   7000 5100 2.9 0      true 16    8.2  210   510 false(unreach-call) 20   10   230 570 - -
eca-rers2012/Problem11_label08_false-unreach-call.c false(unreach-call) 1 wit inspect 87   54   920 1300 2.8 0      true 14    7.3  220   330 false(unreach-call) 20   11   200 540 - -
eca-rers2012/Problem11_label14_false-unreach-call.c false(unreach-call) 1 wit inspect 34   11   290 790 2.8 0      true 14    7.2  210   460 false(unreach-call) 19   9.9 280 580 - -
eca-rers2012/Problem11_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 130   94   1300 1300 2.7 0      true 13    6.5  130   450 false(unreach-call) 17   9.2 250 530 - -
eca-rers2012/Problem11_label20_false-unreach-call.c false(unreach-call) 1 wit inspect 210   140   2400 4400 2.9 .73   true 15    7.9  130   490 false(unreach-call) 23   12   210 560 - -
eca-rers2012/Problem11_label29_false-unreach-call.c timeout 0 wit inspect 900   880   11000 760 2.3 0      error (invalid witness file) .65 .41 8.5 40 error (invalid witness file) 6.2 3.3 120 290 - -
eca-rers2012/Problem11_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 300   240   3100 3700 2.9 0      true 14    7.3  230   460 false(unreach-call) 20   10   250 560 - -
eca-rers2012/Problem11_label34_false-unreach-call.c timeout 0 wit inspect 900   840   12000 3300 2.3 0      error (invalid witness file) .51 .34 10   41 error (invalid witness file) 5.8 3.1 70 290 - -
eca-rers2012/Problem11_label36_false-unreach-call.c false(unreach-call) 1 wit inspect 53   25   460 910 2.7 0      true 13    6.8  200   470 false(unreach-call) 18   9.4 280 530 - -
eca-rers2012/Problem11_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 210   160   2600 3300 2.9 0      true 15    7.7  190   470 false(unreach-call) 20   11   240 580 - -
eca-rers2012/Problem11_label42_false-unreach-call.c false(unreach-call) 1 wit inspect 49   21   530 1100 2.9 0      true 13    6.8  110   460 false(unreach-call) 19   9.9 260 550 - -
eca-rers2012/Problem11_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 62   35   700 940 2.7 0      true 14    7.2  300   470 false(unreach-call) 18   9.3 210 540 - -
eca-rers2012/Problem11_label49_false-unreach-call.c false(unreach-call) 1 wit inspect 36   12   270 850 2.8 0      true 13    6.7  150   460 false(unreach-call) 18   9.4 230 560 - -
eca-rers2012/Problem11_label51_false-unreach-call.c false(unreach-call) 1 wit inspect 73   42   840 1100 2.8 0      true 16    8.3  240   500 false(unreach-call) 19   10   290 550 - -
eca-rers2012/Problem11_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 28   9.1 220 770 2.8 0      true 17    8.8  160   460 false(unreach-call) 17   9.1 210 540 - -
eca-rers2012/Problem12_label00_false-unreach-call.c timeout 0 wit inspect 900   790   11000 6100 2.3 0      error (invalid witness file) .51 .33 10   41 error (invalid witness file) 6.6 3.4 120 290 - -
eca-rers2012/Problem12_label03_false-unreach-call.c timeout 0 wit inspect 900   640   9800 8700 2.3 0      error (invalid witness file) .68 .43 6.6 41 error (invalid witness file) 7.5 3.9 130 310 - -
eca-rers2012/Problem12_label06_false-unreach-call.c timeout 0 wit inspect 900   670   8400 7800 2.3 0      error (invalid witness file) .54 .35 12   41 error (invalid witness file) 6.2 3.3 140 290 - -
eca-rers2012/Problem12_label07_false-unreach-call.c false(unreach-call) 1 wit inspect 630   460   6500 7200 3.7 0      true 36    19    390   1300 false(unreach-call) 30   16   270 840 - -
eca-rers2012/Problem12_label08_false-unreach-call.c timeout 0 wit inspect 900   660   9000 7800 2.3 0      error (invalid witness file) .53 .35 6.7 40 error (invalid witness file) 6.9 3.6 120 300 - -
eca-rers2012/Problem12_label10_false-unreach-call.c timeout 0 wit inspect 900   730   11000 7200 2.3 0      error (invalid witness file) .49 .32 6.4 40 error (invalid witness file) 6.1 3.2 130 290 - -
eca-rers2012/Problem12_label13_false-unreach-call.c timeout 0 wit inspect 900   740   12000 6900 2.3 0      error (invalid witness file) .48 .30 7.9 39 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem12_label19_false-unreach-call.c timeout 0 wit inspect 900   680   10000 7800 2.3 0      error (invalid witness file) .53 .35 9.9 40 error (invalid witness file) 7.5 3.9 140 320 - -
eca-rers2012/Problem12_label20_false-unreach-call.c false(unreach-call) 1 wit inspect 280   170   2900 6200 3.9 0      true 36    19    280   1300 false(unreach-call) 45   24   270 970 - -
eca-rers2012/Problem12_label21_false-unreach-call.c timeout 0 wit inspect 900   820   12000 6100 2.3 0      error (invalid witness file) .53 .34 9.8 44 error (invalid witness file) 7.4 3.9 160 310 - -
eca-rers2012/Problem12_label25_false-unreach-call.c timeout 0 wit inspect 900   720   10000 7100 2.3 0      error (invalid witness file) .60 .39 7.4 39 error (invalid witness file) 6.9 3.6 100 310 - -
eca-rers2012/Problem12_label28_false-unreach-call.c timeout 0 wit inspect 900   710   11000 7400 2.3 0      error (invalid witness file) .54 .33 11   41 error (invalid witness file) 7.0 3.7 150 310 - -
eca-rers2012/Problem12_label30_false-unreach-call.c false(unreach-call) 1 wit inspect 210   130   2200 5700 3.7 0      true 30    16    200   1300 false(unreach-call) 32   17   310 830 - -
eca-rers2012/Problem12_label34_false-unreach-call.c timeout 0 wit inspect 900   720   10000 7700 2.3 0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 7.0 3.6 140 310 - -
eca-rers2012/Problem12_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 860   530   7800 9500 3.5 0      true 30    16    320   980 false(unreach-call) 32   17   430 870 - -
eca-rers2012/Problem12_label37_false-unreach-call.c timeout 0 wit inspect 900   620   8600 8800 2.3 0      error (invalid witness file) .58 .37 7.9 40 error (invalid witness file) 7.6 4.0 140 310 - -
eca-rers2012/Problem12_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 550   320   4300 8300 3.7 0      true 40    21    390   1100 false(unreach-call) 33   18   380 850 - -
eca-rers2012/Problem12_label39_false-unreach-call.c timeout 0 wit inspect 900   570   8400 9600 2.3 0      error (invalid witness file) .49 .31 9.6 40 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem12_label40_false-unreach-call.c false(unreach-call) 1 wit inspect 220   120   2000 5900 3.2 0      true 30    16    360   970 false(unreach-call) 31   17   480 780 - -
eca-rers2012/Problem12_label42_false-unreach-call.c false(unreach-call) 1 wit inspect 220   120   2000 6000 3.6 0      true 33    17    330   1300 false(unreach-call) 32   17   310 870 - -
eca-rers2012/Problem12_label48_false-unreach-call.c timeout 0 wit inspect 900   660   10000 9300 2.3 0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.6 3.5 100 300 - -
eca-rers2012/Problem12_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 570   330   4900 7700 4.1 0      true 34    18    370   1100 false(unreach-call) 35   19   350 1000 - -
eca-rers2012/Problem12_label51_false-unreach-call.c timeout 0 wit inspect 900   730   11000 8000 2.3 0      error (invalid witness file) .51 .33 8.9 40 error (invalid witness file) 6.7 3.5 140 300 - -
eca-rers2012/Problem12_label52_false-unreach-call.c timeout 0 wit inspect 900   770   11000 6200 2.3 0      error (invalid witness file) .49 .31 8.6 40 error (invalid witness file) 7.1 3.7 99 310 - -
eca-rers2012/Problem12_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 200   110   1800 5900 3.8 0      true 37    19    370   1300 false(unreach-call) 31   17   340 880 - -
eca-rers2012/Problem13_label04_false-unreach-call.c timeout 0 wit inspect 900   780   10000 7100 2.3 0      error (invalid witness file) .48 .32 8.8 39 error (invalid witness file) 6.8 3.6 130 310 - -
eca-rers2012/Problem13_label06_false-unreach-call.c timeout 0 wit inspect 900   590   8500 9500 2.3 0      error (invalid witness file) .55 .35 13   40 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem13_label07_false-unreach-call.c timeout 0 wit inspect 900   650   9100 8200 2.3 0      error (invalid witness file) .66 .41 9.5 43 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem13_label11_false-unreach-call.c timeout 0 wit inspect 900   710   10000 7700 2.3 0      error (invalid witness file) .57 .36 8.6 40 error (invalid witness file) 7.3 3.9 130 310 - -
eca-rers2012/Problem13_label12_false-unreach-call.c timeout 0 wit inspect 900   580   9300 8800 2.3 0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem13_label16_false-unreach-call.c timeout 0 wit inspect 900   690   8800 8100 2.3 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 7.3 3.8 120 310 - -
eca-rers2012/Problem13_label19_false-unreach-call.c timeout 0 wit inspect 900   590   9000 8900 2.3 0      error (invalid witness file) .50 .32 9.9 39 error (invalid witness file) 6.5 3.5 97 300 - -
eca-rers2012/Problem13_label21_false-unreach-call.c timeout 0 wit inspect 900   670   10000 8200 2.3 0      error (invalid witness file) .53 .33 11   41 error (invalid witness file) 6.3 3.4 120 290 - -
eca-rers2012/Problem13_label23_false-unreach-call.c timeout 0 wit inspect 900   530   7700 9300 2.3 0      error (invalid witness file) .51 .34 9.3 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem13_label24_false-unreach-call.c timeout 0 wit inspect 900   550   8600 9500 2.3 0      error (invalid witness file) .61 .38 9.6 40 error (invalid witness file) 7.0 3.7 140 300 - -
eca-rers2012/Problem13_label25_false-unreach-call.c timeout 0 wit inspect 900   490   8500 10000 2.3 0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.2 3.8 120 300 - -
eca-rers2012/Problem13_label28_false-unreach-call.c timeout 0 wit inspect 900   680   9800 7900 2.3 0      error (invalid witness file) .51 .34 12   39 error (invalid witness file) 6.5 3.4 130 300 - -
eca-rers2012/Problem13_label29_false-unreach-call.c timeout 0 wit inspect 900   670   8900 8100 2.3 0      error (invalid witness file) .65 .41 8.3 41 error (invalid witness file) 7.6 3.9 140 320 - -
eca-rers2012/Problem13_label30_false-unreach-call.c timeout 0 wit inspect 900   690   11000 7700 2.3 0      error (invalid witness file) .48 .30 11   39 error (invalid witness file) 7.6 4.0 140 310 - -
eca-rers2012/Problem13_label32_false-unreach-call.c timeout 0 wit inspect 900   690   12000 7600 2.3 0      error (invalid witness file) .52 .34 8.5 41 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem13_label35_false-unreach-call.c timeout 0 wit inspect 900   600   8500 9700 2.3 0      error (invalid witness file) .63 .41 8.6 40 error (invalid witness file) 6.7 3.6 130 310 - -
eca-rers2012/Problem13_label36_false-unreach-call.c timeout 0 wit inspect 900   690   9300 8500 2.3 0      error (invalid witness file) .63 .39 7.9 42 error (invalid witness file) 6.9 3.6 140 300 - -
eca-rers2012/Problem13_label40_false-unreach-call.c timeout 0 wit inspect 910   410   6600 13000 2.3 0      error (invalid witness file) .59 .38 12   43 error (invalid witness file) 6.9 3.6 120 310 - -
eca-rers2012/Problem13_label43_false-unreach-call.c timeout 0 wit inspect 900   630   8100 8900 2.3 0      error (invalid witness file) .66 .41 6.9 39 error (invalid witness file) 6.2 3.3 84 300 - -
eca-rers2012/Problem13_label44_false-unreach-call.c timeout 0 wit inspect 900   710   10000 8200 2.3 0      error (invalid witness file) .54 .35 10   40 error (invalid witness file) 6.5 3.4 110 290 - -
eca-rers2012/Problem13_label45_false-unreach-call.c timeout 0 wit inspect 910   630   7700 8500 2.3 0      error (invalid witness file) .60 .37 9.7 39 error (invalid witness file) 7.3 3.8 110 320 - -
eca-rers2012/Problem13_label48_false-unreach-call.c timeout 0 wit inspect 900   450   7700 10000 2.3 0      error (invalid witness file) .50 .30 8.6 39 error (invalid witness file) 6.8 3.6 110 300 - -
eca-rers2012/Problem13_label51_false-unreach-call.c timeout 0 wit inspect 900   650   9000 8800 2.3 0      error (invalid witness file) .50 .32 8.0 40 error (invalid witness file) 7.5 3.9 130 320 - -
eca-rers2012/Problem13_label54_false-unreach-call.c timeout 0 wit inspect 900   670   9300 8000 2.3 0      error (invalid witness file) .62 .40 8.5 42 error (invalid witness file) 8.5 4.5 110 310 - -
eca-rers2012/Problem13_label58_false-unreach-call.c timeout 0 wit inspect 910   440   7400 11000 2.3 0      error (invalid witness file) .52 .34 8.6 42 error (invalid witness file) 7.3 3.8 150 310 - -
eca-rers2012/Problem14_label02_false-unreach-call.c false(unreach-call) 1 wit inspect 220   160   2600 4600 4.1 0      true 19    10    190   740 false(unreach-call) 28   15   340 1100 - -
eca-rers2012/Problem14_label08_false-unreach-call.c false(unreach-call) 1 wit inspect 78   36   840 3100 3.9 0      true 21    11    250   730 false(unreach-call) 28   15   350 920 - -
eca-rers2012/Problem14_label10_false-unreach-call.c false(unreach-call) 1 wit inspect 77   32   720 2500 3.7 0      true 17    8.9  190   560 false(unreach-call) 27   14   280 930 - -
eca-rers2012/Problem14_label11_false-unreach-call.c false(unreach-call) 1 wit inspect 82   37   800 2500 3.7 0      true 21    11    230   700 false(unreach-call) 25   13   260 970 - -
eca-rers2012/Problem14_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 95   49   1100 4200 4.0 0      true 18    9.4  210   730 false(unreach-call) 29   15   380 1100 - -
eca-rers2012/Problem14_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 74   31   640 2200 3.8 0      true 20    11    180   700 false(unreach-call) 26   14   350 950 - -
eca-rers2012/Problem14_label14_false-unreach-call.c timeout 0 wit inspect 900   850   10000 2600 2.3 0      error (invalid witness file) .60 .39 6.4 40 error (invalid witness file) 6.9 3.7 99 300 - -
eca-rers2012/Problem14_label18_false-unreach-call.c false(unreach-call) 1 wit inspect 76   36   730 3000 3.9 0      true 22    11    200   710 false(unreach-call) 25   13   280 960 - -
eca-rers2012/Problem14_label22_false-unreach-call.c false(unreach-call) 1 wit inspect 84   38   790 4100 3.9 0      true 21    11    220   710 false(unreach-call) 28   14   300 1000 - -
eca-rers2012/Problem14_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 81   39   820 3000 3.6 0      true 20    10    180   580 false(unreach-call) 26   14   310 850 - -
eca-rers2012/Problem14_label28_false-unreach-call.c false(unreach-call) 1 wit inspect 99   50   980 4100 4.1 0      true 21    11    230   740 false(unreach-call) 28   15   300 1100 - -
eca-rers2012/Problem14_label29_false-unreach-call.c false(unreach-call) 1 wit inspect 80   35   870 2700 3.8 0      true 18    9.3  240   700 false(unreach-call) 27   14   430 990 - -
eca-rers2012/Problem14_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 88   41   930 2800 3.7 0      true 23    12    250   710 false(unreach-call) 27   14   300 920 - -
eca-rers2012/Problem14_label34_false-unreach-call.c false(unreach-call) 1 wit inspect 83   36   900 3400 3.7 0      true 22    11    220   720 false(unreach-call) 25   13   270 930 - -
eca-rers2012/Problem14_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 86   40   880 3200 3.9 0      true 23    12    180   710 false(unreach-call) 27   14   380 1000 - -
eca-rers2012/Problem14_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 77   35   800 2700 3.7 0      true 20    10    210   710 false(unreach-call) 26   14   340 960 - -
eca-rers2012/Problem14_label40_false-unreach-call.c false(unreach-call) 1 wit inspect 86   42   800 2400 3.8 0      true 18    9.5  160   710 false(unreach-call) 27   14   250 940 - -
eca-rers2012/Problem14_label41_false-unreach-call.c false(unreach-call) 1 wit inspect 100   51   1000 4500 4.0 0      true 21    11    270   720 false(unreach-call) 26   14   260 1000 - -
eca-rers2012/Problem14_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 82   36   780 3000 3.9 0      true 23    12    220   720 false(unreach-call) 28   15   380 1000 - -
eca-rers2012/Problem14_label44_false-unreach-call.c false(unreach-call) 1 wit inspect 97   49   970 3900 4.1 0      true 23    12    190   730 false(unreach-call) 27   14   250 920 - -
eca-rers2012/Problem14_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 100   56   970 4000 3.8 0      true 24    12    170   700 false(unreach-call) 27   14   270 1000 - -
eca-rers2012/Problem14_label54_false-unreach-call.c false(unreach-call) 1 wit inspect 110   53   1000 4500 4.0 0      true 19    9.8  190   730 false(unreach-call) 26   14   370 1000 - -
eca-rers2012/Problem14_label56_false-unreach-call.c false(unreach-call) 1 wit inspect 84   40   920 2900 3.9 0      true 19    9.7  270   710 false(unreach-call) 25   13   230 950 - -
eca-rers2012/Problem14_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 75   33   750 2700 3.7 0      true 18    9.3  210   530 false(unreach-call) 25   13   400 870 - -
eca-rers2012/Problem14_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 470   430   5300 3800 3.9 0      true 20    10    170   720 false(unreach-call) 27   14   360 1000 - -
eca-rers2012/Problem15_label00_false-unreach-call.c timeout 0 wit inspect 900   860   12000 2600 2.3 0      error (invalid witness file) .68 .41 6.7 40 error (invalid witness file) 7.4 3.9 100 300 - -
eca-rers2012/Problem15_label02_false-unreach-call.c timeout 0 wit inspect 900   880   11000 1200 2.3 0      error (invalid witness file) .49 .31 8.5 39 error (invalid witness file) 6.8 3.6 120 310 - -
eca-rers2012/Problem15_label03_false-unreach-call.c false(unreach-call) 1 wit inspect 130   78   1500 4400 3.2 0      true 26    13    280   580 false(unreach-call) 25   13   370 680 - -
eca-rers2012/Problem15_label07_false-unreach-call.c false(unreach-call) 1 wit inspect 620   550   8200 5300 3.4 0      true 28    14    200   610 false(unreach-call) 26   13   290 690 - -
eca-rers2012/Problem15_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 570   520   6500 4400 3.3 0      true 27    14    240   590 false(unreach-call) 31   17   230 670 - -
eca-rers2012/Problem15_label14_false-unreach-call.c false(unreach-call) 1 wit inspect 160   100   1600 3900 3.2 0      true 25    13    250   580 false(unreach-call) 24   13   340 680 - -
eca-rers2012/Problem15_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 570   510   6800 3900 3.2 0      true 22    11    290   590 false(unreach-call) 24   13   320 670 - -
eca-rers2012/Problem15_label18_false-unreach-call.c timeout 0 wit inspect 900   830   12000 3700 2.3 0      error (invalid witness file) .50 .32 8.9 41 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem15_label22_false-unreach-call.c timeout 0 wit inspect 900   880   14000 1200 2.3 0      error (invalid witness file) .54 .34 8.5 39 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem15_label23_false-unreach-call.c false(unreach-call) 1 wit inspect 310   260   3400 4500 3.3 0      true 25    12    280   590 false(unreach-call) 26   14   260 660 - -
eca-rers2012/Problem15_label25_false-unreach-call.c false(unreach-call) 1 wit inspect 260   210   2800 3500 3.4 0      true 27    14    210   590 false(unreach-call) 27   14   310 710 - -
eca-rers2012/Problem15_label29_false-unreach-call.c false(unreach-call) 1 wit inspect 330   260   4200 5000 3.3 0      true 26    13    200   600 false(unreach-call) 25   13   240 720 - -
eca-rers2012/Problem15_label30_false-unreach-call.c false(unreach-call) 1 wit inspect 370   300   4500 5000 3.1 0      true 20    10    260   570 false(unreach-call) 24   13   440 640 - -
eca-rers2012/Problem15_label33_false-unreach-call.c false(unreach-call) 1 wit inspect 260   200   3200 5200 3.2 0      true 24    12    250   560 false(unreach-call) 25   13   310 670 - -
eca-rers2012/Problem15_label34_false-unreach-call.c timeout 0 wit inspect 900   840   11000 4200 2.3 0      error (invalid witness file) .55 .35 13   41 error (invalid witness file) 7.9 4.1 110 310 - -
eca-rers2012/Problem15_label37_false-unreach-call.c timeout 0 wit inspect 900   840   12000 5800 2.3 0      error (invalid witness file) .56 .37 7.9 42 error (invalid witness file) 6.5 3.4 90 310 - -
eca-rers2012/Problem15_label38_false-unreach-call.c timeout 0 wit inspect 900   830   11000 4600 2.3 0      error (invalid witness file) .64 .41 8.0 41 error (invalid witness file) 7.3 3.8 130 320 - -
eca-rers2012/Problem15_label39_false-unreach-call.c timeout 0 wit inspect 900   860   13000 2000 2.3 0      error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.3 3.3 120 290 - -
eca-rers2012/Problem15_label40_false-unreach-call.c timeout 0 wit inspect 900   860   10000 2100 2.3 0      error (invalid witness file) .59 .37 13   43 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem15_label41_false-unreach-call.c timeout 0 wit inspect 900   870   11000 1100 2.3 0      error (invalid witness file) .46 .31 9.3 40 error (invalid witness file) 8.9 4.6 86 310 - -
eca-rers2012/Problem15_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 420   370   5000 4000 3.3 0      true 22    11    190   590 false(unreach-call) 26   14   330 690 - -
eca-rers2012/Problem15_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 380   320   4300 5000 3.2 0      true 24    12    270   580 false(unreach-call) 26   14   360 670 - -
eca-rers2012/Problem15_label48_false-unreach-call.c timeout 0 wit inspect 900   870   9600 2200 2.3 0      error (invalid witness file) .54 .35 12   42 error (invalid witness file) 7.3 3.8 140 320 - -
eca-rers2012/Problem15_label50_false-unreach-call.c timeout 0 wit inspect 900   840   13000 4300 2.3 0      error (invalid witness file) .65 .41 8.4 40 error (invalid witness file) 6.5 3.4 120 310 - -
eca-rers2012/Problem15_label51_false-unreach-call.c false(unreach-call) 1 wit inspect 690   640   9400 2500 3.2 0      true 24    12    230   580 false(unreach-call) 24   13   340 670 - -
eca-rers2012/Problem16_label00_false-unreach-call.c timeout 0 wit inspect 900   840   10000 5000 2.3 0      error (invalid witness file) .50 .34 3.8 40 error (invalid witness file) 6.1 3.2 110 290 - -
eca-rers2012/Problem16_label01_false-unreach-call.c timeout 0 wit inspect 900   850   10000 4200 2.3 .094  error (invalid witness file) .50 .33 9.9 39 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem16_label03_false-unreach-call.c false(unreach-call) 1 wit inspect 280   200   3300 5000 5.0 0      true 24    12    250   980 false(unreach-call) 41   22   690 1200 - -
eca-rers2012/Problem16_label04_false-unreach-call.c timeout 0 wit inspect 900   830   13000 4800 2.3 0      error (invalid witness file) .55 .34 11   40 error (invalid witness file) 6.7 3.6 140 300 - -
eca-rers2012/Problem16_label05_false-unreach-call.c timeout 0 wit inspect 900   840   12000 5100 2.3 0      error (invalid witness file) .52 .34 7.9 39 error (invalid witness file) 5.8 3.2 97 300 - -
eca-rers2012/Problem16_label06_false-unreach-call.c timeout 0 wit inspect 900   830   9700 4900 2.3 0      error (invalid witness file) .52 .34 6.9 41 error (invalid witness file) 6.5 3.5 130 300 - -
eca-rers2012/Problem16_label08_false-unreach-call.c timeout 0 wit inspect 900   840   12000 4600 2.4 0      error (invalid witness file) .50 .33 8.2 40 error (invalid witness file) 7.7 4.0 130 320 - -
eca-rers2012/Problem16_label14_false-unreach-call.c timeout 0 wit inspect 900   840   12000 4800 2.3 0      error (invalid witness file) .47 .32 8.5 40 error (invalid witness file) 7.5 3.9 110 320 - -
eca-rers2012/Problem16_label15_false-unreach-call.c timeout 0 wit inspect 900   850   8600 5100 2.3 0      error (invalid witness file) .53 .35 10   40 error (invalid witness file) 7.0 3.7 120 320 - -
eca-rers2012/Problem16_label18_false-unreach-call.c timeout 0 wit inspect 900   830   10000 4700 2.3 0      error (invalid witness file) .52 .33 9.4 40 error (invalid witness file) 7.3 3.8 150 320 - -
eca-rers2012/Problem16_label20_false-unreach-call.c false(unreach-call) 1 wit inspect 830   750   10000 4900 4.7 0      true 28    14    310   960 false(unreach-call) 38   21   520 1100 - -
eca-rers2012/Problem16_label22_false-unreach-call.c timeout 0 wit inspect 900   820   13000 4900 2.3 0      error (invalid witness file) .55 .35 12   44 error (invalid witness file) 6.5 3.5 130 300 - -
eca-rers2012/Problem16_label27_false-unreach-call.c timeout 0 wit inspect 900   840   10000 4800 2.3 0      error (invalid witness file) .55 .36 8.0 40 error (invalid witness file) 6.8 3.5 120 300 - -
eca-rers2012/Problem16_label30_false-unreach-call.c timeout 0 wit inspect 900   840   13000 4600 2.3 0      error (invalid witness file) .55 .35 10   43 error (invalid witness file) 6.9 3.7 130 310 - -
eca-rers2012/Problem16_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 510   440   5900 4700 5.2 0      true 32    17    400   1000 false(unreach-call) 38   21   410 1300 - -
eca-rers2012/Problem16_label33_false-unreach-call.c timeout 0 wit inspect 900   840   10000 4900 2.3 0      error (invalid witness file) .51 .34 8.7 40 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem16_label37_false-unreach-call.c timeout 0 wit inspect 900   840   11000 4700 2.3 0      error (invalid witness file) .50 .32 9.6 40 error (invalid witness file) 6.5 3.5 110 300 - -
eca-rers2012/Problem16_label38_false-unreach-call.c timeout 0 wit inspect 900   840   13000 4700 2.3 0      error (invalid witness file) .60 .38 10   41 error (invalid witness file) 6.9 3.6 140 310 - -
eca-rers2012/Problem16_label41_false-unreach-call.c timeout 0 wit inspect 900   850   12000 5000 2.3 0      error (invalid witness file) .56 .37 11   43 error (invalid witness file) 6.7 3.6 150 300 - -
eca-rers2012/Problem16_label43_false-unreach-call.c timeout 0 wit inspect 900   840   12000 4700 2.3 0      error (invalid witness file) .64 .41 9.0 44 error (invalid witness file) 6.7 3.5 120 300 - -
eca-rers2012/Problem16_label44_false-unreach-call.c timeout 0 wit