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