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