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