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 timeout 0 wit inspect 880   930   13000 3000 18   0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.0 3.2 53 300 - -
eca-rers2012/Problem17_label16_false-unreach-call.c timeout 0 wit inspect 880   930   13000 3000 18   0      error (invalid witness file) .49 .32 7.9 39 error (invalid witness file) 7.2 3.8 54 330 - -
eca-rers2012/Problem17_label20_false-unreach-call.c timeout 0 wit inspect 880   930   8900 3000 18   0      error (invalid witness file) .53 .33 10   42 error (invalid witness file) 6.1 3.2 110 290 - -
eca-rers2012/Problem17_label23_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      error (invalid witness file) .51 .33 10   41 error (invalid witness file) 6.8 3.6 130 300 - -
eca-rers2012/Problem17_label25_false-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 19   0      error (invalid witness file) .46 .29 3.6 39 error (invalid witness file) 6.3 3.3 89 310 - -
eca-rers2012/Problem17_label26_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      error (invalid witness file) .53 .35 12   42 error (invalid witness file) 6.2 3.3 48 310 - -
eca-rers2012/Problem17_label30_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      error (invalid witness file) .49 .33 4.3 39 error (invalid witness file) 7.6 4.0 100 310 - -
eca-rers2012/Problem17_label31_false-unreach-call.c timeout 0 wit inspect 880   930   9300 3000 18   0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.1 3.2 61 300 - -
eca-rers2012/Problem17_label33_false-unreach-call.c timeout 0 wit inspect 880   930   13000 2900 18   0      error (invalid witness file) .48 .31 7.8 39 error (invalid witness file) 6.2 3.3 71 300 - -
eca-rers2012/Problem17_label34_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   0      error (invalid witness file) .48 .30 8.7 39 error (invalid witness file) 7.4 3.9 110 310 - -
eca-rers2012/Problem17_label35_false-unreach-call.c timeout 0 wit inspect 880   930   11000 2800 18   0      error (invalid witness file) .52 .33 10   39 error (invalid witness file) 6.4 3.4 110 300 - -
eca-rers2012/Problem17_label37_false-unreach-call.c timeout 0 wit inspect 880   930   9700 3000 18   0      error (invalid witness file) .51 .35 6.7 39 error (invalid witness file) 7.1 3.7 72 300 - -
eca-rers2012/Problem17_label40_false-unreach-call.c timeout 0 wit inspect 880   930   9800 3000 18   0      error (invalid witness file) .54 .35 11   43 error (invalid witness file) 7.3 3.8 110 320 - -
eca-rers2012/Problem17_label46_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      error (invalid witness file) .50 .33 6.8 44 error (invalid witness file) 6.9 3.6 110 300 - -
eca-rers2012/Problem17_label49_false-unreach-call.c timeout 0 wit inspect 880   930   9600 3100 18   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.7 3.0 71 290 - -
eca-rers2012/Problem17_label50_false-unreach-call.c timeout 0 wit inspect 880   930   9200 3100 19   0      error (invalid witness file) .53 .36 6.2 41 error (invalid witness file) 6.3 3.4 54 310 - -
eca-rers2012/Problem17_label52_false-unreach-call.c timeout 0 wit inspect 880   930   9900 3000 18   0      error (invalid witness file) .55 .35 11   45 error (invalid witness file) 7.7 4.0 79 300 - -
eca-rers2012/Problem17_label53_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 7.0 3.7 84 310 - -
eca-rers2012/Problem17_label54_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.5 3.5 70 310 - -
eca-rers2012/Problem17_label55_false-unreach-call.c timeout 0 wit inspect 880   930   12000 2800 18   0      error (invalid witness file) .51 .33 9.9 44 error (invalid witness file) 6.5 3.4 68 310 - -
eca-rers2012/Problem17_label57_false-unreach-call.c timeout 0 wit inspect 880   930   13000 3000 18   0      error (invalid witness file) .50 .34 3.7 41 error (invalid witness file) 6.7 3.5 97 310 - -
eca-rers2012/Problem18_label00_false-unreach-call.c timeout 0 wit inspect 880   930   8100 1900 19   0      error (invalid witness file) .48 .33 4.6 40 error (invalid witness file) 6.7 3.5 49 310 - -
eca-rers2012/Problem18_label01_false-unreach-call.c timeout 0 wit inspect 880   930   9400 1700 19   0      error (invalid witness file) .56 .36 6.8 40 error (invalid witness file) 6.5 3.4 89 300 - -
eca-rers2012/Problem18_label03_false-unreach-call.c timeout 0 wit inspect 880   930   9200 1600 19   0      error (invalid witness file) .51 .34 12   41 error (invalid witness file) 5.9 3.2 80 290 - -
eca-rers2012/Problem18_label06_false-unreach-call.c timeout 0 wit inspect 880   930   9800 2000 20   0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.9 3.6 75 310 - -
eca-rers2012/Problem18_label08_false-unreach-call.c timeout 0 wit inspect 880   930   8400 2000 20   0      error (invalid witness file) .52 .34 3.8 39 error (invalid witness file) 8.2 4.3 66 300 - -
eca-rers2012/Problem18_label09_false-unreach-call.c timeout 0 wit inspect 880   930   9600 1900 19   0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.2 3.8 67 300 - -
eca-rers2012/Problem18_label10_false-unreach-call.c timeout 0 wit inspect 880   930   9500 1800 20   0      error (invalid witness file) .53 .34 12   42 error (invalid witness file) 7.8 4.1 66 310 - -
eca-rers2012/Problem18_label12_false-unreach-call.c timeout 0 wit inspect 880   930   12000 1900 19   0      error (invalid witness file) .66 .42 7.6 42 error (invalid witness file) 7.1 3.7 110 300 - -
eca-rers2012/Problem18_label19_false-unreach-call.c timeout 0 wit inspect 880   930   12000 1800 19   0      error (invalid witness file) .57 .36 13   44 error (invalid witness file) 6.2 3.3 97 300 - -
eca-rers2012/Problem18_label20_false-unreach-call.c timeout 0 wit inspect 880   930   9100 1800 19   0      error (invalid witness file) .53 .35 6.7 42 error (invalid witness file) 8.9 4.6 73 300 - -
eca-rers2012/Problem18_label25_false-unreach-call.c timeout 0 wit inspect 880   930   12000 1800 20   0      error (invalid witness file) .48 .31 10   39 error (invalid witness file) 5.9 3.2 50 300 - -
eca-rers2012/Problem18_label27_false-unreach-call.c timeout 0 wit inspect 880   930   11000 1900 20   0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.3 3.3 82 300 - -
eca-rers2012/Problem18_label31_false-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   0      error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.5 3.4 110 310 - -
eca-rers2012/Problem18_label32_false-unreach-call.c timeout 0 wit inspect 880   930   13000 1800 19   0      error (invalid witness file) .51 .33 10   39 error (invalid witness file) 6.2 3.3 130 300 - -
eca-rers2012/Problem18_label33_false-unreach-call.c timeout 0 wit inspect 880   930   9400 1900 19   0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 8.4 4.3 110 310 - -
eca-rers2012/Problem18_label34_false-unreach-call.c timeout 0 wit inspect 880   930   8400 1900 19   0      error (invalid witness file) .53 .35 12   41 error (invalid witness file) 6.2 3.3 78 300 - -
eca-rers2012/Problem18_label35_false-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   0      error (invalid witness file) .50 .33 4.6 39 error (invalid witness file) 6.2 3.2 52 300 - -
eca-rers2012/Problem18_label36_false-unreach-call.c timeout 0 wit inspect 880   930   9800 1800 20   0      error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.2 3.3 82 300 - -
eca-rers2012/Problem18_label38_false-unreach-call.c timeout 0 wit inspect 880   930   11000 1600 19   0      error (invalid witness file) .53 .35 9.2 41 error (invalid witness file) 7.0 3.7 89 320 - -
eca-rers2012/Problem18_label39_false-unreach-call.c timeout 0 wit inspect 880   930   8100 2000 20   0      error (invalid witness file) .53 .35 4.5 40 error (invalid witness file) 7.7 4.1 86 290 - -
eca-rers2012/Problem18_label45_false-unreach-call.c timeout 0 wit inspect 880   930   10000 2000 19   0      error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.6 3.4 110 300 - -
eca-rers2012/Problem18_label49_false-unreach-call.c timeout 0 wit inspect 880   930   9800 1900 23   0      error (invalid witness file) .47 .31 6.6 40 error (invalid witness file) 8.3 4.3 54 310 - -
eca-rers2012/Problem18_label52_false-unreach-call.c timeout 0 wit inspect 880   930   9500 2000 20   0      error (invalid witness file) .51 .32 9.2 40 error (invalid witness file) 8.4 4.4 65 300 - -
eca-rers2012/Problem18_label55_false-unreach-call.c timeout 0 wit inspect 880   930   10000 1800 20   0      error (invalid witness file) .53 .35 13   40 error (invalid witness file) 7.8 4.2 79 300 - -
eca-rers2012/Problem18_label57_false-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   0      error (invalid witness file) .63 .40 8.3 44 error (invalid witness file) 8.3 4.3 72 300 - -
eca-rers2012/Problem19_label10_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      error (invalid witness file) .52 .33 10   39 error (invalid witness file) 8.7 4.5 92 310 - -
eca-rers2012/Problem19_label11_false-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 52   0      error (invalid witness file) .50 .33 10   40 error (invalid witness file) 7.6 4.0 94 300 - -
eca-rers2012/Problem19_label14_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      error (invalid witness file) .51 .34 3.9 42 error (invalid witness file) 7.0 3.7 130 300 - -
eca-rers2012/Problem19_label17_false-unreach-call.c timeout 0 wit inspect 880   930   9900 3000 52   0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 7.7 4.0 62 320 - -
eca-rers2012/Problem19_label18_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 52   0      error (invalid witness file) .60 .39 5.9 41 error (invalid witness file) 7.0 3.7 100 310 - -
eca-rers2012/Problem19_label19_false-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 62   0      error (invalid witness file) .51 .33 14   40 error (invalid witness file) 7.2 3.8 120 310 - -
eca-rers2012/Problem19_label21_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 52   .0041 error (invalid witness file) .52 .34 11   39 error (invalid witness file) 7.1 3.7 100 300 - -
eca-rers2012/Problem19_label22_false-unreach-call.c timeout 0 wit inspect 880   930   9100 3400 52   0      error (invalid witness file) .60 .40 5.9 44 error (invalid witness file) 8.3 4.3 91 300 - -
eca-rers2012/Problem19_label26_false-unreach-call.c timeout 0 wit inspect 880   930   9600 3200 52   0      error (invalid witness file) .48 .32 9.2 39 error (invalid witness file) 8.2 4.3 73 320 - -
eca-rers2012/Problem19_label27_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3300 52   0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 6.8 3.6 75 300 - -
eca-rers2012/Problem19_label28_false-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 52   16      error (invalid witness file) .48 .31 9.1 39 error (invalid witness file) 8.2 4.3 85 300 - -
eca-rers2012/Problem19_label29_false-unreach-call.c timeout 0 wit inspect 880   930   9900 3400 52   0      error (invalid witness file) .52 .34 12   42 error (invalid witness file) 8.1 4.2 110 300 - -
eca-rers2012/Problem19_label31_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3300 52   16      error (invalid witness file) .55 .34 14   41 error (invalid witness file) 7.4 3.9 110 300 - -
eca-rers2012/Problem19_label32_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 52   0      error (invalid witness file) .48 .32 12   39 error (invalid witness file) 8.9 4.7 65 310 - -
eca-rers2012/Problem19_label41_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3200 52   0      error (invalid witness file) .54 .34 13   40 error (invalid witness file) 7.1 3.7 140 310 - -
eca-rers2012/Problem19_label42_false-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 52   .0041 error (invalid witness file) .48 .31 6.8 41 error (invalid witness file) 9.9 5.1 80 330 - -
eca-rers2012/Problem19_label43_false-unreach-call.c timeout 0 wit inspect 880   930   12000 3300 52   0      error (invalid witness file) .52 .34 10   41 error (invalid witness file) 6.2 3.3 75 300 - -
eca-rers2012/Problem19_label47_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      error (invalid witness file) .56 .37 4.3 44 error (invalid witness file) 7.2 3.8 120 310 - -
eca-rers2012/Problem19_label50_false-unreach-call.c timeout 0 wit inspect 880   930   9200 3200 52   0      error (invalid witness file) .57 .37 10   43 error (invalid witness file) 7.5 4.0 85 300 - -
eca-rers2012/Problem19_label51_false-unreach-call.c timeout 0 wit inspect 880   930   13000 3000 52   0      error (invalid witness file) .48 .31 11   39 error (invalid witness file) 6.6 3.5 52 310 - -
eca-rers2012/Problem19_label53_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.6 3.4 46 300 - -
eca-rers2012/Problem19_label55_false-unreach-call.c timeout 0 wit inspect 880   930   9900 3000 52   0      error (invalid witness file) .51 .31 7.2 40 error (invalid witness file) 7.4 3.8 50 310 - -
eca-rers2012/Problem19_label58_false-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      error (invalid witness file) .54 .34 11   43 error (invalid witness file) 6.9 3.6 60 310 - -
eca-rers2012/Problem19_label59_false-unreach-call.c timeout 0 wit inspect 880   930   13000 3000 52   0      error (invalid witness file) .51 .35 6.2 40 error (invalid witness file) 6.2 3.3 91 290 - -
eca-rers2012/Problem01_label00_true-unreach-call.c true 2 wit inspect 880   880   7100 790 4.4 0      - - true 19    10    340   610 true 42   24   720 760
eca-rers2012/Problem01_label01_true-unreach-call.c true 2 wit inspect 880   880   10000 790 4.4 0      - - true 19    9.9  380   560 true 29   16   460 630
eca-rers2012/Problem01_label02_true-unreach-call.c true 2 wit inspect 880   880   7200 790 4.5 0      - - true 21    11    330   590 true 45   24   470 670
eca-rers2012/Problem01_label03_true-unreach-call.c true 2 wit inspect 880   880   8800 800 4.4 0      - - true 22    11    280   590 true 50   29   580 760
eca-rers2012/Problem01_label04_true-unreach-call.c true 2 wit inspect 880   880   7300 770 4.4 0      - - true 20    10    340   570 true 28   15   390 620
eca-rers2012/Problem01_label05_true-unreach-call.c true 2 wit inspect 880   880   8000 790 4.4 0      - - true 20    10    380   570 true 46   26   710 800
eca-rers2012/Problem01_label06_true-unreach-call.c true 2 wit inspect 880   880   8400 790 4.6 0      - - true 19    9.9  360   570 true 42   24   590 740
eca-rers2012/Problem01_label07_true-unreach-call.c true 2 wit inspect 880   880   7400 810 4.4 0      - - true 21    11    260   550 true 33   18   360 590
eca-rers2012/Problem01_label08_true-unreach-call.c true 2 wit inspect 880   880   7700 810 4.4 0      - - true 21    11    300   570 true 48   27   800 820
eca-rers2012/Problem01_label09_true-unreach-call.c true 2 wit inspect 880   880   7400 790 4.4 0      - - true 19    10    350   580 true 43   24   920 730
eca-rers2012/Problem01_label10_true-unreach-call.c true 2 wit inspect 880   880   7700 790 4.7 0      - - true 20    11    300   600 true 31   17   370 620
eca-rers2012/Problem01_label11_true-unreach-call.c true 2 wit inspect 880   880   7900 790 4.4 0      - - true 19    9.8  340   580 true 45   25   460 710
eca-rers2012/Problem01_label12_true-unreach-call.c true 2 wit inspect 880   880   7800 800 4.4 0      - - true 21    11    330   560 true 23   13   320 500
eca-rers2012/Problem01_label13_true-unreach-call.c true 2 wit inspect 880   880   9800 780 4.4 0      - - true 24    12    260   570 true 24   13   430 550
eca-rers2012/Problem01_label14_true-unreach-call.c true 2 wit inspect 880   880   6600 790 4.4 0      - - true 19    9.7  370   690 true 45   25   1000 800
eca-rers2012/Problem01_label16_true-unreach-call.c true 2 wit inspect 880   880   6700 810 4.4 16      - - true 24    12    260   560 true 27   14   350 550
eca-rers2012/Problem01_label17_true-unreach-call.c true 2 wit inspect 880   880   7200 790 4.4 0      - - true 24    13    240   560 true 46   25   520 660
eca-rers2012/Problem01_label18_true-unreach-call.c true 2 wit inspect 880   880   7200 780 4.5 0      - - true 19    9.7  330   580 true 36   20   440 660
eca-rers2012/Problem01_label19_true-unreach-call.c true 2 wit inspect 880   880   7800 790 4.4 0      - - true 19    10    320   570 true 26   14   290 550
eca-rers2012/Problem01_label22_true-unreach-call.c true 2 wit inspect 880   880   7200 790 4.4 0      - - true 24    12    250   580 true 25   14   490 690
eca-rers2012/Problem01_label23_true-unreach-call.c true 2 wit inspect 880   880   8100 790 4.4 .34   - - true 19    9.9  320   580 true 38   21   550 700
eca-rers2012/Problem01_label24_true-unreach-call.c true 2 wit inspect 880   880   9100 790 4.4 0      - - true 19    9.9  330   570 true 38   21   570 680
eca-rers2012/Problem01_label25_true-unreach-call.c true 2 wit inspect 880   880   9900 800 4.4 0      - - true 20    10    310   570 true 33   18   480 540
eca-rers2012/Problem01_label26_true-unreach-call.c true 2 wit inspect 880   880   7400 790 4.4 0      - - true 21    11    330   580 true 40   22   770 630
eca-rers2012/Problem01_label27_true-unreach-call.c true 2 wit inspect 880   880   7800 780 4.4 0      - - true 19    10    360   560 true 35   19   670 680
eca-rers2012/Problem01_label28_true-unreach-call.c true 2 wit inspect 880   880   7800 790 4.4 0      - - true 22    12    290   560 true 35   19   400 570
eca-rers2012/Problem01_label29_true-unreach-call.c true 2 wit inspect 880   880   10000 800 4.4 0      - - true 22    11    250   600 true 41   23   870 740
eca-rers2012/Problem01_label30_true-unreach-call.c true 2 wit inspect 880   880   8600 780 4.4 0      - - true 23    12    250   560 true 40   22   490 660
eca-rers2012/Problem01_label31_true-unreach-call.c true 2 wit inspect 880   880   8000 780 4.4 0      - - true 19    9.9  330   560 true 48   27   660 900
eca-rers2012/Problem01_label34_true-unreach-call.c true 2 wit inspect 880   880   9200 780 4.4 0      - - true 23    12    260   570 true 50   28   940 850
eca-rers2012/Problem01_label36_true-unreach-call.c true 2 wit inspect 880   880   7300 790 4.4 0      - - true 23    12    270   540 true 47   27   330 760
eca-rers2012/Problem01_label39_true-unreach-call.c true 2 wit inspect 880   880   7600 790 4.4 0      - - true 20    10    380   570 true 52   29   560 760
eca-rers2012/Problem01_label40_true-unreach-call.c true 2 wit inspect 880   880   6500 770 4.4 0      - - true 20    10    390   560 true 25   14   330 580
eca-rers2012/Problem01_label41_true-unreach-call.c true 2 wit inspect 880   880   9000 800 4.6 0      - - true 22    12    250   560 true 33   18   520 710
eca-rers2012/Problem01_label42_true-unreach-call.c true 2 wit inspect 880   880   7100 780 5.5 0      - - true 20    10    340   590 true 48   27   780 770
eca-rers2012/Problem01_label43_true-unreach-call.c true 2 wit inspect 880   880   9300 800 4.4 0      - - true 20    10    310   600 true 34   18   370 640
eca-rers2012/Problem01_label45_true-unreach-call.c true 2 wit inspect 880   880   8300 800 4.5 0      - - true 18    9.5  310   590 true 41   23   620 710
eca-rers2012/Problem01_label46_true-unreach-call.c true 2 wit inspect 880   880   9100 790 4.4 0      - - true 21    11    330   580 true 31   17   390 620
eca-rers2012/Problem01_label48_true-unreach-call.c true 2 wit inspect 880   880   7800 790 4.4 0      - - true 20    10    380   590 true 39   21   460 560
eca-rers2012/Problem01_label49_true-unreach-call.c true 2 wit inspect 880   880   7500 800 4.4 .21   - - true 23    12    200   570 true 26   14   450 570
eca-rers2012/Problem01_label51_true-unreach-call.c true 2 wit inspect 880   880   7600 800 4.4 0      - - true 25    13    270   570 true 36   19   490 680
eca-rers2012/Problem01_label52_true-unreach-call.c true 2 wit inspect 880   880   7600 780 4.6 0      - - true 20    10    380   570 true 31   17   300 550
eca-rers2012/Problem01_label53_true-unreach-call.c true 2 wit inspect 880   880   8900 800 4.6 0      - - true 19    9.8  360   590 true 37   20   750 680
eca-rers2012/Problem01_label54_true-unreach-call.c true 2 wit inspect 880   880   7800 780 4.4 0      - - true 20    10    370   550 true 41   22   540 740
eca-rers2012/Problem01_label55_true-unreach-call.c true 2 wit inspect 880   880   7800 780 4.4 0      - - true 25    13    250   570 true 27   15   410 580
eca-rers2012/Problem01_label58_true-unreach-call.c true 2 wit inspect 880   880   6900 800 4.4 0      - - true 21    11    320   590 true 21   11   400 510
eca-rers2012/Problem01_label59_true-unreach-call.c true 2 wit inspect 880   880   9900 790 4.4 0      - - true 18    9.6  340   580 true 41   23   400 690
eca-rers2012/Problem02_label00_true-unreach-call.c true 2 wit inspect 880   880   9400 750 4.1 .0082 - - true 19    9.8  290   590 true 40   22   680 710
eca-rers2012/Problem02_label01_true-unreach-call.c true 2 wit inspect 880   880   7100 730 4.1 .13   - - true 19    9.8  330   600 true 30   16   540 660
eca-rers2012/Problem02_label02_true-unreach-call.c true 2 wit inspect 880   880   9100 740 4.1 0      - - true 22    12    280   590 true 42   23   690 700
eca-rers2012/Problem02_label03_true-unreach-call.c true 2 wit inspect 880   880   8900 730 4.1 0      - - true 24    13    200   550 true 30   16   520 630
eca-rers2012/Problem02_label04_true-unreach-call.c true 2 wit inspect 880   880   7900 750 4.2 0      - - true 20    10    280   580 true 47   26   520 740
eca-rers2012/Problem02_label05_true-unreach-call.c true 2 wit inspect 880   880   11000 750 4.1 0      - - true 21    11    270   540 true 37   20   430 640
eca-rers2012/Problem02_label06_true-unreach-call.c true 2 wit inspect 880   880   7500 750 4.1 0      - - true 27    14    280   610 true 57   32   660 870
eca-rers2012/Problem02_label07_true-unreach-call.c true 2 wit inspect 880   880   8200 730 4.1 0      - - true 19    9.8  330   590 true 33   18   320 650
eca-rers2012/Problem02_label08_true-unreach-call.c true 2 wit inspect 880   880   8200 700 4.1 0      - - true 23    12    300   610 true 30   16   540 600
eca-rers2012/Problem02_label09_true-unreach-call.c true 2 wit inspect 880   880   8000 730 4.1 0      - - true 22    11    290   590 true 37   21   330 710
eca-rers2012/Problem02_label10_true-unreach-call.c true 2 wit inspect 880   880   8100 740 4.1 0      - - true 19    10    230   580 true 39   22   590 730
eca-rers2012/Problem02_label11_true-unreach-call.c true 2 wit inspect 880   880   7800 720 4.3 0      - - true 19    9.7  240   580 true 51   28   500 750
eca-rers2012/Problem02_label12_true-unreach-call.c true 2 wit inspect 880   880   7700 710 4.1 .0041 - - true 21    11    350   590 true 37   21   750 570
eca-rers2012/Problem02_label14_true-unreach-call.c true 2 wit inspect 880   880   7200 700 4.4 0      - - true 23    12    230   540 true 36   20   820 700
eca-rers2012/Problem02_label15_true-unreach-call.c true 2 wit inspect 880   880   8100 730 4.1 0      - - true 22    11    290   560 true 37   20   570 570
eca-rers2012/Problem02_label17_true-unreach-call.c true 2 wit inspect 880   880   7900 740 4.1 0      - - true 19    9.7  340   600 true 37   20   330 660
eca-rers2012/Problem02_label18_true-unreach-call.c true 2 wit inspect 880   880   7900 740 4.1 0      - - true 19    10    270   580 true 29   16   500 640
eca-rers2012/Problem02_label19_true-unreach-call.c true 2 wit inspect 880   880   8600 740 4.1 0      - - true 19    10    380   590 true 32   18   570 660
eca-rers2012/Problem02_label20_true-unreach-call.c true 2 wit inspect 880   880   7800 730 4.1 0      - - true 23    12    240   550 true 36   20   660 750
eca-rers2012/Problem02_label21_true-unreach-call.c true 2 wit inspect 880   880   8100 740 4.1 0      - - true 19    10    360   580 true 36   19   530 650
eca-rers2012/Problem02_label22_true-unreach-call.c true 2 wit inspect 880   880   7400 710 4.2 0      - - true 25    13    260   600 true 43   24   480 690
eca-rers2012/Problem02_label23_true-unreach-call.c true 2 wit inspect 880   880   7600 730 4.1 0      - - true 22    11    210   570 true 39   21   380 680
eca-rers2012/Problem02_label24_true-unreach-call.c true 2 wit inspect 880   880   11000 740 4.1 0      - - true 24    13    210   560 true 41   23   540 720
eca-rers2012/Problem02_label25_true-unreach-call.c true 2 wit inspect 880   880   8400 750 4.1 0      - - true 19    9.8  300   580 true 35   19   430 670
eca-rers2012/Problem02_label26_true-unreach-call.c true 2 wit inspect 880   880   7400 740 4.1 0      - - true 19    10    360   580 true 49   26   860 760
eca-rers2012/Problem02_label27_true-unreach-call.c true 2 wit inspect 880   880   8800 740 4.1 0      - - true 26    14    270   610 true 29   16   560 610
eca-rers2012/Problem02_label28_true-unreach-call.c true 2 wit inspect 880   880   8000 730 4.1 0      - - true 19    9.7  290   570 true 36   20   440 640
eca-rers2012/Problem02_label29_true-unreach-call.c true 2 wit inspect 880   880   7300 700 4.1 0      - - true 19    9.8  310   550 true 37   20   460 710
eca-rers2012/Problem02_label30_true-unreach-call.c true 2 wit inspect 880   880   7800 750 4.1 0      - - true 19    9.9  370   600 true 44   24   830 740
eca-rers2012/Problem02_label31_true-unreach-call.c true 2 wit inspect 880   880   8600 740 4.1 0      - - true 19    10    380   580 true 34   19   620 700
eca-rers2012/Problem02_label32_true-unreach-call.c true 2 wit inspect 880   880   7200 720 4.1 0      - - true 18    9.2  180   600 true 52   28   560 740
eca-rers2012/Problem02_label33_true-unreach-call.c true 2 wit inspect 880   880   9700 730 4.1 0      - - true 21    11    270   580 true 38   21   720 750
eca-rers2012/Problem02_label34_true-unreach-call.c true 2 wit inspect 880   880   9300 710 4.1 0      - - true 23    12    210   620 true 38   21   560 850
eca-rers2012/Problem02_label35_true-unreach-call.c true 2 wit inspect 880   880   8800 720 4.1 0      - - true 22    12    240   560 true 42   23   580 720
eca-rers2012/Problem02_label36_true-unreach-call.c true 2 wit inspect 880   880   8200 740 4.2 0      - - true 19    9.8  350   620 true 40   22   490 650
eca-rers2012/Problem02_label37_true-unreach-call.c true 2 wit inspect 880   880   8000 710 4.1 0      - - true 19    9.8  330   580 true 37   20   420 640
eca-rers2012/Problem02_label38_true-unreach-call.c true 2 wit inspect 880   880   8000 700 4.1 0      - - true 19    10    340   590 true 33   18   390 630
eca-rers2012/Problem02_label39_true-unreach-call.c true 2 wit inspect 880   880   8500 710 4.1 0      - - true 19    10    350   580 true 45   26   890 890
eca-rers2012/Problem02_label40_true-unreach-call.c true 2 wit inspect 880   880   8400 710 4.5 0      - - true 24    12    280   470 true 50   29   650 830
eca-rers2012/Problem02_label41_true-unreach-call.c true 2 wit inspect 880   880   8900 730 4.2 0      - - true 25    13    290   610 true 40   22   470 740
eca-rers2012/Problem02_label42_true-unreach-call.c true 2 wit inspect 880   880   7500 700 4.3 0      - - true 18    9.3  380   580 true 41   22   620 740
eca-rers2012/Problem02_label46_true-unreach-call.c true 2 wit inspect 880   880   7800 750 4.1 0      - - true 20    10    390   570 true 33   18   530 630
eca-rers2012/Problem02_label47_true-unreach-call.c true 2 wit inspect 880   880   8500 730 4.1 0      - - true 21    11    300   560 true 24   13   390 550
eca-rers2012/Problem02_label48_true-unreach-call.c true 2 wit inspect 880   880   11000 740 4.1 0      - - true 19    10    350   590 true 24   13   430 560
eca-rers2012/Problem02_label49_true-unreach-call.c true 2 wit inspect 880   880   8200 730 4.1 0      - - true 19    9.7  340   550 true 60   33   500 760
eca-rers2012/Problem02_label51_true-unreach-call.c true 2 wit inspect 880   880   9400 730 4.1 .34   - - true 19    10    290   610 true 35   19   660 660
eca-rers2012/Problem02_label52_true-unreach-call.c true 2 wit inspect 880   880   8700 730 4.1 0      - - true 20    10    310   570 true 43   23   470 690
eca-rers2012/Problem02_label53_true-unreach-call.c true 2 wit inspect 880   880   9600 740 4.1 0      - - true 20    11    300   610 true 45   25   760 760
eca-rers2012/Problem02_label54_true-unreach-call.c true 2 wit inspect 880   880   8300 740 4.2 0      - - true 18    9.4  310   570 true 33   19   490 670
eca-rers2012/Problem02_label55_true-unreach-call.c true 2 wit inspect 880   880   8100 730 4.1 0      - - true 19    10    330   580 true 37   21   590 740
eca-rers2012/Problem02_label56_true-unreach-call.c true 2 wit inspect 880   880   11000 750 4.1 0      - - true 19    9.9  330   600 true 45   25   510 740
eca-rers2012/Problem02_label57_true-unreach-call.c true 2 wit inspect 880   880   7800 740 4.1 0      - - true 21    11    290   550 true 19   11   250 510
eca-rers2012/Problem02_label58_true-unreach-call.c true 2 wit inspect 880   880   8300 730 4.1 0      - - true 24    12    260   570 true 18   9.9 270 530
eca-rers2012/Problem03_label00_true-unreach-call.c timeout 0 wit inspect 880   930   8700 3600 11   0      - - error (invalid witness file) .65 .40 7.7 40 error (invalid witness file) 8.3 4.3 100 300
eca-rers2012/Problem03_label01_true-unreach-call.c timeout 0 wit inspect 880   930   7900 3600 11   0      - - error (invalid witness file) .59 .40 9.1 40 error (invalid witness file) 8.0 4.2 110 300
eca-rers2012/Problem03_label02_true-unreach-call.c timeout 0 wit inspect 880   930   6200 3500 11   .0041 - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.5 3.9 130 310
eca-rers2012/Problem03_label03_true-unreach-call.c timeout 0 wit inspect 880   930   6800 3600 12   .21   - - error (invalid witness file) .71 .45 7.6 42 error (invalid witness file) 6.9 3.6 89 310
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 0 wit inspect 880   930   6900 3600 12   0      - - error (invalid witness file) .56 .37 11   39 error (invalid witness file) 6.2 3.3 90 300
eca-rers2012/Problem03_label05_true-unreach-call.c timeout 0 wit inspect 880   930   6400 3600 11   0      - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 6.0 3.2 130 290
eca-rers2012/Problem03_label06_true-unreach-call.c timeout 0 wit inspect 880   930   6100 3600 11   0      - - error (invalid witness file) .53 .35 6.2 39 error (invalid witness file) 6.4 3.4 99 300
eca-rers2012/Problem03_label07_true-unreach-call.c timeout 0 wit inspect 880   930   7500 3600 11   0      - - error (invalid witness file) .52 .36 3.8 41 error (invalid witness file) 8.3 4.4 75 300
eca-rers2012/Problem03_label08_true-unreach-call.c timeout 0 wit inspect 880   930   7900 3600 11   0      - - error (invalid witness file) .62 .39 9.4 40 error (invalid witness file) 7.0 3.7 140 310
eca-rers2012/Problem03_label10_true-unreach-call.c timeout 0 wit inspect 880   930   7300 3600 11   0      - - error (invalid witness file) .50 .31 5.2 41 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 0 wit inspect 880   930   9000 3600 11   16      - - error (invalid witness file) .69 .44 8.5 40 error (invalid witness file) 7.5 3.9 110 290
eca-rers2012/Problem03_label12_true-unreach-call.c timeout 0 wit inspect 880   930   6800 3600 11   0      - - error (invalid witness file) .55 .34 11   39 error (invalid witness file) 8.4 4.4 83 300
eca-rers2012/Problem03_label14_true-unreach-call.c timeout 0 wit inspect 880   930   6300 3600 11   0      - - error (invalid witness file) .62 .40 7.8 41 error (invalid witness file) 6.9 3.6 130 300
eca-rers2012/Problem03_label15_true-unreach-call.c timeout 0 wit inspect 880   930   9200 3600 11   16      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 8.2 4.3 79 300
eca-rers2012/Problem03_label16_true-unreach-call.c timeout 0 wit inspect 880   930   6300 3600 11   0      - - error (invalid witness file) .50 .33 9.0 39 error (invalid witness file) 6.7 3.5 91 300
eca-rers2012/Problem03_label17_true-unreach-call.c timeout 0 wit inspect 880   930   7700 3600 11   0      - - error (invalid witness file) .64 .41 7.6 39 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem03_label18_true-unreach-call.c timeout 0 wit inspect 880   930   7600 3600 12   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.0 4.2 81 300
eca-rers2012/Problem03_label19_true-unreach-call.c timeout 0 wit inspect 880   930   6900 3600 11   0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem03_label20_true-unreach-call.c timeout 0 wit inspect 880   930   7200 3600 11   0      - - error (invalid witness file) .61 .38 9.9 40 error (invalid witness file) 6.4 3.4 71 310
eca-rers2012/Problem03_label21_true-unreach-call.c timeout 0 wit inspect 880   930   6600 3600 11   0      - - error (invalid witness file) .48 .31 9.6 39 error (invalid witness file) 7.6 4.0 95 300
eca-rers2012/Problem03_label22_true-unreach-call.c timeout 0 wit inspect 880   930   6600 3500 11   0      - - error (invalid witness file) .50 .32 9.1 43 error (invalid witness file) 7.7 4.1 100 300
eca-rers2012/Problem03_label23_true-unreach-call.c timeout 0 wit inspect 880   930   8700 3700 11   0      - - error (invalid witness file) .60 .39 8.1 44 error (invalid witness file) 6.8 3.5 130 300
eca-rers2012/Problem03_label24_true-unreach-call.c timeout 0 wit inspect 880   930   8700 3600 12   0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.7 3.5 100 310
eca-rers2012/Problem03_label25_true-unreach-call.c timeout 0 wit inspect 880   930   7200 3600 11   0      - - error (invalid witness file) .56 .36 12   40 error (invalid witness file) 7.2 3.8 130 310
eca-rers2012/Problem03_label29_true-unreach-call.c timeout 0 wit inspect 880   930   5700 3600 11   0      - - error (invalid witness file) .53 .34 13   42 error (invalid witness file) 7.8 4.1 92 310
eca-rers2012/Problem03_label30_true-unreach-call.c timeout 0 wit inspect 880   930   5800 3500 11   0      - - error (invalid witness file) .69 .44 7.7 42 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem03_label32_true-unreach-call.c timeout 0 wit inspect 880   930   6500 3700 11   16      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 9.2 4.7 87 310
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 0 wit inspect 880   930   7300 3600 11   0      - - error (invalid witness file) .56 .36 9.6 40 error (invalid witness file) 8.5 4.4 95 310
eca-rers2012/Problem03_label34_true-unreach-call.c timeout 0 wit inspect 880   930   7300 3500 11   0      - - error (invalid witness file) .49 .31 8.9 39 error (invalid witness file) 6.0 3.2 83 300
eca-rers2012/Problem03_label36_true-unreach-call.c timeout 0 wit inspect 880   930   6300 3600 11   .21   - - error (invalid witness file) .57 .36 14   44 error (invalid witness file) 8.1 4.2 86 300
eca-rers2012/Problem03_label38_true-unreach-call.c timeout 0 wit inspect 880   930   7100 3600 11   0      - - error (invalid witness file) .57 .36 7.4 41 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem03_label40_true-unreach-call.c timeout 0 wit inspect 880   930   6100 3700 11   0      - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 0 wit inspect 880   930   8500 3500 11   0      - - error (invalid witness file) .53 .34 8.5 40 error (invalid witness file) 6.7 3.6 100 290
eca-rers2012/Problem03_label42_true-unreach-call.c timeout 0 wit inspect 880   930   6800 3600 11   0      - - error (invalid witness file) .59 .38 7.9 40 error (invalid witness file) 7.4 3.9 83 290
eca-rers2012/Problem03_label44_true-unreach-call.c timeout 0 wit inspect 880   930   8900 3600 11   0      - - error (invalid witness file) .51 .32 9.9 40 error (invalid witness file) 7.4 3.9 96 290
eca-rers2012/Problem03_label46_true-unreach-call.c timeout 0 wit inspect 880   930   6400 3500 11   0      - - error (invalid witness file) .55 .36 14   42 error (invalid witness file) 8.1 4.2 68 300
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 0 wit inspect 880   930   7700 3600 11   0      - - error (invalid witness file) .63 .41 8.4 40 error (invalid witness file) 6.5 3.4 89 290
eca-rers2012/Problem03_label48_true-unreach-call.c timeout 0 wit inspect 880   930   7800 3900 11   0      - - error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 6.1 3.2 110 290
eca-rers2012/Problem03_label49_true-unreach-call.c timeout 0 wit inspect 880   930   5700 3600 11   16      - - error (invalid witness file) .61 .38 9.5 39 error (invalid witness file) 7.9 4.1 94 310
eca-rers2012/Problem03_label51_true-unreach-call.c timeout 0 wit inspect 880   930   7400 3600 11   0      - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 7.5 3.9 89 290
eca-rers2012/Problem03_label53_true-unreach-call.c timeout 0 wit inspect 880   930   6700 3600 11   0      - - error (invalid witness file) .55 .36 9.2 40 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem03_label54_true-unreach-call.c timeout 0 wit inspect 880   930   6300 3600 11   0      - - error (invalid witness file) .64 .41 8.8 40 error (invalid witness file) 6.0 3.2 130 290
eca-rers2012/Problem03_label55_true-unreach-call.c timeout 0 wit inspect 880   930   5900 3600 11   0      - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 7.5 3.9 97 290
eca-rers2012/Problem03_label56_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3600 11   0      - - error (invalid witness file) .72 .44 7.8 44 error (invalid witness file) 7.8 4.1 94 300
eca-rers2012/Problem03_label57_true-unreach-call.c timeout 0 wit inspect 880   930   9100 3600 11   0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 8.1 4.3 71 300
eca-rers2012/Problem03_label58_true-unreach-call.c timeout 0 wit inspect 880   930   7400 3600 11   .0041 - - error (invalid witness file) .49 .31 11   40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem03_label59_true-unreach-call.c timeout 0 wit inspect 880   930   7400 3600 11   0      - - error (invalid witness file) .64 .41 8.0 39 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem04_label00_true-unreach-call.c timeout 0 wit inspect 880   930   7900 2900 31   0      - - error (invalid witness file) .65 .41 7.6 42 error (invalid witness file) 8.9 4.6 84 310
eca-rers2012/Problem04_label01_true-unreach-call.c timeout 0 wit inspect 880   930   6300 2900 31   0      - - error (invalid witness file) .62 .40 7.7 40 error (invalid witness file) 7.4 3.9 79 300
eca-rers2012/Problem04_label02_true-unreach-call.c timeout 0 wit inspect 880   930   7000 2700 31   0      - - error (invalid witness file) .66 .43 7.6 40 error (invalid witness file) 8.4 4.4 93 300
eca-rers2012/Problem04_label03_true-unreach-call.c timeout 0 wit inspect 880   930   7300 2700 31   0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.9 3.6 86 300
eca-rers2012/Problem04_label05_true-unreach-call.c timeout 0 wit inspect 880   930   5900 2900 31   0      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 8.2 4.3 99 310
eca-rers2012/Problem04_label07_true-unreach-call.c timeout 0 wit inspect 880   930   7700 2900 31   0      - - error (invalid witness file) .53 .36 12   40 error (invalid witness file) 8.7 4.6 93 310
eca-rers2012/Problem04_label08_true-unreach-call.c timeout 0 wit inspect 880   930   5800 3000 31   0      - - error (invalid witness file) .69 .43 6.2 40 error (invalid witness file) 9.0 4.7 85 320
eca-rers2012/Problem04_label10_true-unreach-call.c timeout 0 wit inspect 880   930   7000 3000 31   0      - - error (invalid witness file) .57 .37 9.1 40 error (invalid witness file) 7.5 3.9 110 310
eca-rers2012/Problem04_label16_true-unreach-call.c timeout 0 wit inspect 880   930   8700 2900 31   0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 7.9 4.1 120 310
eca-rers2012/Problem04_label20_true-unreach-call.c timeout 0 wit inspect 880   930   5900 2900 31   0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 8.6 4.5 130 340
eca-rers2012/Problem04_label21_true-unreach-call.c timeout 0 wit inspect 880   930   6800 2900 31   0      - - error (invalid witness file) .57 .36 8.2 40 error (invalid witness file) 6.9 3.6 100 310
eca-rers2012/Problem04_label22_true-unreach-call.c timeout 0 wit inspect 880   930   6800 2900 31   0      - - error (invalid witness file) .61 .39 9.6 40 error (invalid witness file) 9.5 4.9 85 300
eca-rers2012/Problem04_label23_true-unreach-call.c timeout 0 wit inspect 880   930   6600 2900 31   0      - - error (invalid witness file) .54 .34 13   40 error (invalid witness file) 7.7 4.0 110 310
eca-rers2012/Problem04_label24_true-unreach-call.c timeout 0 wit inspect 880   930   8800 2900 31   0      - - error (invalid witness file) .63 .40 8.0 40 error (invalid witness file) 6.9 3.7 96 290
eca-rers2012/Problem04_label25_true-unreach-call.c timeout 0 wit inspect 880   930   6300 2900 31   0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 8.7 4.6 120 310
eca-rers2012/Problem04_label28_true-unreach-call.c timeout 0 wit inspect 880   930   8200 2900 31   0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.5 3.4 95 300
eca-rers2012/Problem04_label29_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2700 31   0      - - error (invalid witness file) .51 .32 10   40 error (invalid witness file) 8.1 4.2 110 300
eca-rers2012/Problem04_label30_true-unreach-call.c timeout 0 wit inspect 880   930   7700 2900 31   0      - - error (invalid witness file) .67 .41 7.8 40 error (invalid witness file) 6.7 3.6 110 310
eca-rers2012/Problem04_label33_true-unreach-call.c timeout 0 wit inspect 880   930   6300 2900 31   0      - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 7.2 3.8 110 300
eca-rers2012/Problem04_label34_true-unreach-call.c timeout 0 wit inspect 880   930   6500 2900 31   0      - - error (invalid witness file) .63 .39 8.5 40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem04_label37_true-unreach-call.c timeout 0 wit inspect 880   930   5900 3000 31   16      - - error (invalid witness file) .57 .36 8.9 40 error (invalid witness file) 8.7 4.5 89 300
eca-rers2012/Problem04_label41_true-unreach-call.c timeout 0 wit inspect 880   930   6500 2900 31   0      - - error (invalid witness file) .69 .43 8.9 40 error (invalid witness file) 6.6 3.5 130 310
eca-rers2012/Problem04_label42_true-unreach-call.c timeout 0 wit inspect 880   930   6100 2900 31   0      - - error (invalid witness file) .64 .40 7.1 40 error (invalid witness file) 6.9 3.6 110 310
eca-rers2012/Problem04_label43_true-unreach-call.c timeout 0 wit inspect 880   930   7100 2900 31   0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem04_label44_true-unreach-call.c timeout 0 wit inspect 880   930   7400 2700 31   0      - - error (invalid witness file) .52 .33 13   39 error (invalid witness file) 7.6 4.0 79 290
eca-rers2012/Problem04_label46_true-unreach-call.c timeout 0 wit inspect 880   930   6100 3000 37   0      - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 7.5 4.0 92 290
eca-rers2012/Problem04_label47_true-unreach-call.c timeout 0 wit inspect 880   930   6300 2900 31   0      - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.4 3.4 110 300
eca-rers2012/Problem04_label48_true-unreach-call.c timeout 0 wit inspect 880   930   7000 2900 31   0      - - error (invalid witness file) .59 .37 8.7 40 error (invalid witness file) 7.7 4.1 76 290
eca-rers2012/Problem04_label49_true-unreach-call.c timeout 0 wit inspect 880   930   6500 2900 31   0      - - error (invalid witness file) .57 .36 9.8 42 error (invalid witness file) 8.8 4.6 85 300
eca-rers2012/Problem04_label50_true-unreach-call.c timeout 0 wit inspect 880   930   6900 3000 31   0      - - error (invalid witness file) .61 .40 9.3 40 error (invalid witness file) 6.6 3.5 100 310
eca-rers2012/Problem04_label51_true-unreach-call.c timeout 0 wit inspect 880   930   6900 2900 31   .21   - - error (invalid witness file) .45 .31 3.7 40 error (invalid witness file) 7.1 3.7 130 300
eca-rers2012/Problem04_label53_true-unreach-call.c timeout 0 wit inspect 880   930   6600 2900 31   0      - - error (invalid witness file) .55 .35 8.5 40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem04_label54_true-unreach-call.c timeout 0 wit inspect 880   930   6300 3000 31   0      - - error (invalid witness file) .48 .32 3.7 39 error (invalid witness file) 6.7 3.6 110 300
eca-rers2012/Problem04_label56_true-unreach-call.c timeout 0 wit inspect 880   930   7400 2900 31   0      - - error (invalid witness file) .48 .32 10   39 error (invalid witness file) 6.0 3.2 93 300
eca-rers2012/Problem04_label57_true-unreach-call.c timeout 0 wit inspect 880   930   6100 3000 32   0      - - error (invalid witness file) .66 .43 8.2 44 error (invalid witness file) 7.0 3.7 74 290
eca-rers2012/Problem04_label59_true-unreach-call.c timeout 0 wit inspect 880   930   6500 2900 31   16      - - error (invalid witness file) .64 .41 7.5 40 error (invalid witness file) 7.1 3.7 110 300
eca-rers2012/Problem05_label02_true-unreach-call.c timeout 0 wit inspect 890   930   6900 3600 61   0      - - error (invalid witness file) .49 .32 10   40 error (invalid witness file) 7.6 4.0 110 310
eca-rers2012/Problem05_label03_true-unreach-call.c timeout 0 wit inspect 890   930   7100 3500 61   0      - - error (invalid witness file) .51 .32 5.5 39 error (invalid witness file) 7.9 4.1 99 300
eca-rers2012/Problem05_label04_true-unreach-call.c timeout 0 wit inspect 880   930   9100 3600 61   0      - - error (invalid witness file) .58 .38 9.8 39 error (invalid witness file) 8.7 4.5 170 320
eca-rers2012/Problem05_label05_true-unreach-call.c timeout 0 wit inspect 890   930   6300 3500 61   0      - - error (invalid witness file) .50 .32 10   41 error (invalid witness file) 8.5 4.5 100 320
eca-rers2012/Problem05_label06_true-unreach-call.c timeout 0 wit inspect 890   930   8300 3700 61   0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 7.6 4.0 82 300
eca-rers2012/Problem05_label07_true-unreach-call.c timeout 0 wit inspect 890   930   6600 3400 61   .0041 - - error (invalid witness file) .49 .32 9.2 43 error (invalid witness file) 7.9 4.2 90 300
eca-rers2012/Problem05_label08_true-unreach-call.c timeout 0 wit inspect 890   930   6900 3600 61   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 9.0 4.7 90 300
eca-rers2012/Problem05_label09_true-unreach-call.c timeout 0 wit inspect 890   930   8100 3600 61   0      - - error (invalid witness file) .50 .33 9.1 40 error (invalid witness file) 8.5 4.4 110 310
eca-rers2012/Problem05_label10_true-unreach-call.c timeout 0 wit inspect 890   930   6800 3600 61   0      - - error (invalid witness file) .54 .34 14   42 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem05_label12_true-unreach-call.c timeout 0 wit inspect 890   930   8800 3600 61   0      - - error (invalid witness file) .51 .32 11   41 error (invalid witness file) 6.8 3.5 160 300
eca-rers2012/Problem05_label14_true-unreach-call.c timeout 0 wit inspect 890   930   6500 3500 61   .21   - - error (invalid witness file) .64 .40 9.8 41 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem05_label16_true-unreach-call.c timeout 0 wit inspect 890   930   7400 3600 61   0      - - error (invalid witness file) .60 .39 7.8 39 error (invalid witness file) 7.6 4.0 110 300
eca-rers2012/Problem05_label17_true-unreach-call.c timeout 0 wit inspect 890   930   7700 3700 61   16      - - error (invalid witness file) .71 .43 8.0 41 error (invalid witness file) 7.9 4.1 100 290
eca-rers2012/Problem05_label19_true-unreach-call.c timeout 0 wit inspect 890   930   7600 3600 61   0      - - error (invalid witness file) .51 .32 10   40 error (invalid witness file) 7.5 4.0 98 300
eca-rers2012/Problem05_label20_true-unreach-call.c timeout 0 wit inspect 890   930   7500 3600 61   0      - - error (invalid witness file) .55 .36 12   40 error (invalid witness file) 8.2 4.3 91 300
eca-rers2012/Problem05_label21_true-unreach-call.c timeout 0 wit inspect 890   930   6900 3600 61   16      - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 7.6 3.9 150 320
eca-rers2012/Problem05_label22_true-unreach-call.c timeout 0 wit inspect 890   930   6800 3600 61   0      - - error (invalid witness file) .58 .38 6.6 39 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem05_label23_true-unreach-call.c timeout 0 wit inspect 890   930   6600 3600 61   0      - - error (invalid witness file) .48 .32 9.8 40 error (invalid witness file) 7.9 4.1 130 300
eca-rers2012/Problem05_label25_true-unreach-call.c timeout 0 wit inspect 890   930   6400 3700 61   16      - - error (invalid witness file) .53 .34 11   42 error (invalid witness file) 8.0 4.2 98 300
eca-rers2012/Problem05_label27_true-unreach-call.c timeout 0 wit inspect 890   930   6900 3600 61   0      - - error (invalid witness file) .58 .36 6.9 40 error (invalid witness file) 8.8 4.6 83 300
eca-rers2012/Problem05_label28_true-unreach-call.c timeout 0 wit inspect 890   930   6800 3600 61   0      - - error (invalid witness file) .70 .45 7.2 42 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem05_label29_true-unreach-call.c timeout 0 wit inspect 890   930   6200 3500 61   0      - - error (invalid witness file) .60 .38 8.8 40 error (invalid witness file) 8.1 4.3 110 300
eca-rers2012/Problem05_label31_true-unreach-call.c timeout 0 wit inspect 890   930   6100 3600 61   0      - - error (invalid witness file) .53 .34 9.4 41 error (invalid witness file) 9.2 4.8 91 300
eca-rers2012/Problem05_label34_true-unreach-call.c timeout 0 wit inspect 890   930   7400 3700 61   0      - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.2 3.8 140 300
eca-rers2012/Problem05_label35_true-unreach-call.c timeout 0 wit inspect 890   930   6600 3500 61   .0041 - - error (invalid witness file) .49 .31 6.4 40 error (invalid witness file) 7.7 4.0 100 310
eca-rers2012/Problem05_label42_true-unreach-call.c timeout 0 wit inspect 890   930   6900 3300 61   0      - - error (invalid witness file) .55 .36 14   40 error (invalid witness file) 7.1 3.8 110 300
eca-rers2012/Problem05_label43_true-unreach-call.c timeout 0 wit inspect 890   930   6000 3600 61   0      - - error (invalid witness file) .57 .35 11   41 error (invalid witness file) 7.6 4.0 120 310
eca-rers2012/Problem05_label45_true-unreach-call.c timeout 0 wit inspect 890   930   7000 3600 61   0      - - error (invalid witness file) .60 .38 8.1 40 error (invalid witness file) 9.5 5.0 110 320
eca-rers2012/Problem05_label46_true-unreach-call.c timeout 0 wit inspect 890   930   8600 3600 61   .21   - - error (invalid witness file) .62 .39 7.1 39 error (invalid witness file) 6.4 3.4 130 290
eca-rers2012/Problem05_label49_true-unreach-call.c timeout 0 wit inspect 890   930   6800 3500 61   16      - - error (invalid witness file) .49 .33 4.9 40 error (invalid witness file) 7.4 3.9 120 300
eca-rers2012/Problem05_label50_true-unreach-call.c timeout 0 wit inspect 890   930   7200 3600 61   0      - - error (invalid witness file) .59 .37 8.4 40 error (invalid witness file) 6.3 3.4 120 300
eca-rers2012/Problem05_label52_true-unreach-call.c timeout 0 wit inspect 890   930   8700 3600 61   0      - - error (invalid witness file) .50 .31 10   40 error (invalid witness file) 8.0 4.2 100 300
eca-rers2012/Problem05_label53_true-unreach-call.c timeout 0 wit inspect 890   930   6500 3600 61   0      - - error (invalid witness file) .65 .41 7.3 40 error (invalid witness file) 9.6 5.0 88 310
eca-rers2012/Problem05_label54_true-unreach-call.c timeout 0 wit inspect 890   930   6400 3400 61   0      - - error (invalid witness file) .52 .34 11   43 error (invalid witness file) 6.6 3.5 69 290
eca-rers2012/Problem05_label56_true-unreach-call.c timeout 0 wit inspect 890   930   6600 3300 61   0      - - error (invalid witness file) .62 .40 8.4 40 error (invalid witness file) 7.8 4.1 140 310
eca-rers2012/Problem05_label59_true-unreach-call.c timeout 0 wit inspect 890   930   8600 3400 61   0      - - error (invalid witness file) .47 .29 5.7 39 error (invalid witness file) 8.6 4.5 95 300
eca-rers2012/Problem06_label03_true-unreach-call.c error (1) 0 wit inspect 9.1 9.0 120 520 56   .19   - - error (invalid witness file) .56 .36 12   43 error (invalid witness file) 7.5 3.9 87 300
eca-rers2012/Problem06_label06_true-unreach-call.c timeout 0 wit inspect 890   930   7200 5900 57   0      - - error (invalid witness file) .59 .38 8.8 40 error (invalid witness file) 8.4 4.4 86 300
eca-rers2012/Problem06_label07_true-unreach-call.c timeout 0 wit inspect 890   930   7800 5900 56   0      - - error (invalid witness file) .68 .43 8.9 40 error (invalid witness file) 8.2 4.3 100 300
eca-rers2012/Problem06_label08_true-unreach-call.c timeout 0 wit inspect 890   930   8400 5900 56   0      - - error (invalid witness file) .62 .40 7.1 39 error (invalid witness file) 7.6 4.0 110 310
eca-rers2012/Problem06_label13_true-unreach-call.c timeout 0 wit inspect 890   930   7800 6000 56   .0041 - - error (invalid witness file) .66 .42 6.7 40 error (invalid witness file) 7.5 4.0 99 300
eca-rers2012/Problem06_label14_true-unreach-call.c timeout 0 wit inspect 890   930   6200 5900 57   0      - - error (invalid witness file) .54 .36 12   40 error (invalid witness file) 6.9 3.6 130 310
eca-rers2012/Problem06_label16_true-unreach-call.c timeout 0 wit inspect 890   930   6300 5900 56   .0041 - - error (invalid witness file) .67 .42 7.7 39 error (invalid witness file) 8.2 4.4 90 310
eca-rers2012/Problem06_label17_true-unreach-call.c timeout 0 wit inspect 890   930   6800 5900 56   0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.9 4.1 110 300
eca-rers2012/Problem06_label18_true-unreach-call.c timeout 0 wit inspect 890   930   6300 5900 56   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 7.7 4.0 140 310
eca-rers2012/Problem06_label19_true-unreach-call.c timeout 0 wit inspect 890   930   6400 5800 56   0      - - error (invalid witness file) .53 .33 15   40 error (invalid witness file) 8.4 4.4 120 320
eca-rers2012/Problem06_label22_true-unreach-call.c timeout 0 wit inspect 890   930   6600 5900 56   0      - - error (invalid witness file) .64 .41 6.4 41 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem06_label23_true-unreach-call.c timeout 0 wit inspect 890   930   5900 5900 56   0      - - error (invalid witness file) .63 .41 8.5 40 error (invalid witness file) 8.1 4.2 90 290
eca-rers2012/Problem06_label25_true-unreach-call.c timeout 0 wit inspect 890   930   6500 5600 56   0      - - error (invalid witness file) .50 .34 11   40 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem06_label26_true-unreach-call.c timeout 0 wit inspect 890   930   6600 5900 56   0      - - error (invalid witness file) .60 .39 7.8 39 error (invalid witness file) 6.8 3.6 130 300
eca-rers2012/Problem06_label28_true-unreach-call.c timeout 0 wit inspect 890   930   6700 5900 56   0      - - error (invalid witness file) .59 .38 8.6 40 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem06_label30_true-unreach-call.c timeout 0 wit inspect 890   930   7100 5900 56   0      - - error (invalid witness file) .47 .30 9.5 39 error (invalid witness file) 6.7 3.6 120 300
eca-rers2012/Problem06_label31_true-unreach-call.c timeout 0 wit inspect 890   930   5900 5500 56   0      - - error (invalid witness file) .53 .33 13   39 error (invalid witness file) 9.5 4.9 100 320
eca-rers2012/Problem06_label32_true-unreach-call.c timeout 0 wit inspect 890   930   8500 5900 56   0      - - error (invalid witness file) .52 .33 4.0 41 error (invalid witness file) 9.2 4.7 100 320
eca-rers2012/Problem06_label34_true-unreach-call.c timeout 0 wit inspect 890   930   6100 6000 56   0      - - error (invalid witness file) .62 .41 6.5 42 error (invalid witness file) 7.0 3.7 120 310
eca-rers2012/Problem06_label35_true-unreach-call.c timeout 0 wit inspect 890   930   6000 5900 56   0      - - error (invalid witness file) .64 .40 8.7 41 error (invalid witness file) 7.5 3.9 110 310
eca-rers2012/Problem06_label39_true-unreach-call.c timeout 0 wit inspect 890   930   6700 5700 56   0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem06_label40_true-unreach-call.c timeout 0 wit inspect 890   930   7100 6000 56   0      - - error (invalid witness file) .61 .38 6.6 40 error (invalid witness file) 7.7 4.1 120 320
eca-rers2012/Problem06_label41_true-unreach-call.c timeout 0 wit inspect 890   930   7600 6200 56   0      - - error (invalid witness file) .64 .40 7.3 40 error (invalid witness file) 7.5 3.9 120 310
eca-rers2012/Problem06_label42_true-unreach-call.c timeout 0 wit inspect 890   930   7500 6000 56   0      - - error (invalid witness file) .51 .34 11   39 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem06_label43_true-unreach-call.c timeout 0 wit inspect 890   930   6100 5900 56   0      - - error (invalid witness file) .67 .42 7.7 43 error (invalid witness file) 7.0 3.7 140 300
eca-rers2012/Problem06_label45_true-unreach-call.c timeout 0 wit inspect 890   930   6900 5900 56   .0041 - - error (invalid witness file) .68 .43 8.0 42 error (invalid witness file) 6.9 3.6 130 310
eca-rers2012/Problem06_label46_true-unreach-call.c timeout 0 wit inspect 890   930   7400 5300 56   0      - - error (invalid witness file) .50 .34 5.8 40 error (invalid witness file) 7.2 3.8 97 300
eca-rers2012/Problem06_label49_true-unreach-call.c timeout 0 wit inspect 890   930   7900 5800 57   0      - - error (invalid witness file) .52 .35 11   41 error (invalid witness file) 7.8 4.1 94 290
eca-rers2012/Problem06_label50_true-unreach-call.c timeout 0 wit inspect 890   930   6000 5900 57   0      - - error (invalid witness file) .62 .39 8.8 42 error (invalid witness file) 8.5 4.4 120 330
eca-rers2012/Problem06_label51_true-unreach-call.c timeout 0 wit inspect 890   930   7400 5900 56   0      - - error (invalid witness file) .54 .34 12   43 error (invalid witness file) 7.1 3.7 130 310
eca-rers2012/Problem06_label52_true-unreach-call.c timeout 0 wit inspect 890   930   6700 5500 56   .012  - - error (invalid witness file) .56 .36 14   39 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem06_label53_true-unreach-call.c timeout 0 wit inspect 890   930   6100 6100 56   0      - - error (invalid witness file) .57 .37 14   41 error (invalid witness file) 8.3 4.4 71 300
eca-rers2012/Problem06_label54_true-unreach-call.c timeout 0 wit inspect 890   930   5600 6000 56   0      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.5 3.4 110 310
eca-rers2012/Problem06_label55_true-unreach-call.c timeout 0 wit inspect 890   930   6100 6000 56   .0041 - - error (invalid witness file) .58 .37 14   45 error (invalid witness file) 7.5 3.9 120 300
eca-rers2012/Problem06_label57_true-unreach-call.c timeout 0 wit inspect 890   930   6400 5900 56   0      - - error (invalid witness file) .57 .36 15   44 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem07_label00_true-unreach-call.c timeout 0 wit inspect 900   900   8000 14000 470   .016  - - error (invalid witness file) .51 .32 14   40 error (invalid witness file) 9.9 5.3 120 420
eca-rers2012/Problem07_label01_true-unreach-call.c out of memory 0 wit inspect 640   630   6600 15000 470   0      - - error (invalid witness file) .48 .31 7.4 39 error (invalid witness file) 7.5 4.1 110 430
eca-rers2012/Problem07_label02_true-unreach-call.c error (1) 0 wit inspect 460   460   4500 8500 460   .19   - - error (invalid witness file) .51 .32 10   41 error (invalid witness file) 7.9 4.3 140 420
eca-rers2012/Problem07_label04_true-unreach-call.c timeout 0 wit inspect 900   890   10000 14000 460   0      - - error (invalid witness file) .70 .45 6.6 40 error (invalid witness file) 9.0 4.8 100 430
eca-rers2012/Problem07_label08_true-unreach-call.c timeout 0 wit inspect 900   890   10000 14000 460   .012  - - error (invalid witness file) .48 .32 6.5 39 error (invalid witness file) 10   5.3 110 430
eca-rers2012/Problem07_label10_true-unreach-call.c timeout 0 wit inspect 900   900   8400 14000 470   .0082 - - error (invalid witness file) .60 .37 8.9 40 error (invalid witness file) 7.7 4.1 140 430
eca-rers2012/Problem07_label12_true-unreach-call.c timeout 0 wit inspect 900   890   8600 14000 460   0      - - error (invalid witness file) .57 .36 10   41 error (invalid witness file) 8.2 4.4 67 430
eca-rers2012/Problem07_label13_true-unreach-call.c timeout 0 wit inspect 900   890   8800 14000 460   0      - - error (invalid witness file) .64 .41 8.5 40 error (invalid witness file) 9.7 5.2 100 430
eca-rers2012/Problem07_label14_true-unreach-call.c timeout 0 wit inspect 900   890   8800 14000 460   .012  - - error (invalid witness file) .67 .43 6.6 39 error (invalid witness file) 10   5.4 110 420
eca-rers2012/Problem07_label16_true-unreach-call.c out of memory 0 wit inspect 690   690   6500 15000 470   .016  - - error (invalid witness file) .65 .41 9.3 42 error (invalid witness file) 9.9 5.2 86 440
eca-rers2012/Problem07_label17_true-unreach-call.c error (1) 0 wit inspect 410   410   4500 8100 460   .11   - - error (invalid witness file) .62 .38 10   40 error (invalid witness file) 8.5 4.5 160 440
eca-rers2012/Problem07_label21_true-unreach-call.c timeout 0 wit inspect 900   890   8600 14000 460   0      - - error (invalid witness file) .64 .41 7.5 41 error (invalid witness file) 9.0 4.9 110 430
eca-rers2012/Problem07_label22_true-unreach-call.c timeout 0 wit inspect 900   890   8700 14000 460   0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 8.0 4.3 160 430
eca-rers2012/Problem07_label24_true-unreach-call.c timeout 0 wit inspect 900   890   11000 14000 470   0      - - error (invalid witness file) .54 .35 14   41 error (invalid witness file) 9.7 5.1 120 450
eca-rers2012/Problem07_label25_true-unreach-call.c timeout 0 wit inspect 900   890   11000 14000 460   .012  - - error (invalid witness file) .52 .34 10   40 error (invalid witness file) 7.9 4.2 160 430
eca-rers2012/Problem07_label26_true-unreach-call.c timeout 0 wit inspect 900   890   7800 14000 460   .012  - - error (invalid witness file) .50 .32 9.4 40 error (invalid witness file) 8.3 4.5 110 410
eca-rers2012/Problem07_label27_true-unreach-call.c timeout 0 wit inspect 900   890   8300 14000 470   0      - - error (invalid witness file) .58 .38 7.1 40 error (invalid witness file) 8.7 4.7 120 430
eca-rers2012/Problem07_label28_true-unreach-call.c out of memory 0 wit inspect 670   670   6700 15000 460   .012  - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 9.7 5.2 100 430
eca-rers2012/Problem07_label29_true-unreach-call.c timeout 0 wit inspect 900   890   9900 14000 460   0      - - error (invalid witness file) .59 .39 9.1 43 error (invalid witness file) 9.4 5.0 100 430
eca-rers2012/Problem07_label32_true-unreach-call.c timeout 0 wit inspect 900   890   8800 14000 460   0      - - error (invalid witness file) .51 .34 9.4 40 error (invalid witness file) 9.5 5.1 97 420
eca-rers2012/Problem07_label33_true-unreach-call.c timeout 0 wit inspect 900   890   10000 14000 460   .016  - - error (invalid witness file) .48 .32 6.5 40 error (invalid witness file) 9.7 5.1 120 430
eca-rers2012/Problem07_label34_true-unreach-call.c error (1) 0 wit inspect 360   360   5000 8100 460   .11   - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 10   5.4 100 430
eca-rers2012/Problem07_label38_true-unreach-call.c timeout 0 wit inspect 900   890   6900 14000 460   0      - - error (invalid witness file) .52 .34 13   41 error (invalid witness file) 9.9 5.2 98 430
eca-rers2012/Problem07_label41_true-unreach-call.c timeout 0 wit inspect 900   900   9800 14000 460   .22   - - error (invalid witness file) .65 .42 8.8 41 error (invalid witness file) 7.7 4.1 160 430
eca-rers2012/Problem07_label43_true-unreach-call.c timeout 0 wit inspect 900   890   11000 14000 460   0      - - error (invalid witness file) .47 .32 7.6 40 error (invalid witness file) 8.1 4.4 110 420
eca-rers2012/Problem07_label45_true-unreach-call.c timeout 0 wit inspect 900   890   7800 14000 460   0      - - error (invalid witness file) .53 .36 7.5 40 error (invalid witness file) 8.8 4.7 120 430
eca-rers2012/Problem07_label49_true-unreach-call.c timeout 0 wit inspect 900   890   8100 14000 460   .0082 - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.8 4.2 150 430
eca-rers2012/Problem07_label50_true-unreach-call.c timeout 0 wit inspect 900   890   9000 14000 470   .012  - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 10   5.4 94 440
eca-rers2012/Problem07_label51_true-unreach-call.c timeout 0 wit inspect 900   890   8200 14000 460   .016  - - error (invalid witness file) .48 .30 10   40 error (invalid witness file) 8.5 4.5 170 440
eca-rers2012/Problem07_label52_true-unreach-call.c timeout 0 wit inspect 900   890   8000 14000 460   0      - - error (invalid witness file) .53 .35 4.4 42 error (invalid witness file) 8.8 4.7 130 440
eca-rers2012/Problem07_label53_true-unreach-call.c out of memory 0 wit inspect 600   600   5700 15000 460   0      - - error (invalid witness file) .50 .32 10   40 error (invalid witness file) 9.4 5.1 130 430
eca-rers2012/Problem07_label54_true-unreach-call.c timeout 0 wit inspect 900   890   9600 14000 460   0      - - error (invalid witness file) .50 .32 13   40 error (invalid witness file) 11   5.7 120 450
eca-rers2012/Problem07_label55_true-unreach-call.c timeout 0 wit inspect 900   890   7900 14000 460   0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 8.1 4.3 150 430
eca-rers2012/Problem07_label56_true-unreach-call.c timeout 0 wit inspect 900   890   9700 14000 470   0      - - error (invalid witness file) .55 .33 11   40 error (invalid witness file) 7.7 4.1 120 420
eca-rers2012/Problem07_label57_true-unreach-call.c timeout 0 wit inspect 900   900   7800 14000 460   .012  - - error (invalid witness file) .72 .45 8.1 42 error (invalid witness file) 8.7 4.7 100 430
eca-rers2012/Problem07_label59_true-unreach-call.c error (1) 0 wit inspect 380   380   4300 8100 460   .037  - - error (invalid witness file) .50 .34 5.3 40 error (invalid witness file) 9.1 4.8 120 420
eca-rers2012/Problem08_label00_true-unreach-call.c error (1) 0 wit inspect 660   660   7700 9300 920   0      - - error (invalid witness file) .53 .33 13   40 error (invalid witness file) 9.6 5.2 100 520
eca-rers2012/Problem08_label03_true-unreach-call.c error (1) 0 wit inspect 540   540   8200 8900 920   0      - - error (invalid witness file) .75 .47 6.8 46 error (invalid witness file) 11   5.7 150 520
eca-rers2012/Problem08_label08_true-unreach-call.c error (1) 0 wit inspect 570   570   6800 8900 920   0      - - error (invalid witness file) .53 .35 11   40 error (invalid witness file) 12   6.2 90 530
eca-rers2012/Problem08_label09_true-unreach-call.c error (1) 0 wit inspect 650   650   8200 14000 920   .020  - - error (invalid witness file) .51 .34 8.3 40 error (invalid witness file) 9.6 5.2 150 530
eca-rers2012/Problem08_label11_true-unreach-call.c error (1) 0 wit inspect 550   550   6300 8300 920   .025  - - error (invalid witness file) .56 .35 13   40 error (invalid witness file) 10   5.5 130 510
eca-rers2012/Problem08_label12_true-unreach-call.c error (1) 0 wit inspect 680   680   8100 14000 920   .025  - - error (invalid witness file) .65 .41 8.8 43 error (invalid witness file) 8.8 4.8 180 520
eca-rers2012/Problem08_label14_true-unreach-call.c error (1) 0 wit inspect 680   680   8500 9300 920   .025  - - error (invalid witness file) .59 .38 8.0 41 error (invalid witness file) 9.2 5.0 180 520
eca-rers2012/Problem08_label16_true-unreach-call.c error (1) 0 wit inspect 660   660   9600 14000 920   .025  - - error (invalid witness file) .64 .40 8.1 41 error (invalid witness file) 8.4 4.6 150 520
eca-rers2012/Problem08_label17_true-unreach-call.c error (1) 0 wit inspect 560   560   6800 8900 920   .025  - - error (invalid witness file) .66 .40 8.9 41 error (invalid witness file) 11   5.7 98 520
eca-rers2012/Problem08_label18_true-unreach-call.c error (1) 0 wit inspect 550   550   6600 8300 920   0      - - error (invalid witness file) .49 .33 9.6 40 error (invalid witness file) 11   6.1 110 520
eca-rers2012/Problem08_label19_true-unreach-call.c error (1) 0 wit inspect 680   670   8300 9300 920   0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 10   5.4 140 520
eca-rers2012/Problem08_label20_true-unreach-call.c error (1) 0 wit inspect 660   660   7300 9300 920   0      - - error (invalid witness file) .52 .33 9.5 39 error (invalid witness file) 11   5.8 120 520
eca-rers2012/Problem08_label21_true-unreach-call.c error (1) 0 wit inspect 550   550   6700 8300 920   .025  - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 9.8 5.3 180 540
eca-rers2012/Problem08_label22_true-unreach-call.c error (1) 0 wit inspect 680   680   7800 12000 920   .020  - - error (invalid witness file) .50 .33 6.5 39 error (invalid witness file) 7.5 4.2 150 510
eca-rers2012/Problem08_label23_true-unreach-call.c error (1) 0 wit inspect 660   660   7900 12000 920   .012  - - error (invalid witness file) .64 .40 7.5 39 error (invalid witness file) 11   6.0 120 510
eca-rers2012/Problem08_label27_true-unreach-call.c error (1) 0 wit inspect 570   570   6800 8300 920   .025  - - error (invalid witness file) .52 .33 10   39 error (invalid witness file) 9.0 4.9 150 520
eca-rers2012/Problem08_label30_true-unreach-call.c error (1) 0 wit inspect 660   660   9200 12000 920   0      - - error (invalid witness file) .69 .43 7.6 41 error (invalid witness file) 11   6.1 94 530
eca-rers2012/Problem08_label31_true-unreach-call.c error (1) 0 wit inspect 550   550   6200 8900 920   .020  - - error (invalid witness file) .69 .43 8.0 41 error (invalid witness file) 9.5 5.1 150 520
eca-rers2012/Problem08_label32_true-unreach-call.c error (1) 0 wit inspect 660   660   7700 14000 920   0      - - error (invalid witness file) .50 .32 13   39 error (invalid witness file) 9.0 4.9 170 520
eca-rers2012/Problem08_label33_true-unreach-call.c error (1) 0 wit inspect 550   550   6400 8300 920   0      - - error (invalid witness file) .49 .34 5.2 39 error (invalid witness file) 9.1 5.0 180 520
eca-rers2012/Problem08_label35_true-unreach-call.c error (1) 0 wit inspect 660   660   7900 8700 920   0      - - error (invalid witness file) .58 .38 11   41 error (invalid witness file) 9.2 5.0 72 520
eca-rers2012/Problem08_label36_true-unreach-call.c error (1) 0 wit inspect 660   650   7700 12000 920   0      - - error (invalid witness file) .72 .45 7.9 43 error (invalid witness file) 11   5.7 120 520
eca-rers2012/Problem08_label38_true-unreach-call.c error (1) 0 wit inspect 660   660   8500 8900 920   .029  - - error (invalid witness file) .53 .34 9.4 42 error (invalid witness file) 9.8 5.3 100 520
eca-rers2012/Problem08_label39_true-unreach-call.c error (1) 0 wit inspect 650   650   7400 9200 920   0      - - error (invalid witness file) .49 .34 3.8 40 error (invalid witness file) 9.2 5.0 180 510
eca-rers2012/Problem08_label40_true-unreach-call.c error (1) 0 wit inspect 570   570   7100 8300 920   0      - - error (invalid witness file) .53 .33 11   39 error (invalid witness file) 8.7 4.7 180 520
eca-rers2012/Problem08_label41_true-unreach-call.c error (1) 0 wit inspect 660   660   6700 8600 920   .13   - - error (invalid witness file) .59 .38 8.6 39 error (invalid witness file) 11   5.9 110 520
eca-rers2012/Problem08_label42_true-unreach-call.c error (1) 0 wit inspect 550   550   7500 8900 920   0      - - error (invalid witness file) .51 .32 13   40 error (invalid witness file) 8.7 4.7 200 530
eca-rers2012/Problem08_label44_true-unreach-call.c error (1) 0 wit inspect 550   550   6700 8300 920   .016  - - error (invalid witness file) .54 .35 9.7 42 error (invalid witness file) 9.0 4.9 160 520
eca-rers2012/Problem08_label45_true-unreach-call.c error (1) 0 wit inspect 680   670   7900 12000 920   0      - - error (invalid witness file) .68 .42 7.5 39 error (invalid witness file) 8.8 4.8 140 520
eca-rers2012/Problem08_label47_true-unreach-call.c error (1) 0 wit inspect 550   550   7600 8300 920   0      - - error (invalid witness file) .49 .32 3.8 39 error (invalid witness file) 9.0 4.9 170 520
eca-rers2012/Problem08_label52_true-unreach-call.c error (1) 0 wit inspect 550   550   7400 8900 920   0      - - error (invalid witness file) .65 .41 9.3 42 error (invalid witness file) 10   5.4 120 520
eca-rers2012/Problem08_label53_true-unreach-call.c error (1) 0 wit inspect 670   670   7400 14000 920   15      - - error (invalid witness file) .62 .40 5.8 41 error (invalid witness file) 8.5 4.6 180 510
eca-rers2012/Problem08_label54_true-unreach-call.c error (1) 0 wit inspect 660   660   9700 14000 920   .029  - - error (invalid witness file) .67 .43 7.4 41 error (invalid witness file) 10   5.6 130 520
eca-rers2012/Problem08_label56_true-unreach-call.c error (1) 0 wit inspect 560   560   7700 8900 920   0      - - error (invalid witness file) .55 .34 13   41 error (invalid witness file) 11   5.9 140 520
eca-rers2012/Problem08_label57_true-unreach-call.c error (1) 0 wit inspect 660   660   8200 13000 920   0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 9.5 5.2 160 520
eca-rers2012/Problem08_label58_true-unreach-call.c error (1) 0 wit inspect 670   670   7800 12000 920   .025  - - error (invalid witness file) .62 .40 7.9 40 error (invalid witness file) 8.4 4.7 110 510
eca-rers2012/Problem09_label00_true-unreach-call.c error (1) 0 wit inspect 700   700   8500 9200 1000   .025  - - error (invalid witness file) .53 .34 14   41 error (invalid witness file) 9.9 5.5 130 530
eca-rers2012/Problem09_label01_true-unreach-call.c error (1) 0 wit inspect 830   830   9600 11000 1000   0      - - error (invalid witness file) .50 .33 9.9 39 error (invalid witness file) 11   5.8 110 520
eca-rers2012/Problem09_label04_true-unreach-call.c error (1) 0 wit inspect 820   810   11000 12000 1000   .012  - - error (invalid witness file) .51 .33 13   39 error (invalid witness file) 10   5.8 140 530
eca-rers2012/Problem09_label05_true-unreach-call.c error (1) 0 wit inspect 720   720   7900 10000 1000   .0082 - - error (invalid witness file) .55 .34 8.5 42 error (invalid witness file) 8.2 4.6 160 530
eca-rers2012/Problem09_label07_true-unreach-call.c error (1) 0 wit inspect 710   710   7800 9800 1000   0      - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 9.2 5.1 150 530
eca-rers2012/Problem09_label09_true-unreach-call.c error (1) 0 wit inspect 710   710   7500 9800 1000   .029  - - error (invalid witness file) .51 .34 10   42 error (invalid witness file) 10   5.8 110 530
eca-rers2012/Problem09_label12_true-unreach-call.c error (1) 0 wit inspect 710   710   10000 10000 1000   .037  - - error (invalid witness file) .56 .36 8.9 39 error (invalid witness file) 9.4 5.2 130 520
eca-rers2012/Problem09_label13_true-unreach-call.c error (1) 0 wit inspect 690   680   7000 9200 1000   0      - - error (invalid witness file) .51 .33 14   41 error (invalid witness file) 8.4 4.7 160 530
eca-rers2012/Problem09_label14_true-unreach-call.c error (1) 0 wit inspect 710   710   7900 9800 1000   0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 11   5.9 120 530
eca-rers2012/Problem09_label16_true-unreach-call.c error (1) 0 wit inspect 720   720   8600 10000 1000   .025  - - error (invalid witness file) .53 .35 4.4 41 error (invalid witness file) 10   5.5 96 520
eca-rers2012/Problem09_label17_true-unreach-call.c error (1) 0 wit inspect 730   720   9500 9800 1000   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 10   5.7 130 530
eca-rers2012/Problem09_label18_true-unreach-call.c error (1) 0 wit inspect 680   680   7800 9200 1000   0      - - error (invalid witness file) .59 .37 12   46 error (invalid witness file) 9.7 5.4 130 520
eca-rers2012/Problem09_label21_true-unreach-call.c error (1) 0 wit inspect 740   740   7900 10000 1000   .020  - - error (invalid witness file) .71 .44 7.8 40 error (invalid witness file) 9.0 5.0 130 540
eca-rers2012/Problem09_label22_true-unreach-call.c error (1) 0 wit inspect 720   720   8500 9800 1000   .029  - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 11   5.9 120 530
eca-rers2012/Problem09_label23_true-unreach-call.c error (1) 0 wit inspect 690   680   7600 9200 1000   0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 9.8 5.5 95 530
eca-rers2012/Problem09_label24_true-unreach-call.c error (1) 0 wit inspect 720   720   9500 10000 1000   .029  - - error (invalid witness file) .65 .40 8.2 40 error (invalid witness file) 10   5.8 130 520
eca-rers2012/Problem09_label25_true-unreach-call.c error (1) 0 wit inspect 710   710   8100 9800 1000   .029  - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 8.6 4.7 210 530
eca-rers2012/Problem09_label26_true-unreach-call.c error (1) 0 wit inspect 710   710   9300 10000 1000   .029  - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 9.5 5.3 120 530
eca-rers2012/Problem09_label27_true-unreach-call.c error (1) 0 wit inspect 720   720   8700 9800 1000   .0082 - - error (invalid witness file) .61 .39 8.3 39 error (invalid witness file) 10   5.7 110 520
eca-rers2012/Problem09_label28_true-unreach-call.c error (1) 0 wit inspect 710   710   10000 9800 1000   .025  - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 9.6 5.3 170 540
eca-rers2012/Problem09_label29_true-unreach-call.c error (1) 0 wit inspect 730   730   8600 10000 1000   .025  - - error (invalid witness file) .56 .36 11   39 error (invalid witness file) 8.1 4.5 170 520
eca-rers2012/Problem09_label30_true-unreach-call.c error (1) 0 wit inspect 510   520   6500 6900 1000   .029  - - error (invalid witness file) .57 .36 14   43 error (invalid witness file) 9.0 5.0 170 530
eca-rers2012/Problem09_label31_true-unreach-call.c error (1) 0 wit inspect 710   710   9500 10000 1000   .029  - - error (invalid witness file) .53 .33 14   40 error (invalid witness file) 10   5.6 130 530
eca-rers2012/Problem09_label33_true-unreach-call.c error (1) 0 wit inspect 680   680   8800 9200 1000   .029  - - error (invalid witness file) .51 .34 7.1 42 error (invalid witness file) 11   6.0 120 640
eca-rers2012/Problem09_label37_true-unreach-call.c error (1) 0 wit inspect 710   710   9800 9800 1000   .025  - - error (invalid witness file) .61 .40 10   40 error (invalid witness file) 10   5.7 110 520
eca-rers2012/Problem09_label39_true-unreach-call.c error (1) 0 wit inspect 720   720   9000 9800 1000   .0082 - - error (invalid witness file) .48 .32 9.8 39 error (invalid witness file) 8.7 4.9 130 520
eca-rers2012/Problem09_label40_true-unreach-call.c error (1) 0 wit inspect 710   710   8500 9800 1000   .029  - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 8.0 4.5 160 530
eca-rers2012/Problem09_label42_true-unreach-call.c error (1) 0 wit inspect 700   700   9500 9200 1000   0      - - error (invalid witness file) .50 .33 4.2 40 error (invalid witness file) 9.9 5.5 120 520
eca-rers2012/Problem09_label43_true-unreach-call.c error (1) 0 wit inspect 730   730   8300 10000 1000   .025  - - error (invalid witness file) .65 .42 7.7 40 error (invalid witness file) 8.9 5.0 150 530
eca-rers2012/Problem09_label45_true-unreach-call.c error (1) 0 wit inspect 730   720   8400 10000 1000   15      - - error (invalid witness file) .54 .35 13   40 error (invalid witness file) 9.3 5.2 130 520
eca-rers2012/Problem09_label48_true-unreach-call.c error (1) 0 wit inspect 730   730   9400 9800 1000   .033  - - error (invalid witness file) .72 .46 8.4 41 error (invalid witness file) 9.3 5.2 120 520
eca-rers2012/Problem09_label49_true-unreach-call.c error (1) 0 wit inspect 730   720   9600 9800 1000   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 10   5.7 120 530
eca-rers2012/Problem09_label50_true-unreach-call.c error (1) 0 wit inspect 720   720   9500 9800 1000   .025  - - error (invalid witness file) .49 .33 8.8 39 error (invalid witness file) 9.9 5.5 110 520
eca-rers2012/Problem09_label52_true-unreach-call.c error (1) 0 wit inspect 710   710   11000 9800 1000   0      - - error (invalid witness file) .50 .33 9.3 40 error (invalid witness file) 9.9 5.5 130 520
eca-rers2012/Problem09_label55_true-unreach-call.c error (1) 0 wit inspect 710   710   9500 9800 1000   0      - - error (invalid witness file) .56 .35 9.1 42 error (invalid witness file) 12   6.5 130 560
eca-rers2012/Problem09_label58_true-unreach-call.c error (1) 0 wit inspect 710   710   7600 9800 1000   0      - - error (invalid witness file) .51 .32 12   41 error (invalid witness file) 8.5 4.7 160 530
eca-rers2012/Problem10_label00_true-unreach-call.c timeout 0 wit inspect 880   930   12000 650 4.4 0      - - error (invalid witness file) .46 .30 4.7 40 error (invalid witness file) 5.8 3.2 120 300
eca-rers2012/Problem10_label01_true-unreach-call.c timeout 0 wit inspect 880   930   11000 570 4.2 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.7 3.5 99 290
eca-rers2012/Problem10_label02_true-unreach-call.c timeout 0 wit inspect 880   930   10000 600 4.2 0      - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem10_label03_true-unreach-call.c timeout 0 wit inspect 880   930   11000 630 4.2 0      - - error (invalid witness file) .54 .35 13   40 error (invalid witness file) 5.7 3.1 110 300
eca-rers2012/Problem10_label04_true-unreach-call.c timeout 0 wit inspect 880   930   9200 660 4.6 0      - - error (invalid witness file) .52 .34 13   42 error (invalid witness file) 6.1 3.2 120 290
eca-rers2012/Problem10_label05_true-unreach-call.c timeout 0 wit inspect 880   930   11000 580 4.3 0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 7.1 3.7 88 300
eca-rers2012/Problem10_label06_true-unreach-call.c timeout 0 wit inspect 880   930   9900 600 4.2 0      - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 8.3 4.3 71 300
eca-rers2012/Problem10_label07_true-unreach-call.c timeout 0 wit inspect 880   930   9600 530 4.2 0      - - error (invalid witness file) .52 .33 8.5 39 error (invalid witness file) 6.3 3.3 140 300
eca-rers2012/Problem10_label08_true-unreach-call.c timeout 0 wit inspect 880   930   8700 610 4.2 0      - - error (invalid witness file) .65 .41 8.6 39 error (invalid witness file) 7.1 3.8 61 290
eca-rers2012/Problem10_label09_true-unreach-call.c timeout 0 wit inspect 880   930   9800 640 4.4 0      - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 7.0 3.7 77 300
eca-rers2012/Problem10_label10_true-unreach-call.c timeout 0 wit inspect 880   930   11000 620 4.2 0      - - error (invalid witness file) .50 .32 11   39 error (invalid witness file) 7.6 4.0 78 290
eca-rers2012/Problem10_label11_true-unreach-call.c timeout 0 wit inspect 880   930   8200 700 4.2 0      - - error (invalid witness file) .49 .32 7.3 40 error (invalid witness file) 6.0 3.2 110 290
eca-rers2012/Problem10_label13_true-unreach-call.c timeout 0 wit inspect 880   930   9800 640 4.2 0      - - error (invalid witness file) .49 .33 6.1 40 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem10_label14_true-unreach-call.c timeout 0 wit inspect 880   930   9800 630 4.2 0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 5.7 3.0 110 300
eca-rers2012/Problem10_label16_true-unreach-call.c timeout 0 wit inspect 880   930   9200 470 4.2 0      - - error (invalid witness file) .56 .36 10   41 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem10_label17_true-unreach-call.c timeout 0 wit inspect 880   930   9900 700 4.2 0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.8 3.6 96 290
eca-rers2012/Problem10_label18_true-unreach-call.c timeout 0 wit inspect 880   930   12000 700 4.2 0      - - error (invalid witness file) .54 .34 8.7 39 error (invalid witness file) 7.1 3.8 95 300
eca-rers2012/Problem10_label19_true-unreach-call.c timeout 0 wit inspect 880   930   11000 630 4.2 0      - - error (invalid witness file) .56 .36 9.7 40 error (invalid witness file) 7.0 3.7 65 290
eca-rers2012/Problem10_label20_true-unreach-call.c timeout 0 wit inspect 880   930   11000 660 4.2 .0041 - - error (invalid witness file) .62 .38 8.9 40 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem10_label21_true-unreach-call.c timeout 0 wit inspect 880   930   10000 630 4.2 0      - - error (invalid witness file) .52 .33 9.7 40 error (invalid witness file) 5.9 3.1 100 300
eca-rers2012/Problem10_label22_true-unreach-call.c timeout 0 wit inspect 880   930   11000 630 4.2 0      - - error (invalid witness file) .65 .42 8.9 41 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem10_label23_true-unreach-call.c timeout 0 wit inspect 880   930   9500 650 4.5 0      - - error (invalid witness file) .48 .31 6.1 39 error (invalid witness file) 7.4 3.9 83 310
eca-rers2012/Problem10_label25_true-unreach-call.c timeout 0 wit inspect 880   930   10000 670 4.2 0      - - error (invalid witness file) .60 .38 9.6 40 error (invalid witness file) 6.4 3.4 97 300
eca-rers2012/Problem10_label27_true-unreach-call.c timeout 0 wit inspect 880   930   8800 680 4.5 16      - - error (invalid witness file) .48 .31 3.7 40 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem10_label30_true-unreach-call.c timeout 0 wit inspect 880   930   10000 620 4.2 0      - - error (invalid witness file) .52 .34 9.2 39 error (invalid witness file) 5.8 3.1 81 290
eca-rers2012/Problem10_label31_true-unreach-call.c timeout 0 wit inspect 880   930   12000 480 4.2 .0082 - - error (invalid witness file) .53 .33 9.1 39 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem10_label32_true-unreach-call.c timeout 0 wit inspect 880   930   10000 710 4.2 0      - - error (invalid witness file) .52 .33 9.1 41 error (invalid witness file) 7.9 4.1 85 300
eca-rers2012/Problem10_label33_true-unreach-call.c timeout 0 wit inspect 880   930   9200 630 4.2 0      - - error (invalid witness file) .50 .31 7.7 40 error (invalid witness file) 7.2 3.8 86 300
eca-rers2012/Problem10_label34_true-unreach-call.c timeout 0 wit inspect 880   930   9800 700 4.5 0      - - error (invalid witness file) .53 .35 3.8 40 error (invalid witness file) 5.7 3.1 110 290
eca-rers2012/Problem10_label35_true-unreach-call.c timeout 0 wit inspect 880   930   12000 620 4.2 0      - - error (invalid witness file) .54 .35 9.4 39 error (invalid witness file) 7.6 4.0 84 300
eca-rers2012/Problem10_label36_true-unreach-call.c timeout 0 wit inspect 880   930   9900 640 4.2 0      - - error (invalid witness file) .55 .36 6.7 39 error (invalid witness file) 6.0 3.2 110 280
eca-rers2012/Problem10_label37_true-unreach-call.c timeout 0 wit inspect 880   930   11000 570 4.2 0      - - error (invalid witness file) .62 .39 9.2 40 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem10_label38_true-unreach-call.c timeout 0 wit inspect 880   930   9500 640 4.2 0      - - error (invalid witness file) .68 .43 8.3 40 error (invalid witness file) 6.6 3.4 110 300
eca-rers2012/Problem10_label39_true-unreach-call.c timeout 0 wit inspect 880   930   13000 640 4.2 0      - - error (invalid witness file) .54 .36 14   42 error (invalid witness file) 6.7 3.6 90 300
eca-rers2012/Problem10_label40_true-unreach-call.c timeout 0 wit inspect 880   930   8200 640 4.2 0      - - error (invalid witness file) .54 .35 6.9 42 error (invalid witness file) 6.0 3.2 100 300
eca-rers2012/Problem10_label43_true-unreach-call.c timeout 0 wit inspect 880   930   12000 620 4.2 0      - - error (invalid witness file) .71 .45 9.4 44 error (invalid witness file) 6.0 3.2 76 300
eca-rers2012/Problem10_label44_true-unreach-call.c timeout 0 wit inspect 880   930   10000 620 4.2 16      - - error (invalid witness file) .48 .31 9.1 39 error (invalid witness file) 7.6 3.9 88 300
eca-rers2012/Problem10_label45_true-unreach-call.c timeout 0 wit inspect 880   930   12000 710 4.2 0      - - error (invalid witness file) .68 .43 10   43 error (invalid witness file) 7.2 3.8 86 300
eca-rers2012/Problem10_label49_true-unreach-call.c timeout 0 wit inspect 880   930   12000 680 4.2 0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.0 3.2 120 300
eca-rers2012/Problem10_label51_true-unreach-call.c timeout 0 wit inspect 880   930   9900 630 4.5 0      - - error (invalid witness file) .50 .31 10   40 error (invalid witness file) 8.1 4.2 88 310
eca-rers2012/Problem10_label52_true-unreach-call.c timeout 0 wit inspect 880   930   9900 640 4.5 0      - - error (invalid witness file) .55 .36 8.6 39 error (invalid witness file) 5.8 3.1 120 290
eca-rers2012/Problem10_label53_true-unreach-call.c timeout 0 wit inspect 880   930   12000 700 4.4 0      - - error (invalid witness file) .57 .37 10   39 error (invalid witness file) 6.3 3.3 92 300
eca-rers2012/Problem10_label54_true-unreach-call.c timeout 0 wit inspect 880   930   10000 640 4.2 0      - - error (invalid witness file) .63 .41 7.3 44 error (invalid witness file) 6.6 3.4 120 320
eca-rers2012/Problem10_label56_true-unreach-call.c timeout 0 wit inspect 880   930   10000 630 4.2 0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 8.9 4.6 94 310
eca-rers2012/Problem10_label59_true-unreach-call.c timeout 0 wit inspect 880   930   10000 660 4.2 0      - - error (invalid witness file) .48 .32 4.2 41 error (invalid witness file) 7.5 4.0 110 310
eca-rers2012/Problem11_label01_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1200 7.1 0      - - error (invalid witness file) .62 .40 8.6 39 error (invalid witness file) 7.7 4.1 89 300
eca-rers2012/Problem11_label02_true-unreach-call.c timeout 0 wit inspect 880   930   9800 1100 7.1 0      - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 5.8 3.1 67 300
eca-rers2012/Problem11_label03_true-unreach-call.c timeout 0 wit inspect 880   930   9800 1200 7.1 0      - - error (invalid witness file) .62 .40 9.1 43 error (invalid witness file) 7.9 4.1 89 300
eca-rers2012/Problem11_label04_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 0      - - error (invalid witness file) .56 .36 14   40 error (invalid witness file) 7.8 4.1 86 300
eca-rers2012/Problem11_label05_true-unreach-call.c timeout 0 wit inspect 880   930   9200 1100 7.1 0      - - error (invalid witness file) .50 .33 9.6 39 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem11_label06_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .54 .35 13   41 error (invalid witness file) 5.9 3.2 69 290
eca-rers2012/Problem11_label07_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1300 7.3 0      - - error (invalid witness file) .63 .39 6.4 40 error (invalid witness file) 6.8 3.6 110 300
eca-rers2012/Problem11_label09_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .57 .37 10   40 error (invalid witness file) 7.2 3.7 130 320
eca-rers2012/Problem11_label10_true-unreach-call.c timeout 0 wit inspect 880   930   9500 1100 7.1 0      - - error (invalid witness file) .50 .33 13   39 error (invalid witness file) 6.9 3.6 110 300
eca-rers2012/Problem11_label11_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 7.0 3.7 90 290
eca-rers2012/Problem11_label12_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .57 .35 11   40 error (invalid witness file) 7.6 4.0 140 320
eca-rers2012/Problem11_label13_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1200 7.1 0      - - error (invalid witness file) .63 .39 9.7 43 error (invalid witness file) 5.7 3.0 120 290
eca-rers2012/Problem11_label16_true-unreach-call.c timeout 0 wit inspect 880   930   8800 1100 7.1 0      - - error (invalid witness file) .55 .34 13   40 error (invalid witness file) 7.9 4.1 78 300
eca-rers2012/Problem11_label17_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 0      - - error (invalid witness file) .52 .36 6.6 42 error (invalid witness file) 6.3 3.3 120 310
eca-rers2012/Problem11_label18_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 0      - - error (invalid witness file) .52 .34 4.7 41 error (invalid witness file) 7.7 4.1 100 300
eca-rers2012/Problem11_label19_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .51 .33 9.2 40 error (invalid witness file) 6.4 3.4 130 310
eca-rers2012/Problem11_label21_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1100 7.1 0      - - error (invalid witness file) .56 .35 12   42 error (invalid witness file) 6.1 3.3 110 290
eca-rers2012/Problem11_label22_true-unreach-call.c timeout 0 wit inspect 880   930   8800 1100 7.1 0      - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem11_label23_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .50 .33 12   41 error (invalid witness file) 8.2 4.3 87 310
eca-rers2012/Problem11_label24_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .59 .37 8.8 39 error (invalid witness file) 7.9 4.2 94 310
eca-rers2012/Problem11_label25_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1100 7.1 0      - - error (invalid witness file) .62 .39 10   39 error (invalid witness file) 8.3 4.3 75 300
eca-rers2012/Problem11_label26_true-unreach-call.c timeout 0 wit inspect 880   930   9600 1100 7.1 0      - - error (invalid witness file) .52 .32 13   42 error (invalid witness file) 7.4 3.9 59 290
eca-rers2012/Problem11_label27_true-unreach-call.c timeout 0 wit inspect 880   930   9400 1100 7.1 0      - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 7.0 3.7 100 290
eca-rers2012/Problem11_label28_true-unreach-call.c timeout 0 wit inspect 880   930   9700 1100 7.1 0      - - error (invalid witness file) .71 .45 7.7 44 error (invalid witness file) 7.2 3.8 88 310
eca-rers2012/Problem11_label30_true-unreach-call.c timeout 0 wit inspect 880   930   8300 1100 7.1 0      - - error (invalid witness file) .54 .35 8.3 41 error (invalid witness file) 7.1 3.8 110 300
eca-rers2012/Problem11_label32_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 .0041 - - error (invalid witness file) .65 .41 8.0 41 error (invalid witness file) 7.1 3.7 100 300
eca-rers2012/Problem11_label33_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 .0041 - - error (invalid witness file) .49 .33 8.5 39 error (invalid witness file) 7.9 4.1 100 290
eca-rers2012/Problem11_label35_true-unreach-call.c timeout 0 wit inspect 880   930   9900 1100 7.1 0      - - error (invalid witness file) .68 .43 8.9 42 error (invalid witness file) 5.9 3.2 90 290
eca-rers2012/Problem11_label37_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .49 .32 9.2 39 error (invalid witness file) 6.4 3.4 100 300
eca-rers2012/Problem11_label38_true-unreach-call.c timeout 0 wit inspect 880   930   9300 1100 7.1 0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 7.8 4.1 88 300
eca-rers2012/Problem11_label40_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1100 7.1 .0041 - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 8.1 4.2 80 300
eca-rers2012/Problem11_label41_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1100 7.1 0      - - error (invalid witness file) .55 .36 12   41 error (invalid witness file) 6.4 3.4 130 300
eca-rers2012/Problem11_label44_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.3 0      - - error (invalid witness file) .50 .31 4.2 40 error (invalid witness file) 7.8 4.1 88 300
eca-rers2012/Problem11_label45_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .50 .34 6.5 39 error (invalid witness file) 6.1 3.2 120 300
eca-rers2012/Problem11_label46_true-unreach-call.c timeout 0 wit inspect 880   930   8700 1100 7.1 0      - - error (invalid witness file) .61 .37 9.7 39 error (invalid witness file) 6.5 3.4 100 300
eca-rers2012/Problem11_label47_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 0      - - error (invalid witness file) .50 .32 9.7 39 error (invalid witness file) 6.0 3.2 93 290
eca-rers2012/Problem11_label48_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .56 .37 11   40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem11_label50_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1100 7.1 0      - - error (invalid witness file) .66 .41 7.5 39 error (invalid witness file) 6.9 3.6 140 310
eca-rers2012/Problem11_label52_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1100 7.2 0      - - error (invalid witness file) .63 .41 7.8 40 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem11_label53_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1300 7.1 0      - - error (invalid witness file) .51 .32 10   41 error (invalid witness file) 7.8 4.1 90 300
eca-rers2012/Problem11_label54_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1100 7.1 0      - - error (invalid witness file) .76 .47 9.7 44 error (invalid witness file) 8.0 4.2 78 300
eca-rers2012/Problem11_label55_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1500 8.1 0      - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 9.4 4.9 100 310
eca-rers2012/Problem11_label56_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1300 7.1 .0082 - - error (invalid witness file) .62 .38 9.4 40 error (invalid witness file) 7.4 3.9 83 300
eca-rers2012/Problem11_label57_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1100 7.1 0      - - error (invalid witness file) .60 .39 8.7 39 error (invalid witness file) 7.7 4.0 86 300
eca-rers2012/Problem11_label59_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1200 7.1 0      - - error (invalid witness file) .63 .41 7.6 40 error (invalid witness file) 6.3 3.3 120 300
eca-rers2012/Problem12_label01_true-unreach-call.c timeout 0 wit inspect 880   930   9300 2800 27   0      - - error (invalid witness file) .72 .45 8.0 40 error (invalid witness file) 8.9 4.6 77 300
eca-rers2012/Problem12_label02_true-unreach-call.c timeout 0 wit inspect 880   930   8600 2800 27   0      - - error (invalid witness file) .49 .33 3.9 39 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem12_label04_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2500 27   16      - - error (invalid witness file) .53 .35 7.8 40 error (invalid witness file) 9.0 4.7 86 310
eca-rers2012/Problem12_label05_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2600 27   0      - - error (invalid witness file) .53 .34 8.0 41 error (invalid witness file) 6.7 3.6 120 310
eca-rers2012/Problem12_label09_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2900 27   .0082 - - error (invalid witness file) .65 .43 8.7 42 error (invalid witness file) 8.0 4.2 83 310
eca-rers2012/Problem12_label11_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2600 27   0      - - error (invalid witness file) .63 .40 8.3 40 error (invalid witness file) 6.2 3.3 98 290
eca-rers2012/Problem12_label12_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2400 27   0      - - error (invalid witness file) .55 .35 9.7 42 error (invalid witness file) 7.6 4.1 93 300
eca-rers2012/Problem12_label14_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 27   0      - - error (invalid witness file) .50 .33 4.6 41 error (invalid witness file) 7.5 3.9 120 300
eca-rers2012/Problem12_label15_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2800 27   0      - - error (invalid witness file) .61 .40 8.7 40 error (invalid witness file) 7.3 3.8 130 310
eca-rers2012/Problem12_label16_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2500 27   0      - - error (invalid witness file) .67 .43 9.5 41 error (invalid witness file) 8.5 4.4 98 310
eca-rers2012/Problem12_label17_true-unreach-call.c timeout 0 wit inspect 880   930   9200 2800 28   0      - - error (invalid witness file) .52 .36 7.4 44 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem12_label18_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2800 27   0      - - error (invalid witness file) .64 .41 7.0 41 error (invalid witness file) 7.7 4.0 110 310
eca-rers2012/Problem12_label22_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2800 27   0      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.7 3.5 150 300
eca-rers2012/Problem12_label23_true-unreach-call.c timeout 0 wit inspect 880   930   9800 2800 27   0      - - error (invalid witness file) .59 .38 8.0 40 error (invalid witness file) 6.9 3.7 110 300
eca-rers2012/Problem12_label24_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2600 27   0      - - error (invalid witness file) .57 .35 12   44 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem12_label26_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2800 27   0      - - error (invalid witness file) .58 .37 13   45 error (invalid witness file) 7.5 3.9 110 300
eca-rers2012/Problem12_label27_true-unreach-call.c timeout 0 wit inspect 880   930   9000 2900 27   0      - - error (invalid witness file) .50 .31 12   39 error (invalid witness file) 8.7 4.5 110 310
eca-rers2012/Problem12_label29_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2800 27   0      - - error (invalid witness file) .69 .44 8.9 41 error (invalid witness file) 7.3 3.8 79 300
eca-rers2012/Problem12_label31_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2800 27   0      - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 7.2 3.8 110 300
eca-rers2012/Problem12_label32_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2900 27   0      - - error (invalid witness file) .63 .41 7.9 39 error (invalid witness file) 7.8 4.1 95 300
eca-rers2012/Problem12_label33_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2500 27   0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.6 3.4 120 310
eca-rers2012/Problem12_label36_true-unreach-call.c timeout 0 wit inspect 880   930   9000 2800 27   0      - - error (invalid witness file) .58 .36 8.9 41 error (invalid witness file) 7.5 4.0 98 300
eca-rers2012/Problem12_label41_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2500 27   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.0 4.2 93 300
eca-rers2012/Problem12_label43_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2500 27   0      - - error (invalid witness file) .59 .38 8.7 43 error (invalid witness file) 7.5 3.9 110 290
eca-rers2012/Problem12_label44_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2600 27   0      - - error (invalid witness file) .47 .30 9.2 40 error (invalid witness file) 7.1 3.8 120 310
eca-rers2012/Problem12_label45_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2600 27   0      - - error (invalid witness file) .51 .33 7.0 42 error (invalid witness file) 7.0 3.7 90 300
eca-rers2012/Problem12_label46_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 27   0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 7.9 4.2 100 300
eca-rers2012/Problem12_label47_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2500 27   0      - - error (invalid witness file) .53 .34 8.6 39 error (invalid witness file) 9.7 5.0 110 320
eca-rers2012/Problem12_label49_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2600 28   0      - - error (invalid witness file) .47 .31 9.9 39 error (invalid witness file) 6.9 3.6 140 300
eca-rers2012/Problem12_label53_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2600 27   0      - - error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.2 3.3 94 300
eca-rers2012/Problem12_label54_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2800 27   0      - - error (invalid witness file) .65 .41 9.4 42 error (invalid witness file) 7.7 4.0 100 300
eca-rers2012/Problem12_label56_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2800 27   0      - - error (invalid witness file) .46 .30 7.3 39 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem12_label57_true-unreach-call.c timeout 0 wit inspect 880   930   9700 2800 27   0      - - error (invalid witness file) .63 .41 8.0 39 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem12_label58_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2800 28   0      - - error (invalid witness file) .69 .44 8.2 40 error (invalid witness file) 9.2 4.8 95 320
eca-rers2012/Problem12_label59_true-unreach-call.c timeout 0 wit inspect 880   930   9300 2800 27   0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.7 3.5 130 300
eca-rers2012/Problem13_label00_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .61 .38 8.7 39 error (invalid witness file) 7.5 3.9 120 300
eca-rers2012/Problem13_label01_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .47 .31 6.3 40 error (invalid witness file) 8.2 4.3 89 290
eca-rers2012/Problem13_label02_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 33   .0041 - - error (invalid witness file) .61 .39 9.6 40 error (invalid witness file) 7.0 3.7 130 310
eca-rers2012/Problem13_label03_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 34   .0041 - - error (invalid witness file) .46 .30 9.7 39 error (invalid witness file) 7.4 3.9 85 300
eca-rers2012/Problem13_label05_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 34   0      - - error (invalid witness file) .58 .36 12   40 error (invalid witness file) 8.9 4.6 75 320
eca-rers2012/Problem13_label08_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3000 33   0      - - error (invalid witness file) .56 .36 11   39 error (invalid witness file) 8.1 4.3 85 290
eca-rers2012/Problem13_label09_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3100 33   0      - - error (invalid witness file) .61 .40 8.2 42 error (invalid witness file) 6.6 3.4 97 310
eca-rers2012/Problem13_label10_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 33   16      - - error (invalid witness file) .60 .37 6.5 40 error (invalid witness file) 8.2 4.3 100 310
eca-rers2012/Problem13_label13_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 34   0      - - error (invalid witness file) .50 .33 13   39 error (invalid witness file) 8.7 4.5 84 300
eca-rers2012/Problem13_label14_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3100 34   .0082 - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 9.0 4.7 89 320
eca-rers2012/Problem13_label15_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 33   0      - - error (invalid witness file) .66 .41 8.0 40 error (invalid witness file) 8.4 4.4 80 300
eca-rers2012/Problem13_label17_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .64 .41 7.7 39 error (invalid witness file) 8.7 4.6 84 300
eca-rers2012/Problem13_label18_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3100 34   0      - - error (invalid witness file) .54 .33 14   40 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem13_label20_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 34   0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 8.6 4.5 83 310
eca-rers2012/Problem13_label22_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .50 .31 9.3 40 error (invalid witness file) 8.0 4.2 130 330
eca-rers2012/Problem13_label26_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3100 33   0      - - error (invalid witness file) .56 .36 9.2 40 error (invalid witness file) 7.6 4.0 120 310
eca-rers2012/Problem13_label27_true-unreach-call.c timeout 0 wit inspect 880   930   9700 3100 33   0      - - error (invalid witness file) .49 .33 11   39 error (invalid witness file) 7.3 3.8 120 310
eca-rers2012/Problem13_label31_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 33   0      - - error (invalid witness file) .52 .32 13   39 error (invalid witness file) 8.6 4.5 94 310
eca-rers2012/Problem13_label33_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3100 33   0      - - error (invalid witness file) .47 .31 6.3 40 error (invalid witness file) 8.6 4.4 120 340
eca-rers2012/Problem13_label34_true-unreach-call.c timeout 0 wit inspect 880   930   9100 3100 33   0      - - error (invalid witness file) .57 .38 8.2 39 error (invalid witness file) 8.3 4.4 110 300
eca-rers2012/Problem13_label37_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3300 33   0      - - error (invalid witness file) .64 .42 7.6 39 error (invalid witness file) 8.2 4.3 94 310
eca-rers2012/Problem13_label38_true-unreach-call.c timeout 0 wit inspect 880   930   9500 3100 33   0      - - error (invalid witness file) .65 .42 7.5 41 error (invalid witness file) 6.3 3.3 95 300
eca-rers2012/Problem13_label39_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .51 .32 5.9 40 error (invalid witness file) 8.1 4.2 77 300
eca-rers2012/Problem13_label41_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 33   0      - - error (invalid witness file) .50 .32 8.7 39 error (invalid witness file) 8.9 4.7 84 300
eca-rers2012/Problem13_label42_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3100 33   0      - - error (invalid witness file) .57 .37 8.5 40 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem13_label46_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 33   0      - - error (invalid witness file) .70 .43 8.8 43 error (invalid witness file) 8.5 4.5 85 300
eca-rers2012/Problem13_label47_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 34   0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 8.3 4.3 88 300
eca-rers2012/Problem13_label49_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 34   0      - - error (invalid witness file) .54 .34 9.2 39 error (invalid witness file) 7.5 3.9 110 310
eca-rers2012/Problem13_label50_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 33   0      - - error (invalid witness file) .53 .34 13   39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem13_label52_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3300 33   .0041 - - error (invalid witness file) .50 .32 13   40 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem13_label53_true-unreach-call.c timeout 0 wit inspect 880   930   9800 3100 33   0      - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.9 3.6 90 310
eca-rers2012/Problem13_label55_true-unreach-call.c timeout 0 wit inspect 880   930   9700 3100 33   0      - - error (invalid witness file) .55 .34 14   40 error (invalid witness file) 7.1 3.7 150 320
eca-rers2012/Problem13_label56_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3400 33   0      - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 9.1 4.7 95 300
eca-rers2012/Problem13_label57_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 34   0      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.9 3.7 150 300
eca-rers2012/Problem13_label59_true-unreach-call.c timeout 0 wit inspect 880   930   9200 3100 34   0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.1 3.7 89 300
eca-rers2012/Problem14_label00_true-unreach-call.c timeout 0 wit inspect 880   930   11000 660 5.0 0      - - error (invalid witness file) .64 .41 8.1 43 error (invalid witness file) 5.4 2.9 85 280
eca-rers2012/Problem14_label01_true-unreach-call.c timeout 0 wit inspect 880   930   10000 660 5.0 0      - - error (invalid witness file) .54 .34 9.0 39 error (invalid witness file) 6.0 3.2 91 300
eca-rers2012/Problem14_label03_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.4 0      - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 6.4 3.4 110 290
eca-rers2012/Problem14_label04_true-unreach-call.c timeout 0 wit inspect 880   930   12000 860 5.0 0      - - error (invalid witness file) .65 .41 7.1 41 error (invalid witness file) 7.8 4.1 81 300
eca-rers2012/Problem14_label05_true-unreach-call.c timeout 0 wit inspect 880   930   10000 650 5.0 0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 7.5 4.0 75 290
eca-rers2012/Problem14_label06_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.0 0      - - error (invalid witness file) .57 .36 9.2 40 error (invalid witness file) 7.0 3.7 120 300
eca-rers2012/Problem14_label07_true-unreach-call.c timeout 0 wit inspect 880   930   9700 650 5.0 0      - - error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 8.0 4.2 77 300
eca-rers2012/Problem14_label09_true-unreach-call.c timeout 0 wit inspect 880   930   9500 690 5.0 0      - - error (invalid witness file) .63 .40 17   45 error (invalid witness file) 6.2 3.3 130 300
eca-rers2012/Problem14_label15_true-unreach-call.c timeout 0 wit inspect 880   930   10000 660 5.0 0      - - error (invalid witness file) .57 .36 7.1 40 error (invalid witness file) 6.4 3.3 95 310
eca-rers2012/Problem14_label16_true-unreach-call.c timeout 0 wit inspect 880   930   9300 690 5.0 0      - - error (invalid witness file) .60 .37 10   39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem14_label17_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.0 0      - - error (invalid witness file) .69 .45 7.5 40 error (invalid witness file) 6.0 3.1 96 300
eca-rers2012/Problem14_label19_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.2 0      - - error (invalid witness file) .62 .40 7.8 40 error (invalid witness file) 7.1 3.7 97 310
eca-rers2012/Problem14_label20_true-unreach-call.c timeout 0 wit inspect 880   930   7700 790 5.3 0      - - error (invalid witness file) .62 .39 8.5 41 error (invalid witness file) 7.2 3.8 98 290
eca-rers2012/Problem14_label21_true-unreach-call.c timeout 0 wit inspect 880   930   12000 720 5.0 0      - - error (invalid witness file) .72 .46 8.5 42 error (invalid witness file) 7.1 3.7 80 290
eca-rers2012/Problem14_label23_true-unreach-call.c timeout 0 wit inspect 880   930   12000 650 5.3 0      - - error (invalid witness file) .52 .34 9.9 41 error (invalid witness file) 7.1 3.7 93 300
eca-rers2012/Problem14_label24_true-unreach-call.c timeout 0 wit inspect 880   930   9900 750 5.0 0      - - error (invalid witness file) .71 .45 8.6 43 error (invalid witness file) 6.7 3.6 110 310
eca-rers2012/Problem14_label25_true-unreach-call.c timeout 0 wit inspect 880   930   9600 660 5.0 0      - - error (invalid witness file) .50 .31 10   41 error (invalid witness file) 7.6 4.0 81 290
eca-rers2012/Problem14_label26_true-unreach-call.c timeout 0 wit inspect 880   930   13000 660 5.0 0      - - error (invalid witness file) .54 .34 12   39 error (invalid witness file) 7.8 4.1 90 300
eca-rers2012/Problem14_label30_true-unreach-call.c timeout 0 wit inspect 880   930   13000 660 5.0 0      - - error (invalid witness file) .55 .35 5.7 43 error (invalid witness file) 8.0 4.2 77 300
eca-rers2012/Problem14_label32_true-unreach-call.c timeout 0 wit inspect 880   930   11000 740 5.0 0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.2 4.2 100 310
eca-rers2012/Problem14_label33_true-unreach-call.c timeout 0 wit inspect 880   930   8400 800 5.0 0      - - error (invalid witness file) .62 .38 8.4 40 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem14_label35_true-unreach-call.c timeout 0 wit inspect 880   930   11000 740 5.3 0      - - error (invalid witness file) .58 .36 9.3 40 error (invalid witness file) 7.3 3.8 88 300
eca-rers2012/Problem14_label36_true-unreach-call.c timeout 0 wit inspect 880   930   10000 760 5.1 0      - - error (invalid witness file) .51 .32 9.7 40 error (invalid witness file) 5.9 3.2 95 300
eca-rers2012/Problem14_label38_true-unreach-call.c timeout 0 wit inspect 880   930   9800 750 5.0 0      - - error (invalid witness file) .50 .34 3.9 40 error (invalid witness file) 7.2 3.8 93 340
eca-rers2012/Problem14_label42_true-unreach-call.c timeout 0 wit inspect 880   930   9100 700 5.0 0      - - error (invalid witness file) .59 .36 9.2 39 error (invalid witness file) 6.8 3.6 130 310
eca-rers2012/Problem14_label45_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.0 0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.3 3.4 90 300
eca-rers2012/Problem14_label46_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.0 0      - - error (invalid witness file) .58 .37 9.5 39 error (invalid witness file) 6.3 3.3 100 290
eca-rers2012/Problem14_label47_true-unreach-call.c timeout 0 wit inspect 880   930   9800 650 5.2 0      - - error (invalid witness file) .54 .34 12   39 error (invalid witness file) 7.9 4.1 79 300
eca-rers2012/Problem14_label48_true-unreach-call.c timeout 0 wit inspect 880   930   8600 740 5.0 0      - - error (invalid witness file) .64 .39 6.9 40 error (invalid witness file) 7.5 3.9 110 310
eca-rers2012/Problem14_label49_true-unreach-call.c timeout 0 wit inspect 880   930   11000 650 5.0 0      - - error (invalid witness file) .66 .42 7.6 39 error (invalid witness file) 8.2 4.3 100 310
eca-rers2012/Problem14_label50_true-unreach-call.c timeout 0 wit inspect 880   930   12000 880 5.0 0      - - error (invalid witness file) .58 .36 9.3 40 error (invalid witness file) 7.5 3.9 65 300
eca-rers2012/Problem14_label51_true-unreach-call.c timeout 0 wit inspect 880   930   10000 650 5.0 0      - - error (invalid witness file) .63 .40 8.6 40 error (invalid witness file) 6.5 3.4 120 320
eca-rers2012/Problem14_label53_true-unreach-call.c timeout 0 wit inspect 880   930   10000 650 5.0 0      - - error (invalid witness file) .55 .35 10   41 error (invalid witness file) 7.2 3.8 110 300
eca-rers2012/Problem14_label55_true-unreach-call.c timeout 0 wit inspect 880   930   10000 650 5.0 0      - - error (invalid witness file) .59 .37 14   44 error (invalid witness file) 5.8 3.1 58 300
eca-rers2012/Problem14_label59_true-unreach-call.c timeout 0 wit inspect 880   930   10000 650 5.0 0      - - error (invalid witness file) .46 .32 9.6 39 error (invalid witness file) 6.5 3.5 100 310
eca-rers2012/Problem15_label01_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2200 11   0      - - error (invalid witness file) .66 .42 8.4 39 error (invalid witness file) 8.8 4.6 69 300
eca-rers2012/Problem15_label04_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2300 11   0      - - error (invalid witness file) .62 .39 7.5 40 error (invalid witness file) 11   5.7 79 300
eca-rers2012/Problem15_label05_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2100 11   0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 8.2 4.3 79 290
eca-rers2012/Problem15_label06_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2300 11   0      - - error (invalid witness file) .56 .36 10   41 error (invalid witness file) 6.7 3.5 110 310
eca-rers2012/Problem15_label08_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2200 11   0      - - error (invalid witness file) .51 .35 4.1 39 error (invalid witness file) 8.8 4.5 83 300
eca-rers2012/Problem15_label10_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2300 11   0      - - error (invalid witness file) .48 .31 12   40 error (invalid witness file) 7.8 4.1 87 300
eca-rers2012/Problem15_label11_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2100 11   0      - - error (invalid witness file) .57 .36 11   40 error (invalid witness file) 7.8 4.1 89 300
eca-rers2012/Problem15_label12_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2200 11   16      - - error (invalid witness file) .52 .34 13   41 error (invalid witness file) 8.3 4.4 74 290
eca-rers2012/Problem15_label13_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2300 11   0      - - error (invalid witness file) .64 .41 9.5 40 error (invalid witness file) 6.1 3.2 120 290
eca-rers2012/Problem15_label16_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2300 12   0      - - error (invalid witness file) .62 .41 7.4 39 error (invalid witness file) 7.4 3.9 94 300
eca-rers2012/Problem15_label17_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2200 12   0      - - error (invalid witness file) .69 .42 9.0 42 error (invalid witness file) 6.8 3.6 120 290
eca-rers2012/Problem15_label19_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2100 11   16      - - error (invalid witness file) .60 .39 8.8 39 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem15_label20_true-unreach-call.c timeout 0 wit inspect 880   930   9500 2200 11   0      - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 7.1 3.7 68 300
eca-rers2012/Problem15_label21_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2300 11   0      - - error (invalid witness file) .51 .34 9.9 39 error (invalid witness file) 7.8 4.1 83 310
eca-rers2012/Problem15_label24_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2300 11   0      - - error (invalid witness file) .55 .35 11   39 error (invalid witness file) 7.4 3.9 120 320
eca-rers2012/Problem15_label26_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2300 11   0      - - error (invalid witness file) .66 .41 7.4 39 error (invalid witness file) 6.6 3.5 120 310
eca-rers2012/Problem15_label27_true-unreach-call.c timeout 0 wit inspect 880   930   9800 2300 11   0      - - error (invalid witness file) .51 .33 9.7 39 error (invalid witness file) 8.1 4.2 94 300
eca-rers2012/Problem15_label28_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2200 11   0      - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 8.0 4.2 85 300
eca-rers2012/Problem15_label31_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2300 11   0      - - error (invalid witness file) .50 .32 11   42 error (invalid witness file) 8.7 4.6 95 300
eca-rers2012/Problem15_label32_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2200 11   0      - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 6.7 3.5 130 310
eca-rers2012/Problem15_label35_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2300 11   16      - - error (invalid witness file) .53 .35 14   43 error (invalid witness file) 6.1 3.2 100 300
eca-rers2012/Problem15_label36_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2300 11   0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem15_label42_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2300 11   0      - - error (invalid witness file) .58 .37 10   40 error (invalid witness file) 8.1 4.3 94 310
eca-rers2012/Problem15_label43_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2300 12   0      - - error (invalid witness file) .52 .35 4.4 43 error (invalid witness file) 8.6 4.4 96 320
eca-rers2012/Problem15_label44_true-unreach-call.c timeout 0 wit inspect 880   930   9300 2300 11   0      - - error (invalid witness file) .50 .33 5.8 40 error (invalid witness file) 6.3 3.3 130 300
eca-rers2012/Problem15_label46_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2300 11   0      - - error (invalid witness file) .55 .36 14   40 error (invalid witness file) 8.2 4.3 87 300
eca-rers2012/Problem15_label49_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2300 11   0      - - error (invalid witness file) .76 .49 8.0 41 error (invalid witness file) 7.2 3.8 100 300
eca-rers2012/Problem15_label52_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2200 11   0      - - error (invalid witness file) .52 .33 5.8 41 error (invalid witness file) 7.8 4.1 85 290
eca-rers2012/Problem15_label53_true-unreach-call.c timeout 0 wit inspect 880   930   8400 2600 11   0      - - error (invalid witness file) .66 .43 7.8 40 error (invalid witness file) 6.7 3.6 85 300
eca-rers2012/Problem15_label54_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2400 11   0      - - error (invalid witness file) .50 .33 3.8 40 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem15_label55_true-unreach-call.c timeout 0 wit inspect 880   930   8700 2600 11   0      - - error (invalid witness file) .51 .33 13   39 error (invalid witness file) 8.3 4.4 80 300
eca-rers2012/Problem15_label56_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2300 11   0      - - error (invalid witness file) .62 .40 6.6 39 error (invalid witness file) 7.7 4.0 100 300
eca-rers2012/Problem15_label57_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2400 11   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.2 3.3 130 310
eca-rers2012/Problem15_label58_true-unreach-call.c timeout 0 wit inspect 880   930   9200 2300 11   0      - - error (invalid witness file) .56 .35 10   42 error (invalid witness file) 7.2 3.8 120 310
eca-rers2012/Problem15_label59_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2300 11   0      - - error (invalid witness file) .59 .36 9.1 39 error (invalid witness file) 7.1 3.8 100 300
eca-rers2012/Problem16_label02_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1500 9.6 0      - - error (invalid witness file) .64 .40 7.1 39 error (invalid witness file) 7.5 3.9 95 300
eca-rers2012/Problem16_label07_true-unreach-call.c timeout 0 wit inspect 880   930   9100 1900 9.6 0      - - error (invalid witness file) .53 .34 7.7 40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem16_label09_true-unreach-call.c timeout 0 wit inspect 880   930   9100 2000 9.6 0      - - error (invalid witness file) .55 .34 13   41 error (invalid witness file) 7.9 4.1 98 310
eca-rers2012/Problem16_label10_true-unreach-call.c timeout 0 wit inspect 880   930   9600 1900 10   0      - - error (invalid witness file) .62 .40 8.0 39 error (invalid witness file) 6.6 3.5 92 310
eca-rers2012/Problem16_label11_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1800 9.6 0      - - error (invalid witness file) .67 .43 8.0 40 error (invalid witness file) 8.1 4.3 71 300
eca-rers2012/Problem16_label12_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2100 9.6 0      - - error (invalid witness file) .63 .40 10   42 error (invalid witness file) 6.0 3.2 91 300
eca-rers2012/Problem16_label13_true-unreach-call.c timeout 0 wit inspect 880   930   9800 1900 9.7 .0041 - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 8.1 4.2 92 300
eca-rers2012/Problem16_label16_true-unreach-call.c timeout 0 wit inspect 880   930   9600 2000 9.6 0      - - error (invalid witness file) .54 .34 12   39 error (invalid witness file) 6.5 3.4 130 300
eca-rers2012/Problem16_label17_true-unreach-call.c timeout 0 wit inspect 880   930   8700 1900 9.6 0      - - error (invalid witness file) .61 .38 11   40 error (invalid witness file) 8.3 4.4 91 300
eca-rers2012/Problem16_label19_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1500 9.6 0      - - error (invalid witness file) .69 .43 9.9 44 error (invalid witness file) 7.7 4.1 100 300
eca-rers2012/Problem16_label21_true-unreach-call.c timeout 0 wit inspect 880   930   9300 2000 9.6 0      - - error (invalid witness file) .48 .32 10   41 error (invalid witness file) 6.5 3.4 110 300
eca-rers2012/Problem16_label23_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1600 10   0      - - error (invalid witness file) .52 .32 10   39 error (invalid witness file) 7.6 4.0 88 300
eca-rers2012/Problem16_label24_true-unreach-call.c timeout 0 wit inspect 880   930   9600 1900 9.6 0      - - error (invalid witness file) .53 .34 10   39 error (invalid witness file) 8.4 4.4 110 320
eca-rers2012/Problem16_label25_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1500 9.6 0      - - error (invalid witness file) .56 .36 9.2 39 error (invalid witness file) 8.2 4.3 88 310
eca-rers2012/Problem16_label26_true-unreach-call.c timeout 0 wit inspect 880   930   9700 1900 9.7 0      - - error (invalid witness file) .63 .39 9.8 39 error (invalid witness file) 6.2 3.3 120 310
eca-rers2012/Problem16_label28_true-unreach-call.c timeout 0 wit inspect 880   930   9200 2000 9.6 0      - - error (invalid witness file) .63 .40 8.8 39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem16_label29_true-unreach-call.c timeout 0 wit inspect 880   930   9300 1900 10   0      - - error (invalid witness file) .66 .42 7.7 41 error (invalid witness file) 6.9 3.6 120 310
eca-rers2012/Problem16_label32_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2000 9.6 0      - - error (invalid witness file) .52 .34 11   39 error (invalid witness file) 8.0 4.2 74 300
eca-rers2012/Problem16_label34_true-unreach-call.c timeout 0 wit inspect 880   930   9300 1900 9.6 0      - - error (invalid witness file) .49 .32 9.9 40 error (invalid witness file) 7.9 4.1 120 330
eca-rers2012/Problem16_label35_true-unreach-call.c timeout 0 wit inspect 880   930   9400 1900 9.6 0      - - error (invalid witness file) .69 .44 7.6 41 error (invalid witness file) 7.5 4.0 110 300
eca-rers2012/Problem16_label36_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2000 9.6 0      - - error (invalid witness file) .51 .34 11   39 error (invalid witness file) 6.9 3.6 120 310
eca-rers2012/Problem16_label39_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 9.6 0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 8.0 4.2 83 300
eca-rers2012/Problem16_label40_true-unreach-call.c timeout 0 wit inspect 880   930   9200 2100 9.8 16      - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 7.7 4.0 87 310
eca-rers2012/Problem16_label42_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1900 9.6 .0041 - - error (invalid witness file) .49 .32 9.5 40 error (invalid witness file) 7.3 3.9 98 300
eca-rers2012/Problem16_label45_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2000 9.7 0      - - error (invalid witness file) .49 .31 12   40 error (invalid witness file) 7.8 4.1 90 310
eca-rers2012/Problem16_label47_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1500 9.6 0      - - error (invalid witness file) .68 .43 8.5 40 error (invalid witness file) 7.1 3.7 120 320
eca-rers2012/Problem16_label48_true-unreach-call.c timeout 0 wit inspect 880   930   9000 1900 9.6 0      - - error (invalid witness file) .55 .36 4.3 42 error (invalid witness file) 6.6 3.5 97 290
eca-rers2012/Problem16_label49_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2000 9.6 16      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 8.0 4.2 81 290
eca-rers2012/Problem16_label50_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2200 9.6 0      - - error (invalid witness file) .63 .41 5.7 40 error (invalid witness file) 6.9 3.6 120 320
eca-rers2012/Problem16_label53_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1900 9.6 0      - - error (invalid witness file) .50 .33 9.9 40 error (invalid witness file) 8.3 4.3 91 300
eca-rers2012/Problem16_label55_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2000 9.6 0      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.2 3.3 120 300
eca-rers2012/Problem16_label56_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 9.6 0      - - error (invalid witness file) .48 .32 7.0 40 error (invalid witness file) 6.7 3.5 120 310
eca-rers2012/Problem16_label57_true-unreach-call.c timeout 0 wit inspect 880   930   9600 1900 9.6 0      - - error (invalid witness file) .63 .41 7.1 40 error (invalid witness file) 7.5 3.9 120 310
eca-rers2012/Problem16_label58_true-unreach-call.c timeout 0 wit inspect 880   930   9200 1900 10   0      - - error (invalid witness file) .54 .35 12   42 error (invalid witness file) 8.3 4.3 93 310
eca-rers2012/Problem16_label59_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1500 10   0      - - error (invalid witness file) .52 .35 6.9 41 error (invalid witness file) 6.6 3.5 120 300
eca-rers2012/Problem17_label00_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 18   0      - - error (invalid witness file) .49 .32 7.7 39 error (invalid witness file) 6.2 3.3 100 300
eca-rers2012/Problem17_label01_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      - - error (invalid witness file) .54 .35 10   40 error (invalid witness file) 8.2 4.3 92 300
eca-rers2012/Problem17_label02_true-unreach-call.c timeout 0 wit inspect 880   930   9800 3000 18   0      - - error (invalid witness file) .55 .35 12   39 error (invalid witness file) 6.5 3.4 120 300
eca-rers2012/Problem17_label03_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 18   0      - - error (invalid witness file) .60 .38 8.9 39 error (invalid witness file) 6.6 3.5 130 310
eca-rers2012/Problem17_label05_true-unreach-call.c timeout 0 wit inspect 880   930   13000 3100 18   0      - - error (invalid witness file) .56 .36 12   43 error (invalid witness file) 6.6 3.5 150 300
eca-rers2012/Problem17_label06_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   .0041 - - error (invalid witness file) .57 .36 9.9 40 error (invalid witness file) 7.4 3.9 90 300
eca-rers2012/Problem17_label08_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      - - error (invalid witness file) .67 .41 8.3 40 error (invalid witness file) 7.5 4.0 88 290
eca-rers2012/Problem17_label10_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3000 18   0      - - error (invalid witness file) .49 .32 9.0 40 error (invalid witness file) 7.4 3.9 90 300
eca-rers2012/Problem17_label11_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   0      - - error (invalid witness file) .63 .40 8.5 41 error (invalid witness file) 7.5 4.0 84 310
eca-rers2012/Problem17_label12_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   0      - - error (invalid witness file) .50 .34 9.8 43 error (invalid witness file) 8.6 4.5 82 300
eca-rers2012/Problem17_label14_true-unreach-call.c timeout 0 wit inspect 880   930   9900 3000 18   0      - - error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.6 3.5 130 300
eca-rers2012/Problem17_label15_true-unreach-call.c timeout 0 wit inspect 880   930   8900 3000 18   0      - - error (invalid witness file) .65 .43 7.0 41 error (invalid witness file) 8.7 4.5 97 310
eca-rers2012/Problem17_label17_true-unreach-call.c timeout 0 wit inspect 880   930   9600 2900 18   0      - - error (invalid witness file) .56 .36 7.7 40 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem17_label18_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      - - error (invalid witness file) .62 .39 9.1 40 error (invalid witness file) 7.5 3.9 98 300
eca-rers2012/Problem17_label19_true-unreach-call.c timeout 0 wit inspect 880   930   9700 3100 21   0      - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 8.7 4.5 82 300
eca-rers2012/Problem17_label21_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      - - error (invalid witness file) .50 .31 10   39 error (invalid witness file) 8.1 4.3 70 300
eca-rers2012/Problem17_label22_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 18   0      - - error (invalid witness file) .55 .34 12   41 error (invalid witness file) 8.4 4.3 120 310
eca-rers2012/Problem17_label24_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   0      - - error (invalid witness file) .60 .37 8.4 40 error (invalid witness file) 6.6 3.4 120 300
eca-rers2012/Problem17_label27_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 18   0      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 7.9 4.1 110 330
eca-rers2012/Problem17_label28_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3200 20   0      - - error (invalid witness file) .60 .38 7.8 39 error (invalid witness file) 7.8 4.1 89 310
eca-rers2012/Problem17_label29_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      - - error (invalid witness file) .51 .34 11   40 error (invalid witness file) 7.4 3.8 89 290
eca-rers2012/Problem17_label32_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 18   0      - - error (invalid witness file) .51 .32 10   40 error (invalid witness file) 6.3 3.3 100 300
eca-rers2012/Problem17_label36_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3000 18   0      - - error (invalid witness file) .51 .33 9.0 40 error (invalid witness file) 8.5 4.4 79 300
eca-rers2012/Problem17_label38_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 18   16      - - error (invalid witness file) .49 .32 10   40 error (invalid witness file) 8.7 4.5 94 320
eca-rers2012/Problem17_label39_true-unreach-call.c timeout 0 wit inspect 880   930   12000 3100 18   0      - - error (invalid witness file) .65 .41 8.2 41 error (invalid witness file) 7.3 3.9 97 290
eca-rers2012/Problem17_label41_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3200 18   0      - - error (invalid witness file) .60 .38 8.6 40 error (invalid witness file) 6.5 3.5 140 310
eca-rers2012/Problem17_label42_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3000 18   0      - - error (invalid witness file) .61 .38 14   45 error (invalid witness file) 8.4 4.4 82 300
eca-rers2012/Problem17_label43_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2900 18   0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 8.8 4.6 96 310
eca-rers2012/Problem17_label44_true-unreach-call.c timeout 0 wit inspect 880   930   8500 3200 18   0      - - error (invalid witness file) .54 .35 9.8 39 error (invalid witness file) 8.5 4.5 92 290
eca-rers2012/Problem17_label45_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.9 3.2 94 300
eca-rers2012/Problem17_label47_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3100 18   0      - - error (invalid witness file) .55 .35 10   40 error (invalid witness file) 7.5 3.9 130 310
eca-rers2012/Problem17_label48_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 18   0      - - error (invalid witness file) .65 .42 8.7 39 error (invalid witness file) 6.6 3.5 84 300
eca-rers2012/Problem17_label51_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3100 18   0      - - error (invalid witness file) .54 .34 9.4 42 error (invalid witness file) 8.0 4.2 92 300
eca-rers2012/Problem17_label56_true-unreach-call.c timeout 0 wit inspect 880   930   9800 3000 18   0      - - error (invalid witness file) .65 .42 7.5 40 error (invalid witness file) 6.7 3.5 87 300
eca-rers2012/Problem17_label58_true-unreach-call.c timeout 0 wit inspect 880   930   8600 3100 18   0      - - error (invalid witness file) .67 .43 7.8 41 error (invalid witness file) 6.6 3.5 97 290
eca-rers2012/Problem17_label59_true-unreach-call.c timeout 0 wit inspect 880   930   9300 3000 18   .0041 - - error (invalid witness file) .51 .33 10   41 error (invalid witness file) 8.4 4.4 98 310
eca-rers2012/Problem18_label02_true-unreach-call.c timeout 0 wit inspect 880   930   8900 1900 20   0      - - error (invalid witness file) .50 .33 13   41 error (invalid witness file) 7.0 3.6 110 300
eca-rers2012/Problem18_label04_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2000 19   0      - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 7.0 3.7 110 310
eca-rers2012/Problem18_label05_true-unreach-call.c timeout 0 wit inspect 880   930   9700 1900 20   0      - - error (invalid witness file) .50 .33 11   39 error (invalid witness file) 8.1 4.2 85 300
eca-rers2012/Problem18_label07_true-unreach-call.c timeout 0 wit inspect 880   930   8600 2000 19   .0041 - - error (invalid witness file) .62 .39 10   43 error (invalid witness file) 7.3 3.8 74 310
eca-rers2012/Problem18_label11_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1900 20   0      - - error (invalid witness file) .62 .40 6.9 40 error (invalid witness file) 6.9 3.7 110 310
eca-rers2012/Problem18_label13_true-unreach-call.c timeout 0 wit inspect 880   930   8200 2000 19   0      - - error (invalid witness file) .54 .34 13   41 error (invalid witness file) 7.6 4.0 89 290
eca-rers2012/Problem18_label14_true-unreach-call.c timeout 0 wit inspect 880   930   9800 1800 20   0      - - error (invalid witness file) .63 .39 8.3 39 error (invalid witness file) 6.3 3.3 110 300
eca-rers2012/Problem18_label15_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1800 19   0      - - error (invalid witness file) .48 .32 9.8 39 error (invalid witness file) 8.6 4.4 77 310
eca-rers2012/Problem18_label16_true-unreach-call.c timeout 0 wit inspect 880   930   9100 1800 19   0      - - error (invalid witness file) .48 .31 9.5 39 error (invalid witness file) 6.4 3.4 110 310
eca-rers2012/Problem18_label17_true-unreach-call.c timeout 0 wit inspect 880   930   9300 1900 19   0      - - error (invalid witness file) .67 .42 9.0 40 error (invalid witness file) 6.9 3.6 150 300
eca-rers2012/Problem18_label18_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1800 19   0      - - error (invalid witness file) .62 .39 9.5 41 error (invalid witness file) 8.0 4.2 86 300
eca-rers2012/Problem18_label21_true-unreach-call.c timeout 0 wit inspect 880   930   8800 1900 19   0      - - error (invalid witness file) .50 .31 14   40 error (invalid witness file) 5.9 3.2 99 290
eca-rers2012/Problem18_label22_true-unreach-call.c timeout 0 wit inspect 880   930   9400 1900 19   0      - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 7.8 4.1 100 300
eca-rers2012/Problem18_label23_true-unreach-call.c timeout 0 wit inspect 880   930   9200 2000 19   0      - - error (invalid witness file) .69 .42 5.9 42 error (invalid witness file) 6.2 3.3 93 300
eca-rers2012/Problem18_label24_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1900 20   0      - - error (invalid witness file) .51 .32 9.8 40 error (invalid witness file) 6.6 3.5 110 300
eca-rers2012/Problem18_label26_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   16      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 7.7 4.0 74 310
eca-rers2012/Problem18_label28_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 20   0      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.4 3.4 120 300
eca-rers2012/Problem18_label29_true-unreach-call.c timeout 0 wit inspect 880   930   9700 1900 19   0      - - error (invalid witness file) .67 .43 8.0 41 error (invalid witness file) 8.6 4.4 110 320
eca-rers2012/Problem18_label30_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1900 19   0      - - error (invalid witness file) .66 .41 7.6 40 error (invalid witness file) 7.4 3.9 84 290
eca-rers2012/Problem18_label37_true-unreach-call.c timeout 0 wit inspect 880   930   8400 1800 19   .0082 - - error (invalid witness file) .48 .31 13   40 error (invalid witness file) 7.3 3.8 130 310
eca-rers2012/Problem18_label40_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   0      - - error (invalid witness file) .52 .34 8.7 39 error (invalid witness file) 6.8 3.6 100 300
eca-rers2012/Problem18_label41_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1800 19   0      - - error (invalid witness file) .49 .30 8.5 39 error (invalid witness file) 8.0 4.2 88 300
eca-rers2012/Problem18_label42_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1600 19   0      - - error (invalid witness file) .55 .36 10   42 error (invalid witness file) 7.2 3.7 110 310
eca-rers2012/Problem18_label43_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2000 20   0      - - error (invalid witness file) .47 .33 11   40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem18_label44_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1900 20   0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 7.8 4.1 99 300
eca-rers2012/Problem18_label46_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2000 19   0      - - error (invalid witness file) .53 .35 8.4 40 error (invalid witness file) 6.7 3.5 120 300
eca-rers2012/Problem18_label47_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   16      - - error (invalid witness file) .66 .42 7.2 40 error (invalid witness file) 7.2 3.8 110 300
eca-rers2012/Problem18_label48_true-unreach-call.c timeout 0 wit inspect 880   930   9900 1900 19   0      - - error (invalid witness file) .67 .44 7.6 40 error (invalid witness file) 7.3 3.8 110 300
eca-rers2012/Problem18_label50_true-unreach-call.c timeout 0 wit inspect 880   930   13000 1900 19   0      - - error (invalid witness file) .60 .38 8.3 39 error (invalid witness file) 7.3 3.8 100 300
eca-rers2012/Problem18_label51_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1900 19   0      - - error (invalid witness file) .51 .33 13   41 error (invalid witness file) 7.9 4.1 100 300
eca-rers2012/Problem18_label53_true-unreach-call.c timeout 0 wit inspect 880   930   11000 1900 19   0      - - error (invalid witness file) .56 .36 11   39 error (invalid witness file) 7.2 3.7 120 300
eca-rers2012/Problem18_label54_true-unreach-call.c timeout 0 wit inspect 880   930   10000 1700 19   0      - - error (invalid witness file) .52 .35 9.2 40 error (invalid witness file) 8.0 4.2 110 300
eca-rers2012/Problem18_label56_true-unreach-call.c timeout 0 wit inspect 880   930   8100 1800 19   0      - - error (invalid witness file) .53 .33 12   43 error (invalid witness file) 8.0 4.2 98 310
eca-rers2012/Problem18_label58_true-unreach-call.c timeout 0 wit inspect 880   930   8700 1900 19   0      - - error (invalid witness file) .51 .33 7.8 43 error (invalid witness file) 8.1 4.2 85 310
eca-rers2012/Problem18_label59_true-unreach-call.c timeout 0 wit inspect 880   930   12000 1600 20   0      - - error (invalid witness file) .50 .33 7.7 40 error (invalid witness file) 8.1 4.2 92 310
eca-rers2012/Problem19_label00_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3500 51   0      - - error (invalid witness file) .55 .34 8.6 41 error (invalid witness file) 7.4 3.9 150 310
eca-rers2012/Problem19_label01_true-unreach-call.c timeout 0 wit inspect 880   930   9600 2900 51   0      - - error (invalid witness file) .48 .31 9.1 39 error (invalid witness file) 6.7 3.6 120 310
eca-rers2012/Problem19_label02_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   .0041 - - error (invalid witness file) .63 .41 9.9 40 error (invalid witness file) 7.3 3.8 150 310
eca-rers2012/Problem19_label03_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2900 51   0      - - error (invalid witness file) .57 .35 8.9 40 error (invalid witness file) 6.7 3.5 110 300
eca-rers2012/Problem19_label04_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2900 51   0      - - error (invalid witness file) .52 .33 10   41 error (invalid witness file) 10   5.3 110 310
eca-rers2012/Problem19_label05_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 51   0      - - error (invalid witness file) .50 .32 9.2 41 error (invalid witness file) 7.4 3.9 100 310
eca-rers2012/Problem19_label06_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 52   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.9 3.6 120 300
eca-rers2012/Problem19_label07_true-unreach-call.c timeout 0 wit inspect 880   930   12000 2900 51   0      - - error (invalid witness file) .64 .41 8.6 40 error (invalid witness file) 6.7 3.6 120 300
eca-rers2012/Problem19_label08_true-unreach-call.c timeout 0 wit inspect 880   930   9800 2900 52   0      - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 8.9 4.6 100 310
eca-rers2012/Problem19_label09_true-unreach-call.c timeout 0 wit inspect 880   930   9800 3000 51   0      - - error (invalid witness file) .64 .40 10   40 error (invalid witness file) 8.0 4.2 95 310
eca-rers2012/Problem19_label12_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2900 51   0      - - error (invalid witness file) .64 .41 8.1 41 error (invalid witness file) 9.0 4.7 74 310
eca-rers2012/Problem19_label13_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 52   0      - - error (invalid witness file) .66 .42 8.4 43 error (invalid witness file) 6.5 3.4 71 290
eca-rers2012/Problem19_label15_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 52   0      - - error (invalid witness file) .51 .33 4.5 43 error (invalid witness file) 9.7 5.0 98 320
eca-rers2012/Problem19_label16_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 52   0      - - error (invalid witness file) .50 .32 9.1 40 error (invalid witness file) 7.6 4.0 110 310
eca-rers2012/Problem19_label20_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2800 51   16      - - error (invalid witness file) .50 .31 6.6 39 error (invalid witness file) 7.5 3.9 130 310
eca-rers2012/Problem19_label23_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2800 51   0      - - error (invalid witness file) .52 .32 11   39 error (invalid witness file) 6.8 3.6 120 300
eca-rers2012/Problem19_label24_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   0      - - error (invalid witness file) .68 .42 10   44 error (invalid witness file) 7.3 3.8 130 300
eca-rers2012/Problem19_label25_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2900 51   0      - - error (invalid witness file) .69 .43 7.9 39 error (invalid witness file) 7.3 3.8 130 310
eca-rers2012/Problem19_label30_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3200 52   0      - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.2 3.7 130 320
eca-rers2012/Problem19_label33_true-unreach-call.c timeout 0 wit inspect 880   930   9600 3300 52   0      - - error (invalid witness file) .54 .35 9.9 39 error (invalid witness file) 8.0 4.2 130 300
eca-rers2012/Problem19_label34_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   0      - - error (invalid witness file) .64 .40 8.8 39 error (invalid witness file) 8.2 4.3 57 300
eca-rers2012/Problem19_label35_true-unreach-call.c timeout 0 wit inspect 880   930   10000 3000 52   0      - - error (invalid witness file) .48 .30 12   39 error (invalid witness file) 7.2 3.8 120 300
eca-rers2012/Problem19_label36_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 51   0      - - error (invalid witness file) .61 .41 8.7 40 error (invalid witness file) 8.0 4.2 94 290
eca-rers2012/Problem19_label37_true-unreach-call.c timeout 0 wit inspect 880   930   9900 3200 52   0      - - error (invalid witness file) .55 .35 11   40 error (invalid witness file) 7.4 3.9 120 300
eca-rers2012/Problem19_label38_true-unreach-call.c timeout 0 wit inspect 880   930   11000 3000 52   0      - - error (invalid witness file) .57 .37 8.9 40 error (invalid witness file) 8.4 4.5 85 300
eca-rers2012/Problem19_label39_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2800 52   0      - - error (invalid witness file) .53 .34 11   43 error (invalid witness file) 7.4 3.9 160 300
eca-rers2012/Problem19_label40_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   0      - - error (invalid witness file) .56 .36 11   40 error (invalid witness file) 7.6 4.0 120 310
eca-rers2012/Problem19_label44_true-unreach-call.c timeout 0 wit inspect 880   930   9900 2900 52   0      - - error (invalid witness file) .48 .31 11   39 error (invalid witness file) 8.2 4.3 92 300
eca-rers2012/Problem19_label45_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2800 51   0      - - error (invalid witness file) .49 .31 9.9 39 error (invalid witness file) 6.8 3.6 110 300
eca-rers2012/Problem19_label46_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   .0041 - - error (invalid witness file) .49 .33 9.2 39 error (invalid witness file) 7.4 3.9 120 310
eca-rers2012/Problem19_label48_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 52   0      - - error (invalid witness file) .70 .44 8.0 41 error (invalid witness file) 7.7 4.0 86 310
eca-rers2012/Problem19_label49_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 52   0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 9.1 4.7 110 320
eca-rers2012/Problem19_label52_true-unreach-call.c timeout 0 wit inspect 880   930   11000 2900 51   0      - - error (invalid witness file) .59 .38 8.3 40 error (invalid witness file) 7.0 3.7 99 290
eca-rers2012/Problem19_label54_true-unreach-call.c timeout 0 wit inspect 880   930   13000 2900 52   0      - - error (invalid witness file) .56 .36 11   43 error (invalid witness file) 8.3 4.3 140 320
eca-rers2012/Problem19_label56_true-unreach-call.c timeout 0 wit inspect 880   930   9400 2900 51   0      - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.7 3.6 110 310
eca-rers2012/Problem19_label57_true-unreach-call.c timeout 0 wit inspect 880   930   10000 2900 52   0      - - error (invalid witness file) .73 .46 9.5 43 error (invalid witness file) 7.8 4.1 93 300
psyco/psyco_abp_1_false-unreach-call.c timeout 0 wit inspect 880   930   6800 420 1.7 0      error (invalid witness file) .47 .30 7.6 39 error (invalid witness file) 5.9 3.2 92 300 - -
psyco/psyco_cev_1_false-unreach-call.c timeout 0 wit inspect 900   900   8300 3000 230   0      error (invalid witness file) .48 .30 8.8 39 error (invalid witness file) 18   10   150 1600 - -
psyco/psyco_cev_2_false-unreach-call.c timeout 0 wit inspect 900   900   9500 3900 350   .0082 error (invalid witness file) .57 .37 8.0 43 error (invalid witness file) 22   13   230 2200 - -
psyco/psyco_cev_3_false-unreach-call.c timeout 0 wit inspect 900   900   7800 4200 390   0      error (invalid witness file) .48 .31 8.0 42 error (invalid witness file) 49   26   490 2400 - -
psyco/psyco_net_1_false-unreach-call.c error (1) 0 wit inspect 450   450   5900 14000 72   0      error (invalid witness file) .47 .31 6.7 40 error (invalid witness file) 7.3 3.9 90 300 - -
psyco/psyco_accelerometer_1_true-unreach-call.c timeout 0 wit inspect 880   930   11000 13000 17   0      - - error (invalid witness file) .48 .30 12   40 error (invalid witness file) 8.3 4.4 86 300
psyco/psyco_io_1_true-unreach-call.c true 2 wit inspect 880   880   7500 270 1.0 0      - - timeout 900    890    16000   3600 true 13   7.0 120 340
psyco/psyco_math_1_true-unreach-call.c true 2 wit inspect 1.8 1.8 21 100 1.0 0      - - true 5.4  2.9  89   290 true 8.2 4.5 170 320
psyco/psyco_security_true-unreach-call.c true 2 wit inspect 880   880   8100 250 1.0 0      - - timeout 900    890    21000   3400 true 11   5.8 160 360
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 1149 242 940000 980000 10000000 4200000 170000   700    1149 730 400 12000 34000   1149 3200 1700   37000 150000   1149 4200 3100 74000 91000   1149 8700 4700 120000 280000  
    correct results 139 242 92000 92000 860000 130000 680   17    36 510 270 8400 18000   36 460 240   5000 15000   101 3900 2900 68000 65000   103 3800 2100 55000 69000  
        correct true 103 206 90000 90000 840000 76000 430   17    0 0 0 0 0   36 0 0   0 0   101 3900 2900 68000 65000   103 3800 2100 55000 69000  
        correct false 36 36 2400 2400 23000 57000 250   .29 36 510 270 8400 18000   0 460 240   5000 15000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 1 0 12 12 160 470 4.2 0    1 21 14 330 740   1 12 6.3 130 350   0 0 0 0 0   0 0 0 0 0  
        correct-unconfirmed true 0
        correct-unconfirmed false 1 0 12 12 160 470 4.2 0    0 21 14 330 740   0 12 6.3 130 350   0 0 0 0 0   0 0 0 0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (1149 tasks, max score: 1887) 242
Run set sv-comp17.ReachSafety-ECA