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