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 - -