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