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