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