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