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