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