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