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