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