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