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 inspect 900   840   11000 4700 2.3 0      error (invalid witness file) .50 .33 9.1 39 error (invalid witness file) 6.7 3.6 120 310 - -
eca-rers2012/Problem16_label46_false-unreach-call.c timeout 0 wit inspect 900   840   12000 4700 2.3 0      error (invalid witness file) .52 .35 8.7 40 error (invalid witness file) 6.5 3.4 110 300 - -
eca-rers2012/Problem16_label51_false-unreach-call.c timeout 0 wit inspect 900   840   10000 4800 2.3 0      error (invalid witness file) .54 .35 8.1 41 error (invalid witness file) 6.6 3.4 110 300 - -
eca-rers2012/Problem16_label52_false-unreach-call.c timeout 0 wit inspect 900   840   9600 5000 2.3 0      error (invalid witness file) .62 .38 8.2 39 error (invalid witness file) 6.3 3.3 140 300 - -
eca-rers2012/Problem16_label54_false-unreach-call.c timeout 0 wit inspect 900   840   10000 4800 2.3 0      error (invalid witness file) .55 .36 9.4 40 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem17_label04_false-unreach-call.c timeout 0 wit inspect 900   880   11000 800 2.3 0      error (invalid witness file) .56 .38 12   45 error (invalid witness file) 6.9 3.7 130 310 - -
eca-rers2012/Problem17_label07_false-unreach-call.c timeout 0 wit inspect 900   850   11000 3000 2.3 0      error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.7 3.5 120 310 - -
eca-rers2012/Problem17_label09_false-unreach-call.c timeout 0 wit inspect 900   850   12000 2900 2.3 0      error (invalid witness file) .50 .32 5.7 40 error (invalid witness file) 6.3 3.4 100 300 - -
eca-rers2012/Problem17_label13_false-unreach-call.c timeout 0 wit inspect 900   850   12000 2200 2.3 0      error (invalid witness file) .49 .31 7.1 39 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem17_label16_false-unreach-call.c timeout 0 wit inspect 900   890   11000 800 2.3 0      error (invalid witness file) .57 .36 7.8 40 error (invalid witness file) 6.5 3.5 120 300 - -
eca-rers2012/Problem17_label20_false-unreach-call.c timeout 0 wit inspect 900   880   11000 810 2.3 0      error (invalid witness file) .54 .35 12   39 error (invalid witness file) 6.1 3.3 95 290 - -
eca-rers2012/Problem17_label23_false-unreach-call.c timeout 0 wit inspect 900   840   10000 3900 2.3 0      error (invalid witness file) .52 .35 9.4 39 error (invalid witness file) 7.3 3.8 140 320 - -
eca-rers2012/Problem17_label25_false-unreach-call.c timeout 0 wit inspect 900   830   10000 3900 2.3 0      error (invalid witness file) .55 .36 12   40 error (invalid witness file) 6.6 3.4 88 300 - -
eca-rers2012/Problem17_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 780   630   8900 7300 3.3 0      true 23    12    330   800 false(unreach-call) 30   17   340 680 - -
eca-rers2012/Problem17_label30_false-unreach-call.c timeout 0 wit inspect 900   840   11000 4100 2.3 0      error (invalid witness file) .54 .35 8.2 42 error (invalid witness file) 7.7 4.1 110 300 - -
eca-rers2012/Problem17_label31_false-unreach-call.c timeout 0 wit inspect 900   740   11000 7400 2.3 0      error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.5 3.4 130 310 - -
eca-rers2012/Problem17_label33_false-unreach-call.c timeout 0 wit inspect 900   850   11000 3300 2.3 0      error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.6 3.4 100 300 - -
eca-rers2012/Problem17_label34_false-unreach-call.c timeout 0 wit inspect 900   850   11000 2900 2.3 0      error (invalid witness file) .51 .35 10   39 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem17_label35_false-unreach-call.c timeout 0 wit inspect 900   730   10000 7400 2.3 0      error (invalid witness file) .51 .34 9.2 42 error (invalid witness file) 7.1 3.7 130 320 - -
eca-rers2012/Problem17_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 860   700   9300 6900 3.4 0      true 23    12    200   810 false(unreach-call) 32   18   480 780 - -
eca-rers2012/Problem17_label40_false-unreach-call.c timeout 0 wit inspect 900   880   11000 650 2.3 0      error (invalid witness file) .52 .33 9.2 39 error (invalid witness file) 7.8 4.0 130 310 - -
eca-rers2012/Problem17_label46_false-unreach-call.c timeout 0 wit inspect 900   780   10000 6900 2.3 0      error (invalid witness file) .53 .36 11   42 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem17_label49_false-unreach-call.c timeout 0 wit inspect 900   870   12000 1300 2.3 0      error (invalid witness file) .47 .31 10   40 error (invalid witness file) 7.3 3.8 150 300 - -
eca-rers2012/Problem17_label50_false-unreach-call.c timeout 0 wit inspect 900   850   11000 2700 2.3 0      error (invalid witness file) .52 .34 12   39 error (invalid witness file) 7.3 3.8 88 290 - -
eca-rers2012/Problem17_label52_false-unreach-call.c timeout 0 wit inspect 900   880   11000 860 2.3 0      error (invalid witness file) .57 .35 7.7 41 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem17_label53_false-unreach-call.c timeout 0 wit inspect 900   840   12000 2500 2.3 0      error (invalid witness file) .53 .33 9.0 43 error (invalid witness file) 6.9 3.6 120 310 - -
eca-rers2012/Problem17_label54_false-unreach-call.c timeout 0 wit inspect 900   830   9900 4900 2.3 0      error (invalid witness file) .53 .35 13   40 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem17_label55_false-unreach-call.c timeout 0 wit inspect 900   800   9700 6100 2.3 0      error (invalid witness file) .49 .32 8.8 40 error (invalid witness file) 6.2 3.3 120 290 - -
eca-rers2012/Problem17_label57_false-unreach-call.c timeout 0 wit inspect 900   870   12000 1200 2.3 0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.9 3.6 120 300 - -
eca-rers2012/Problem18_label00_false-unreach-call.c false(unreach-call) 1 wit inspect 250   160   3000 5600 4.5 0      true 29    15    250   970 false(unreach-call) 37   20   370 1100 - -
eca-rers2012/Problem18_label01_false-unreach-call.c timeout 0 wit inspect 900   820   9400 5300 2.3 0      error (invalid witness file) .48 .31 9.9 39 error (invalid witness file) 7.2 3.7 150 300 - -
eca-rers2012/Problem18_label03_false-unreach-call.c false(unreach-call) 1 wit inspect 450   360   5200 6000 4.5 0      true 33    17    280   980 false(unreach-call) 39   21   610 1100 - -
eca-rers2012/Problem18_label06_false-unreach-call.c timeout 0 wit inspect 900   830   10000 5400 2.3 0      error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.7 3.5 130 310 - -
eca-rers2012/Problem18_label08_false-unreach-call.c false(unreach-call) 1 wit inspect 380   280   4100 6100 4.4 0      true 33    17    400   950 false(unreach-call) 43   23   460 1100 - -
eca-rers2012/Problem18_label09_false-unreach-call.c timeout 0 wit inspect 900   780   13000 6300 2.3 0      error (invalid witness file) .57 .35 8.8 43 error (invalid witness file) 6.5 3.4 85 300 - -
eca-rers2012/Problem18_label10_false-unreach-call.c false(unreach-call) 1 wit inspect 200   130   2100 5300 4.5 0      true 41    21    240   970 false(unreach-call) 37   20   360 1100 - -
eca-rers2012/Problem18_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 200   130   2400 5800 4.1 0      true 32    17    380   920 false(unreach-call) 36   19   480 1000 - -
eca-rers2012/Problem18_label19_false-unreach-call.c false(unreach-call) 1 wit inspect 430   340   5400 5600 4.5 0      true 28    15    240   950 false(unreach-call) 38   20   510 1100 - -
eca-rers2012/Problem18_label20_false-unreach-call.c timeout 0 wit inspect 900   820   10000 5600 2.3 0      error (invalid witness file) .52 .34 9.8 44 error (invalid witness file) 6.1 3.2 95 300 - -
eca-rers2012/Problem18_label25_false-unreach-call.c false(unreach-call) 1 wit inspect 200   140   2200 5300 4.9 0      true 31    16    290   1000 false(unreach-call) 37   20   320 1200 - -
eca-rers2012/Problem18_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 260   170   2700 5900 4.3 0      true 36    19    310   940 false(unreach-call) 38   20   380 1100 - -
eca-rers2012/Problem18_label31_false-unreach-call.c timeout 0 wit inspect 900   830   13000 5700 2.3 0      error (invalid witness file) .49 .32 9.4 41 error (invalid witness file) 6.9 3.6 120 310 - -
eca-rers2012/Problem18_label32_false-unreach-call.c timeout 0 wit inspect 900   830   11000 5500 2.3 0      error (invalid witness file) .48 .31 9.8 39 error (invalid witness file) 7.1 3.7 140 300 - -
eca-rers2012/Problem18_label33_false-unreach-call.c timeout 0 wit inspect 900   820   11000 5400 2.3 0      error (invalid witness file) .53 .35 12   43 error (invalid witness file) 6.0 3.2 110 300 - -
eca-rers2012/Problem18_label34_false-unreach-call.c timeout 0 wit inspect 900   730   11000 7800 2.3 0      error (invalid witness file) .55 .35 10   43 error (invalid witness file) 6.6 3.5 120 300 - -
eca-rers2012/Problem18_label35_false-unreach-call.c timeout 0 wit inspect 900   830   11000 5800 2.3 0      error (invalid witness file) .48 .32 12   40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem18_label36_false-unreach-call.c timeout 0 wit inspect 900   810   9700 5800 2.3 0      error (invalid witness file) .50 .32 9.1 41 error (invalid witness file) 7.3 3.8 130 320 - -
eca-rers2012/Problem18_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 220   140   2200 5400 4.2 0      true 29    15    220   930 false(unreach-call) 35   19   350 1000 - -
eca-rers2012/Problem18_label39_false-unreach-call.c timeout 0 wit inspect 900   830   9900 5500 2.3 0      error (invalid witness file) .48 .31 11   40 error (invalid witness file) 6.9 3.6 130 300 - -
eca-rers2012/Problem18_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 200   120   1900 5600 4.5 0      true 34    17    370   970 false(unreach-call) 40   21   510 1100 - -
eca-rers2012/Problem18_label49_false-unreach-call.c false(unreach-call) 1 wit inspect 400   290   3900 6400 4.6 0      true 29    15    360   970 false(unreach-call) 38   20   420 1100 - -
eca-rers2012/Problem18_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 200   120   2000 5200 4.1 0      true 30    15    210   930 false(unreach-call) 34   18   570 1000 - -
eca-rers2012/Problem18_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 510   420   6700 5800 4.4 0      true 34    18    280   950 false(unreach-call) 36   19   310 1100 - -
eca-rers2012/Problem18_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 770   660   11000 6100 4.6 0      true 32    16    290   980 false(unreach-call) 38   21   490 1100 - -
eca-rers2012/Problem19_label10_false-unreach-call.c timeout 0 wit inspect 900   440   6900 10000 2.3 0      error (invalid witness file) .53 .35 9.0 39 error (invalid witness file) 7.4 3.9 110 310 - -
eca-rers2012/Problem19_label11_false-unreach-call.c timeout 0 wit inspect 900   540   7500 10000 2.3 0      error (invalid witness file) .49 .32 13   41 error (invalid witness file) 7.0 3.6 120 300 - -
eca-rers2012/Problem19_label14_false-unreach-call.c timeout 0 wit inspect 900   620   10000 9800 2.3 0      error (invalid witness file) .46 .30 6.5 40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem19_label17_false-unreach-call.c timeout 0 wit inspect 910   400   7200 13000 2.3 0      error (invalid witness file) .61 .38 5.8 39 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem19_label18_false-unreach-call.c timeout 0 wit inspect 900   450   6900 11000 2.3 0      error (invalid witness file) .63 .41 12   44 error (invalid witness file) 6.9 3.6 130 310 - -
eca-rers2012/Problem19_label19_false-unreach-call.c timeout 0 wit inspect 910   370   6400 14000 2.3 0      error (invalid witness file) .49 .32 9.8 40 error (invalid witness file) 7.2 3.8 130 310 - -
eca-rers2012/Problem19_label21_false-unreach-call.c timeout 0 wit inspect 900   440   7500 13000 2.3 0      error (invalid witness file) .49 .32 7.1 39 error (invalid witness file) 7.4 3.9 120 310 - -
eca-rers2012/Problem19_label22_false-unreach-call.c timeout 0 wit inspect 910   400   6700 14000 2.3 0      error (invalid witness file) .53 .34 12   41 error (invalid witness file) 7.2 3.8 100 310 - -
eca-rers2012/Problem19_label26_false-unreach-call.c timeout 0 wit inspect 900   470   7500 12000 2.3 0      error (invalid witness file) .49 .32 12   39 error (invalid witness file) 6.5 3.4 94 300 - -
eca-rers2012/Problem19_label27_false-unreach-call.c timeout 0 wit inspect 910   360   6200 13000 2.3 0      error (invalid witness file) .49 .33 10   39 error (invalid witness file) 6.9 3.7 130 300 - -
eca-rers2012/Problem19_label28_false-unreach-call.c timeout 0 wit inspect 900   800   11000 6600 2.3 0      error (invalid witness file) .55 .36 12   40 error (invalid witness file) 8.0 4.2 110 310 - -
eca-rers2012/Problem19_label29_false-unreach-call.c timeout 0 wit inspect 910   420   6800 13000 2.3 0      error (invalid witness file) .55 .34 12   43 error (invalid witness file) 7.1 3.7 140 290 - -
eca-rers2012/Problem19_label31_false-unreach-call.c timeout 0 wit inspect 910   430   8400 14000 2.3 0      error (invalid witness file) .53 .35 12   41 error (invalid witness file) 7.5 3.9 110 320 - -
eca-rers2012/Problem19_label32_false-unreach-call.c timeout 0 wit inspect 900   360   5700 13000 2.3 0      error (invalid witness file) .54 .37 13   40 error (invalid witness file) 7.6 4.0 140 300 - -
eca-rers2012/Problem19_label41_false-unreach-call.c timeout 0 wit inspect 910   430   7800 13000 2.3 0      error (invalid witness file) .50 .31 9.5 40 error (invalid witness file) 6.8 3.5 93 300 - -
eca-rers2012/Problem19_label42_false-unreach-call.c timeout 0 wit inspect 910   350   6000 14000 2.3 0      error (invalid witness file) .53 .34 12   42 error (invalid witness file) 7.7 4.1 160 310 - -
eca-rers2012/Problem19_label43_false-unreach-call.c timeout 0 wit inspect 900   450   6700 13000 2.3 0      error (invalid witness file) .54 .36 11   42 error (invalid witness file) 6.9 3.7 120 300 - -
eca-rers2012/Problem19_label47_false-unreach-call.c timeout 0 wit inspect 910   380   6700 13000 2.3 0      error (invalid witness file) .49 .31 7.5 39 error (invalid witness file) 7.1 3.7 130 300 - -
eca-rers2012/Problem19_label50_false-unreach-call.c timeout 0 wit inspect 900   410   6500 12000 2.3 0      error (invalid witness file) .63 .41 7.8 39 error (invalid witness file) 6.3 3.4 120 300 - -
eca-rers2012/Problem19_label51_false-unreach-call.c timeout 0 wit inspect 900   410   6600 13000 2.3 0      error (invalid witness file) .51 .33 10   40 error (invalid witness file) 7.0 3.7 130 310 - -
eca-rers2012/Problem19_label53_false-unreach-call.c timeout 0 wit inspect 910   410   7000 13000 2.3 0      error (invalid witness file) .53 .34 9.1 43 error (invalid witness file) 6.8 3.6 140 300 - -
eca-rers2012/Problem19_label55_false-unreach-call.c timeout 0 wit inspect 910   440   7300 12000 2.3 0      error (invalid witness file) .54 .35 10   44 error (invalid witness file) 6.7 3.5 130 300 - -
eca-rers2012/Problem19_label58_false-unreach-call.c timeout 0 wit inspect 900   410   6800 13000 2.3 0      error (invalid witness file) .52 .33 8.3 40 error (invalid witness file) 6.9 3.6 120 300 - -
eca-rers2012/Problem19_label59_false-unreach-call.c timeout 0 wit inspect 900   400   6100 13000 2.3 0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 7.2 3.8 130 300 - -
eca-rers2012/Problem01_label00_true-unreach-call.c true 2 wit inspect 28   8.2 230 800 2.8 0      - - true 23    12    330   580 true 36   21   520 740
eca-rers2012/Problem01_label01_true-unreach-call.c true 2 wit inspect 18   5.1 150 580 2.8 0      - - true 24    12    280   600 true 26   14   400 660
eca-rers2012/Problem01_label02_true-unreach-call.c true 2 wit inspect 23   6.0 170 590 2.8 0      - - true 20    11    200   600 true 34   18   510 710
eca-rers2012/Problem01_label03_true-unreach-call.c true 2 wit inspect 26   8.1 220 890 2.8 0      - - true 26    13    270   570 true 42   23   660 760
eca-rers2012/Problem01_label04_true-unreach-call.c true 2 wit inspect 17   4.7 140 740 2.8 0      - - true 23    12    360   590 true 26   14   430 650
eca-rers2012/Problem01_label05_true-unreach-call.c true 2 wit inspect 34   9.3 280 960 2.8 0      - - true 25    13    280   550 true 39   22   470 780
eca-rers2012/Problem01_label06_true-unreach-call.c true 2 wit inspect 30   8.5 240 700 2.8 0      - - true 24    13    340   570 true 37   21   310 750
eca-rers2012/Problem01_label07_true-unreach-call.c true 2 wit inspect 19   5.4 160 570 2.8 0      - - true 22    11    330   600 true 25   14   300 680
eca-rers2012/Problem01_label08_true-unreach-call.c true 2 wit inspect 31   8.8 240 860 2.8 0      - - true 25    13    270   600 true 42   23   390 790
eca-rers2012/Problem01_label09_true-unreach-call.c true 2 wit inspect 27   8.1 200 840 2.8 0      - - true 22    11    280   590 true 36   21   440 750
eca-rers2012/Problem01_label10_true-unreach-call.c true 2 wit inspect 17   4.8 130 630 2.8 0      - - true 23    12    290   590 true 26   14   330 650
eca-rers2012/Problem01_label11_true-unreach-call.c true 2 wit inspect 24   6.6 180 760 2.8 0      - - true 25    13    290   590 true 39   21   420 730
eca-rers2012/Problem01_label12_true-unreach-call.c true 2 wit inspect 13   3.6 100 560 2.8 0      - - true 19    10    160   590 true 18   9.7 160 550
eca-rers2012/Problem01_label13_true-unreach-call.c true 2 wit inspect 16   4.3 120 740 2.8 0      - - true 24    13    200   580 true 24   13   270 570
eca-rers2012/Problem01_label14_true-unreach-call.c true 2 wit inspect 29   8.5 230 970 2.8 0      - - true 23    12    360   580 true 40   23   350 830
eca-rers2012/Problem01_label16_true-unreach-call.c true 2 wit inspect 14   4.0 110 500 2.8 0      - - true 23    12    300   590 true 23   12   320 550
eca-rers2012/Problem01_label17_true-unreach-call.c true 2 wit inspect 22   5.9 170 750 2.9 0      - - true 20    10    370   590 true 35   19   470 690
eca-rers2012/Problem01_label18_true-unreach-call.c true 2 wit inspect 20   5.4 150 600 2.8 0      - - true 21    11    170   560 true 31   17   480 720
eca-rers2012/Problem01_label19_true-unreach-call.c true 2 wit inspect 14   4.0 110 520 2.8 0      - - true 27    14    280   570 true 21   12   230 560
eca-rers2012/Problem01_label22_true-unreach-call.c true 2 wit inspect 15   4.0 130 690 2.8 0      - - true 23    12    430   570 true 23   13   360 590
eca-rers2012/Problem01_label23_true-unreach-call.c true 2 wit inspect 23   6.8 190 640 2.8 0      - - true 25    13    280   580 true 31   18   370 680
eca-rers2012/Problem01_label24_true-unreach-call.c true 2 wit inspect 23   6.1 190 740 2.8 0      - - true 21    11    320   610 true 32   18   300 670
eca-rers2012/Problem01_label25_true-unreach-call.c true 2 wit inspect 17   4.6 130 540 2.8 0      - - true 25    13    270   580 true 33   18   270 640
eca-rers2012/Problem01_label26_true-unreach-call.c true 2 wit inspect 29   7.8 220 790 2.8 0      - - true 23    12    230   620 true 40   22   390 730
eca-rers2012/Problem01_label27_true-unreach-call.c true 2 wit inspect 20   5.4 140 580 2.8 0      - - true 26    14    240   570 true 31   17   340 660
eca-rers2012/Problem01_label28_true-unreach-call.c true 2 wit inspect 18   4.5 140 650 2.8 0      - - true 21    11    280   590 true 25   14   300 550
eca-rers2012/Problem01_label29_true-unreach-call.c true 2 wit inspect 27   7.1 220 690 2.8 0      - - true 21    11    290   620 true 42   23   360 740
eca-rers2012/Problem01_label30_true-unreach-call.c true 2 wit inspect 18   4.9 150 560 2.8 0      - - true 24    12    310   570 true 29   16   330 670
eca-rers2012/Problem01_label31_true-unreach-call.c true 2 wit inspect 32   9.4 270 850 2.8 0      - - true 27    14    280   570 true 43   24   600 880
eca-rers2012/Problem01_label34_true-unreach-call.c true 2 wit inspect 31   11   270 1100 2.8 0      - - true 23    12    330   570 true 43   25   440 860
eca-rers2012/Problem01_label36_true-unreach-call.c true 2 wit inspect 27   8.0 210 750 2.8 0      - - true 24    12    300   570 true 38   22   640 740
eca-rers2012/Problem01_label39_true-unreach-call.c true 2 wit inspect 30   8.4 250 680 2.8 0      - - true 27    14    250   570 true 37   21   450 760
eca-rers2012/Problem01_label40_true-unreach-call.c true 2 wit inspect 16   4.4 150 520 2.8 0      - - true 25    13    280   590 true 23   12   190 610
eca-rers2012/Problem01_label41_true-unreach-call.c true 2 wit inspect 22   5.8 170 760 2.8 0      - - true 26    13    290   560 true 30   17   380 640
eca-rers2012/Problem01_label42_true-unreach-call.c true 2 wit inspect 27   7.9 230 850 2.8 0      - - true 21    11    360   600 true 37   21   520 740
eca-rers2012/Problem01_label43_true-unreach-call.c true 2 wit inspect 18   4.9 150 620 2.8 0      - - true 22    12    290   570 true 27   15   520 660
eca-rers2012/Problem01_label45_true-unreach-call.c true 2 wit inspect 28   8.0 210 900 2.8 0      - - true 23    12    340   590 true 39   22   430 750
eca-rers2012/Problem01_label46_true-unreach-call.c true 2 wit inspect 17   4.9 130 750 3.1 0      - - true 23    12    270   600 true 24   13   270 680
eca-rers2012/Problem01_label48_true-unreach-call.c true 2 wit inspect 22   5.5 160 610 2.8 0      - - true 20    10    260   610 true 31   17   280 680
eca-rers2012/Problem01_label49_true-unreach-call.c true 2 wit inspect 15   4.2 110 510 2.8 0      - - true 27    14    240   590 true 23   13   410 560
eca-rers2012/Problem01_label51_true-unreach-call.c true 2 wit inspect 21   5.5 160 640 2.8 0      - - true 26    13    260   590 true 32   17   320 690
eca-rers2012/Problem01_label52_true-unreach-call.c true 2 wit inspect 14   3.9 100 520 2.8 0      - - true 20    11    320   580 true 23   12   290 570
eca-rers2012/Problem01_label53_true-unreach-call.c true 2 wit inspect 22   6.0 180 660 2.8 0      - - true 19    10    380   580 true 39   21   540 690
eca-rers2012/Problem01_label54_true-unreach-call.c true 2 wit inspect 23   6.3 190 640 2.8 0      - - true 24    13    310   590 true 33   18   430 750
eca-rers2012/Problem01_label55_true-unreach-call.c true 2 wit inspect 15   4.2 110 520 2.8 0      - - true 20    10    360   600 true 24   13   400 560
eca-rers2012/Problem01_label58_true-unreach-call.c true 2 wit inspect 14   3.8 110 620 2.8 0      - - true 25    13    250   570 true 29   16   290 520
eca-rers2012/Problem01_label59_true-unreach-call.c true 2 wit inspect 23   6.7 180 730 2.8 0      - - true 27    14    240   570 true 31   17   410 550
eca-rers2012/Problem02_label00_true-unreach-call.c true 2 wit inspect 25   6.5 190 790 2.8 0      - - true 24    13    270   610 true 40   22   510 720
eca-rers2012/Problem02_label01_true-unreach-call.c true 2 wit inspect 18   5.0 150 600 2.8 0      - - true 23    12    280   570 true 30   17   390 680
eca-rers2012/Problem02_label02_true-unreach-call.c true 2 wit inspect 25   6.7 210 680 2.8 0      - - true 23    12    330   590 true 34   19   290 720
eca-rers2012/Problem02_label03_true-unreach-call.c true 2 wit inspect 18   5.1 140 570 2.8 0      - - true 23    12    280   570 true 29   16   350 700
eca-rers2012/Problem02_label04_true-unreach-call.c true 2 wit inspect 24   6.3 190 650 2.8 0      - - true 21    11    400   610 true 35   19   530 730
eca-rers2012/Problem02_label05_true-unreach-call.c true 2 wit inspect 17   4.8 130 600 2.8 .041  - - true 20    10    350   580 true 30   16   380 720
eca-rers2012/Problem02_label06_true-unreach-call.c true 2 wit inspect 36   11   340 950 2.8 0      - - true 25    13    350   640 true 48   28   820 870
eca-rers2012/Problem02_label07_true-unreach-call.c true 2 wit inspect 18   4.8 130 580 2.8 0      - - true 24    12    260   560 true 33   18   400 660
eca-rers2012/Problem02_label08_true-unreach-call.c true 2 wit inspect 16   4.5 130 610 2.8 0      - - true 21    11    360   680 true 28   15   390 660
eca-rers2012/Problem02_label09_true-unreach-call.c true 2 wit inspect 24   6.5 200 750 2.8 0      - - true 22    12    320   600 true 42   23   490 720
eca-rers2012/Problem02_label10_true-unreach-call.c true 2 wit inspect 25   6.7 220 680 2.8 0      - - true 20    10    300   600 true 34   19   380 740
eca-rers2012/Problem02_label11_true-unreach-call.c true 2 wit inspect 25   6.7 190 770 2.9 0      - - true 20    11    370   570 true 38   21   530 750
eca-rers2012/Problem02_label12_true-unreach-call.c true 2 wit inspect 23   6.6 180 800 2.8 0      - - true 20    11    370   580 true 36   20   460 710
eca-rers2012/Problem02_label14_true-unreach-call.c true 2 wit inspect 23   6.4 200 700 2.8 0      - - true 19    10    330   600 true 39   21   360 720
eca-rers2012/Problem02_label15_true-unreach-call.c true 2 wit inspect 25   6.7 180 760 2.8 0      - - true 22    11    340   610 true 36   20   370 740
eca-rers2012/Problem02_label17_true-unreach-call.c true 2 wit inspect 18   4.8 150 620 2.8 .025  - - true 21    11    220   560 true 31   17   440 680
eca-rers2012/Problem02_label18_true-unreach-call.c true 2 wit inspect 17   4.9 130 610 2.8 0      - - true 24    13    310   560 true 29   16   360 660
eca-rers2012/Problem02_label19_true-unreach-call.c true 2 wit inspect 19   5.1 160 610 2.8 0      - - true 19    9.7  320   580 true 28   15   270 630
eca-rers2012/Problem02_label20_true-unreach-call.c true 2 wit inspect 24   6.4 170 690 2.8 0      - - true 22    11    410   600 true 36   20   330 740
eca-rers2012/Problem02_label21_true-unreach-call.c true 2 wit inspect 18   4.8 160 760 2.8 0      - - true 20    11    330   580 true 28   16   370 650
eca-rers2012/Problem02_label22_true-unreach-call.c true 2 wit inspect 25   6.7 200 780 2.8 0      - - true 21    11    370   610 true 36   20   520 560
eca-rers2012/Problem02_label23_true-unreach-call.c true 2 wit inspect 18   4.9 150 580 2.8 0      - - true 22    11    300   570 true 29   16   400 610
eca-rers2012/Problem02_label24_true-unreach-call.c true 2 wit inspect 24   6.8 200 830 2.8 0      - - true 19    9.9  380   560 true 36   20   490 740
eca-rers2012/Problem02_label25_true-unreach-call.c true 2 wit inspect 18   5.0 150 610 2.8 0      - - true 25    13    260   570 true 34   18   440 670
eca-rers2012/Problem02_label26_true-unreach-call.c true 2 wit inspect 29   7.7 220 790 2.8 0      - - true 20    10    390   570 true 40   22   410 710
eca-rers2012/Problem02_label27_true-unreach-call.c true 2 wit inspect 17   4.7 120 620 2.8 0      - - true 22    12    270   620 true 29   16   420 660
eca-rers2012/Problem02_label28_true-unreach-call.c true 2 wit inspect 17   4.7 130 750 2.8 0      - - true 25    13    250   580 true 39   21   330 660
eca-rers2012/Problem02_label29_true-unreach-call.c true 2 wit inspect 25   6.7 190 690 2.8 0      - - true 26    14    240   580 true 33   18   410 740
eca-rers2012/Problem02_label30_true-unreach-call.c true 2 wit inspect 24   6.4 180 760 2.8 0      - - true 24    12    300   580 true 38   21   470 740
eca-rers2012/Problem02_label31_true-unreach-call.c true 2 wit inspect 26   6.7 200 750 2.8 0      - - true 25    13    290   580 true 38   21   490 730
eca-rers2012/Problem02_label32_true-unreach-call.c true 2 wit inspect 25   6.6 210 840 2.8 0      - - true 21    11    380   570 true 43   24   500 740
eca-rers2012/Problem02_label33_true-unreach-call.c true 2 wit inspect 25   6.8 200 720 2.8 0      - - true 27    14    290   590 true 34   19   540 740
eca-rers2012/Problem02_label34_true-unreach-call.c true 2 wit inspect 24   6.8 200 770 2.8 0      - - true 22    12    330   620 true 36   20   340 730
eca-rers2012/Problem02_label35_true-unreach-call.c true 2 wit inspect 25   6.5 190 840 2.8 0      - - true 19    10    380   600 true 35   19   340 740
eca-rers2012/Problem02_label36_true-unreach-call.c true 2 wit inspect 19   5.3 150 620 2.8 0      - - true 22    11    220   580 true 29   16   410 650
eca-rers2012/Problem02_label37_true-unreach-call.c true 2 wit inspect 17   4.7 120 620 2.8 0      - - true 25    13    280   580 true 29   16   310 600
eca-rers2012/Problem02_label38_true-unreach-call.c true 2 wit inspect 17   4.7 150 620 2.8 0      - - true 21    11    400   580 true 30   16   330 660
eca-rers2012/Problem02_label39_true-unreach-call.c true 2 wit inspect 33   11   280 1100 2.8 0      - - true 20    10    360   570 true 43   25   530 890
eca-rers2012/Problem02_label40_true-unreach-call.c true 2 wit inspect 35   11   290 1000 2.8 0      - - true 24    12    260   600 true 41   24   410 860
eca-rers2012/Problem02_label41_true-unreach-call.c true 2 wit inspect 25   7.0 220 770 2.8 0      - - true 24    12    210   590 true 34   19   390 740
eca-rers2012/Problem02_label42_true-unreach-call.c true 2 wit inspect 26   7.1 230 790 2.8 0      - - true 25    13    260   600 true 35   20   420 750
eca-rers2012/Problem02_label46_true-unreach-call.c true 2 wit inspect 21   5.5 170 580 2.8 0      - - true 20    10    340   610 true 30   17   460 680
eca-rers2012/Problem02_label47_true-unreach-call.c true 2 wit inspect 14   3.9 120 520 2.8 0      - - true 19    9.7  320   570 true 22   12   250 580
eca-rers2012/Problem02_label48_true-unreach-call.c true 2 wit inspect 15   4.0 100 530 2.8 0      - - true 26    13    260   580 true 22   12   270 550
eca-rers2012/Problem02_label49_true-unreach-call.c true 2 wit inspect 33   8.6 290 910 2.8 0      - - true 21    11    370   570 true 43   24   450 760
eca-rers2012/Problem02_label51_true-unreach-call.c true 2 wit inspect 23   5.9 170 660 2.8 0      - - true 21    11    260   580 true 31   17   330 710
eca-rers2012/Problem02_label52_true-unreach-call.c true 2 wit inspect 24   6.1 180 800 2.8 0      - - true 21    11    320   570 true 32   18   470 700
eca-rers2012/Problem02_label53_true-unreach-call.c true 2 wit inspect 32   8.6 260 810 2.8 0      - - true 21    11    360   600 true 42   24   500 770
eca-rers2012/Problem02_label54_true-unreach-call.c true 2 wit inspect 24   6.2 170 750 2.8 0      - - true 21    11    380   590 true 31   17   460 680
eca-rers2012/Problem02_label55_true-unreach-call.c true 2 wit inspect 25   7.1 190 680 2.8 0      - - true 20    11    340   580 true 33   19   270 740
eca-rers2012/Problem02_label56_true-unreach-call.c true 2 wit inspect 25   7.2 220 770 2.8 0      - - true 22    11    280   560 true 32   18   290 740
eca-rers2012/Problem02_label57_true-unreach-call.c true 2 wit inspect 13   3.4 110 500 2.8 0      - - true 21    11    330   600 true 18   9.6 240 540
eca-rers2012/Problem02_label58_true-unreach-call.c true 2 wit inspect 12   3.5 100 510 2.8 0      - - true 22    12    300   610 true 19   10   310 570
eca-rers2012/Problem03_label00_true-unreach-call.c timeout 0 wit inspect 900   300   5400 14000 2.3 0      - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem03_label01_true-unreach-call.c timeout 0 wit inspect 900   280   5400 14000 2.3 0      - - error (invalid witness file) .63 .40 8.7 40 error (invalid witness file) 6.3 3.3 89 290
eca-rers2012/Problem03_label02_true-unreach-call.c true 2 wit inspect 96   44   790 4100 3.4 0      - - true 33    18    350   1100 true 99   59   1300 3600
eca-rers2012/Problem03_label03_true-unreach-call.c timeout 0 wit inspect 910   350   6200 13000 2.3 0      - - error (invalid witness file) .49 .33 12   39 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 0 wit inspect 900   400   6000 13000 2.3 0      - - error (invalid witness file) .52 .35 11   42 error (invalid witness file) 6.2 3.2 120 290
eca-rers2012/Problem03_label05_true-unreach-call.c true 2 wit inspect 650   560   9500 5500 3.4 0      - - timeout 910    890    17000   4400 true 140   94   1400 4800
eca-rers2012/Problem03_label06_true-unreach-call.c true 2 wit inspect 45   14   390 1300 3.4 0      - - true 32    18    630   1000 true 53   30   700 1200
eca-rers2012/Problem03_label07_true-unreach-call.c timeout 0 wit inspect 910   250   4800 14000 2.3 0      - - error (invalid witness file) .64 .42 8.9 42 error (invalid witness file) 6.9 3.7 150 320
eca-rers2012/Problem03_label08_true-unreach-call.c true 2 wit inspect 83   44   800 3500 3.4 0      - - timeout 910    880    21000   5700 true 71   41   1100 1600
eca-rers2012/Problem03_label10_true-unreach-call.c true 2 wit inspect 73   30   620 3300 3.4 0      - - timeout 910    890    21000   5400 true 72   42   670 1900
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 0 wit inspect 900   320   5500 13000 2.3 0      - - error (invalid witness file) .51 .32 8.7 40 error (invalid witness file) 7.4 3.9 160 320
eca-rers2012/Problem03_label12_true-unreach-call.c timeout 0 wit inspect 900   350   5700 13000 2.3 0      - - error (invalid witness file) .54 .35 13   43 error (invalid witness file) 7.2 3.7 130 300
eca-rers2012/Problem03_label14_true-unreach-call.c true 2 wit inspect 66   25   570 2400 3.4 0      - - true 33    18    650   1000 true 63   36   540 1400
eca-rers2012/Problem03_label15_true-unreach-call.c timeout 0 wit inspect 910   280   5000 13000 2.3 0      - - error (invalid witness file) .66 .41 7.6 40 error (invalid witness file) 6.5 3.4 120 310
eca-rers2012/Problem03_label16_true-unreach-call.c true 2 wit inspect 42   12   310 1000 3.4 0      - - timeout 920    890    14000   4900 true 54   30   470 1000
eca-rers2012/Problem03_label17_true-unreach-call.c timeout 0 wit inspect 900   570   9000 9500 2.3 0      - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 7.7 4.1 83 290
eca-rers2012/Problem03_label18_true-unreach-call.c timeout 0 wit inspect 910   320   5400 13000 2.3 0      - - error (invalid witness file) .65 .41 11   43 error (invalid witness file) 6.1 3.3 120 300
eca-rers2012/Problem03_label19_true-unreach-call.c timeout 0 wit inspect 910   290   5600 14000 2.3 0      - - error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 6.0 3.2 91 300
eca-rers2012/Problem03_label20_true-unreach-call.c timeout 0 wit inspect 900   410   6200 13000 2.3 0      - - error (invalid witness file) .71 .45 8.5 43 error (invalid witness file) 6.4 3.3 120 290
eca-rers2012/Problem03_label21_true-unreach-call.c timeout 0 wit inspect 910   270   5100 14000 2.3 0      - - error (invalid witness file) .71 .44 8.3 39 error (invalid witness file) 6.8 3.5 120 310
eca-rers2012/Problem03_label22_true-unreach-call.c true 2 wit inspect 39   10   300 980 3.4 0      - - true 34    19    570   1100 true 48   27   440 950
eca-rers2012/Problem03_label23_true-unreach-call.c timeout 0 wit inspect 900   350   5900 13000 2.3 0      - - error (invalid witness file) .64 .41 8.1 40 error (invalid witness file) 6.7 3.5 140 300
eca-rers2012/Problem03_label24_true-unreach-call.c true 2 wit inspect 77   31   670 3200 3.4 0      - - timeout 910    880    18000   5700 true 72   42   710 2300
eca-rers2012/Problem03_label25_true-unreach-call.c timeout 0 wit inspect 910   250   4600 14000 2.3 0      - - error (invalid witness file) .59 .37 10   43 error (invalid witness file) 6.2 3.3 80 290
eca-rers2012/Problem03_label29_true-unreach-call.c true 2 wit inspect 30   7.9 230 800 3.4 0      - - true 41    23    480   1100 true 41   23   660 800
eca-rers2012/Problem03_label30_true-unreach-call.c true 2 wit inspect 31   8.1 220 850 3.4 0      - - true 40    22    490   1100 true 40   22   410 820
eca-rers2012/Problem03_label32_true-unreach-call.c true 2 wit inspect 58   24   500 2100 3.4 0      - - timeout 910    890    17000   5300 true 62   37   920 1600
eca-rers2012/Problem03_label33_true-unreach-call.c true 2 wit inspect 71   26   610 2600 3.4 0      - - true 32    18    540   1000 true 76   44   630 2300
eca-rers2012/Problem03_label34_true-unreach-call.c timeout 0 wit inspect 900   340   6300 13000 2.3 0      - - error (invalid witness file) .63 .40 7.7 39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem03_label36_true-unreach-call.c true 2 wit inspect 58   23   510 1900 3.4 0      - - true 36    20    560   1100 true 62   37   730 1400
eca-rers2012/Problem03_label38_true-unreach-call.c true 2 wit inspect 49   17   410 1200 3.4 0      - - true 32    18    620   1100 true 62   36   1100 1400
eca-rers2012/Problem03_label40_true-unreach-call.c true 2 wit inspect 62   20   550 1800 3.4 0      - - timeout 910    890    19000   5900 true 76   43   1000 1600
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 0 wit inspect 900   710   11000 8900 2.3 0      - - error (invalid witness file) .53 .33 12   41 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem03_label42_true-unreach-call.c true 2 wit inspect 57   22   520 1900 3.4 0      - - timeout 910    890    14000   5400 true 62   36   740 1300
eca-rers2012/Problem03_label44_true-unreach-call.c timeout 0 wit inspect 910   330   5200 13000 2.3 0      - - error (invalid witness file) .66 .41 9.1 42 error (invalid witness file) 6.3 3.3 120 290
eca-rers2012/Problem03_label46_true-unreach-call.c timeout 0 wit inspect 900   250   4700 14000 2.3 0      - - error (invalid witness file) .60 .38 9.7 42 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 0 wit inspect 910   270   4700 13000 2.3 0      - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 8.5 4.4 160 320
eca-rers2012/Problem03_label48_true-unreach-call.c true 2 wit inspect 61   22   480 1900 3.4 0      - - timeout 910    890    20000   5000 true 75   43   690 1700
eca-rers2012/Problem03_label49_true-unreach-call.c timeout 0 wit inspect 900   580   9200 11000 2.3 0      - - error (invalid witness file) .50 .32 10   41 error (invalid witness file) 6.3 3.3 89 300
eca-rers2012/Problem03_label51_true-unreach-call.c timeout 0 wit inspect 900   320   5500 14000 2.3 0      - - error (invalid witness file) .51 .32 6.8 41 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem03_label53_true-unreach-call.c timeout 0 wit inspect 910   230   4300 14000 2.3 0      - - error (invalid witness file) .63 .40 7.6 40 error (invalid witness file) 6.3 3.4 110 300
eca-rers2012/Problem03_label54_true-unreach-call.c timeout 0 wit inspect 910   240   4800 14000 2.3 0      - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 6.1 3.3 120 290
eca-rers2012/Problem03_label55_true-unreach-call.c timeout 0 wit inspect 910   280   5300 14000 2.3 0      - - error (invalid witness file) .55 .34 10   42 error (invalid witness file) 6.4 3.3 60 300
eca-rers2012/Problem03_label56_true-unreach-call.c true 2 wit inspect 44   15   370 1300 3.4 0      - - timeout 910    890    19000   5700 true 55   32   530 1200
eca-rers2012/Problem03_label57_true-unreach-call.c true 2 wit inspect 78   35   780 3900 3.4 0      - - timeout 910    880    12000   5300 true 71   42   760 2300
eca-rers2012/Problem03_label58_true-unreach-call.c true 2 wit inspect 110   49   940 4300 3.4 0      - - timeout 910    890    23000   5800 true 81   49   1100 3000
eca-rers2012/Problem03_label59_true-unreach-call.c timeout 0 wit inspect 910   340   5200 14000 2.3 0      - - error (invalid witness file) .67 .44 8.4 40 error (invalid witness file) 6.3 3.3 100 290
eca-rers2012/Problem04_label00_true-unreach-call.c true 2 wit inspect 130   62   1300 5200 5.2 0      - - true 80    54    1700   2500 true 130   82   1600 3700
eca-rers2012/Problem04_label01_true-unreach-call.c true 2 wit inspect 100   47   900 4900 5.2 0      - - true 79    53    1400   1700 true 110   69   970 4800
eca-rers2012/Problem04_label02_true-unreach-call.c true 2 wit inspect 180   98   1900 5500 5.2 0      - - true 75    52    1400   2300 true 160   110   1700 5100
eca-rers2012/Problem04_label03_true-unreach-call.c true 2 wit inspect 120   60   1300 4700 5.2 0      - - true 74    51    1500   2200 true 140   88   2000 4700
eca-rers2012/Problem04_label05_true-unreach-call.c true 2 wit inspect 110   49   1000 4700 5.2 0      - - true 80    53    1400   1700 true 100   64   1100 3300
eca-rers2012/Problem04_label07_true-unreach-call.c true 2 wit inspect 78   33   820 4000 5.3 0      - - true 81    55    1400   2500 true 88   56   820 2700
eca-rers2012/Problem04_label08_true-unreach-call.c true 2 wit inspect 74   27   570 3100 5.3 0      - - true 90    61    1300   2000 true 85   51   710 3000
eca-rers2012/Problem04_label10_true-unreach-call.c true 2 wit inspect 83   34   870 4300 5.3 0      - - true 85    58    1300   2100 true 91   57   860 3000
eca-rers2012/Problem04_label16_true-unreach-call.c true 2 wit inspect 97   43   990 4700 5.2 0      - - true 76    52    1700   1700 true 110   68   1500 4200
eca-rers2012/Problem04_label20_true-unreach-call.c true 2 wit inspect 77   32   700 3800 5.3 0      - - true 77    53    1400   2000 true 100   60   970 3400
eca-rers2012/Problem04_label21_true-unreach-call.c true 2 wit inspect 90   39   990 4100 5.2 0      - - true 68    46    1400   1700 true 110   65   1200 3200
eca-rers2012/Problem04_label22_true-unreach-call.c true 2 wit inspect 97   42   980 4700 5.2 0      - - true 69    46    1700   1700 true 110   67   960 3500
eca-rers2012/Problem04_label23_true-unreach-call.c true 2 wit inspect 150   82   1400 5200 5.2 0      - - true 83    57    1200   3000 true 140   97   1600 5000
eca-rers2012/Problem04_label24_true-unreach-call.c true 2 wit inspect 120   63   1100 4700 5.2 0      - - true 78    53    1500   2000 true 120   76   1000 4200
eca-rers2012/Problem04_label25_true-unreach-call.c true 2 wit inspect 96   48   910 4600 5.2 0      - - true 72    49    1400   1800 true 110   69   1100 3700
eca-rers2012/Problem04_label28_true-unreach-call.c true 2 wit inspect 63   22   520 3100 5.3 0      - - true 73    49    1600   1800 true 81   48   680 2200
eca-rers2012/Problem04_label29_true-unreach-call.c true 2 wit inspect 320   210   3600 6200 5.2 0      - - true 75    50    1300   2200 true 260   190   2700 5900
eca-rers2012/Problem04_label30_true-unreach-call.c true 2 wit inspect 430   290   4500 7000 5.2 0      - - true 88    60    1200   2400 true 350   260   3500 6900
eca-rers2012/Problem04_label33_true-unreach-call.c true 2 wit inspect 84   35   790 3900 5.2 0      - - true 87    58    960   2000 true 110   67   1100 3400
eca-rers2012/Problem04_label34_true-unreach-call.c true 2 wit inspect 77   28   640 3000 5.3 0      - - true 82    56    1300   2900 true 130   75   980 2300
eca-rers2012/Problem04_label37_true-unreach-call.c true 2 wit inspect 230   140   2700 5700 5.2 0      - - true 76    52    1400   2300 true 210   150   2500 5600
eca-rers2012/Problem04_label41_true-unreach-call.c true 2 wit inspect 100   47   1100 4600 5.2 0      - - true 71    47    1300   1700 true 110   70   1600 3900
eca-rers2012/Problem04_label42_true-unreach-call.c true 2 wit inspect 71   29   640 3600 5.3 0      - - true 89    60    1200   1800 true 79   49   720 2800
eca-rers2012/Problem04_label43_true-unreach-call.c true 2 wit inspect 91   43   980 4700 5.2 0      - - true 76    52    1400   1700 true 100   63   980 3600
eca-rers2012/Problem04_label44_true-unreach-call.c true 2 wit inspect 90   41   770 4700 5.2 0      - - true 82    54    1300   1800 true 95   60   1500 3300
eca-rers2012/Problem04_label46_true-unreach-call.c true 2 wit inspect 76   30   750 3800 5.3 0      - - true 82    57    1300   2500 true 88   54   1100 2500
eca-rers2012/Problem04_label47_true-unreach-call.c true 2 wit inspect 210   120   2100 5900 5.2 0      - - true 76    52    1500   2200 true 180   120   1800 6000
eca-rers2012/Problem04_label48_true-unreach-call.c true 2 wit inspect 110   50   1000 5000 5.2 0      - - true 93    63    1000   2000 true 110   71   1200 4300
eca-rers2012/Problem04_label49_true-unreach-call.c true 2 wit inspect 280   180   3100 5800 5.2 0      - - true 79    53    1500   1800 true 210   150   2400 5900
eca-rers2012/Problem04_label50_true-unreach-call.c true 2 wit inspect 150   76   1600 5300 5.2 0      - - true 75    52    1000   2100 true 140   91   1200 5400
eca-rers2012/Problem04_label51_true-unreach-call.c true 2 wit inspect 140   73   1300 5400 5.2 0      - - true 89    61    1200   2400 true 140   95   1400 5100
eca-rers2012/Problem04_label53_true-unreach-call.c true 2 wit inspect 170   95   1600 5200 5.2 0      - - true 74    51    1500   1800 true 160   110   2200 4900
eca-rers2012/Problem04_label54_true-unreach-call.c true 2 wit inspect 240   140   2200 5700 5.2 0      - - true 79    54    1300   2200 true 190   130   1900 5700
eca-rers2012/Problem04_label56_true-unreach-call.c true 2 wit inspect 240   150   2700 5700 5.2 0      - - true 70    47    1800   1700 true 200   140   2800 5900
eca-rers2012/Problem04_label57_true-unreach-call.c true 2 wit inspect 160   91   1600 5700 5.2 0      - - true 77    53    860   2700 true 160   110   1600 5300
eca-rers2012/Problem04_label59_true-unreach-call.c true 2 wit inspect 110   45   1000 4800 5.2 0      - - true 79    53    1400   1700 true 110   69   850 3900
eca-rers2012/Problem05_label02_true-unreach-call.c timeout 0 wit inspect 900   580   9900 8100 2.3 0      - - error (invalid witness file) .57 .37 8.8 40 error (invalid witness file) 6.7 3.6 130 290
eca-rers2012/Problem05_label03_true-unreach-call.c timeout 0 wit inspect 900   550   8300 8700 2.3 0      - - error (invalid witness file) .62 .41 6.9 40 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem05_label04_true-unreach-call.c timeout 0 wit inspect 910   480   8900 9000 2.3 0      - - error (invalid witness file) .58 .36 9.3 42 error (invalid witness file) 6.8 3.6 100 310
eca-rers2012/Problem05_label05_true-unreach-call.c timeout 0 wit inspect 900   480   8400 8800 2.3 0      - - error (invalid witness file) .66 .42 8.7 42 error (invalid witness file) 7.4 3.9 130 310
eca-rers2012/Problem05_label06_true-unreach-call.c timeout 0 wit inspect 900   490   9400 8800 2.3 0      - - error (invalid witness file) .73 .46 8.8 42 error (invalid witness file) 6.9 3.7 130 310
eca-rers2012/Problem05_label07_true-unreach-call.c timeout 0 wit inspect 900   460   7800 9100 2.3 0      - - error (invalid witness file) .62 .39 12   45 error (invalid witness file) 7.4 3.9 120 290
eca-rers2012/Problem05_label08_true-unreach-call.c timeout 0 wit inspect 900   490   8700 9800 2.3 0      - - error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.5 3.4 140 290
eca-rers2012/Problem05_label09_true-unreach-call.c timeout 0 wit inspect 900   460   8000 9800 2.3 0      - - error (invalid witness file) .57 .38 9.2 40 error (invalid witness file) 7.7 4.0 120 310
eca-rers2012/Problem05_label10_true-unreach-call.c timeout 0 wit inspect 900   380   6400 12000 2.3 0      - - error (invalid witness file) .68 .43 8.8 40 error (invalid witness file) 7.0 3.7 150 300
eca-rers2012/Problem05_label12_true-unreach-call.c timeout 0 wit inspect 900   430   8700 11000 2.3 0      - - error (invalid witness file) .54 .34 13   43 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem05_label14_true-unreach-call.c timeout 0 wit inspect 910   390   6900 13000 2.3 0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.7 3.5 110 290
eca-rers2012/Problem05_label16_true-unreach-call.c timeout 0 wit inspect 910   330   6200 13000 2.3 0      - - error (invalid witness file) .51 .32 11   41 error (invalid witness file) 6.9 3.6 150 300
eca-rers2012/Problem05_label17_true-unreach-call.c timeout 0 wit inspect 900   390   6800 12000 2.3 0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.1 3.8 130 310
eca-rers2012/Problem05_label19_true-unreach-call.c timeout 0 wit inspect 900   500   9200 8900 2.3 0      - - error (invalid witness file) .63 .41 8.3 40 error (invalid witness file) 7.3 3.9 130 310
eca-rers2012/Problem05_label20_true-unreach-call.c timeout 0 wit inspect 900   380   7500 11000 2.3 0      - - error (invalid witness file) .67 .42 7.9 43 error (invalid witness file) 7.3 3.9 130 310
eca-rers2012/Problem05_label21_true-unreach-call.c timeout 0 wit inspect 900   510   9100 9400 2.3 0      - - error (invalid witness file) .55 .36 10   39 error (invalid witness file) 6.6 3.5 120 290
eca-rers2012/Problem05_label22_true-unreach-call.c timeout 0 wit inspect 910   420   6600 10000 2.3 0      - - error (invalid witness file) .53 .34 8.0 39 error (invalid witness file) 6.3 3.4 96 290
eca-rers2012/Problem05_label23_true-unreach-call.c timeout 0 wit inspect 900   530   9500 8000 2.3 0      - - error (invalid witness file) .63 .40 9.4 42 error (invalid witness file) 6.5 3.5 100 300
eca-rers2012/Problem05_label25_true-unreach-call.c timeout 0 wit inspect 900   540   9700 8400 2.3 0      - - error (invalid witness file) .62 .39 9.2 41 error (invalid witness file) 6.7 3.6 130 300
eca-rers2012/Problem05_label27_true-unreach-call.c timeout 0 wit inspect 900   600   9900 8800 2.3 0      - - error (invalid witness file) .69 .43 8.8 42 error (invalid witness file) 6.9 3.6 110 310
eca-rers2012/Problem05_label28_true-unreach-call.c timeout 0 wit inspect 900   550   9700 9700 2.3 0      - - error (invalid witness file) .76 .47 8.8 44 error (invalid witness file) 7.2 3.8 160 300
eca-rers2012/Problem05_label29_true-unreach-call.c timeout 0 wit inspect 900   390   6500 12000 2.3 0      - - error (invalid witness file) .60 .38 11   41 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem05_label31_true-unreach-call.c timeout 0 wit inspect 900   410   7100 11000 2.3 0      - - error (invalid witness file) .61 .39 8.5 42 error (invalid witness file) 6.9 3.7 120 300
eca-rers2012/Problem05_label34_true-unreach-call.c timeout 0 wit inspect 900   530   7600 9200 2.3 0      - - error (invalid witness file) .61 .38 10   40 error (invalid witness file) 6.5 3.5 110 290
eca-rers2012/Problem05_label35_true-unreach-call.c timeout 0 wit inspect 900   460   8200 9000 2.3 0      - - error (invalid witness file) .50 .31 10   41 error (invalid witness file) 6.9 3.7 130 300
eca-rers2012/Problem05_label42_true-unreach-call.c timeout 0 wit inspect 910   340   5700 14000 2.3 0      - - error (invalid witness file) .50 .32 7.6 40 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem05_label43_true-unreach-call.c timeout 0 wit inspect 900   430   8600 11000 2.3 0      - - error (invalid witness file) .53 .33 10   39 error (invalid witness file) 7.2 3.8 140 310
eca-rers2012/Problem05_label45_true-unreach-call.c true 2 wit inspect 300   190   3900 6600 8.5 0      - - true 260    230    4700   3800 out of memory 310   210   4000 7000
eca-rers2012/Problem05_label46_true-unreach-call.c timeout 0 wit inspect 900   490   8300 9000 2.3 0      - - error (invalid witness file) .67 .44 7.1 40 error (invalid witness file) 7.2 3.8 110 310
eca-rers2012/Problem05_label49_true-unreach-call.c timeout 0 wit inspect 900   540   9100 7900 2.3 0      - - error (invalid witness file) .56 .34 10   39 error (invalid witness file) 8.1 4.2 160 310
eca-rers2012/Problem05_label50_true-unreach-call.c timeout 0 wit inspect 900   560   10000 8900 2.3 0      - - error (invalid witness file) .58 .37 14   44 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem05_label52_true-unreach-call.c timeout 0 wit inspect 900   520   8200 7900 2.3 0      - - error (invalid witness file) .52 .34 12   43 error (invalid witness file) 7.4 3.9 140 310
eca-rers2012/Problem05_label53_true-unreach-call.c true 2 wit inspect 680   480   7700 7000 8.5 0      - - true 230    200    5900   4000 true 420   310   6100 6800
eca-rers2012/Problem05_label54_true-unreach-call.c timeout 0 wit inspect 900   450   7700 9900 2.3 0      - - error (invalid witness file) .65 .42 6.9 42 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem05_label56_true-unreach-call.c timeout 0 wit inspect 900   490   7900 9300 2.3 0      - - error (invalid witness file) .63 .39 8.9 40 error (invalid witness file) 8.4 4.4 140 320
eca-rers2012/Problem05_label59_true-unreach-call.c timeout 0 wit inspect 900   360   6200 12000 2.3 0      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 7.6 3.9 110 310
eca-rers2012/Problem06_label03_true-unreach-call.c timeout 0 wit inspect 900   220   4800 14000 2.3 0      - - error (invalid witness file) .57 .34 12   43 error (invalid witness file) 7.1 3.8 130 310
eca-rers2012/Problem06_label06_true-unreach-call.c timeout 0 wit inspect 910   300   5200 14000 2.3 0      - - error (invalid witness file) .61 .40 8.5 39 error (invalid witness file) 7.5 3.9 140 300
eca-rers2012/Problem06_label07_true-unreach-call.c timeout 0 wit inspect 910   260   4800 13000 2.3 0      - - error (invalid witness file) .67 .43 7.3 40 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem06_label08_true-unreach-call.c timeout 0 wit inspect 910   290   4700 14000 2.3 0      - - error (invalid witness file) .53 .34 12   42 error (invalid witness file) 7.3 3.8 150 310
eca-rers2012/Problem06_label13_true-unreach-call.c timeout 0 wit inspect 910   230   4700 14000 2.3 0      - - error (invalid witness file) .67 .43 8.6 40 error (invalid witness file) 7.3 3.8 130 290
eca-rers2012/Problem06_label14_true-unreach-call.c timeout 0 wit inspect 910   310   5000 14000 2.3 0      - - error (invalid witness file) .63 .41 8.4 42 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem06_label16_true-unreach-call.c timeout 0 wit inspect 910   260   5100 13000 2.3 0      - - error (invalid witness file) .74 .46 8.7 45 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem06_label17_true-unreach-call.c timeout 0 wit inspect 910   300   5300 13000 2.3 0      - - error (invalid witness file) .55 .34 12   40 error (invalid witness file) 6.4 3.4 79 300
eca-rers2012/Problem06_label18_true-unreach-call.c timeout 0 wit inspect 910   260   5200 13000 2.3 0      - - error (invalid witness file) .67 .42 7.0 39 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem06_label19_true-unreach-call.c timeout 0 wit inspect 910   280   5600 14000 2.3 0      - - error (invalid witness file) .60 .39 7.9 40 error (invalid witness file) 7.4 3.8 140 310
eca-rers2012/Problem06_label22_true-unreach-call.c timeout 0 wit inspect 900   280   5100 13000 2.3 0      - - error (invalid witness file) .63 .40 7.8 41 error (invalid witness file) 6.9 3.6 96 310
eca-rers2012/Problem06_label23_true-unreach-call.c timeout 0 wit inspect 910   260   5000 13000 2.3 0      - - error (invalid witness file) .60 .37 11   40 error (invalid witness file) 6.7 3.5 97 300
eca-rers2012/Problem06_label25_true-unreach-call.c timeout 0 wit inspect 910   260   5300 14000 2.3 0      - - error (invalid witness file) .62 .40 8.6 41 error (invalid witness file) 6.8 3.6 140 290
eca-rers2012/Problem06_label26_true-unreach-call.c timeout 0 wit inspect 900   270   5000 13000 2.3 0      - - error (invalid witness file) .51 .34 14   42 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem06_label28_true-unreach-call.c timeout 0 wit inspect 910   230   5400 14000 2.3 0      - - error (invalid witness file) .62 .40 8.7 44 error (invalid witness file) 7.3 3.9 150 320
eca-rers2012/Problem06_label30_true-unreach-call.c timeout 0 wit inspect 900   260   4800 13000 2.3 0      - - error (invalid witness file) .54 .35 11   43 error (invalid witness file) 7.3 3.8 130 300
eca-rers2012/Problem06_label31_true-unreach-call.c timeout 0 wit inspect 910   320   5300 13000 2.3 0      - - error (invalid witness file) .60 .37 10   40 error (invalid witness file) 7.8 4.1 140 330
eca-rers2012/Problem06_label32_true-unreach-call.c timeout 0 wit inspect 900   280   5400 14000 2.3 0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem06_label34_true-unreach-call.c timeout 0 wit inspect 910   280   4600 13000 2.3 0      - - error (invalid witness file) .65 .41 8.4 41 error (invalid witness file) 7.2 3.8 130 300
eca-rers2012/Problem06_label35_true-unreach-call.c timeout 0 wit inspect 910   250   4800 14000 2.3 0      - - error (invalid witness file) .65 .41 8.8 40 error (invalid witness file) 7.1 3.7 160 300
eca-rers2012/Problem06_label39_true-unreach-call.c timeout 0 wit inspect 910   360   6100 12000 2.3 0      - - error (invalid witness file) .46 .31 7.2 39 error (invalid witness file) 7.9 4.1 140 310
eca-rers2012/Problem06_label40_true-unreach-call.c timeout 0 wit inspect 910   260   4800 14000 2.3 0      - - error (invalid witness file) .58 .39 11   41 error (invalid witness file) 7.1 3.7 140 310
eca-rers2012/Problem06_label41_true-unreach-call.c timeout 0 wit inspect 900   270   5800 13000 2.3 0      - - error (invalid witness file) .62 .40 8.5 40 error (invalid witness file) 7.6 4.0 130 330
eca-rers2012/Problem06_label42_true-unreach-call.c timeout 0 wit inspect 910   280   4800 13000 2.3 0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.6 3.5 130 290
eca-rers2012/Problem06_label43_true-unreach-call.c timeout 0 wit inspect 910   270   5300 14000 2.3 0      - - error (invalid witness file) .64 .40 7.5 40 error (invalid witness file) 6.8 3.6 99 300
eca-rers2012/Problem06_label45_true-unreach-call.c timeout 0 wit inspect 910   320   5600 14000 2.3 0      - - error (invalid witness file) .60 .39 7.2 39 error (invalid witness file) 7.1 3.7 150 300
eca-rers2012/Problem06_label46_true-unreach-call.c timeout 0 wit inspect 910   270   5700 13000 2.3 0      - - error (invalid witness file) .71 .44 8.7 44 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem06_label49_true-unreach-call.c timeout 0 wit inspect 910   270   5500 13000 2.3 0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.4 3.9 120 300
eca-rers2012/Problem06_label50_true-unreach-call.c timeout 0 wit inspect 900   210   4600 14000 2.3 0      - - error (invalid witness file) .68 .44 8.2 40 error (invalid witness file) 6.6 3.5 140 290
eca-rers2012/Problem06_label51_true-unreach-call.c timeout 0 wit inspect 910   240   5000 13000 2.3 0      - - error (invalid witness file) .58 .37 12   41 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem06_label52_true-unreach-call.c timeout 0 wit inspect 910   260   4800 13000 2.3 0      - - error (invalid witness file) .65 .42 7.8 39 error (invalid witness file) 7.2 3.7 130 300
eca-rers2012/Problem06_label53_true-unreach-call.c timeout 0 wit inspect 900   280   4800 13000 2.3 0      - - error (invalid witness file) .60 .39 10   39 error (invalid witness file) 7.6 3.9 160 330
eca-rers2012/Problem06_label54_true-unreach-call.c timeout 0 wit inspect 910   300   6000 13000 2.3 0      - - error (invalid witness file) .58 .36 9.7 40 error (invalid witness file) 7.4 3.9 140 310
eca-rers2012/Problem06_label55_true-unreach-call.c timeout 0 wit inspect 910   270   5100 13000 2.3 0      - - error (invalid witness file) .63 .41 7.9 40 error (invalid witness file) 7.2 3.8 140 300
eca-rers2012/Problem06_label57_true-unreach-call.c timeout 0 wit inspect 910   260   5000 14000 2.3 0      - - error (invalid witness file) .55 .36 9.0 39 error (invalid witness file) 7.1 3.7 110 300
eca-rers2012/Problem07_label00_true-unreach-call.c timeout 0 wit inspect 910   560   9900 13000 2.3 0      - - error (invalid witness file) .51 .34 5.2 40 error (invalid witness file) 7.4 4.1 130 420
eca-rers2012/Problem07_label01_true-unreach-call.c timeout 0 wit inspect 900   550   10000 13000 2.3 0      - - error (invalid witness file) .67 .43 8.1 40 error (invalid witness file) 8.0 4.3 150 440
eca-rers2012/Problem07_label02_true-unreach-call.c timeout 0 wit inspect 900   550   9100 12000 2.3 0      - - error (invalid witness file) .59 .37 10   40 error (invalid witness file) 7.3 3.9 96 430
eca-rers2012/Problem07_label04_true-unreach-call.c timeout 0 wit inspect 910   600   9800 10000 2.3 0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.7 4.1 130 430
eca-rers2012/Problem07_label08_true-unreach-call.c timeout 0 wit inspect 910   580   9600 12000 2.3 0      - - error (invalid witness file) .51 .33 8.4 39 error (invalid witness file) 7.5 4.0 110 420
eca-rers2012/Problem07_label10_true-unreach-call.c timeout 0 wit inspect 900   540   7900 13000 2.3 0      - - error (invalid witness file) .64 .40 8.1 39 error (invalid witness file) 8.0 4.3 140 430
eca-rers2012/Problem07_label12_true-unreach-call.c timeout 0 wit inspect 910   590   10000 12000 2.3 0      - - error (invalid witness file) .55 .36 7.7 39 error (invalid witness file) 7.7 4.1 130 430
eca-rers2012/Problem07_label13_true-unreach-call.c timeout 0 wit inspect 900   600   11000 11000 2.3 0      - - error (invalid witness file) .54 .33 10   42 error (invalid witness file) 8.3 4.4 150 440
eca-rers2012/Problem07_label14_true-unreach-call.c timeout 0 wit inspect 910   580   9600 11000 2.3 0      - - error (invalid witness file) .64 .43 7.5 40 error (invalid witness file) 7.9 4.2 120 430
eca-rers2012/Problem07_label16_true-unreach-call.c timeout 0 wit inspect 900   590   12000 12000 2.3 0      - - error (invalid witness file) .64 .42 9.3 40 error (invalid witness file) 8.7 4.6 150 440
eca-rers2012/Problem07_label17_true-unreach-call.c timeout 0 wit inspect 900   540   8700 13000 2.3 0      - - error (invalid witness file) .56 .36 8.6 43 error (invalid witness file) 7.6 4.1 120 420
eca-rers2012/Problem07_label21_true-unreach-call.c timeout 0 wit inspect 900   510   8900 13000 2.3 0      - - error (invalid witness file) .71 .44 7.3 40 error (invalid witness file) 8.0 4.3 160 430
eca-rers2012/Problem07_label22_true-unreach-call.c timeout 0 wit inspect 910   470   8200 13000 2.3 0      - - error (invalid witness file) .63 .42 7.1 40 error (invalid witness file) 7.7 4.1 160 420
eca-rers2012/Problem07_label24_true-unreach-call.c timeout 0 wit inspect 900   640   10000 9800 2.3 0      - - error (invalid witness file) .59 .37 6.9 40 error (invalid witness file) 8.0 4.3 140 420
eca-rers2012/Problem07_label25_true-unreach-call.c timeout 0 wit inspect 910   550   8800 12000 2.3 0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 7.6 4.1 150 430
eca-rers2012/Problem07_label26_true-unreach-call.c timeout 0 wit inspect 910   550   11000 12000 2.3 0      - - error (invalid witness file) .48 .30 10   39 error (invalid witness file) 8.1 4.3 150 430
eca-rers2012/Problem07_label27_true-unreach-call.c timeout 0 wit inspect 910   550   8900 13000 2.3 0      - - error (invalid witness file) .65 .41 8.5 39 error (invalid witness file) 8.0 4.2 160 440
eca-rers2012/Problem07_label28_true-unreach-call.c timeout 0 wit inspect 900   550   9100 13000 2.3 0      - - error (invalid witness file) .54 .34 11   40 error (invalid witness file) 7.6 4.1 130 430
eca-rers2012/Problem07_label29_true-unreach-call.c timeout 0 wit inspect 910   600   10000 11000 2.3 0      - - error (invalid witness file) .49 .31 12   40 error (invalid witness file) 7.6 4.1 150 430
eca-rers2012/Problem07_label32_true-unreach-call.c timeout 0 wit inspect 910   600   9000 10000 2.3 0      - - error (invalid witness file) .66 .42 8.6 39 error (invalid witness file) 7.4 4.0 110 420
eca-rers2012/Problem07_label33_true-unreach-call.c timeout 0 wit inspect 900   580   11000 11000 2.3 0      - - error (invalid witness file) .63 .41 7.8 40 error (invalid witness file) 8.0 4.3 140 440
eca-rers2012/Problem07_label34_true-unreach-call.c timeout 0 wit inspect 900   540   9900 13000 2.3 0      - - error (invalid witness file) .63 .40 7.6 40 error (invalid witness file) 7.7 4.1 140 420
eca-rers2012/Problem07_label38_true-unreach-call.c timeout 0 wit inspect 910   600   10000 12000 2.3 0      - - error (invalid witness file) .49 .32 10   41 error (invalid witness file) 7.5 4.0 130 430
eca-rers2012/Problem07_label41_true-unreach-call.c timeout 0 wit inspect 900   580   9700 12000 2.3 0      - - error (invalid witness file) .64 .42 8.0 40 error (invalid witness file) 9.7 5.2 110 430
eca-rers2012/Problem07_label43_true-unreach-call.c timeout 0 wit inspect 910   570   9800 12000 2.3 0      - - error (invalid witness file) .71 .45 8.7 43 error (invalid witness file) 8.5 4.5 130 440
eca-rers2012/Problem07_label45_true-unreach-call.c timeout 0 wit inspect 910   480   8200 14000 2.3 0      - - error (invalid witness file) .64 .40 7.8 40 error (invalid witness file) 8.0 4.3 130 440
eca-rers2012/Problem07_label49_true-unreach-call.c timeout 0 wit inspect 900   630   11000 10000 2.3 0      - - error (invalid witness file) .49 .32 10   41 error (invalid witness file) 8.0 4.3 130 430
eca-rers2012/Problem07_label50_true-unreach-call.c timeout 0 wit inspect 900   570   11000 12000 2.3 0      - - error (invalid witness file) .70 .44 9.4 45 error (invalid witness file) 8.0 4.3 160 440
eca-rers2012/Problem07_label51_true-unreach-call.c timeout 0 wit inspect 900   560   8200 11000 2.3 0      - - error (invalid witness file) .57 .38 9.5 40 error (invalid witness file) 7.9 4.2 140 430
eca-rers2012/Problem07_label52_true-unreach-call.c timeout 0 wit inspect 900   600   9100 12000 2.3 0      - - error (invalid witness file) .48 .31 11   39 error (invalid witness file) 8.2 4.4 150 430
eca-rers2012/Problem07_label53_true-unreach-call.c timeout 0 wit inspect 900   560   10000 13000 2.3 0      - - error (invalid witness file) .60 .39 8.7 39 error (invalid witness file) 7.4 4.0 150 420
eca-rers2012/Problem07_label54_true-unreach-call.c timeout 0 wit inspect 900   660   11000 9600 2.3 0      - - error (invalid witness file) .52 .33 9.3 40 error (invalid witness file) 7.5 4.1 140 430
eca-rers2012/Problem07_label55_true-unreach-call.c timeout 0 wit inspect 900   570   9200 12000 2.3 0      - - error (invalid witness file) .58 .38 11   44 error (invalid witness file) 7.9 4.2 150 430
eca-rers2012/Problem07_label56_true-unreach-call.c timeout 0 wit inspect 900   560   9100 12000 2.3 0      - - error (invalid witness file) .61 .40 7.7 39 error (invalid witness file) 7.5 4.1 150 430
eca-rers2012/Problem07_label57_true-unreach-call.c timeout 0 wit inspect 900   630   12000 11000 2.3 0      - - error (invalid witness file) .51 .32 14   40 error (invalid witness file) 7.7 4.1 140 430
eca-rers2012/Problem07_label59_true-unreach-call.c timeout 0 wit inspect 900   600   11000 12000 2.3 0      - - error (invalid witness file) .58 .36 8.1 39 error (invalid witness file) 8.0 4.3 120 430
eca-rers2012/Problem08_label00_true-unreach-call.c timeout 0 wit inspect 900   690   11000 8000 2.3 0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 8.9 4.8 120 530
eca-rers2012/Problem08_label03_true-unreach-call.c timeout 0 wit inspect 900   720   11000 8000 2.3 0      - - error (invalid witness file) .62 .39 8.8 41 error (invalid witness file) 8.5 4.7 170 520
eca-rers2012/Problem08_label08_true-unreach-call.c timeout 0 wit inspect 900   700   11000 7800 2.3 0      - - error (invalid witness file) .63 .39 9.4 40 error (invalid witness file) 8.2 4.5 150 520
eca-rers2012/Problem08_label09_true-unreach-call.c timeout 0 wit inspect 900   720   10000 7600 2.3 0      - - error (invalid witness file) .48 .32 10   39 error (invalid witness file) 8.6 4.7 160 520
eca-rers2012/Problem08_label11_true-unreach-call.c timeout 0 wit inspect 900   730   11000 7500 2.3 0      - - error (invalid witness file) .66 .40 7.4 40 error (invalid witness file) 8.7 4.7 140 520
eca-rers2012/Problem08_label12_true-unreach-call.c timeout 0 wit inspect 900   690   9500 8000 2.3 0      - - error (invalid witness file) .67 .44 7.7 41 error (invalid witness file) 8.0 4.5 160 510
eca-rers2012/Problem08_label14_true-unreach-call.c timeout 0 wit inspect 900   750   11000 7600 2.3 0      - - error (invalid witness file) .64 .41 8.8 41 error (invalid witness file) 8.6 4.7 190 520
eca-rers2012/Problem08_label16_true-unreach-call.c timeout 0 wit inspect 910   710   9700 8000 2.3 0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 8.4 4.6 150 510
eca-rers2012/Problem08_label17_true-unreach-call.c timeout 0 wit inspect 900   710   12000 7500 2.3 0      - - error (invalid witness file) .66 .41 6.7 40 error (invalid witness file) 8.6 4.7 140 520
eca-rers2012/Problem08_label18_true-unreach-call.c timeout 0 wit inspect 900   740   12000 7600 2.3 0      - - error (invalid witness file) .53 .34 12   39 error (invalid witness file) 9.1 4.9 190 520
eca-rers2012/Problem08_label19_true-unreach-call.c timeout 0 wit inspect 900   710   11000 9100 2.3 0      - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 8.2 4.5 130 510
eca-rers2012/Problem08_label20_true-unreach-call.c timeout 0 wit inspect 900   700   13000 8500 2.3 0      - - error (invalid witness file) .64 .40 7.7 39 error (invalid witness file) 8.8 4.8 180 510
eca-rers2012/Problem08_label21_true-unreach-call.c timeout 0 wit inspect 900   720   11000 8300 2.3 0      - - error (invalid witness file) .52 .34 9.7 41 error (invalid witness file) 8.4 4.6 160 520
eca-rers2012/Problem08_label22_true-unreach-call.c timeout 0 wit inspect 900   700   12000 9400 2.3 0      - - error (invalid witness file) .61 .39 6.1 39 error (invalid witness file) 8.6 4.7 110 520
eca-rers2012/Problem08_label23_true-unreach-call.c timeout 0 wit inspect 900   710   11000 7700 2.3 0      - - error (invalid witness file) .53 .33 14   39 error (invalid witness file) 8.5 4.7 140 510
eca-rers2012/Problem08_label27_true-unreach-call.c timeout 0 wit inspect 900   700   10000 8300 2.3 0      - - error (invalid witness file) .49 .32 9.8 39 error (invalid witness file) 8.1 4.6 160 510
eca-rers2012/Problem08_label30_true-unreach-call.c timeout 0 wit inspect 900   730   12000 7800 2.3 0      - - error (invalid witness file) .52 .34 11   39 error (invalid witness file) 8.3 4.5 110 520
eca-rers2012/Problem08_label31_true-unreach-call.c timeout 0 wit inspect 900   650   10000 9600 2.3 0      - - error (invalid witness file) .59 .38 10   42 error (invalid witness file) 8.8 4.8 170 520
eca-rers2012/Problem08_label32_true-unreach-call.c timeout 0 wit inspect 900   680   9400 9300 2.3 0      - - error (invalid witness file) .59 .39 9.7 40 error (invalid witness file) 8.4 4.6 160 510
eca-rers2012/Problem08_label33_true-unreach-call.c timeout 0 wit inspect 900   700   9700 9300 2.3 0      - - error (invalid witness file) .60 .38 8.9 43 error (invalid witness file) 8.4 4.6 170 520
eca-rers2012/Problem08_label35_true-unreach-call.c timeout 0 wit inspect 900   700   12000 8700 2.3 0      - - error (invalid witness file) .57 .35 10   41 error (invalid witness file) 8.9 4.9 170 520
eca-rers2012/Problem08_label36_true-unreach-call.c timeout 0 wit inspect 900   680   9900 8800 2.3 0      - - error (invalid witness file) .60 .38 11   40 error (invalid witness file) 8.3 4.6 160 510
eca-rers2012/Problem08_label38_true-unreach-call.c timeout 0 wit inspect 900   660   10000 8800 2.3 0      - - error (invalid witness file) .52 .34 12   39 error (invalid witness file) 9.1 5.0 170 520
eca-rers2012/Problem08_label39_true-unreach-call.c timeout 0 wit inspect 900   720   12000 8800 2.3 0      - - error (invalid witness file) .61 .39 9.4 41 error (invalid witness file) 8.8 4.9 170 520
eca-rers2012/Problem08_label40_true-unreach-call.c timeout 0 wit inspect 900   720   11000 7900 2.3 0      - - error (invalid witness file) .61 .39 8.8 42 error (invalid witness file) 9.3 5.0 150 520
eca-rers2012/Problem08_label41_true-unreach-call.c timeout 0 wit inspect 900   720   11000 8100 2.3 0      - - error (invalid witness file) .61 .39 9.2 39 error (invalid witness file) 8.5 4.6 140 520
eca-rers2012/Problem08_label42_true-unreach-call.c timeout 0 wit inspect 900   710   13000 8700 2.3 0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 8.9 4.9 170 530
eca-rers2012/Problem08_label44_true-unreach-call.c timeout 0 wit inspect 900   720   10000 7700 2.3 0      - - error (invalid witness file) .51 .33 8.6 39 error (invalid witness file) 10   5.5 110 520
eca-rers2012/Problem08_label45_true-unreach-call.c timeout 0 wit inspect 900   700   10000 7800 2.3 0      - - error (invalid witness file) .60 .38 6.6 39 error (invalid witness file) 8.3 4.6 150 510
eca-rers2012/Problem08_label47_true-unreach-call.c timeout 0 wit inspect 900   700   11000 8000 2.3 0      - - error (invalid witness file) .63 .40 8.5 39 error (invalid witness file) 8.0 4.4 110 510
eca-rers2012/Problem08_label52_true-unreach-call.c timeout 0 wit inspect 900   750   11000 7400 2.3 0      - - error (invalid witness file) .66 .42 8.4 40 error (invalid witness file) 8.1 4.5 110 520
eca-rers2012/Problem08_label53_true-unreach-call.c timeout 0 wit inspect 900   720   11000 7600 2.3 0      - - error (invalid witness file) .48 .31 13   40 error (invalid witness file) 8.5 4.6 140 520
eca-rers2012/Problem08_label54_true-unreach-call.c timeout 0 wit inspect 900   720   11000 7800 2.3 0      - - error (invalid witness file) .51 .34 7.3 40 error (invalid witness file) 9.1 5.0 120 520
eca-rers2012/Problem08_label56_true-unreach-call.c timeout 0 wit inspect 900   690   11000 8100 2.3 0      - - error (invalid witness file) .51 .33 8.5 40 error (invalid witness file) 8.4 4.6 110 520
eca-rers2012/Problem08_label57_true-unreach-call.c timeout 0 wit inspect 900   700   13000 8700 2.3 0      - - error (invalid witness file) .54 .35 12   44 error (invalid witness file) 8.6 4.7 180 520
eca-rers2012/Problem08_label58_true-unreach-call.c timeout 0 wit inspect 900   700   9700 7700 2.3 0      - - error (invalid witness file) .68 .43 8.8 44 error (invalid witness file) 8.5 4.7 140 520
eca-rers2012/Problem09_label00_true-unreach-call.c timeout 0 wit inspect 900   640   10000 10000 2.3 0      - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 8.8 4.9 100 540
eca-rers2012/Problem09_label01_true-unreach-call.c timeout 0 wit inspect 900   710   10000 9500 2.3 0      - - error (invalid witness file) .62 .40 8.2 39 error (invalid witness file) 7.9 4.5 140 510
eca-rers2012/Problem09_label04_true-unreach-call.c timeout 0 wit inspect 900   690   12000 8700 2.3 0      - - error (invalid witness file) .61 .39 8.4 41 error (invalid witness file) 8.8 4.9 130 530
eca-rers2012/Problem09_label05_true-unreach-call.c timeout 0 wit inspect 900   700   11000 8200 2.3 0      - - error (invalid witness file) .50 .33 13   39 error (invalid witness file) 8.3 4.6 160 520
eca-rers2012/Problem09_label07_true-unreach-call.c timeout 0 wit inspect 900   660   12000 9500 2.3 0      - - error (invalid witness file) .52 .33 7.0 39 error (invalid witness file) 9.0 5.0 190 530
eca-rers2012/Problem09_label09_true-unreach-call.c timeout 0 wit inspect 900   640   10000 9700 2.3 0      - - error (invalid witness file) .61 .39 8.1 40 error (invalid witness file) 7.9 4.4 100 520
eca-rers2012/Problem09_label12_true-unreach-call.c timeout 0 wit inspect 900   680   10000 9200 2.3 0      - - error (invalid witness file) .53 .33 13   41 error (invalid witness file) 8.7 4.8 110 540
eca-rers2012/Problem09_label13_true-unreach-call.c timeout 0 wit inspect 900   660   10000 9300 2.3 0      - - error (invalid witness file) .66 .43 6.7 43 error (invalid witness file) 9.7 5.4 120 530
eca-rers2012/Problem09_label14_true-unreach-call.c timeout 0 wit inspect 900   680   13000 9600 2.3 0      - - error (invalid witness file) .69 .43 7.7 41 error (invalid witness file) 8.1 4.5 160 520
eca-rers2012/Problem09_label16_true-unreach-call.c timeout 0 wit inspect 900   680   9800 8800 2.3 0      - - error (invalid witness file) .65 .41 8.5 40 error (invalid witness file) 7.8 4.4 110 520
eca-rers2012/Problem09_label17_true-unreach-call.c timeout 0 wit inspect 900   600   11000 10000 2.3 0      - - error (invalid witness file) .53 .35 13   40 error (invalid witness file) 8.6 4.8 170 530
eca-rers2012/Problem09_label18_true-unreach-call.c timeout 0 wit inspect 900   610   9200 11000 2.3 0      - - error (invalid witness file) .69 .43 8.9 42 error (invalid witness file) 8.8 4.8 150 530
eca-rers2012/Problem09_label21_true-unreach-call.c timeout 0 wit inspect 900   690   10000 8800 2.3 0      - - error (invalid witness file) .55 .36 11   40 error (invalid witness file) 8.9 4.9 160 530
eca-rers2012/Problem09_label22_true-unreach-call.c timeout 0 wit inspect 900   660   12000 9500 2.3 0      - - error (invalid witness file) .61 .40 5.6 41 error (invalid witness file) 9.0 5.0 180 530
eca-rers2012/Problem09_label23_true-unreach-call.c timeout 0 wit inspect 900   660   9800 10000 2.3 0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 11   5.8 110 520
eca-rers2012/Problem09_label24_true-unreach-call.c timeout 0 wit inspect 900   670   10000 8900 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 11   5.8 130 520
eca-rers2012/Problem09_label25_true-unreach-call.c timeout 0 wit inspect 900   660   12000 10000 2.3 0      - - error (invalid witness file) .48 .30 9.7 39 error (invalid witness file) 8.2 4.6 140 530
eca-rers2012/Problem09_label26_true-unreach-call.c timeout 0 wit inspect 900   690   10000 8500 2.3 0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.6 4.7 140 530
eca-rers2012/Problem09_label27_true-unreach-call.c timeout 0 wit inspect 900   650   9000 10000 2.3 0      - - error (invalid witness file) .57 .38 9.5 43 error (invalid witness file) 8.7 4.8 170 530
eca-rers2012/Problem09_label28_true-unreach-call.c timeout 0 wit inspect 900   650   10000 10000 2.3 0      - - error (invalid witness file) .56 .36 7.2 44 error (invalid witness file) 8.3 4.7 130 530
eca-rers2012/Problem09_label29_true-unreach-call.c timeout 0 wit inspect 900   680   9700 8700 2.3 0      - - error (invalid witness file) .56 .36 9.0 40 error (invalid witness file) 8.6 4.7 170 530
eca-rers2012/Problem09_label30_true-unreach-call.c timeout 0 wit inspect 900   670   10000 9700 2.3 0      - - error (invalid witness file) .63 .39 7.4 40 error (invalid witness file) 8.5 4.7 140 530
eca-rers2012/Problem09_label31_true-unreach-call.c timeout 0 wit inspect 900   650   11000 10000 2.3 0      - - error (invalid witness file) .69 .43 9.1 40 error (invalid witness file) 9.3 5.2 160 530
eca-rers2012/Problem09_label33_true-unreach-call.c timeout 0 wit inspect 900   650   12000 9400 2.3 0      - - error (invalid witness file) .51 .33 13   39 error (invalid witness file) 8.2 4.6 110 520
eca-rers2012/Problem09_label37_true-unreach-call.c timeout 0 wit inspect 900   670   11000 9500 2.3 0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 8.7 4.8 180 530
eca-rers2012/Problem09_label39_true-unreach-call.c timeout 0 wit inspect 900   680   10000 8800 2.3 0      - - error (invalid witness file) .55 .35 8.2 40 error (invalid witness file) 8.3 4.6 140 530
eca-rers2012/Problem09_label40_true-unreach-call.c timeout 0 wit inspect 900   690   9900 8300 2.3 0      - - error (invalid witness file) .67 .42 8.0 39 error (invalid witness file) 8.4 4.6 140 520
eca-rers2012/Problem09_label42_true-unreach-call.c timeout 0 wit inspect 900   650   9000 10000 2.3 0      - - error (invalid witness file) .47 .31 8.3 40 error (invalid witness file) 9.3 5.1 140 560
eca-rers2012/Problem09_label43_true-unreach-call.c timeout 0 wit inspect 900   680   12000 8700 2.3 0      - - error (invalid witness file) .63 .39 10   42 error (invalid witness file) 8.5 4.8 150 530
eca-rers2012/Problem09_label45_true-unreach-call.c timeout 0 wit inspect 900   620   9500 10000 2.3 0      - - error (invalid witness file) .67 .42 7.4 39 error (invalid witness file) 8.6 4.8 160 540
eca-rers2012/Problem09_label48_true-unreach-call.c timeout 0 wit inspect 900   670   10000 8900 2.3 0      - - error (invalid witness file) .60 .39 8.8 40 error (invalid witness file) 8.2 4.6 120 530
eca-rers2012/Problem09_label49_true-unreach-call.c timeout 0 wit inspect 900   680   9900 9400 2.3 0      - - error (invalid witness file) .63 .39 8.6 41 error (invalid witness file) 8.4 4.7 140 530
eca-rers2012/Problem09_label50_true-unreach-call.c timeout 0 wit inspect 900   690   12000 9500 2.3 0      - - error (invalid witness file) .48 .29 9.2 39 error (invalid witness file) 10   5.5 170 540
eca-rers2012/Problem09_label52_true-unreach-call.c timeout 0 wit inspect 900   690   10000 9300 2.3 0      - - error (invalid witness file) .58 .36 9.9 40 error (invalid witness file) 7.9 4.5 120 520
eca-rers2012/Problem09_label55_true-unreach-call.c timeout 0 wit inspect 910   650   9100 8700 2.3 0      - - error (invalid witness file) .55 .37 4.0 44 error (invalid witness file) 7.9 4.4 130 520
eca-rers2012/Problem09_label58_true-unreach-call.c timeout 0 wit inspect 900   710   12000 7800 2.3 0      - - error (invalid witness file) .60 .38 9.2 41 error (invalid witness file) 7.7 4.4 130 520
eca-rers2012/Problem10_label00_true-unreach-call.c true 2 wit inspect 38   15   340 1100 2.8 0      - - true 24    14    390   780 true 50   31   850 900
eca-rers2012/Problem10_label01_true-unreach-call.c true 2 wit inspect 19   5.7 170 630 2.8 0      - - true 25    14    360   790 true 28   16   440 650
eca-rers2012/Problem10_label02_true-unreach-call.c true 2 wit inspect 19   5.6 150 620 2.8 0      - - true 24    14    380   790 true 27   15   340 720
eca-rers2012/Problem10_label03_true-unreach-call.c true 2 wit inspect 23   7.2 190 570 2.8 0      - - true 27    15    320   790 true 35   20   420 750
eca-rers2012/Problem10_label04_true-unreach-call.c true 2 wit inspect 23   6.4 180 660 2.8 0      - - true 21    12    410   790 true 30   17   400 720
eca-rers2012/Problem10_label05_true-unreach-call.c true 2 wit inspect 20   5.6 180 620 2.8 0      - - true 26    14    380   790 true 25   14   200 650
eca-rers2012/Problem10_label06_true-unreach-call.c true 2 wit inspect 19   5.4 170 770 2.8 0      - - true 25    14    400   790 true 26   15   290 620
eca-rers2012/Problem10_label07_true-unreach-call.c true 2 wit inspect 22   6.5 190 560 2.8 0      - - true 25    14    400   780 true 35   19   470 730
eca-rers2012/Problem10_label08_true-unreach-call.c true 2 wit inspect 23   6.4 180 880 2.8 0      - - true 23    12    450   800 true 32   18   350 710
eca-rers2012/Problem10_label09_true-unreach-call.c true 2 wit inspect 20   5.4 150 630 2.8 0      - - true 22    13    390   780 true 25   14   260 660
eca-rers2012/Problem10_label10_true-unreach-call.c true 2 wit inspect 19   5.4 140 640 2.8 0      - - true 22    13    420   780 true 26   15   250 620
eca-rers2012/Problem10_label11_true-unreach-call.c true 2 wit inspect 87   60   870 1600 2.8 0      - - true 26    15    330   680 true 64   40   590 1200
eca-rers2012/Problem10_label13_true-unreach-call.c true 2 wit inspect 51   21   450 1900 2.8 0      - - true 26    15    340   770 true 73   46   900 1100
eca-rers2012/Problem10_label14_true-unreach-call.c true 2 wit inspect 120   96   1400 1100 2.8 0      - - true 25    14    310   790 true 130   110   1600 1100
eca-rers2012/Problem10_label16_true-unreach-call.c true 2 wit inspect 29   9.4 260 770 2.8 0      - - true 27    15    240   790 true 38   22   450 880
eca-rers2012/Problem10_label17_true-unreach-call.c true 2 wit inspect 23   8.0 190 750 2.8 0      - - true 22    13    470   780 true 31   18   370 640
eca-rers2012/Problem10_label18_true-unreach-call.c true 2 wit inspect 21   6.9 170 770 2.8 0      - - true 24    14    410   790 true 30   17   320 640
eca-rers2012/Problem10_label19_true-unreach-call.c true 2 wit inspect 23   6.4 180 570 2.8 0      - - true 24    14    340   770 true 28   16   350 670
eca-rers2012/Problem10_label20_true-unreach-call.c true 2 wit inspect 21   6.2 170 550 2.8 0      - - true 29    16    320   810 true 30   17   310 700
eca-rers2012/Problem10_label21_true-unreach-call.c true 2 wit inspect 21   6.2 180 570 2.8 0      - - true 21    12    390   780 true 32   18   470 660
eca-rers2012/Problem10_label22_true-unreach-call.c true 2 wit inspect 21   6.5 190 570 2.8 0      - - true 25    14    340   790 true 29   17   270 730
eca-rers2012/Problem10_label23_true-unreach-call.c true 2 wit inspect 45   20   410 1400 2.8 0      - - true 27    16    310   780 true 52   32   860 970
eca-rers2012/Problem10_label25_true-unreach-call.c true 2 wit inspect 210   180   2400 1000 2.8 0      - - true 25    14    340   780 true 250   220   7300 1200
eca-rers2012/Problem10_label27_true-unreach-call.c true 2 wit inspect 34   11   290 850 2.8 0      - - true 28    16    280   780 true 42   25   440 830
eca-rers2012/Problem10_label30_true-unreach-call.c true 2 wit inspect 33   10   280 790 2.8 0      - - true 24    13    360   780 true 43   25   600 830
eca-rers2012/Problem10_label31_true-unreach-call.c true 2 wit inspect 14   4.5 120 500 2.8 0      - - true 25    14    320   790 true 21   12   390 530
eca-rers2012/Problem10_label32_true-unreach-call.c true 2 wit inspect 16   4.4 130 510 2.8 0      - - true 24    13    330   780 true 21   12   270 580
eca-rers2012/Problem10_label33_true-unreach-call.c true 2 wit inspect 14   4.5 130 500 2.8 0      - - true 27    15    310   890 true 20   11   200 500
eca-rers2012/Problem10_label34_true-unreach-call.c true 2 wit inspect 14   4.4 110 500 2.8 0      - - true 27    15    330   810 true 21   12   310 540
eca-rers2012/Problem10_label35_true-unreach-call.c true 2 wit inspect 11   3.6 89 490 2.8 0      - - true 22    12    340   780 true 16   9.0 340 470
eca-rers2012/Problem10_label36_true-unreach-call.c true 2 wit inspect 13   3.9 89 500 2.8 0      - - true 21    12    270   770 true 15   8.6 180 490
eca-rers2012/Problem10_label37_true-unreach-call.c true 2 wit inspect 11   3.7 89 490 2.8 0      - - true 24    14    360   800 true 16   9.1 220 500
eca-rers2012/Problem10_label38_true-unreach-call.c true 2 wit inspect 12   3.6 92 480 2.8 0      - - true 23    13    370   790 true 16   8.9 300 480
eca-rers2012/Problem10_label39_true-unreach-call.c true 2 wit inspect 51   26   500 1400 2.8 0      - - true 24    14    310   780 true 55   36   510 900
eca-rers2012/Problem10_label40_true-unreach-call.c timeout 0 wit inspect 900   870   11000 1200 2.3 0      - - error (invalid witness file) .54 .35 12   41 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem10_label43_true-unreach-call.c true 2 wit inspect 61   49   640 670 2.8 0      - - true 23    13    410   790 true 61   50   760 650
eca-rers2012/Problem10_label44_true-unreach-call.c true 2 wit inspect 45   19   400 960 2.8 0      - - true 20    11    330   780 true 57   36   610 920
eca-rers2012/Problem10_label45_true-unreach-call.c true 2 wit inspect 66   40   750 900 2.8 0      - - true 27    15    410   800 true 81   61   910 940
eca-rers2012/Problem10_label49_true-unreach-call.c true 2 wit inspect 97   61   990 1100 2.8 0      - - true 27    15    300   770 true 110   82   1300 930
eca-rers2012/Problem10_label51_true-unreach-call.c true 2 wit inspect 33   9.7 250 1000 2.8 0      - - true 22    12    430   790 true 43   25   330 910
eca-rers2012/Problem10_label52_true-unreach-call.c true 2 wit inspect 32   9.5 270 770 2.8 0      - - true 23    13    440   780 true 46   26   800 790
eca-rers2012/Problem10_label53_true-unreach-call.c true 2 wit inspect 31   9.3 250 870 2.8 0      - - true 25    14    300   790 true 46   26   700 800
eca-rers2012/Problem10_label54_true-unreach-call.c true 2 wit inspect 30   8.8 240 890 2.8 0      - - true 25    14    380   800 true 43   24   460 840
eca-rers2012/Problem10_label56_true-unreach-call.c true 2 wit inspect 100   70   1100 1300 2.8 0      - - out of memory 450    440    11000   7000 true 100   76   1200 1200
eca-rers2012/Problem10_label59_true-unreach-call.c timeout 0 wit inspect 900   870   11000 1200 2.3 0      - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.0 3.2 82 300
eca-rers2012/Problem11_label01_true-unreach-call.c true 2 wit inspect 47   19   430 1100 3.1 0      - - true 36    23    570   1300 true 61   36   850 1100
eca-rers2012/Problem11_label02_true-unreach-call.c timeout 0 wit inspect 900   830   14000 5000 2.3 0      - - error (invalid witness file) .60 .37 8.1 40 error (invalid witness file) 6.5 3.5 110 300
eca-rers2012/Problem11_label03_true-unreach-call.c true 2 wit inspect 37   13   320 920 3.1 0      - - true 41    27    610   1300 true 50   29   640 910
eca-rers2012/Problem11_label04_true-unreach-call.c true 2 wit inspect 69   25   590 1500 3.1 0      - - true 31    20    510   1300 true 76   48   710 1400
eca-rers2012/Problem11_label05_true-unreach-call.c timeout 0 wit inspect 900   820   11000 5900 2.3 0      - - error (invalid witness file) .55 .35 14   43 error (invalid witness file) 6.9 3.6 130 300
eca-rers2012/Problem11_label06_true-unreach-call.c true 2 wit inspect 420   360   5600 4700 3.0 0      - - out of memory 210    200    5400   7000 true 250   200   2500 3700
eca-rers2012/Problem11_label07_true-unreach-call.c true 2 wit inspect 570   520   6400 1500 3.0 0      - - true 49    35    700   2400 true 490   460   7200 1700
eca-rers2012/Problem11_label09_true-unreach-call.c true 2 wit inspect 64   30   610 1400 3.1 0      - - out of memory 270    260    4400   7000 true 80   50   790 1500
eca-rers2012/Problem11_label10_true-unreach-call.c timeout 0 wit inspect 900   760   12000 6400 2.3 0      - - error (invalid witness file) .52 .33 9.4 40 error (invalid witness file) 6.3 3.3 130 290
eca-rers2012/Problem11_label11_true-unreach-call.c timeout 0 wit inspect 900   840   10000 4400 2.3 0      - - error (invalid witness file) .65 .40 9.4 40 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem11_label12_true-unreach-call.c timeout 0 wit inspect 900   870   12000 1500 2.3 0      - - error (invalid witness file) .64 .41 8.3 40 error (invalid witness file) 6.3 3.4 120 310
eca-rers2012/Problem11_label13_true-unreach-call.c true 2 wit inspect 29   9.0 240 710 3.1 0      - - true 33    20    630   1300 true 38   22   380 780
eca-rers2012/Problem11_label16_true-unreach-call.c true 2 wit inspect 210   150   2200 4200 3.0 0      - - true 31    19    570   1300 true 210   160   3300 3500
eca-rers2012/Problem11_label17_true-unreach-call.c timeout 0 wit inspect 900   870   13000 1400 2.3 0      - - error (invalid witness file) .57 .36 11   40 error (invalid witness file) 6.1 3.2 130 290
eca-rers2012/Problem11_label18_true-unreach-call.c true 2 wit inspect 29   8.9 250 680 3.1 0      - - true 35    22    490   1200 true 38   22   420 760
eca-rers2012/Problem11_label19_true-unreach-call.c timeout 0 wit inspect 900   880   12000 740 2.3 0      - - error (invalid witness file) .56 .36 11   40 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem11_label21_true-unreach-call.c true 2 wit inspect 66   27   540 1500 3.1 0      - - true 34    23    490   1300 true 71   45   690 1300
eca-rers2012/Problem11_label22_true-unreach-call.c timeout 0 wit inspect 900   820   9600 5500 2.3 0      - - error (invalid witness file) .49 .32 12   41 error (invalid witness file) 6.6 3.5 110 310
eca-rers2012/Problem11_label23_true-unreach-call.c true 2 wit inspect 60   34   590 1200 3.1 0      - - true 38    27    880   1300 true 78   54   1400 1100
eca-rers2012/Problem11_label24_true-unreach-call.c timeout 0 wit inspect 900   880   11000 840 2.3 0      - - error (invalid witness file) .59 .38 8.4 40 error (invalid witness file) 6.5 3.4 130 290
eca-rers2012/Problem11_label25_true-unreach-call.c timeout 0 wit inspect 900   810   11000 6100 2.5 0      - - error (invalid witness file) .62 .38 10   43 error (invalid witness file) 6.6 3.4 130 290
eca-rers2012/Problem11_label26_true-unreach-call.c true 2 wit inspect 110   58   1200 3600 3.0 0      - - out of memory 240    230    4100   7000 true 130   91   2000 2700
eca-rers2012/Problem11_label27_true-unreach-call.c true 2 wit inspect 480   440   6700 1400 3.0 0      - - true 34    22    630   1300 true 470   440   7500 1300
eca-rers2012/Problem11_label28_true-unreach-call.c true 2 wit inspect 830   730   12000 5100 3.0 0      - - timeout 910    900    14000   6900 true 560   490   8700 5100
eca-rers2012/Problem11_label30_true-unreach-call.c timeout 0 wit inspect 900   850   12000 3800 2.3 0      - - error (invalid witness file) .68 .43 8.0 44 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem11_label32_true-unreach-call.c true 2 wit inspect 120   79   1300 1600 3.0 0      - - true 37    24    610   1300 true 110   78   2100 1600
eca-rers2012/Problem11_label33_true-unreach-call.c true 2 wit inspect 36   11   300 790 3.1 0      - - true 33    21    670   1300 true 47   27   520 900
eca-rers2012/Problem11_label35_true-unreach-call.c timeout 0 wit inspect 900   850   12000 3300 2.3 0      - - error (invalid witness file) .66 .42 6.7 40 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem11_label37_true-unreach-call.c true 2 wit inspect 440   400   5500 1400 3.0 0      - - true 37    23    560   1300 true 480   450   8100 1200
eca-rers2012/Problem11_label38_true-unreach-call.c true 2 wit inspect 130   90   1600 1500 3.0 0      - - true 43    29    570   1200 true 130   99   1400 1300
eca-rers2012/Problem11_label40_true-unreach-call.c timeout 0 wit inspect 900   840   10000 5100 2.3 0      - - error (invalid witness file) .51 .34 13   40 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem11_label41_true-unreach-call.c timeout 0 wit inspect 900   820   11000 5200 2.3 0      - - error (invalid witness file) .54 .34 10   41 error (invalid witness file) 6.2 3.3 97 300
eca-rers2012/Problem11_label44_true-unreach-call.c timeout 0 wit inspect 900   850   12000 2900 2.3 0      - - error (invalid witness file) .60 .38 10   41 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem11_label45_true-unreach-call.c timeout 0 wit inspect 910   840   11000 5000 2.3 0      - - error (invalid witness file) .66 .43 8.8 40 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem11_label46_true-unreach-call.c timeout 0 wit inspect 900   850   11000 3400 2.3 0      - - error (invalid witness file) .54 .34 10   43 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem11_label47_true-unreach-call.c true 2 wit inspect 380   340   4800 1500 3.0 0      - - out of memory 190    170    4900   7000 true 250   220   3700 1600
eca-rers2012/Problem11_label48_true-unreach-call.c timeout 0 wit inspect 900   820   11000 4800 2.3 0      - - error (invalid witness file) .58 .38 8.8 40 error (invalid witness file) 6.8 3.6 110 330
eca-rers2012/Problem11_label50_true-unreach-call.c timeout 0 wit inspect 900   790   11000 5400 2.3 0      - - error (invalid witness file) .61 .39 9.2 39 error (invalid witness file) 6.2 3.3 110 290
eca-rers2012/Problem11_label52_true-unreach-call.c true 2 wit inspect 590   550   8600 1200 3.0 0      - - out of memory 260    250    5800   7000 true 550   520   7100 1700
eca-rers2012/Problem11_label53_true-unreach-call.c true 2 wit inspect 33   11   280 820 3.1 0      - - true 39    25    510   1300 true 47   27   610 730
eca-rers2012/Problem11_label54_true-unreach-call.c timeout 0 wit inspect 900   780   11000 6500 2.3 0      - - error (invalid witness file) .60 .39 7.0 39 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem11_label55_true-unreach-call.c true 1 wit inspect 400   310   5000 4900 3.0 0      - - out of memory 210    200    4300   7000 timeout 960   910   14000 4700
eca-rers2012/Problem11_label56_true-unreach-call.c timeout 0 wit inspect 900   840   13000 3200 2.3 0      - - error (invalid witness file) .65 .40 8.0 39 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem11_label57_true-unreach-call.c true 2 wit inspect 110   54   1100 1700 3.0 0      - - out of memory 240    230    4100   7000 true 110   76   980 1700
eca-rers2012/Problem11_label59_true-unreach-call.c true 2 wit inspect 150   97   1700 2700 3.0 0      - - true 71    56    910   1300 true 170   130   1700 2200
eca-rers2012/Problem12_label01_true-unreach-call.c true 2 wit inspect 800   620   10000 7500 4.9 0      - - out of memory 87    71    1800   7000 true 700   590   12000 6800
eca-rers2012/Problem12_label02_true-unreach-call.c timeout 0 wit inspect 900   800   10000 6300 2.3 0      - - error (invalid witness file) .65 .41 9.0 42 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem12_label04_true-unreach-call.c true 1 wit inspect 810   590   10000 8000 4.9 0      - - out of memory 94    74    1600   7000 out of memory 480   370   6500 7000
eca-rers2012/Problem12_label05_true-unreach-call.c timeout 0 wit inspect 900   670   9600 8000 2.3 0      - - error (invalid witness file) .49 .32 11   42 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem12_label09_true-unreach-call.c timeout 0 wit inspect 900   770   9200 6600 2.3 0      - - error (invalid witness file) .55 .36 9.5 39 error (invalid witness file) 6.9 3.7 140 310
eca-rers2012/Problem12_label11_true-unreach-call.c true 2 wit inspect 700   560   7500 6500 4.9 0      - - true 190    160    3000   7000 true 390   310   5000 6800
eca-rers2012/Problem12_label12_true-unreach-call.c true 2 wit inspect 190   110   1800 5500 4.9 0      - - true 76    56    1500   3500 true 190   140   1600 5600
eca-rers2012/Problem12_label14_true-unreach-call.c true 2 wit inspect 500   360   5000 6100 4.9 0      - - out of memory 96    80    2400   7000 true 320   250   5200 5900
eca-rers2012/Problem12_label15_true-unreach-call.c true 2 wit inspect 240   150   2300 6300 4.9 0      - - true 110    85    1600   3500 true 200   140   3100 5800
eca-rers2012/Problem12_label16_true-unreach-call.c true 2 wit inspect 190   100   1800 5800 4.9 0      - - true 99    73    1300   3500 true 170   110   1800 4900
eca-rers2012/Problem12_label17_true-unreach-call.c true 2 wit inspect 640   500   8100 6300 4.9 0      - - out of memory 88    69    1600   7000 true 550   450   7800 6900
eca-rers2012/Problem12_label18_true-unreach-call.c true 2 wit inspect 250   150   2500 6200 4.9 0      - - true 96    73    1700   3500 true 180   130   2200 5300
eca-rers2012/Problem12_label22_true-unreach-call.c true 2 wit inspect 210   110   1900 6000 4.9 0      - - true 88    66    1200   3500 true 170   120   2000 5400
eca-rers2012/Problem12_label23_true-unreach-call.c true 2 wit inspect 210   130   2200 5000 4.9 0      - - true 93    69    1100   3800 true 190   140   3000 5300
eca-rers2012/Problem12_label24_true-unreach-call.c true 2 wit inspect 270   170   2900 6300 4.9 0      - - true 94    73    2100   3600 true 230   180   2300 5200
eca-rers2012/Problem12_label26_true-unreach-call.c true 2 wit inspect 240   150   2700 6000 4.9 0      - - true 91    68    1800   3600 true 230   170   4900 5800
eca-rers2012/Problem12_label27_true-unreach-call.c true 2 wit inspect 350   220   4000 6600 4.9 0      - - true 150    120    2400   3500 true 280   200   3300 6300
eca-rers2012/Problem12_label29_true-unreach-call.c true 2 wit inspect 290   170   2900 6100 4.9 0      - - true 87    65    1600   3500 true 260   190   3100 6500
eca-rers2012/Problem12_label31_true-unreach-call.c true 2 wit inspect 320   210   3100 6100 4.9 0      - - true 81    61    1900   3700 true 260   190   4000 6600
eca-rers2012/Problem12_label32_true-unreach-call.c timeout 0 wit inspect 900   580   9000 11000 2.3 0      - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 6.7 3.6 130 290
eca-rers2012/Problem12_label33_true-unreach-call.c true 2 wit inspect 220   140   2000 5000 4.9 0      - - true 82    61    1900   3500 true 240   180   2800 4900
eca-rers2012/Problem12_label36_true-unreach-call.c true 2 wit inspect 170   100   1800 4800 4.9 0      - - true 110    86    2300   3500 true 160   120   2200 4800
eca-rers2012/Problem12_label41_true-unreach-call.c true 2 wit inspect 580   420   6600 6800 4.9 0      - - out of memory 88    72    1800   7000 true 400   310   7200 6500
eca-rers2012/Problem12_label43_true-unreach-call.c true 2 wit inspect 91   44   960 2600 4.9 0      - - true 96    71    1300   3500 true 90   61   860 2100
eca-rers2012/Problem12_label44_true-unreach-call.c true 2 wit inspect 560   410   6100 6800 4.9 0      - - out of memory 160    140    3500   7000 true 380   300   4800 6500
eca-rers2012/Problem12_label45_true-unreach-call.c true 2 wit inspect 190   110   1900 4800 4.9 0      - - true 100    76    1300   3500 true 150   110   3400 4900
eca-rers2012/Problem12_label46_true-unreach-call.c true 2 wit inspect 85   43   870 2900 4.9 0      - - true 74    54    1200   3400 true 93   62   800 1900
eca-rers2012/Problem12_label47_true-unreach-call.c true 2 wit inspect 270   170   2900 5600 4.9 0      - - true 100    80    2200   3500 true 190   140   2200 5600
eca-rers2012/Problem12_label49_true-unreach-call.c true 2 wit inspect 110   54   1000 3600 4.9 0      - - true 85    64    1600   3600 true 130   92   1100 3300
eca-rers2012/Problem12_label53_true-unreach-call.c true 2 wit inspect 210   120   1800 5900 4.9 0      - - true 100    75    1600   3500 true 170   120   2000 5400
eca-rers2012/Problem12_label54_true-unreach-call.c timeout 0 wit inspect 900   800   11000 6100 2.3 0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem12_label56_true-unreach-call.c true 2 wit inspect 210   120   2100 5500 4.9 0      - - true 80    59    1800   3400 true 160   120   1700 4800
eca-rers2012/Problem12_label57_true-unreach-call.c timeout 0 wit inspect 900   790   11000 6400 2.3 0      - - error (invalid witness file) .65 .41 7.6 40 error (invalid witness file) 6.9 3.6 140 310
eca-rers2012/Problem12_label58_true-unreach-call.c true 2 wit inspect 230   150   2500 5400 4.9 0      - - true 86    63    1900   3400 true 240   170   2500 6400
eca-rers2012/Problem12_label59_true-unreach-call.c true 2 wit inspect 370   250   4300 6500 4.9 0      - - true 150    120    2600   3500 true 280   210   2700 6200
eca-rers2012/Problem13_label00_true-unreach-call.c timeout 0 wit inspect 900   530   8100 10000 2.3 0      - - error (invalid witness file) .65 .41 7.7 40 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem13_label01_true-unreach-call.c timeout 0 wit inspect 900   640   7700 8300 2.3 0      - - error (invalid witness file) .66 .42 8.6 40 error (invalid witness file) 6.5 3.5 80 300
eca-rers2012/Problem13_label02_true-unreach-call.c timeout 0 wit inspect 900   510   7800 9300 2.3 0      - - error (invalid witness file) .70 .44 7.5 40 error (invalid witness file) 7.1 3.8 130 310
eca-rers2012/Problem13_label03_true-unreach-call.c timeout 0 wit inspect 900   770   9900 6900 2.3 0      - - error (invalid witness file) .51 .34 13   40 error (invalid witness file) 7.6 4.0 150 310
eca-rers2012/Problem13_label05_true-unreach-call.c timeout 0 wit inspect 900   790   10000 7400 2.3 0      - - error (invalid witness file) .67 .43 7.0 43 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem13_label08_true-unreach-call.c timeout 0 wit inspect 900   570   8200 9600 2.3 0      - - error (invalid witness file) .59 .36 8.5 40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem13_label09_true-unreach-call.c timeout 0 wit inspect 900   540   7600 10000 2.3 0      - - error (invalid witness file) .56 .36 9.9 40 error (invalid witness file) 6.7 3.5 78 300
eca-rers2012/Problem13_label10_true-unreach-call.c timeout 0 wit inspect 910   560   9300 11000 2.3 0      - - error (invalid witness file) .54 .33 11   39 error (invalid witness file) 6.8 3.6 110 310
eca-rers2012/Problem13_label13_true-unreach-call.c timeout 0 wit inspect 900   630   11000 8500 2.3 0      - - error (invalid witness file) .52 .32 14   42 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem13_label14_true-unreach-call.c timeout 0 wit inspect 910   630   8300 9300 2.3 0      - - error (invalid witness file) .61 .39 8.4 41 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem13_label15_true-unreach-call.c timeout 0 wit inspect 900   670   8300 8200 2.3 0      - - error (invalid witness file) .70 .45 8.8 42 error (invalid witness file) 6.8 3.6 140 300
eca-rers2012/Problem13_label17_true-unreach-call.c timeout 0 wit inspect 900   690   9100 7600 2.3 0      - - error (invalid witness file) .53 .32 11   39 error (invalid witness file) 6.8 3.5 130 300
eca-rers2012/Problem13_label18_true-unreach-call.c timeout 0 wit inspect 900   680   9300 8200 2.3 0      - - error (invalid witness file) .56 .36 10   42 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem13_label20_true-unreach-call.c true 1 wit inspect 710   490   8200 8500 5.5 0      - - out of memory 320    300    5000   7000 out of memory 440   340   9100 7000
eca-rers2012/Problem13_label22_true-unreach-call.c timeout 0 wit inspect 900   670   9900 8100 2.3 0      - - error (invalid witness file) .55 .35 12   42 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem13_label26_true-unreach-call.c timeout 0 wit inspect 910   450   7000 11000 2.3 0      - - error (invalid witness file) .54 .36 13   44 error (invalid witness file) 7.0 3.7 110 300
eca-rers2012/Problem13_label27_true-unreach-call.c timeout 0 wit inspect 900   710   9100 7500 2.3 0      - - error (invalid witness file) .66 .41 7.5 40 error (invalid witness file) 6.9 3.6 120 310
eca-rers2012/Problem13_label31_true-unreach-call.c timeout 0 wit inspect 900   690   8600 7600 2.3 0      - - error (invalid witness file) .65 .41 8.1 40 error (invalid witness file) 7.3 3.8 130 310
eca-rers2012/Problem13_label33_true-unreach-call.c timeout 0 wit inspect 910   540   7200 10000 2.3 0      - - error (invalid witness file) .68 .43 7.3 40 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem13_label34_true-unreach-call.c timeout 0 wit inspect 900   520   8300 10000 2.3 0      - - error (invalid witness file) .55 .35 5.7 44 error (invalid witness file) 6.7 3.6 140 310
eca-rers2012/Problem13_label37_true-unreach-call.c timeout 0 wit inspect 900   590   8800 8900 2.3 0      - - error (invalid witness file) .48 .31 3.7 39 error (invalid witness file) 6.4 3.4 67 310
eca-rers2012/Problem13_label38_true-unreach-call.c timeout 0 wit inspect 900   690   10000 8100 2.3 0      - - error (invalid witness file) .65 .41 8.4 39 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem13_label39_true-unreach-call.c timeout 0 wit inspect 900   550   8700 9400 2.3 0      - - error (invalid witness file) .57 .36 12   44 error (invalid witness file) 6.4 3.4 95 300
eca-rers2012/Problem13_label41_true-unreach-call.c timeout 0 wit inspect 900   520   7900 10000 2.3 0      - - error (invalid witness file) .68 .43 8.1 41 error (invalid witness file) 6.2 3.3 110 290
eca-rers2012/Problem13_label42_true-unreach-call.c timeout 0 wit inspect 900   500   9000 10000 2.3 0      - - error (invalid witness file) .65 .41 11   43 error (invalid witness file) 6.9 3.7 110 290
eca-rers2012/Problem13_label46_true-unreach-call.c timeout 0 wit inspect 900   520   7600 9800 2.3 0      - - error (invalid witness file) .59 .38 13   44 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem13_label47_true-unreach-call.c timeout 0 wit inspect 900   540   8300 10000 2.3 0      - - error (invalid witness file) .67 .43 8.5 41 error (invalid witness file) 6.0 3.2 76 300
eca-rers2012/Problem13_label49_true-unreach-call.c timeout 0 wit inspect 910   500   7600 9600 2.3 0      - - error (invalid witness file) .56 .35 10   40 error (invalid witness file) 6.6 3.5 100 310
eca-rers2012/Problem13_label50_true-unreach-call.c timeout 0 wit inspect 900   530   7000 8900 2.3 0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem13_label52_true-unreach-call.c timeout 0 wit inspect 900   600   8800 9200 2.3 0      - - error (invalid witness file) .57 .36 11   41 error (invalid witness file) 6.3 3.3 120 290
eca-rers2012/Problem13_label53_true-unreach-call.c timeout 0 wit inspect 900   510   7900 9600 2.3 0      - - error (invalid witness file) .67 .43 8.8 41 error (invalid witness file) 7.2 3.7 110 320
eca-rers2012/Problem13_label55_true-unreach-call.c timeout 0 wit inspect 900   510   8300 8900 2.3 0      - - error (invalid witness file) .63 .40 11   42 error (invalid witness file) 6.8 3.6 120 310
eca-rers2012/Problem13_label56_true-unreach-call.c timeout 0 wit inspect 900   460   6900 12000 2.3 0      - - error (invalid witness file) .53 .34 12   39 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem13_label57_true-unreach-call.c timeout 0 wit inspect 910   440   6600 12000 2.3 0      - - error (invalid witness file) .68 .43 8.7 41 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem13_label59_true-unreach-call.c timeout 0 wit inspect 900   740   10000 7900 2.3 0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.2 3.7 130 310
eca-rers2012/Problem14_label00_true-unreach-call.c true 2 wit inspect 29   8.5 230 960 2.9 0      - - true 27    15    410   780 true 37   21   420 780
eca-rers2012/Problem14_label01_true-unreach-call.c true 2 wit inspect 36   11   290 950 2.9 0      - - true 29    16    330   780 true 41   24   530 790
eca-rers2012/Problem14_label03_true-unreach-call.c true 2 wit inspect 85   40   800 3500 2.9 0      - - true 57    43    630   790 true 100   67   850 3800
eca-rers2012/Problem14_label04_true-unreach-call.c timeout 0 wit inspect 900   850   11000 3100 2.3 0      - - error (invalid witness file) .68 .43 7.7 43 error (invalid witness file) 7.3 3.8 83 300
eca-rers2012/Problem14_label05_true-unreach-call.c true 2 wit inspect 35   12   280 900 2.9 0      - - true 28    16    350   770 true 41   25   600 880
eca-rers2012/Problem14_label06_true-unreach-call.c true 2 wit inspect 35   11   300 920 2.9 0      - - true 27    15    340   770 true 43   25   450 840
eca-rers2012/Problem14_label07_true-unreach-call.c true 2 wit inspect 99   51   890 4300 2.9 0      - - true 32    20    510   770 true 120   80   1200 4600
eca-rers2012/Problem14_label09_true-unreach-call.c timeout 0 wit inspect 900   850   12000 2800 2.3 0      - - error (invalid witness file) .60 .39 9.4 40 error (invalid witness file) 6.1 3.2 130 300
eca-rers2012/Problem14_label15_true-unreach-call.c true 2 wit inspect 32   10   270 900 2.9 0      - - true 28    16    340   770 true 40   23   500 870
eca-rers2012/Problem14_label16_true-unreach-call.c true 2 wit inspect 35   12   270 940 2.9 0      - - true 23    13    440   770 true 56   32   500 870
eca-rers2012/Problem14_label17_true-unreach-call.c true 2 wit inspect 100   51   1000 4500 2.9 0      - - true 80    66    1200   790 true 120   80   1100 4500
eca-rers2012/Problem14_label19_true-unreach-call.c true 2 wit inspect 40   14   330 1100 2.9 0      - - true 27    15    420   770 true 49   30   440 1100
eca-rers2012/Problem14_label20_true-unreach-call.c true 2 wit inspect 22   6.4 170 750 2.9 0      - - true 31    17    330   790 true 30   17   450 710
eca-rers2012/Problem14_label21_true-unreach-call.c true 2 wit inspect 36   11   310 910 2.9 0      - - true 26    15    390   770 true 56   32   660 900
eca-rers2012/Problem14_label23_true-unreach-call.c true 2 wit inspect 36   12   330 850 2.9 0      - - true 29    16    360   800 true 45   27   800 810
eca-rers2012/Problem14_label24_true-unreach-call.c true 2 wit inspect 42   16   410 1100 2.9 0      - - true 23    13    320   770 true 49   31   520 1000
eca-rers2012/Problem14_label25_true-unreach-call.c true 2 wit inspect 21   6.1 170 740 2.9 0      - - true 24    13    350   780 true 31   17   300 660
eca-rers2012/Problem14_label26_true-unreach-call.c true 2 wit inspect 37   11   310 890 2.9 0      - - true 28    16    350   780 true 42   25   470 890
eca-rers2012/Problem14_label30_true-unreach-call.c true 2 wit inspect 20   5.7 160 600 2.9 .0041 - - true 27    15    370   760 true 29   16   340 720
eca-rers2012/Problem14_label32_true-unreach-call.c true 2 wit inspect 39   14   340 1200 2.9 0      - - out of memory 240    230    4800   7000 true 50   30   550 1100
eca-rers2012/Problem14_label33_true-unreach-call.c true 2 wit inspect 55   24   510 1600 2.9 0      - - true 26    15    330   790 true 70   44   810 1800
eca-rers2012/Problem14_label35_true-unreach-call.c true 2 wit inspect 21   5.8 180 620 2.9 0      - - true 24    13    360   800 true 29   16   420 700
eca-rers2012/Problem14_label36_true-unreach-call.c true 2 wit inspect 37   14   300 930 2.9 0      - - true 27    15    350   790 true 49   30   670 890
eca-rers2012/Problem14_label38_true-unreach-call.c true 2 wit inspect 38   13   370 1100 2.9 0      - - true 29    16    320   790 true 44   27   630 1100
eca-rers2012/Problem14_label42_true-unreach-call.c true 2 wit inspect 27   7.8 210 770 2.9 0      - - true 22    12    450   770 true 36   20   350 760
eca-rers2012/Problem14_label45_true-unreach-call.c true 2 wit inspect 160   100   1900 4600 2.9 0      - - true 27    16    330   1100 true 190   140   2100 4600
eca-rers2012/Problem14_label46_true-unreach-call.c timeout 0 wit inspect 900   840   10000 4700 2.3 0      - - error (invalid witness file) .48 .33 8.6 40 error (invalid witness file) 6.0 3.2 68 300
eca-rers2012/Problem14_label47_true-unreach-call.c true 2 wit inspect 70   30   710 1900 2.9 0      - - true 26    15    350   780 true 74   48   710 1800
eca-rers2012/Problem14_label48_true-unreach-call.c true 2 wit inspect 510   450   6400 4100 2.9 0      - - out of memory 330    310    5300   7000 true 590   540   13000 4700
eca-rers2012/Problem14_label49_true-unreach-call.c true 2 wit inspect 57   25   520 1700 2.9 0      - - true 40    29    400   780 true 69   45   770 1600
eca-rers2012/Problem14_label50_true-unreach-call.c true 2 wit inspect 150   92   1500 4300 2.9 0      - - true 35    21    420   1100 true 170   120   1600 4500
eca-rers2012/Problem14_label51_true-unreach-call.c timeout 0 wit inspect 900   850   11000 4700 2.3 0      - - error (invalid witness file) .63 .40 7.5 39 error (invalid witness file) 6.6 3.5 100 300
eca-rers2012/Problem14_label53_true-unreach-call.c true 2 wit inspect 660   600   7600 4500 2.9 0      - - out of memory 280    270    3200   7000 true 670   630   8900 4700
eca-rers2012/Problem14_label55_true-unreach-call.c true 2 wit inspect 190   120   2300 4300 2.9 0      - - true 27    17    510   1100 true 210   160   3500 4600
eca-rers2012/Problem14_label59_true-unreach-call.c true 2 wit inspect 33   9.9 270 900 2.9 0      - - true 30    16    370   770 true 40   23   360 870
eca-rers2012/Problem15_label01_true-unreach-call.c timeout 0 wit inspect 900   850   11000 2300 2.3 0      - - error (invalid witness file) .54 .33 13   44 error (invalid witness file) 6.4 3.4 120 290
eca-rers2012/Problem15_label04_true-unreach-call.c true 2 wit inspect 410   320   4900 5300 3.4 0      - - out of memory 110    100    2900   7000 true 250   200   2600 5100
eca-rers2012/Problem15_label05_true-unreach-call.c true 2 wit inspect 480   400   6500 5300 3.4 0      - - out of memory 190    180    2700   7000 true 460   410   5600 4700
eca-rers2012/Problem15_label06_true-unreach-call.c true 2 wit inspect 730   670   8500 3000 3.4 0      - - out of memory 150    140    3600   7000 true 790   730   14000 5000
eca-rers2012/Problem15_label08_true-unreach-call.c timeout 0 wit inspect 900   840   10000 5200 2.3 0      - - error (invalid witness file) .58 .37 9.5 40 error (invalid witness file) 7.0 3.6 130 310
eca-rers2012/Problem15_label10_true-unreach-call.c timeout 0 wit inspect 900   840   11000 4400 2.3 0      - - error (invalid witness file) .67 .42 7.9 39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem15_label11_true-unreach-call.c timeout 0 wit inspect 900   840   12000 4900 2.3 0      - - error (invalid witness file) .65 .42 4.8 45 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem15_label12_true-unreach-call.c timeout 0 wit inspect 900   840   12000 3500 2.3 .11   - - error (invalid witness file) .57 .36 9.6 40 error (invalid witness file) 6.2 3.3 100 310
eca-rers2012/Problem15_label13_true-unreach-call.c timeout 0 wit inspect 900   830   12000 5300 2.3 0      - - error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.2 3.3 130 290
eca-rers2012/Problem15_label16_true-unreach-call.c true 2 wit inspect 710   630   8600 4700 3.4 0      - - out of memory 110    91    1800   7000 true 460   410   9200 4600
eca-rers2012/Problem15_label17_true-unreach-call.c timeout 0 wit inspect 900   830   11000 5000 2.3 0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.9 3.6 110 300
eca-rers2012/Problem15_label19_true-unreach-call.c timeout 0 wit inspect 900   860   11000 2100 2.3 0      - - error (invalid witness file) .63 .41 8.4 39 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem15_label20_true-unreach-call.c timeout 0 wit inspect 900   860   13000 2400 2.3 0      - - error (invalid witness file) .59 .39 12   41 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem15_label21_true-unreach-call.c true 2 wit inspect 390   340   5000 3900 3.4 0      - - true 140    120    2200   2400 timeout 960   930   25000 1200
eca-rers2012/Problem15_label24_true-unreach-call.c true 2 wit inspect 500   440   5800 4800 3.4 .0041 - - out of memory 100    89    3000   7000 true 290   230   3800 5100
eca-rers2012/Problem15_label26_true-unreach-call.c true 2 wit inspect 220   170   2300 3800 3.4 0      - - out of memory 190    170    3000   7000 true 350   300   4500 5300
eca-rers2012/Problem15_label27_true-unreach-call.c timeout 0 wit inspect 900   830   10000 5100 2.3 0      - - error (invalid witness file) .66 .41 7.5 39 error (invalid witness file) 6.6 3.5 140 290
eca-rers2012/Problem15_label28_true-unreach-call.c timeout 0 wit inspect 900   840   11000 4900 2.3 0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem15_label31_true-unreach-call.c true 2 wit inspect 64   35   650 1800 3.4 0      - - true 62    45    1100   2400 true 76   52   680 1600
eca-rers2012/Problem15_label32_true-unreach-call.c timeout 0 wit inspect 900   850   12000 3200 2.3 0      - - error (invalid witness file) .73 .45 11   43 error (invalid witness file) 7.0 3.6 130 300
eca-rers2012/Problem15_label35_true-unreach-call.c true 2 wit inspect 140   98   1700 3000 3.4 0      - - true 130    120    2700   4600 true 140   110   1400 3500
eca-rers2012/Problem15_label36_true-unreach-call.c true 2 wit inspect 640   580   8200 4200 3.4 0      - - out of memory 130    120    2800   7000 true 630   580   10000 4200
eca-rers2012/Problem15_label42_true-unreach-call.c timeout 0 wit inspect 900   880   12000 1200 2.3 0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.4 3.4 140 300
eca-rers2012/Problem15_label43_true-unreach-call.c true 2 wit inspect 94   53   890 3000 3.4 0      - - true 89    71    1300   2400 true 110   74   950 2600
eca-rers2012/Problem15_label44_true-unreach-call.c true 2 wit inspect 240   180   2600 4700 3.4 .086  - - out of memory 120    110    2200   7000 true 230   180   2200 4700
eca-rers2012/Problem15_label46_true-unreach-call.c true 2 wit inspect 250   180   3100 4900 3.4 0      - - out of memory 170    150    3100   7000 true 220   160   3700 5300
eca-rers2012/Problem15_label49_true-unreach-call.c timeout 0 wit inspect 900   820   10000 5900 2.3 0      - - error (invalid witness file) .66 .42 6.9 40 error (invalid witness file) 6.8 3.6 130 290
eca-rers2012/Problem15_label52_true-unreach-call.c timeout 0 wit inspect 900   850   13000 3200 2.3 0      - - error (invalid witness file) .63 .40 8.9 43 error (invalid witness file) 6.7 3.5 140 310
eca-rers2012/Problem15_label53_true-unreach-call.c true 2 wit inspect 230   160   2600 4700 3.4 0      - - out of memory 190    170    2700   7000 true 230   180   2900 4900
eca-rers2012/Problem15_label54_true-unreach-call.c true 2 wit inspect 130   74   1200 4000 3.4 0      - - out of memory 100    88    2100   7000 true 130   95   1300 3600
eca-rers2012/Problem15_label55_true-unreach-call.c true 2 wit inspect 65   28   540 1800 3.5 0      - - true 72    53    810   2400 true 70   45   700 1700
eca-rers2012/Problem15_label56_true-unreach-call.c timeout 0 wit inspect 900   860   11000 2900 2.3 0      - - error (invalid witness file) .68 .43 8.8 41 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem15_label57_true-unreach-call.c true 2 wit inspect 710   640   8100 4700 3.4 0      - - out of memory 88    74    1600   7000 true 660   610   10000 4700
eca-rers2012/Problem15_label58_true-unreach-call.c true 2 wit inspect 110   59   1000 3200 3.4 0      - - true 55    39    880   2400 true 120   84   1900 3200
eca-rers2012/Problem15_label59_true-unreach-call.c timeout 0 wit inspect 900   860   10000 2300 2.3 0      - - error (invalid witness file) .67 .43 9.5 43 error (invalid witness file) 7.5 3.8 140 310
eca-rers2012/Problem16_label02_true-unreach-call.c timeout 0 wit inspect 900   850   11000 3900 2.3 0      - - error (invalid witness file) .58 .36 12   42 error (invalid witness file) 6.6 3.5 100 300
eca-rers2012/Problem16_label07_true-unreach-call.c true 2 wit inspect 160   100   1600 4600 3.4 0      - - true 40    24    540   1400 true 190   140   1900 4600
eca-rers2012/Problem16_label09_true-unreach-call.c true 2 wit inspect 330   270   3600 4600 3.4 0      - - true 46    27    530   1400 true 280   220   3000 4600
eca-rers2012/Problem16_label10_true-unreach-call.c true 2 wit inspect 160   99   1900 4600 3.4 0      - - true 39    23    590   1400 true 180   130   1900 4600
eca-rers2012/Problem16_label11_true-unreach-call.c true 2 wit inspect 87   40   860 3400 3.4 0      - - true 35    21    600   1300 true 110   68   1700 3400
eca-rers2012/Problem16_label12_true-unreach-call.c true 2 wit inspect 95   47   950 4500 3.4 0      - - true 38    23    580   1400 true 110   71   1100 4000
eca-rers2012/Problem16_label13_true-unreach-call.c true 2 wit inspect 96   48   980 3800 3.4 0      - - true 33    20    610   1400 true 120   76   1100 4200
eca-rers2012/Problem16_label16_true-unreach-call.c true 2 wit inspect 120   63   1200 4700 3.4 0      - - true 36    22    630   1400 true 130   92   1500 4700
eca-rers2012/Problem16_label17_true-unreach-call.c true 2 wit inspect 120   65   1300 4600 3.4 0      - - true 42    25    530   1300 true 130   94   1600 4600
eca-rers2012/Problem16_label19_true-unreach-call.c true 2 wit inspect 420   330   5100 5000 3.4 0      - - true 47    31    530   1400 true 260   200   2600 4800
eca-rers2012/Problem16_label21_true-unreach-call.c true 2 wit inspect 95   52   990 4600 3.4 0      - - true 38    23    720   1400 true 120   78   1700 4600
eca-rers2012/Problem16_label23_true-unreach-call.c true 2 wit inspect 35   13   330 780 3.4 0      - - true 36    22    590   1300 true 44   27   600 950
eca-rers2012/Problem16_label24_true-unreach-call.c true 2 wit inspect 33   12   290 820 3.4 0      - - true 32    20    650   1400 true 43   26   580 1000
eca-rers2012/Problem16_label25_true-unreach-call.c true 2 wit inspect 32   12   270 860 3.4 0      - - true 37    23    620   1400 true 42   25   410 940
eca-rers2012/Problem16_label26_true-unreach-call.c true 2 wit inspect 33   12   310 890 3.4 0      - - true 32    20    640   1400 true 43   26   360 950
eca-rers2012/Problem16_label28_true-unreach-call.c true 2 wit inspect 100   48   980 3900 3.4 0      - - true 44    26    390   1400 true 110   74   1100 3800
eca-rers2012/Problem16_label29_true-unreach-call.c true 2 wit inspect 70   34   680 2300 3.4 0      - - true 36    22    620   1300 true 81   53   1000 2400
eca-rers2012/Problem16_label32_true-unreach-call.c true 2 wit inspect 94   46   970 4100 3.4 0      - - true 38    23    620   1400 true 100   68   1200 3400
eca-rers2012/Problem16_label34_true-unreach-call.c true 2 wit inspect 91   45   860 3900 3.4 0      - - true 44    30    930   2200 true 100   69   950 3200
eca-rers2012/Problem16_label35_true-unreach-call.c true 2 wit inspect 78   36   760 3000 3.4 0      - - true 41    27    930   2200 true 91   59   850 3100
eca-rers2012/Problem16_label36_true-unreach-call.c true 2 wit inspect 83   41   830 3500 3.4 0      - - true 55    39    1100   2200 true 100   67   970 3300
eca-rers2012/Problem16_label39_true-unreach-call.c true 2 wit inspect 43   17   400 1100 3.4 0      - - true 42    25    500   1400 true 57   36   520 1200
eca-rers2012/Problem16_label40_true-unreach-call.c true 2 wit inspect 110   59   1100 4600 3.4 0      - - true 35    21    690   1400 true 120   83   1800 4600
eca-rers2012/Problem16_label42_true-unreach-call.c true 2 wit inspect 93   46   950 4000 3.4 0      - - true 45    27    530   1400 true 110   71   1200 4600
eca-rers2012/Problem16_label45_true-unreach-call.c true 2 wit inspect 430   360   5300 4700 3.4 0      - - true 45    31    640   2200 true 440   370   5800 4600
eca-rers2012/Problem16_label47_true-unreach-call.c true 2 wit inspect 24   7.2 210 590 3.4 0      - - true 46    27    430   1300 true 31   18   420 790
eca-rers2012/Problem16_label48_true-unreach-call.c true 2 wit inspect 24   7.1 200 590 3.4 0      - - true 35    21    560   1400 true 31   18   310 760
eca-rers2012/Problem16_label49_true-unreach-call.c true 2 wit inspect 25   7.4 200 820 3.4 0      - - true 41    25    520   1400 true 32   18   390 770
eca-rers2012/Problem16_label50_true-unreach-call.c true 2 wit inspect 24   7.4 180 600 3.4 0      - - true 43    25    520   1400 true 35   20   460 790
eca-rers2012/Problem16_label53_true-unreach-call.c timeout 0 wit inspect 900   820   10000 4800 2.3 0      - - error (invalid witness file) .50 .33 14   40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem16_label55_true-unreach-call.c true 2 wit inspect 31   11   280 680 3.4 0      - - true 37    22    520   1400 true 42   25   600 810
eca-rers2012/Problem16_label56_true-unreach-call.c true 2 wit inspect 31   12   260 700 3.4 0      - - true 47    28    590   1300 true 43   26   540 770
eca-rers2012/Problem16_label57_true-unreach-call.c true 2 wit inspect 30   10   280 790 3.4 0      - - true 34    21    570   1400 true 43   25   430 790
eca-rers2012/Problem16_label58_true-unreach-call.c true 2 wit inspect 32   12   310 790 3.4 0      - - true 38    23    650   1300 true 43   26   490 830
eca-rers2012/Problem16_label59_true-unreach-call.c true 2 wit inspect 46   18   450 920 3.4 0      - - true 36    21    780   1400 true 60   37   690 1100
eca-rers2012/Problem17_label00_true-unreach-call.c timeout 0 wit inspect 900   850   11000 2500 2.3 0      - - error (invalid witness file) .65 .41 7.8 39 error (invalid witness file) 6.7 3.5 140 300
eca-rers2012/Problem17_label01_true-unreach-call.c timeout 0 wit inspect 900   860   10000 1800 2.3 0      - - error (invalid witness file) .61 .39 11   42 error (invalid witness file) 7.6 4.0 130 310
eca-rers2012/Problem17_label02_true-unreach-call.c timeout 0 wit inspect 900   860   10000 1900 2.3 0      - - error (invalid witness file) .48 .32 10   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem17_label03_true-unreach-call.c timeout 0 wit inspect 900   850   11000 2000 2.3 0      - - error (invalid witness file) .52 .34 11   39 error (invalid witness file) 6.2 3.3 100 300
eca-rers2012/Problem17_label05_true-unreach-call.c timeout 0 wit inspect 900   840   12000 2600 2.3 0      - - error (invalid witness file) .69 .44 7.7 42 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem17_label06_true-unreach-call.c timeout 0 wit inspect 900   830   11000 4200 2.3 0      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.9 3.6 140 310
eca-rers2012/Problem17_label08_true-unreach-call.c timeout 0 wit inspect 900   880   13000 650 2.3 0      - - error (invalid witness file) .53 .35 11   40 error (invalid witness file) 6.9 3.7 140 300
eca-rers2012/Problem17_label10_true-unreach-call.c timeout 0 wit inspect 900   830   10000 4000 2.3 0      - - error (invalid witness file) .52 .33 8.7 39 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem17_label11_true-unreach-call.c timeout 0 wit inspect 900   860   13000 2100 2.3 0      - - error (invalid witness file) .54 .35 10   40 error (invalid witness file) 6.9 3.6 130 300
eca-rers2012/Problem17_label12_true-unreach-call.c timeout 0 wit inspect 900   880   11000 850 2.3 0      - - error (invalid witness file) .48 .31 6.7 39 error (invalid witness file) 6.8 3.6 140 300
eca-rers2012/Problem17_label14_true-unreach-call.c timeout 0 wit inspect 900   830   9400 4200 2.3 0      - - error (invalid witness file) .69 .43 8.8 40 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem17_label15_true-unreach-call.c timeout 0 wit inspect 900   830   12000 4400 2.3 0      - - error (invalid witness file) .56 .36 11   42 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem17_label17_true-unreach-call.c timeout 0 wit inspect 900   840   10000 2900 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.1 3.2 76 300
eca-rers2012/Problem17_label18_true-unreach-call.c timeout 0 wit inspect 900   840   11000 2200 2.3 0      - - error (invalid witness file) .67 .42 7.9 39 error (invalid witness file) 7.0 3.7 110 310
eca-rers2012/Problem17_label19_true-unreach-call.c timeout 0 wit inspect 900   780   11000 6600 2.3 0      - - error (invalid witness file) .48 .32 13   40 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem17_label21_true-unreach-call.c timeout 0 wit inspect 900   780   12000 6000 2.3 0      - - error (invalid witness file) .56 .35 14   42 error (invalid witness file) 7.4 3.8 98 320
eca-rers2012/Problem17_label22_true-unreach-call.c true 2 wit inspect 810   690   9600 6000 4.0 0      - - out of memory 85    71    2000   7000 true 540   470   6600 6300
eca-rers2012/Problem17_label24_true-unreach-call.c timeout 0 wit inspect 900   880   10000 630 2.3 0      - - error (invalid witness file) .61 .38 8.5 42 error (invalid witness file) 6.9 3.7 110 310
eca-rers2012/Problem17_label27_true-unreach-call.c timeout 0 wit inspect 900   880   11000 830 2.3 0      - - error (invalid witness file) .67 .42 7.8 41 error (invalid witness file) 6.1 3.3 92 290
eca-rers2012/Problem17_label28_true-unreach-call.c timeout 0 wit inspect 900   880   10000 810 2.3 0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem17_label29_true-unreach-call.c timeout 0 wit inspect 900   840   12000 4000 2.3 0      - - error (invalid witness file) .50 .31 13   39 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem17_label32_true-unreach-call.c timeout 0 wit inspect 900   880   10000 670 2.3 0      - - error (invalid witness file) .60 .37 9.1 41 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem17_label36_true-unreach-call.c timeout 0 wit inspect 900   880   11000 650 2.3 0      - - error (invalid witness file) .60 .38 9.8 40 error (invalid witness file) 6.4 3.4 120 310
eca-rers2012/Problem17_label38_true-unreach-call.c timeout 0 wit inspect 900   830   11000 4200 2.3 0      - - error (invalid witness file) .50 .33 11   41 error (invalid witness file) 6.6 3.5 93 300
eca-rers2012/Problem17_label39_true-unreach-call.c timeout 0 wit inspect 900   680   9300 8500 2.3 0      - - error (invalid witness file) .56 .35 11   44 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem17_label41_true-unreach-call.c timeout 0 wit inspect 900   780   9900 6700 2.3 0      - - error (invalid witness file) .57 .36 9.8 40 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem17_label42_true-unreach-call.c true 2 wit inspect 650   560   7600 5900 4.0 0      - - out of memory 94    80    2500   7000 true 380   310   6200 5800
eca-rers2012/Problem17_label43_true-unreach-call.c timeout 0 wit inspect 900   810   10000 5900 2.3 0      - - error (invalid witness file) .55 .35 14   41 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem17_label44_true-unreach-call.c timeout 0 wit inspect 900   890   13000 620 2.3 0      - - error (invalid witness file) .66 .41 11   43 error (invalid witness file) 6.9 3.6 110 300
eca-rers2012/Problem17_label45_true-unreach-call.c timeout 0 wit inspect 900   740   11000 7500 2.3 0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.1 3.2 87 300
eca-rers2012/Problem17_label47_true-unreach-call.c timeout 0 wit inspect 900   850   12000 2600 2.3 0      - - error (invalid witness file) .55 .35 10   40 error (invalid witness file) 6.5 3.4 100 300
eca-rers2012/Problem17_label48_true-unreach-call.c timeout 0 wit inspect 900   880   13000 680 2.3 0      - - error (invalid witness file) .56 .36 8.4 40 error (invalid witness file) 6.6 3.5 140 290
eca-rers2012/Problem17_label51_true-unreach-call.c timeout 0 wit inspect 900   700   9300 7600 2.3 0      - - error (invalid witness file) .62 .40 9.4 40 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem17_label56_true-unreach-call.c timeout 0 wit inspect 900   880   11000 740 2.3 0      - - error (invalid witness file) .65 .42 10   42 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem17_label58_true-unreach-call.c timeout 0 wit inspect 900   820   11000 5300 2.3 0      - - error (invalid witness file) .48 .32 9.9 39 error (invalid witness file) 6.8 3.5 120 310
eca-rers2012/Problem17_label59_true-unreach-call.c timeout 0 wit inspect 900   790   9800 6500 2.3 0      - - error (invalid witness file) .60 .37 8.6 39 error (invalid witness file) 6.7 3.6 140 300
eca-rers2012/Problem18_label02_true-unreach-call.c true 2 wit inspect 130   73   1200 4000 4.5 0      - - true 54    37    1300   2100 true 160   120   1800 4600
eca-rers2012/Problem18_label04_true-unreach-call.c timeout 0 wit inspect 900   800   9800 6000 2.3 0      - - error (invalid witness file) .66 .42 9.5 42 error (invalid witness file) 7.3 3.8 120 300
eca-rers2012/Problem18_label05_true-unreach-call.c true 2 wit inspect 880   750   10000 6200 4.5 0      - - out of memory 160    140    2600   7000 true 640   560   12000 6000
eca-rers2012/Problem18_label07_true-unreach-call.c true 2 wit inspect 190   110   2200 5100 4.5 0      - - true 59    39    1300   2100 true 180   130   1900 5100
eca-rers2012/Problem18_label11_true-unreach-call.c true 2 wit inspect 170   100   1700 4800 4.5 0      - - true 67    46    1100   2200 true 150   100   1700 4300
eca-rers2012/Problem18_label13_true-unreach-call.c true 2 wit inspect 120   64   1300 3200 4.5 0      - - true 62    41    1100   2100 true 120   83   1200 2600
eca-rers2012/Problem18_label14_true-unreach-call.c timeout 0 wit inspect 900   780   13000 7000 2.3 0      - - error (invalid witness file) .56 .37 6.3 40 error (invalid witness file) 8.2 4.3 97 310
eca-rers2012/Problem18_label15_true-unreach-call.c timeout 0 wit inspect 900   810   11000 5700 2.3 0      - - error (invalid witness file) .55 .36 7.1 40 error (invalid witness file) 6.6 3.5 140 300
eca-rers2012/Problem18_label16_true-unreach-call.c true 2 wit inspect 130   67   1200 4400 4.5 0      - - true 66    44    1100   2100 true 120   86   1300 4000
eca-rers2012/Problem18_label17_true-unreach-call.c true 2 wit inspect 130   69   1300 4500 4.5 0      - - true 56    37    1200   2100 true 140   94   1400 4200
eca-rers2012/Problem18_label18_true-unreach-call.c true 2 wit inspect 120   61   1100 3500 4.5 0      - - true 63    43    600   2100 true 110   80   1200 2900
eca-rers2012/Problem18_label21_true-unreach-call.c true 2 wit inspect 50   20   420 1300 4.5 0      - - true 72    49    1100   2100 true 63   40   1000 1100
eca-rers2012/Problem18_label22_true-unreach-call.c true 2 wit inspect 200   130   2300 5200 4.5 0      - - true 61    41    1300   2200 true 200   150   2200 5400
eca-rers2012/Problem18_label23_true-unreach-call.c true 2 wit inspect 170   97   1900 5200 4.5 0      - - true 69    46    920   2200 true 170   120   1600 5200
eca-rers2012/Problem18_label24_true-unreach-call.c timeout 0 wit inspect 900   780   10000 6400 2.3 0      - - error (invalid witness file) .49 .32 12   39 error (invalid witness file) 6.5 3.4 93 300
eca-rers2012/Problem18_label26_true-unreach-call.c timeout 0 wit inspect 900   810   10000 5400 2.3 0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem18_label28_true-unreach-call.c true 2 wit inspect 98   51   930 2700 4.5 0      - - true 59    40    1300   2200 true 100   72   1300 2300
eca-rers2012/Problem18_label29_true-unreach-call.c timeout 0 wit inspect 900   770   10000 6400 2.3 0      - - error (invalid witness file) .62 .40 10   44 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem18_label30_true-unreach-call.c true 2 wit inspect 210   120   2000 5800 4.5 0      - - true 57    38    1300   2100 true 200   140   2000 5700
eca-rers2012/Problem18_label37_true-unreach-call.c timeout 0 wit inspect 900   830   13000 5300 2.3 0      - - error (invalid witness file) .68 .42 9.5 45 error (invalid witness file) 6.5 3.5 120 300
eca-rers2012/Problem18_label40_true-unreach-call.c true 2 wit inspect 260   170   3000 5700 4.5 0      - - true 70    48    990   2100 true 240   180   2700 5600
eca-rers2012/Problem18_label41_true-unreach-call.c true 2 wit inspect 69   28   590 1700 4.5 0      - - true 60    40    1300   2100 true 81   52   830 1700
eca-rers2012/Problem18_label42_true-unreach-call.c true 2 wit inspect 170   98   1800 5000 4.5 0      - - true 59    40    1200   2100 true 170   120   1900 4500
eca-rers2012/Problem18_label43_true-unreach-call.c true 2 wit inspect 64   27   560 1700 4.5 0      - - true 60    41    1100   2100 true 73   47   860 1600
eca-rers2012/Problem18_label44_true-unreach-call.c true 2 wit inspect 130   68   1400 4800 4.5 0      - - true 60    41    1100   2100 true 130   88   1900 4300
eca-rers2012/Problem18_label46_true-unreach-call.c true 2 wit inspect 100   55   1000 3600 4.5 0      - - true 53    35    530   2200 true 92   61   770 2500
eca-rers2012/Problem18_label47_true-unreach-call.c true 2 wit inspect 120   62   1200 3100 4.5 0      - - true 61    41    1200   2200 true 120   81   1500 2600
eca-rers2012/Problem18_label48_true-unreach-call.c true 2 wit inspect 110   53   1100 3600 4.5 0      - - true 70    46    1000   2100 true 92   61   910 2600
eca-rers2012/Problem18_label50_true-unreach-call.c true 2 wit inspect 200   120   2400 5100 4.5 0      - - true 59    41    880   2100 true 210   150   2400 4700
eca-rers2012/Problem18_label51_true-unreach-call.c true 2 wit inspect 73   32   660 1700 4.5 0      - - true 61    41    1300   2100 true 79   52   710 1600
eca-rers2012/Problem18_label53_true-unreach-call.c true 2 wit inspect 81   39   860 2500 4.5 0      - - true 62    41    1400   2200 true 97   64   1600 2500
eca-rers2012/Problem18_label54_true-unreach-call.c true 2 wit inspect 110   58   1200 3900 4.5 0      - - true 55    37    1100   2100 true 120   81   1100 3900
eca-rers2012/Problem18_label56_true-unreach-call.c true 2 wit inspect 81   36   740 2400 4.5 0      - - true 71    48    640   2200 true 86   57   830 2000
eca-rers2012/Problem18_label58_true-unreach-call.c true 2 wit inspect 92   42   910 3000 4.5 0      - - true 73    48    960   2200 true 100   71   940 3200
eca-rers2012/Problem18_label59_true-unreach-call.c true 2 wit inspect 130   72   1600 4100 4.5 0      - - true 72    50    720   2200 true 140   100   1600 3100
eca-rers2012/Problem19_label00_true-unreach-call.c timeout 0 wit inspect 900   370   7300 14000 2.3 0      - - error (invalid witness file) .64 .40 7.6 42 error (invalid witness file) 7.1 3.7 110 310
eca-rers2012/Problem19_label01_true-unreach-call.c timeout 0 wit inspect 900   450   7100 12000 2.3 0      - - error (invalid witness file) .58 .38 9.9 40 error (invalid witness file) 6.6 3.5 100 300
eca-rers2012/Problem19_label02_true-unreach-call.c timeout 0 wit inspect 900   430   7000 11000 2.3 0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 7.4 3.8 150 310
eca-rers2012/Problem19_label03_true-unreach-call.c timeout 0 wit inspect 900   360   6600 14000 2.3 0      - - error (invalid witness file) .62 .39 8.7 40 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem19_label04_true-unreach-call.c timeout 0 wit inspect 900   580   9600 10000 2.3 0      - - error (invalid witness file) .52 .34 13   41 error (invalid witness file) 7.2 3.8 140 300
eca-rers2012/Problem19_label05_true-unreach-call.c timeout 0 wit inspect 900   420   7400 12000 2.3 0      - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem19_label06_true-unreach-call.c timeout 0 wit inspect 900   370   6400 13000 2.3 0      - - error (invalid witness file) .53 .33 8.7 39 error (invalid witness file) 7.3 3.9 140 310
eca-rers2012/Problem19_label07_true-unreach-call.c timeout 0 wit inspect 900   390   6800 13000 2.3 0      - - error (invalid witness file) .57 .37 9.8 39 error (invalid witness file) 7.2 3.8 140 300
eca-rers2012/Problem19_label08_true-unreach-call.c timeout 0 wit inspect 900   450   7700 12000 2.3 0      - - error (invalid witness file) .62 .39 5.7 39 error (invalid witness file) 6.0 3.2 98 290
eca-rers2012/Problem19_label09_true-unreach-call.c timeout 0 wit inspect 900   580   8300 11000 2.3 0      - - error (invalid witness file) .65 .41 6.6 40 error (invalid witness file) 7.7 4.1 120 310
eca-rers2012/Problem19_label12_true-unreach-call.c timeout 0 wit inspect 900   430   7700 13000 2.3 0      - - error (invalid witness file) .65 .42 10   40 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem19_label13_true-unreach-call.c timeout 0 wit inspect 910   420   7900 12000 2.3 0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.4 3.9 130 310
eca-rers2012/Problem19_label15_true-unreach-call.c timeout 0 wit inspect 900   440   7200 11000 2.3 0      - - error (invalid witness file) .51 .32 13   41 error (invalid witness file) 7.1 3.7 140 300
eca-rers2012/Problem19_label16_true-unreach-call.c timeout 0 wit inspect 910   430   7200 13000 2.3 0      - - error (invalid witness file) .47 .32 6.7 39 error (invalid witness file) 7.4 3.9 100 300
eca-rers2012/Problem19_label20_true-unreach-call.c timeout 0 wit inspect 900   380   6000 14000 2.3 0      - - error (invalid witness file) .54 .35 10   39 error (invalid witness file) 7.6 4.0 130 300
eca-rers2012/Problem19_label23_true-unreach-call.c timeout 0 wit inspect 910   430   6700 14000 2.3 0      - - error (invalid witness file) .50 .33 8.8 40 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem19_label24_true-unreach-call.c timeout 0 wit inspect 900   420   7900 13000 2.3 0      - - error (invalid witness file) .47 .31 6.9 39 error (invalid witness file) 7.3 3.8 150 310
eca-rers2012/Problem19_label25_true-unreach-call.c timeout 0 wit inspect 910   390   7600 13000 2.3 0      - - error (invalid witness file) .51 .34 10   40 error (invalid witness file) 7.7 4.0 140 310
eca-rers2012/Problem19_label30_true-unreach-call.c timeout 0 wit inspect 910   380   7300 14000 2.3 0      - - error (invalid witness file) .62 .40 9.3 40 error (invalid witness file) 7.6 3.9 140 300
eca-rers2012/Problem19_label33_true-unreach-call.c timeout 0 wit inspect 900   800   10000 6500 2.3 0      - - error (invalid witness file) .64 .40 8.3 40 error (invalid witness file) 7.2 3.8 150 310
eca-rers2012/Problem19_label34_true-unreach-call.c timeout 0 wit inspect 910   430   6700 12000 2.3 0      - - error (invalid witness file) .49 .31 8.2 40 error (invalid witness file) 7.4 3.9 120 300
eca-rers2012/Problem19_label35_true-unreach-call.c timeout 0 wit inspect 910   380   6100 14000 2.3 0      - - error (invalid witness file) .61 .39 7.1 39 error (invalid witness file) 7.0 3.7 130 300
eca-rers2012/Problem19_label36_true-unreach-call.c timeout 0 wit inspect 900   430   7000 13000 2.3 0      - - error (invalid witness file) .62 .40 8.2 39 error (invalid witness file) 6.6 3.5 94 300
eca-rers2012/Problem19_label37_true-unreach-call.c timeout 0 wit inspect 910   410   8200 12000 2.3 0      - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 7.4 3.9 130 320
eca-rers2012/Problem19_label38_true-unreach-call.c timeout 0 wit inspect 900   800   9700 7100 2.3 53      - - error (invalid witness file) .54 .34 11   41 error (invalid witness file) 6.8 3.6 110 310
eca-rers2012/Problem19_label39_true-unreach-call.c timeout 0 wit inspect 900   420   7100 13000 2.3 0      - - error (invalid witness file) .66 .42 7.8 42 error (invalid witness file) 7.1 3.7 130 290
eca-rers2012/Problem19_label40_true-unreach-call.c timeout 0 wit inspect 900   410   6000 13000 2.3 0      - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 8.2 4.3 140 320
eca-rers2012/Problem19_label44_true-unreach-call.c timeout 0 wit inspect 900   470   7400 13000 2.3 0      - - error (invalid witness file) .62 .41 7.9 40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem19_label45_true-unreach-call.c timeout 0 wit inspect 910   420   7500 12000 2.3 0      - - error (invalid witness file) .63 .41 5.8 39 error (invalid witness file) 6.5 3.5 94 300
eca-rers2012/Problem19_label46_true-unreach-call.c timeout 0 wit inspect 900   400   7900 13000 2.3 0      - - error (invalid witness file) .64 .39 8.0 40 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem19_label48_true-unreach-call.c timeout 0 wit inspect 900   360   6200 13000 2.3 0      - - error (invalid witness file) .49 .32 12   42 error (invalid witness file) 7.5 3.9 150 320
eca-rers2012/Problem19_label49_true-unreach-call.c timeout 0 wit inspect 910   420   7500 13000 2.3 0      - - error (invalid witness file) .68 .43 8.2 43 error (invalid witness file) 7.0 3.7 86 300
eca-rers2012/Problem19_label52_true-unreach-call.c timeout 0 wit inspect 900   410   7500 13000 2.3 0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.3 3.9 140 310
eca-rers2012/Problem19_label54_true-unreach-call.c timeout 0 wit inspect 910   430   8100 12000 2.3 0      - - error (invalid witness file) .62 .39 8.7 40 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem19_label56_true-unreach-call.c timeout 0 wit inspect 900   500   7800 11000 2.3 0      - - error (invalid witness file) .64 .41 7.9 40 error (invalid witness file) 7.6 4.0 120 300
eca-rers2012/Problem19_label57_true-unreach-call.c timeout 0 wit inspect 910   480   8600 13000 2.3 0      - - error (invalid witness file) .55 .34 11   41 error (invalid witness file) 8.1 4.2 130 310
psyco/psyco_abp_1_false-unreach-call.c timeout 0 wit inspect 900   780   12000 4600 2.3 0      error (invalid witness file) .54 .36 12   39 error (invalid witness file) 6.4 3.4 120 300 - -
psyco/psyco_cev_1_false-unreach-call.c false(unreach-call) 1 wit inspect 130   43   890 5500 2.8 0      timeout 98    60    770   6900 false(unreach-call) 83   50   910 5600 - -
psyco/psyco_cev_2_false-unreach-call.c false(unreach-call) 0 wit inspect 180   63   1200 6800 2.8 0      timeout 98    62    780   5400 timeout 97   59   810 6000 - -
psyco/psyco_cev_3_false-unreach-call.c false(unreach-call) 0 wit inspect 210   71   1500 7800 2.8 0      timeout 97    61    1000   5100 timeout 98   58   690 6300 - -
psyco/psyco_net_1_false-unreach-call.c false(unreach-call) 1 wit inspect 110   63   1100 4800 2.6 0      out of memory 87    73    1200   7000 false(unreach-call) 46   26   400 1700 - -
psyco/psyco_accelerometer_1_true-unreach-call.c true 2 wit inspect 16   4.2 120 530 2.5 0      - - unknown 71    53    1400   3700 true 21   11   320 550
psyco/psyco_io_1_true-unreach-call.c true 2 wit inspect 7.9 2.3 68 370 2.5 0      - - unknown 7.1  3.8  120   290 true 11   5.8 180 360
psyco/psyco_math_1_true-unreach-call.c true 2 wit inspect 6.3 2.0 50 320 2.5 0      - - true 5.8  3.1  67   280 true 8.1 4.4 120 320
psyco/psyco_security_true-unreach-call.c true 2 wit inspect 8.1 2.4 69 400 2.5 0      - - unknown 8.6  4.6  76   290 true 11   5.9 200 350
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 1149 861 660000 440000 6800000 7100000 3400 57    1149 4100 2300 44000 150000   1149 6900 3800 92000 300000   1149 32000 27000 580000 760000   1149 46000 34000 630000 980000  
    correct results 489 858 67000 45000 730000 1300000 1700 .89 118 2600 1400 28000 91000   120 3100 1600 38000 99000   323 31000 26000 560000 720000   367 42000 31000 560000 830000  
        correct true 369 738 44000 29000 470000 880000 1300 .16 118 0 0 0 0   0 0 0 0 0   323 31000 26000 560000 720000   367 42000 31000 560000 830000  
        correct false 120 120 24000 17000 260000 410000 410 .73 0 2600 1400 28000 91000   120 3100 1600 38000 99000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 21 3 15000 11000 190000 140000 190 0    15 1200 760 13000 45000   0 1700 1000 18000 96000   0 630 570 11000 21000   0 1900 1600 30000 19000  
        correct-unconfirmed true 3 3 1900 1400 23000 21000 13 0    15 0 0 0 0   0 0 0 0 0   0 630 570 11000 21000   0 1900 1600 30000 19000  
        correct-unconfirmed false 18 0 13000 10000 160000 120000 170 0    0 1200 760 13000 45000   0 1700 1000 18000 96000   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (1149 tasks, max score: 1887) 861
Run set sv-comp17.ReachSafety-ECA