Benchmark ESBMC-bkind TBF Test-Suite Validator
Tool ESBMC version 6.0.0 64-bit x86_64 linux Tbf Test-suite Validator v1.2
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-05 21:13:25 CET 2019-02-06 06:16:10 CET
Run set esbmc-kind.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized; test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] tbf-testsuite-validator-esbmc-kind.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized; test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized]
Options -s kinduction [--verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/esbmc-kind.2019-02-05_2113.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip; --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/esbmc-kind.2019-02-05_2113.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip]
sv-benchmarks/c/ status cov program cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
array-examples/standard_copy1_ground-2.yml coverage-error-call 900     890     11000   11000     1.0  0   0    0    .060 .061 8.9 0     0  
array-examples/standard_copy2_ground-1.yml coverage-error-call 900     890     11000   10000     1.0  0   0    0    .061 .062 9.0 0     0  
array-examples/standard_copy3_ground-2.yml coverage-error-call 900     890     11000   9900     1.0  0   0    0    .060 .060 9.0 0     0  
array-examples/standard_copy4_ground-2.yml coverage-error-call 900     890     11000   9600     1.0  0   0    0    .061 .062 9.0 0     0  
array-examples/standard_copy5_ground-2.yml coverage-error-call 900     890     11000   9900     1.0  0   0    0    .091 .092 8.9 0     0  
array-examples/standard_copy6_ground-1.yml coverage-error-call 900     890     11000   12000     1.0  0   0    0    .061 .062 8.9 0     0  
array-examples/standard_copy7_ground-1.yml coverage-error-call 900     890     11000   11000     1.0  0   0    0    .061 .062 8.9 0     0  
array-examples/standard_copy8_ground-2.yml coverage-error-call 900     890     11000   10000     1.0  0   0    0    .061 .066 9.0 0     0  
array-examples/standard_copy9_ground-1.yml coverage-error-call 900     890     11000   11000     1.0  0   0    0    .061 .063 9.0 0     0  
array-examples/standard_partition_ground-1.yml coverage-error-call 900     900     4300   12000     1.0  0   0    0    .063 .063 9.0 0     0  
array-industry-pattern/array_ptr_single_elem_init-2.yml coverage-error-call 900     900     5000   11000     1.0  0   0    0    .058 .059 9.0 0     0  
array-industry-pattern/array_single_elem_init.yml coverage-error-call 900     900     5000   11000     1.0  0   0    0    .058 .058 9.0 0     0  
reducercommutativity/rangesum.yml coverage-error-call 1    1.1   1.1   62   15     1.0  0   75.0  93.5  .12  .12  16   .098 0  
reducercommutativity/rangesum05.yml coverage-error-call 1    .89  .89  58   11     1.0  0   78.6  92.6  .12  .12  17   .098 0  
reducercommutativity/rangesum10.yml coverage-error-call 1    .90  .89  58   11     1.0  0   78.6  92.6  .13  .13  16   .082 0  
reducercommutativity/rangesum20.yml coverage-error-call 1    1.4   1.4   58   15     1.0  0   78.6  92.6  .14  .14  16   .098 0  
reducercommutativity/rangesum40.yml coverage-error-call 1    9.3   9.3   59   120     1.0  0   78.6  92.6  .13  .13  16   .098 0  
reducercommutativity/rangesum60.yml coverage-error-call 1    180     180     170   2400     1.0  0   78.6  92.6  .12  .12  17   .082 0  
array-tiling/mlceu.yml coverage-error-call .13  .13  27   1.8   1.0  0   .00 16.7  .12  .12  16   .094 0  
array-tiling/skippedu.yml coverage-error-call .17  .17  27   1.9   1.0  0   16.7  35.3  .15  .15  16   .098 0  
array-programs/copysome1-2.yml coverage-error-call 900     890     10000   9100     1.0  0   0    0    .060 .060 9.0 0     0  
array-programs/copysome2-2.yml coverage-error-call 900     890     10000   9600     1.0  0   0    0    .058 .059 9.0 0     0  
bitvector/byte_add-1.yml coverage-error-call 1    .11  .11  27   1.3   1.0  0   68.3  93.8  .13  .13  17   .11  0  
bitvector/s3_clnt_1.BV.c.cil-2.yml coverage-error-call 4.1   4.1   89   47     1.0  0   3.09 18.9  .20  .20  17   .18  0  
bitvector/s3_clnt_2.BV.c.cil-2.yml coverage-error-call 4.4   4.4   96   54     1.0  0   2.50 19.5  .20  .20  17   .18  0  
bitvector/s3_clnt_3.BV.c.cil-2.yml coverage-error-call 1.6   1.6   57   22     1.0  0   3.09 19.6  .20  .26  17   .18  0  
bitvector/soft_float_1-3.c.cil.yml coverage-error-call 1    .17  .17  27   2.1   1.0  0   20.3  33.7  .13  .13  17   .098 0  
bitvector/soft_float_4-3.c.cil.yml coverage-error-call 1    .32  .32  27   3.8   1.0  0   19.1  33.1  .13  .13  16   .11  0  
bitvector/sum02-1.yml coverage-error-call 900     900     890   11000     1.0  0   0    0    .059 .060 8.9 0     0  
bitvector-regression/recHanoi03-1.yml coverage-error-call 1    .63  .61  26   6.1   1.0  0   50.0  83.3  .12  .16  17   .078 0  
bitvector-loops/diamond_2-1.yml coverage-error-call 1    .11  .11  26   1.2   1.0  0   54.2  96.5  .11  .11  16   .078 0  
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml coverage-error-call 1    .26  .26  27   3.1   1.0  0   75.0  89.5  .12  .12  16   .094 0  
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml coverage-error-call .51  .51  52   6.2   1.0  0   1.47 7.04 .23  .28  21   .42  0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml coverage-error-call .22  .22  33   2.6   1.0  0   2.47 13.6  .17  .18  18   .26  0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml coverage-error-call .33  .33  39   3.7   1.0  0   2.89 10.4  .24  .24  19   .34  0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml coverage-error-call .17  .17  30   2.1   1.0  0   3.13 14.6  .18  .18  17   .24  0  
ssh-simplified/s3_clnt_1.cil-2.yml coverage-error-call 2.0   2.0   63   49     1.0  0   .00 9.04 .20  .20  17   .19  0  
ssh-simplified/s3_clnt_2.cil-1.yml coverage-error-call 1.8   1.8   64   24     1.0  0   .00 9.01 .20  .20  17   .19  0  
ssh-simplified/s3_clnt_3.cil-2.yml coverage-error-call 2.2   2.2   75   25     1.0  0   .00 9.50 .20  .20  17   .19  0  
ssh-simplified/s3_clnt_4.cil-2.yml coverage-error-call 1.9   1.9   65   22     1.0  0   .00 9.83 .20  .22  17   .19  0  
eca-rers2012/Problem03_label09.yml coverage-error-call 1    7.6   7.6   250   78     1.0  0   21.3  12.3  .48  .48  57   1.9   0  
eca-rers2012/Problem03_label13.yml coverage-error-call 1    4.1   4.1   190   61     1.0  0   20.1  12.5  .46  .46  58   1.7   0  
eca-rers2012/Problem03_label26.yml coverage-error-call 1    4.1   4.1   190   46     1.0  0   16.8  12.1  .47  .47  57   1.7   0  
eca-rers2012/Problem03_label27.yml coverage-error-call 1    4.2   4.2   190   43     1.0  0   19.3  12.3  .45  .47  57   1.6   0  
eca-rers2012/Problem03_label28.yml coverage-error-call 1    4.2   4.2   190   44     1.0  0   18.9  12.3  .48  .48  57   1.6   0  
eca-rers2012/Problem03_label31.yml coverage-error-call 1    4.2   4.2   190   49     1.0  0   19.8  12.1  .47  .47  57   1.7   0  
eca-rers2012/Problem03_label35.yml coverage-error-call 1    7.5   7.5   250   79     1.0  0   21.8  12.1  .48  .48  58   1.7   0  
eca-rers2012/Problem03_label37.yml coverage-error-call 1    4.1   4.1   190   51     1.0  0   16.0  11.9  .47  .47  58   1.3   0  
eca-rers2012/Problem03_label39.yml coverage-error-call 1    7.6   7.6   250   73     1.0  0   21.1  12.3  .47  .47  57   1.9   0  
eca-rers2012/Problem03_label43.yml coverage-error-call 1    4.2   4.2   190   47     1.0  0   15.6  12.2  .48  .49  57   1.7   0  
eca-rers2012/Problem03_label45.yml coverage-error-call 1    7.8   7.8   250   110     1.0  0   22.6  12.1  .46  .46  58   1.7   0  
eca-rers2012/Problem03_label50.yml coverage-error-call 1    4.2   4.2   190   50     1.0  0   20.7  12.3  .47  .48  58   1.6   0  
eca-rers2012/Problem03_label52.yml coverage-error-call 1    7.7   7.7   250   100     1.0  0   21.4  12.1  .46  .48  57   1.8   0  
eca-rers2012/Problem04_label04.yml coverage-error-call 1    270     270     1700   2700     1.0  0   31.2  18.0  1.1   1.1   110   3.0   0  
eca-rers2012/Problem04_label06.yml coverage-error-call 1    280     280     1800   3400     1.0  0   32.5  18.0  1.1   1.1   110   2.2   0  
eca-rers2012/Problem04_label09.yml coverage-error-call 1    190     190     1400   1900     1.0  0   31.2  18.0  1.1   1.1   110   6.2   0  
eca-rers2012/Problem04_label13.yml coverage-error-call 1    200     200     1500   2300     1.0  0   31.1  18.2  1.1   1.1   110   4.6   0  
eca-rers2012/Problem04_label15.yml coverage-error-call 1    190     190     1500   2500     1.0  0   31.8  18.3  1.1   1.1   110   7.0   0  
eca-rers2012/Problem04_label18.yml coverage-error-call 1    190     190     1400   2200     1.0  0   31.5  18.1  1.2   1.2   110   5.4   0  
eca-rers2012/Problem04_label19.yml coverage-error-call 1    280     280     1700   3200     1.0  0   32.6  17.9  1.1   1.1   110   3.1   0  
eca-rers2012/Problem04_label26.yml coverage-error-call 1    260     260     1700   3600     1.0  0   31.5  18.0  1.2   1.2   110   4.6   0  
eca-rers2012/Problem04_label31.yml coverage-error-call 1    260     260     1800   3100     1.0  0   31.3  17.9  1.1   1.1   110   7.0   0  
eca-rers2012/Problem04_label32.yml coverage-error-call 1    190     190     1400   2000     1.0  0   31.4  18.0  1.1   1.1   110   5.3   0  
eca-rers2012/Problem04_label35.yml coverage-error-call 1    200     200     1500   2200     1.0  0   31.5  18.1  1.1   1.1   110   1.6   0  
eca-rers2012/Problem04_label38.yml coverage-error-call 1    280     280     1800   3600     1.0  0   31.8  18.0  1.1   1.1   110   2.9   0  
eca-rers2012/Problem04_label39.yml coverage-error-call 1    280     280     1800   3100     1.0  0   32.3  17.9  1.2   1.2   110   3.1   0  
eca-rers2012/Problem04_label45.yml coverage-error-call 1    260     260     1700   2900     .86 0   31.2  18.0  1.1   1.1   110   4.8   0  
eca-rers2012/Problem04_label52.yml coverage-error-call 1    270     270     1700   3100     1.0  0   32.8  18.0  1.1   1.1   110   5.5   0  
eca-rers2012/Problem04_label55.yml coverage-error-call 1    200     200     1500   2100     1.0  0   30.5  18.1  1.1   1.1   110   5.4   0  
eca-rers2012/Problem05_label00.yml coverage-error-call 1    120     120     1400   1700     .86 0   20.1  15.8  2.2   2.2   180   13     0  
eca-rers2012/Problem05_label01.yml coverage-error-call 1    120     120     1400   1400     1.0  0   20.9  15.9  2.1   2.1   180   10     0  
eca-rers2012/Problem05_label11.yml coverage-error-call 1    120     120     1400   1500     .86 0   20.6  16.0  2.1   2.2   180   4.1   0  
eca-rers2012/Problem05_label13.yml coverage-error-call 1    130     130     1400   1300     .86 0   20.1  15.9  2.1   2.1   180   4.2   0  
eca-rers2012/Problem05_label15.yml coverage-error-call 1    120     120     1400   1500     1.0  0   20.6  16.0  2.2   2.2   180   6.0   0  
eca-rers2012/Problem05_label18.yml coverage-error-call 1    120     120     1400   1600     .86 0   21.4  15.9  2.1   2.1   180   4.3   0  
eca-rers2012/Problem05_label24.yml coverage-error-call 1    130     130     1400   1500     1.0  0   21.2  16.1  2.2   2.2   180   9.7   0  
eca-rers2012/Problem05_label26.yml coverage-error-call 1    120     120     1400   1700     .86 0   21.0  16.0  2.1   2.1   180   13     0  
eca-rers2012/Problem05_label30.yml coverage-error-call 1    120     120     1400   1200     .86 0   20.7  16.1  2.2   2.2   180   12     0  
eca-rers2012/Problem05_label32.yml coverage-error-call 1    120     120     1400   1700     .86 0   20.4  15.9  2.2   2.2   180   6.9   0  
eca-rers2012/Problem05_label33.yml coverage-error-call 1    120     120     1400   1600     .86 0   19.4  15.9  2.2   2.2   180   14     0  
eca-rers2012/Problem05_label36.yml coverage-error-call 1    110     110     1400   1100     1.0  0   19.8  16.0  2.1   2.2   180   9.1   0  
eca-rers2012/Problem05_label37.yml coverage-error-call 1    120     120     1400   1600     .86 0   22.4  16.0  2.1   2.1   180   9.6   0  
eca-rers2012/Problem05_label38.yml coverage-error-call 1    140     140     1400   1700     1.0  0   20.5  15.9  2.1   2.1   180   6.0   0  
eca-rers2012/Problem05_label39.yml coverage-error-call 1    130     130     1400   1400     1.0  0   22.6  15.9  2.1   2.1   180   11     0  
eca-rers2012/Problem05_label40.yml coverage-error-call 1    120     120     1400   1700     1.0  0   21.6  16.0  2.2   2.2   180   6.9   0  
eca-rers2012/Problem05_label41.yml coverage-error-call 1    120     120     1400   1500     .86 0   20.7  16.0  2.2   2.2   180   9.6   0  
eca-rers2012/Problem05_label44.yml coverage-error-call 1    110     110     1400   1400     .86 0   22.0  16.0  2.1   2.1   180   12     0  
eca-rers2012/Problem05_label47.yml coverage-error-call 1    120     120     1400   1400     1.0  0   21.4  16.1  2.2   2.2   180   11     0  
eca-rers2012/Problem05_label48.yml coverage-error-call 1    130     130     1400   1300     .86 0   19.2  15.9  2.1   2.1   180   14     0  
eca-rers2012/Problem05_label51.yml coverage-error-call 1    120     120     1400   1500     1.0  0   19.8  15.9  2.1   2.1   180   12     0  
eca-rers2012/Problem05_label55.yml coverage-error-call 1    110     110     1400   1200     .86 0   20.2  15.9  2.1   2.2   180   4.3   0  
eca-rers2012/Problem05_label57.yml coverage-error-call 1    120     120     1400   1700     1.0  0   20.6  15.9  2.1   2.1   180   11     0  
eca-rers2012/Problem05_label58.yml coverage-error-call 1    120     120     1400   1300     .86 0   19.7  15.9  2.2   2.2   180   4.7   0  
eca-rers2012/Problem06_label00.yml coverage-error-call 1    83     83     1500   870     1.0  0   18.4  10.8  2.0   2.0   180   14     0  
eca-rers2012/Problem06_label01.yml coverage-error-call 1    70     70     1500   770     1.0  0   18.1  10.7  2.0   2.0   180   8.5   0  
eca-rers2012/Problem06_label02.yml coverage-error-call 1    66     66     1500   670     .86 0   16.6  10.8  2.0   2.0   180   10     0  
eca-rers2012/Problem06_label04.yml coverage-error-call 1    63     63     1500   810     .86 0   16.6  10.8  2.0   2.0   180   14     0  
eca-rers2012/Problem06_label05.yml coverage-error-call 1    66     66     1500   670     .86 0   16.9  10.9  2.0   2.0   180   11     0  
eca-rers2012/Problem06_label09.yml coverage-error-call 1    78     78     1500   830     .86 0   13.5  10.9  2.0   2.0   180   4.7   0  
eca-rers2012/Problem06_label10.yml coverage-error-call 1    75     75     1500   890     .86 0   15.0  10.9  2.0   2.0   180   5.2   0  
eca-rers2012/Problem06_label11.yml coverage-error-call 1    78     78     1500   830     .86 0   15.6  10.7  2.1   2.1   180   11     0  
eca-rers2012/Problem06_label12.yml coverage-error-call 1    68     68     1500   690     1.0  0   16.1  10.7  2.0   2.0   180   12     0  
eca-rers2012/Problem06_label15.yml coverage-error-call 1    67     67     1500   740     .86 0   16.7  10.9  1.9   1.9   180   2.3   0  
eca-rers2012/Problem06_label20.yml coverage-error-call 1    70     70     1500   850     1.0  0   14.5  10.9  2.0   2.0   180   10     0  
eca-rers2012/Problem06_label21.yml coverage-error-call 1    67     67     1500   870     .86 0   18.3  10.7  2.0   2.0   180   13     0  
eca-rers2012/Problem06_label24.yml coverage-error-call 1    94     94     1500   1100     .86 0   16.9  11.0  2.0   2.0   180   9.2   0  
eca-rers2012/Problem06_label27.yml coverage-error-call 1    65     65     1500   670     .86 0   16.2  11.0  2.0   2.0   180   10     0  
eca-rers2012/Problem06_label29.yml coverage-error-call 1    68     68     1500   620     .86 0   13.5  11.0  2.0   2.0   180   12     0  
eca-rers2012/Problem06_label33.yml coverage-error-call 1    74     74     1500   830     .86 0   12.7  10.9  2.0   2.0   180   7.5   0  
eca-rers2012/Problem06_label36.yml coverage-error-call 1    72     72     1500   860     1.0  0   17.7  10.8  2.0   2.0   180   9.0   0  
eca-rers2012/Problem06_label37.yml coverage-error-call 1    70     70     1500   860     .86 0   14.6  10.8  2.0   2.0   180   10     0  
eca-rers2012/Problem06_label38.yml coverage-error-call 1    70     70     1500   790     .86 0   14.3  10.8  2.0   2.0   180   2.8   0  
eca-rers2012/Problem06_label44.yml coverage-error-call 1    73     73     1500   880     .86 0   17.1  10.7  2.0   2.0   180   14     0  
eca-rers2012/Problem06_label47.yml coverage-error-call 1    65     65     1500   670     .86 0   13.6  11.0  2.0   2.0   180   9.0   0  
eca-rers2012/Problem06_label48.yml coverage-error-call 1    69     69     1500   850     .86 0   19.7  10.9  2.0   2.0   180   11     0  
eca-rers2012/Problem06_label56.yml coverage-error-call 1    69     69     1500   740     .86 0   13.1  11.0  2.0   2.0   180   12     0  
eca-rers2012/Problem06_label58.yml coverage-error-call 1    69     69     1500   750     1.0  0   18.2  10.9  2.0   2.0   180   9.7   0  
eca-rers2012/Problem06_label59.yml coverage-error-call 1    79     79     1500   870     1.0  0   17.0  10.8  2.0   2.0   180   10     0  
eca-rers2012/Problem07_label03.yml coverage-error-call 900     900     6300   8700     .86 0   0    0    .062 .062 9.0 0     0  
eca-rers2012/Problem07_label05.yml coverage-error-call 900     900     6300   8700     .86 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem07_label06.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .058 .068 9.0 0     0  
eca-rers2012/Problem07_label07.yml coverage-error-call 900     900     6300   8800     .86 0   0    0    .060 .060 8.9 0     0  
eca-rers2012/Problem07_label09.yml coverage-error-call 900     900     6300   8700     .97 0   0    0    .059 .059 9.0 0     0  
eca-rers2012/Problem07_label11.yml coverage-error-call 900     900     6300   8000     .86 0   0    0    .059 .060 8.9 0     0  
eca-rers2012/Problem07_label15.yml coverage-error-call 900     900     6300   9200     .86 0   0    0    .058 .059 9.0 0     0  
eca-rers2012/Problem07_label18.yml coverage-error-call 900     900     6300   9300     .86 0   0    0    .061 .062 8.8 0     0  
eca-rers2012/Problem07_label19.yml coverage-error-call 900     900     6300   8000     .86 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem07_label20.yml coverage-error-call 900     900     6300   12000     .86 0   0    0    .059 .060 8.9 0     0  
eca-rers2012/Problem07_label23.yml coverage-error-call 900     900     6300   8600     1.0  0   0    0    .061 .061 9.0 0     0  
eca-rers2012/Problem07_label30.yml coverage-error-call 900     900     6300   9200     .86 0   0    0    .057 .058 9.0 0     0  
eca-rers2012/Problem07_label31.yml coverage-error-call 900     900     6300   9900     .86 0   0    0    .059 .060 8.9 0     0  
eca-rers2012/Problem07_label35.yml coverage-error-call 900     900     6300   12000     .86 0   0    0    .063 .064 9.0 0     0  
eca-rers2012/Problem07_label36.yml coverage-error-call 900     900     6300   8900     .86 0   0    0    .060 .060 8.9 0     0  
eca-rers2012/Problem07_label37.yml coverage-error-call 900     900     6300   8300     .86 0   0    0    .057 .058 9.0 0     0  
eca-rers2012/Problem07_label39.yml coverage-error-call 930     930     5100   9400     .85 0   0    0    .062 .063 8.9 0     0  
eca-rers2012/Problem07_label40.yml coverage-error-call 930     930     3900   9500     .85 0   0    0    .061 .062 9.0 0     0  
eca-rers2012/Problem07_label42.yml coverage-error-call 900     900     6300   9900     .86 0   0    0    .060 .062 8.9 0     0  
eca-rers2012/Problem07_label44.yml coverage-error-call 900     900     6300   11000     .87 0   0    0    .060 .060 8.9 0     0  
eca-rers2012/Problem07_label46.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .057 .057 9.0 0     0  
eca-rers2012/Problem07_label47.yml coverage-error-call 900     900     6300   9200     .86 0   0    0    .059 .060 8.9 0     0  
eca-rers2012/Problem07_label48.yml coverage-error-call 900     900     6300   11000     1.0  0   0    0    .060 .060 9.0 0     0  
eca-rers2012/Problem07_label58.yml coverage-error-call 900     900     6300   8900     .86 0   0    0    .057 .058 9.0 0     0  
eca-rers2012/Problem08_label01.yml coverage-error-call 490     490     15000   5900     .85 0   0    0    .071 .071 9.0 0     0  
eca-rers2012/Problem08_label02.yml coverage-error-call 500     500     15000   5000     .85 0   0    0    .073 .074 9.0 0     0  
eca-rers2012/Problem08_label04.yml coverage-error-call 510     510     15000   5600     .85 0   0    0    .058 .059 9.0 0     0  
eca-rers2012/Problem08_label05.yml coverage-error-call 500     500     15000   5100     .85 0   0    0    .062 .063 9.0 0     0  
eca-rers2012/Problem08_label06.yml coverage-error-call 500     500     15000   4600     .85 0   0    0    .060 .061 8.9 0     0  
eca-rers2012/Problem08_label07.yml coverage-error-call 500     500     15000   5200     .85 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem08_label10.yml coverage-error-call 500     500     15000   4900     1.0  0   0    0    .060 .061 8.9 0     0  
eca-rers2012/Problem08_label13.yml coverage-error-call 500     500     15000   4500     .85 0   0    0    .061 .061 9.0 0     0  
eca-rers2012/Problem08_label15.yml coverage-error-call 500     500     15000   4900     .95 0   0    0    .061 .061 8.9 0     0  
eca-rers2012/Problem08_label24.yml coverage-error-call 500     500     15000   4900     .85 0   0    0    .059 .066 9.0 0     0  
eca-rers2012/Problem08_label25.yml coverage-error-call 500     500     15000   4800     .85 0   0    0    .057 .057 9.0 0     0  
eca-rers2012/Problem08_label26.yml coverage-error-call 500     500     15000   5800     .85 0   0    0    .063 .064 8.9 0     0  
eca-rers2012/Problem08_label28.yml coverage-error-call 500     500     15000   5100     .85 0   0    0    .061 .062 9.0 0     0  
eca-rers2012/Problem08_label29.yml coverage-error-call 500     500     15000   6200     .93 0   0    0    .057 .057 8.8 0     0  
eca-rers2012/Problem08_label34.yml coverage-error-call 930     930     12000   10000     .85 0   0    0    .058 .058 9.0 0     0  
eca-rers2012/Problem08_label37.yml coverage-error-call 490     490     15000   6300     .97 0   0    0    .059 .060 8.9 0     0  
eca-rers2012/Problem08_label43.yml coverage-error-call 490     490     15000   6700     .85 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem08_label46.yml coverage-error-call 490     490     15000   5000     .85 0   0    0    .062 .063 9.0 0     0  
eca-rers2012/Problem08_label48.yml coverage-error-call 500     500     15000   4500     .95 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem08_label49.yml coverage-error-call 500     500     15000   5900     .95 0   0    0    .061 .061 9.0 0     0  
eca-rers2012/Problem08_label50.yml coverage-error-call 500     500     15000   4900     .99 0   0    0    .058 .059 8.9 0     0  
eca-rers2012/Problem08_label51.yml coverage-error-call 490     490     15000   6600     .85 0   0    0    .058 .059 9.0 0     0  
eca-rers2012/Problem08_label55.yml coverage-error-call 500     500     15000   6000     .85 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem08_label59.yml coverage-error-call 500     500     15000   4700     .85 0   0    0    .061 .061 9.0 0     0  
eca-rers2012/Problem09_label02.yml coverage-error-call 790     790     15000   7300     .85 0   0    0    .058 .058 9.0 0     0  
eca-rers2012/Problem09_label03.yml coverage-error-call 820     820     15000   8400     .98 0   0    0    .061 .062 8.9 0     0  
eca-rers2012/Problem09_label06.yml coverage-error-call 840     840     15000   12000     .86 0   0    0    .058 .058 9.0 0     0  
eca-rers2012/Problem09_label08.yml coverage-error-call 810     810     15000   8400     .94 0   0    0    .079 .080 9.0 0     0  
eca-rers2012/Problem09_label10.yml coverage-error-call 800     800     15000   8200     .96 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem09_label11.yml coverage-error-call 800     800     15000   9200     .85 0   0    0    .059 .061 9.0 0     0  
eca-rers2012/Problem09_label15.yml coverage-error-call 810     810     15000   8200     .92 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem09_label19.yml coverage-error-call 800     800     15000   7600     .85 0   0    0    .066 .067 9.0 0     0  
eca-rers2012/Problem09_label20.yml coverage-error-call 790     790     15000   8200     .85 0   0    0    .059 .059 9.0 0     0  
eca-rers2012/Problem09_label32.yml coverage-error-call 800     800     15000   7800     .97 0   0    0    .056 .058 8.9 0     0  
eca-rers2012/Problem09_label34.yml coverage-error-call 810     810     15000   9400     .85 0   0    0    .062 .063 9.0 0     0  
eca-rers2012/Problem09_label35.yml coverage-error-call 800     800     15000   7300     .85 0   0    0    .061 .062 9.0 0     0  
eca-rers2012/Problem09_label36.yml coverage-error-call 810     810     15000   7000     .95 0   0    0    .057 .059 8.9 0     0  
eca-rers2012/Problem09_label38.yml coverage-error-call 800     800     15000   8000     .85 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem09_label41.yml coverage-error-call 790     790     15000   11000     .85 0   0    0    .058 .059 8.9 0     0  
eca-rers2012/Problem09_label44.yml coverage-error-call 800     800     15000   8200     .85 0   0    0    .061 .062 9.0 0     0  
eca-rers2012/Problem09_label46.yml coverage-error-call 800     800     15000   8700     .85 0   0    0    .058 .058 9.0 0     0  
eca-rers2012/Problem09_label47.yml coverage-error-call 790     790     15000   9500     .85 0   0    0    .058 .059 8.9 0     0  
eca-rers2012/Problem09_label51.yml coverage-error-call 800     800     15000   8500     .93 0   0    0    .058 .059 9.0 0     0  
eca-rers2012/Problem09_label53.yml coverage-error-call 810     810     15000   7600     .85 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem09_label54.yml coverage-error-call 790     790     15000   9000     .85 0   0    0    .068 .069 9.0 0     0  
eca-rers2012/Problem09_label56.yml coverage-error-call 810     800     15000   8300     .85 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem09_label57.yml coverage-error-call 800     800     15000   8300     .85 0   0    0    .067 .068 8.9 0     0  
eca-rers2012/Problem09_label59.yml coverage-error-call 800     800     15000   9500     .85 0   0    0    .060 .060 9.0 0     0  
eca-rers2012/Problem10_label12.yml coverage-error-call 1    18     18     190   220     1.0  0   23.9  34.3  .23  .30  30   .48  0  
eca-rers2012/Problem10_label15.yml coverage-error-call 1    22     22     190   260     1.0  0   22.7  31.7  .24  .24  30   .58  0  
eca-rers2012/Problem10_label24.yml coverage-error-call 1    18     18     190   240     1.0  0   26.4  34.5  .24  .24  30   .58  0  
eca-rers2012/Problem10_label26.yml coverage-error-call 1    18     18     190   210     1.0  0   24.8  35.2  .24  .26  30   .23  0  
eca-rers2012/Problem10_label28.yml coverage-error-call 1    22     22     190   320     1.0  0   24.2  30.8  .23  .25  30   .58  0  
eca-rers2012/Problem10_label29.yml coverage-error-call 1    18     18     190   200     1.0  0   27.2  34.3  .23  .24  30   .58  0  
eca-rers2012/Problem10_label41.yml coverage-error-call 1    1.4   1.4   52   19     1.0  0   20.3  32.9  .24  .24  30   .48  0  
eca-rers2012/Problem10_label42.yml coverage-error-call 1    1.4   1.4   52   18     1.0  0   14.8  28.0  .24  .24  30   .58  0  
eca-rers2012/Problem10_label46.yml coverage-error-call 1    1.9   1.9   54   24     1.0  0   7.95 19.6  .23  .23  30   .58  0  
eca-rers2012/Problem10_label47.yml coverage-error-call 1    1.6   1.6   52   22     1.0  0   25.3  33.8  .23  .23  30   .48  0  
eca-rers2012/Problem10_label48.yml coverage-error-call 1    32     32     190   400     1.0  0   24.4  34.5  .24  .24  30   .58  0  
eca-rers2012/Problem10_label50.yml coverage-error-call 1    20     20     190   300     1.0  0   28.8  35.9  .24  .24  30   .58  0  
eca-rers2012/Problem10_label55.yml coverage-error-call 1    .38  .38  48   4.6   1.0  0   25.6  34.7  .24  .25  30   .58  0  
eca-rers2012/Problem10_label57.yml coverage-error-call 1    18     18     190   210     1.0  0   23.7  32.2  .23  .23  30   .58  0  
eca-rers2012/Problem10_label58.yml coverage-error-call 1    18     18     190   220     1.0  0   27.1  34.3  .24  .24  30   .58  0  
eca-rers2012/Problem11_label00.yml coverage-error-call 1    39     39     370   420     1.0  0   17.7  23.9  .34  .34  44   .97  0  
eca-rers2012/Problem11_label08.yml coverage-error-call 1    1.4   1.4   67   16     1.0  0   16.0  19.1  .34  .34  44   .97  0  
eca-rers2012/Problem11_label14.yml coverage-error-call 1    .96  .96  65   13     1.0  0   16.0  19.6  .34  .34  44   .97  0  
eca-rers2012/Problem11_label15.yml coverage-error-call 1    1.1   1.1   63   12     1.0  0   12.9  17.9  .34  .35  44   .19  0  
eca-rers2012/Problem11_label20.yml coverage-error-call 1    37     37     370   550     1.0  0   18.5  22.1  .34  .34  44   .97  0  
eca-rers2012/Problem11_label29.yml coverage-error-call 1    1.5   1.5   68   18     1.0  0   14.8  23.9  .35  .40  44   .81  0  
eca-rers2012/Problem11_label31.yml coverage-error-call 1    39     39     370   450     1.0  0   17.4  23.1  .37  .37  44   .97  0  
eca-rers2012/Problem11_label34.yml coverage-error-call 1    73     73     370   910     1.0  0   17.6  23.9  .35  .35  44   .97  0  
eca-rers2012/Problem11_label36.yml coverage-error-call 1    1.4   1.4   69   21     1.0  0   10.6  15.8  .34  .34  44   .81  0  
eca-rers2012/Problem11_label39.yml coverage-error-call 1    55     55     370   710     1.0  0   18.4  21.1  .35  .35  44   .97  0  
eca-rers2012/Problem11_label42.yml coverage-error-call 1    1.4   1.4   68   19     1.0  0   17.9  22.2  .33  .33  44   .81  0  
eca-rers2012/Problem11_label43.yml coverage-error-call 1    1.3   1.3   65   15     1.0  0   12.7  17.6  .33  .33  44   .81  0  
eca-rers2012/Problem11_label49.yml coverage-error-call 1    1.4   1.4   65   24     1.0  0   12.7  22.7  .34  .34  44   .81  0  
eca-rers2012/Problem11_label51.yml coverage-error-call 1    .99  .99  63   12     1.0  0   17.8  24.6  .34  .35  44   .81  0  
eca-rers2012/Problem11_label58.yml coverage-error-call 1    1.2   1.2   64   15     1.0  0   13.5  17.1  .34  .34  44   .97  0  
eca-rers2012/Problem12_label00.yml coverage-error-call 1    65     65     1200   690     1.0  0   18.1  16.8  1.0   1.0   99   5.1   0  
eca-rers2012/Problem12_label03.yml coverage-error-call 1    57     57     1200   640     1.0  0   18.7  18.5  1.0   1.0   99   4.9   0  
eca-rers2012/Problem12_label06.yml coverage-error-call 1    48     48     1200   510     1.0  0   20.9  18.1  1.1   1.1   99   4.5   0  
eca-rers2012/Problem12_label07.yml coverage-error-call 1    54     54     1200   650     1.0  0   12.7  13.5  1.1   1.1   99   4.5   0  
eca-rers2012/Problem12_label08.yml coverage-error-call 1    120     120     1200   1400     1.0  0   13.2  16.7  1.1   1.1   99   4.8   0  
eca-rers2012/Problem12_label10.yml coverage-error-call 1    47     47     1200   540     1.0  0   12.8  14.7  1.1   1.1   100   4.9   0  
eca-rers2012/Problem12_label13.yml coverage-error-call 1    51     51     1200   520     1.0  0   17.5  16.7  1.1   1.1   99   2.3   0  
eca-rers2012/Problem12_label19.yml coverage-error-call 1    49     49     1200   530     1.0  0   15.0  16.8  1.1   1.1   99   .72  0  
eca-rers2012/Problem12_label20.yml coverage-error-call 1    70     70     1200   880     1.0  0   15.9  17.7  1.1   1.1   99   5.3   0  
eca-rers2012/Problem12_label21.yml coverage-error-call 1    44     44     1200   410     1.0  0   20.1  18.1  1.1   1.1   99   4.5   0  
eca-rers2012/Problem12_label25.yml coverage-error-call 1    39     39     1200   440     1.0  0   16.1  18.8  1.1   1.1   99   4.5   0  
eca-rers2012/Problem12_label28.yml coverage-error-call 1    63     63     1200   700     1.0  0   17.3  18.8  1.1   1.1   99   3.9   0  
eca-rers2012/Problem12_label30.yml coverage-error-call 1    79     79     1200   900     1.0  0   18.6  16.8  1.1   1.1   99   5.9   0  
eca-rers2012/Problem12_label34.yml coverage-error-call 1    75     75     1200   880     1.0  0   17.3  16.7  1.1   1.1   99   1.5   0  
eca-rers2012/Problem12_label35.yml coverage-error-call 1    38     38     1200   390     1.0  0   12.0  16.9  1.1   1.1   99   5.1   0  
eca-rers2012/Problem12_label37.yml coverage-error-call 1    63     63     1200   680     .86 0   15.6  18.8  1.1   1.1   99   1.4   0  
eca-rers2012/Problem12_label38.yml coverage-error-call 1    74     74     1200   830     1.0  0   18.7  16.8  1.1   1.1   99   1.1   0  
eca-rers2012/Problem12_label39.yml coverage-error-call 1    54     54     1200   620     1.0  0   20.5  18.2  1.1   1.1   99   4.8   0  
eca-rers2012/Problem12_label40.yml coverage-error-call 1    46     46     1200   530     1.0  0   12.5  16.7  1.1   1.1   99   5.9   0  
eca-rers2012/Problem12_label42.yml coverage-error-call 1    39     39     1200   410     1.0  0   17.9  16.8  1.1   1.1   99   4.1   0  
eca-rers2012/Problem12_label48.yml coverage-error-call 1    43     43     1200   480     1.0  0   13.7  16.8  1.1   1.1   99   4.0   0  
eca-rers2012/Problem12_label50.yml coverage-error-call 1    40     40     1200   470     1.0  0   15.8  18.5  1.1   1.1   100   4.0   0  
eca-rers2012/Problem12_label51.yml coverage-error-call 1    60     60     1200   640     1.0  0   18.1  16.8  1.1   1.1   99   4.9   0  
eca-rers2012/Problem12_label52.yml coverage-error-call 1    40     40     1200   410     1.0  0   18.9  17.8  1.1   1.1   99   4.1   0  
eca-rers2012/Problem12_label55.yml coverage-error-call 1    51     51     1200   540     1.0  0   12.2  15.4  1.1   1.1   99   5.3   0  
eca-rers2012/Problem13_label04.yml coverage-error-call 1    100     100     1800   1200     1.0  0   12.1  15.3  1.3   1.3   120   5.9   0  
eca-rers2012/Problem13_label06.yml coverage-error-call 1    100     100     1800   1400     1.0  0   15.0  14.5  1.3   1.3   120   6.7   0  
eca-rers2012/Problem13_label07.yml coverage-error-call 1    630     630     1900   6700     1.0  0   13.0  16.7  1.3   1.3   120   5.0   0  
eca-rers2012/Problem13_label11.yml coverage-error-call 1    120     120     1800   1300     1.0  0   14.5  16.7  1.3   1.3   120   5.8   0  
eca-rers2012/Problem13_label12.yml coverage-error-call 1    88     88     1800   990     1.0  0   14.9  14.2  1.4   1.4   120   7.0   0  
eca-rers2012/Problem13_label16.yml coverage-error-call 1    110     110     1800   1200     1.0  0   15.8  16.7  1.3   1.3   120   4.8   0  
eca-rers2012/Problem13_label19.yml coverage-error-call 1    110     110     1800   1300     1.0  0   13.8  14.4  1.4   1.4   120   6.0   0  
eca-rers2012/Problem13_label21.yml coverage-error-call 1    400     400     2100   5600     1.0  0   13.7  16.8  1.3   1.3   120   3.1   0  
eca-rers2012/Problem13_label23.yml coverage-error-call 1    440     440     2000   4800     1.0  0   16.2  16.8  1.3   1.3   120   3.1   0  
eca-rers2012/Problem13_label24.yml coverage-error-call 1    210     210     2000   2400     1.0  0   17.6  16.8  1.4   1.4   120   1.4   0  
eca-rers2012/Problem13_label25.yml coverage-error-call 1    100     100     1800   1100     1.0  0   16.2  15.4  1.4   1.4   120   3.8   0  
eca-rers2012/Problem13_label28.yml coverage-error-call 1    99     99     1800   1100     .86 0   11.2  13.7  1.4   1.4   120   5.4   0  
eca-rers2012/Problem13_label29.yml coverage-error-call 1    65     65     1800   700     1.0  0   14.6  13.7  1.4   1.4   120   5.4   0  
eca-rers2012/Problem13_label30.yml coverage-error-call 1    470     470     2000   5000     1.0  0   14.8  16.8  1.3   1.3   120   5.9   0  
eca-rers2012/Problem13_label32.yml coverage-error-call 1    77     77     1800   970     1.0  0   16.2  15.9  1.3   1.3   120   6.6   0  
eca-rers2012/Problem13_label35.yml coverage-error-call 1    140     140     1800   1500     1.0  0   11.8  11.7  1.3   1.3   120   1.9   0  
eca-rers2012/Problem13_label36.yml coverage-error-call 1    110     110     1800   1400     1.0  0   14.8  13.3  1.4   1.4   120   6.3   0  
eca-rers2012/Problem13_label40.yml coverage-error-call 1    110     110     1800   1200     1.0  0   11.8  13.0  1.3   1.3   120   7.2   0  
eca-rers2012/Problem13_label43.yml coverage-error-call 1    110     110     1800   1200     1.0  0   11.7  14.4  1.4   1.4   120   1.8   0  
eca-rers2012/Problem13_label44.yml coverage-error-call 1    190     190     1900   2500     .86 0   11.5  16.7  1.3   1.3   120   5.8   0  
eca-rers2012/Problem13_label45.yml coverage-error-call 1    140     140     1800   1700     1.0  0   11.7  13.3  1.3   1.3   120   6.3   0  
eca-rers2012/Problem13_label48.yml coverage-error-call 1    120     120     1800   1200     1.0  0   15.7  16.0  1.3   1.3   120   6.7   0  
eca-rers2012/Problem13_label51.yml coverage-error-call 1    120     120     1800   1200     1.0  0   16.6  16.8  1.3   1.3   120   5.7   0  
eca-rers2012/Problem13_label54.yml coverage-error-call 1    86     86     1800   850     1.0  0   15.2  16.7  1.3   1.3   120   5.6   0  
eca-rers2012/Problem13_label58.yml coverage-error-call 1    460     460     2600   5300     .86 0   16.6  16.7  1.3   1.3   120   7.2   0  
eca-rers2012/Problem15_label00.yml coverage-error-call 1    170     170     980   1900     1.0  0   16.8  21.2  .50  .50  64   1.6   0  
eca-rers2012/Problem15_label02.yml coverage-error-call 1    230     230     1000   2500     1.0  0   16.7  20.1  .51  .51  63   1.3   0  
eca-rers2012/Problem15_label03.yml coverage-error-call 1    130     130     920   1500     1.0  0   21.5  21.3  .54  .56  63   1.6   0  
eca-rers2012/Problem15_label07.yml coverage-error-call 1    67     67     920   730     1.0  0   25.0  22.3  .52  .52  64   1.8   0  
eca-rers2012/Problem15_label09.yml coverage-error-call 1    150     150     920   1500     1.0  0   24.7  21.6  .50  .50  63   1.6   0  
eca-rers2012/Problem15_label14.yml coverage-error-call 1    96     96     960   1100     1.0  0   21.3  21.2  .52  .52  64   1.8   0  
eca-rers2012/Problem15_label15.yml coverage-error-call 1    250     250     960   2600     1.0  0   16.2  20.3  .52  .52  63   1.6   0  
eca-rers2012/Problem15_label22.yml coverage-error-call 1    400     400     1000   4500     1.0  0   15.8  20.3  .53  .53  63   1.6   0  
eca-rers2012/Problem15_label23.yml coverage-error-call 1    130     130     950   1400     1.0  0   24.7  21.9  .51  .52  64   1.8   0  
eca-rers2012/Problem15_label25.yml coverage-error-call 1    71     71     990   760     1.0  0   26.3  22.6  .51  .51  63   1.8   0  
eca-rers2012/Problem15_label29.yml coverage-error-call 1    160     160     980   1700     1.0  0   18.3  20.4  .51  .51  63   1.8   0  
eca-rers2012/Problem15_label30.yml coverage-error-call 1    190     190     970   2300     1.0  0   19.3  21.3  .51  .51  64   1.8   0  
eca-rers2012/Problem15_label33.yml coverage-error-call 1    110     110     1000   1600     1.0  0   21.0  21.3  .57  .57  63   1.6   0  
eca-rers2012/Problem15_label34.yml coverage-error-call 1    24     24     810   260     1.0  0   20.1  21.2  .53  .53  63   1.3   0  
eca-rers2012/Problem15_label37.yml coverage-error-call 1    150     150     980   1700     .86 0   22.5  20.4  .52  .53  63   1.8   0  
eca-rers2012/Problem15_label38.yml coverage-error-call 1    26     26     810   280     1.0  0   22.5  21.1  .52  .52  64   1.5   0  
eca-rers2012/Problem15_label39.yml coverage-error-call 1    220     220     1000   2300     1.0  0   24.0  21.3  .52  .53  64   .38  0  
eca-rers2012/Problem15_label40.yml coverage-error-call 1    43     43     830   610     1.0  0   17.1  20.2  .50  .50  63   1.6   0  
eca-rers2012/Problem15_label41.yml coverage-error-call 1    160     160     970   1900     1.0  0   20.5  21.4  .51  .51  63   1.5   0  
eca-rers2012/Problem15_label45.yml coverage-error-call 1    200     200     1000   2100     1.0  0   18.9  21.2  .51  .51  63   1.8   0  
eca-rers2012/Problem15_label47.yml coverage-error-call 1    200     200     1000   2200     1.0  0   23.2  21.2  .53  .53  64   1.5   0  
eca-rers2012/Problem15_label48.yml coverage-error-call 1    130     130     970   1500     1.0  0   16.3  20.2  .52  .52  64   1.5   0  
eca-rers2012/Problem15_label50.yml coverage-error-call 1    190     190     950   2000     1.0  0   20.1  21.3  .50  .54  63   1.6   0  
eca-rers2012/Problem15_label51.yml coverage-error-call 1    150     150     1000   2200     1.0  0   20.0  21.3  .51  .51  64   1.8   0  
eca-rers2012/Problem16_label00.yml coverage-error-call 900     900     1300   12000     1.0  0   0    0    .065 .066 8.9 0     0  
eca-rers2012/Problem16_label01.yml coverage-error-call 900     900     1200   13000     1.0  0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem16_label03.yml coverage-error-call 900     900     2100   9300     1.0  0   0    0    .058 .059 9.0 0     0  
eca-rers2012/Problem16_label04.yml coverage-error-call 1    350     350     1600   4500     1.0  0   30.6  25.7  .44  .44  52   1.5   0  
eca-rers2012/Problem16_label05.yml coverage-error-call 1    250     250     1600   2700     1.0  0   31.9  24.6  .44  .44  51   1.5   0  
eca-rers2012/Problem16_label06.yml coverage-error-call 1    770     770     1900   8200     1.0  0   32.8  26.1  .43  .43  51   1.3   0  
eca-rers2012/Problem16_label08.yml coverage-error-call 1    570     570     1900   7300     1.0  0   32.8  26.7  .43  .44  52   1.3   0  
eca-rers2012/Problem16_label14.yml coverage-error-call 1    650     650     2100   7600     1.0  0   31.1  24.6  .44  .44  52   1.1   0  
eca-rers2012/Problem16_label15.yml coverage-error-call 1    410     410     1800   4900     1.0  0   29.0  24.2  .45  .45  51   .54  0  
eca-rers2012/Problem16_label18.yml coverage-error-call 900     900     2100   11000     1.0  0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem16_label20.yml coverage-error-call 1    510     510     1800   5400     1.0  0   29.1  24.2  .44  .49  52   1.3   0  
eca-rers2012/Problem16_label22.yml coverage-error-call 1    870     870     1900   9900     1.0  0   33.1  26.9  .44  .46  52   1.3   0  
eca-rers2012/Problem16_label27.yml coverage-error-call 1    560     560     1900   6000     1.0  0   31.9  26.1  .43  .43  52   1.3   0  
eca-rers2012/Problem16_label30.yml coverage-error-call 1    600     600     1900   7400     1.0  0   31.4  24.5  .44  .44  51   1.3   0  
eca-rers2012/Problem16_label31.yml coverage-error-call 900     900     2100   11000     1.0  0   0    0    .058 .058 9.0 0     0  
eca-rers2012/Problem16_label33.yml coverage-error-call 1    620     620     2200   6800     1.0  0   29.4  24.2  .44  .44  52   1.5   0  
eca-rers2012/Problem16_label37.yml coverage-error-call 1    200     200     1700   2300     1.0  0   29.4  24.2  .44  .44  52   1.3   0  
eca-rers2012/Problem16_label38.yml coverage-error-call 1    740     740     2000   9300     1.0  0   32.3  26.1  .44  .44  52   1.5   0  
eca-rers2012/Problem16_label41.yml coverage-error-call 1    340     340     1700   3900     1.0  0   28.7  24.3  .45  .45  52   1.3   0  
eca-rers2012/Problem16_label43.yml coverage-error-call 900     900     2000   9600     1.0  0   0    0    .056 .057 9.0 0     0  
eca-rers2012/Problem16_label44.yml coverage-error-call 1    300     300     1700   3800     1.0  0   28.7  24.1  .44  .44  51   1.5   0  
eca-rers2012/Problem16_label46.yml coverage-error-call 900     900     1800   11000     1.0  0   0    0    .060 .062 9.0 0     0  
eca-rers2012/Problem16_label51.yml coverage-error-call 1    670     670     1700   7300     1.0  0   31.7  24.5  .45  .45  52   1.3   0  
eca-rers2012/Problem16_label52.yml coverage-error-call 1    430     430     1600   4800     1.0  0   28.6  24.0  .44  .44  52   1.3   0  
eca-rers2012/Problem16_label54.yml coverage-error-call 1    770     770     1800   8700     1.0  0   29.1  24.3  .44  .44  52   1.5   0  
eca-rers2012/Problem17_label04.yml coverage-error-call 1    270     270     1400   3100     1.0  0   8.35 9.24 .78  .78  80   2.6   0  
eca-rers2012/Problem17_label07.yml coverage-error-call 1    190     190     1400   2200     1.0  0   22.8  20.2  .79  .79  80   2.3   0  
eca-rers2012/Problem17_label09.yml coverage-error-call 1    410     410     1400   5400     1.0  0   19.6  18.6  .82  .83  81   1.5   0  
eca-rers2012/Problem17_label13.yml coverage-error-call 1    430     430     1500   5300     1.0  0   21.6  20.2  .76  .76  80   2.7   0  
eca-rers2012/Problem17_label16.yml coverage-error-call 1    260     260     1400   2900     1.0  0   19.9  20.1  .75  .75  80   3.3   0  
eca-rers2012/Problem17_label20.yml coverage-error-call 1    290     290     1400   3400     1.0  0   21.5  20.2  .75  .75  81   3.1   0  
eca-rers2012/Problem17_label23.yml coverage-error-call 1    70     70     1400   800     1.0  0   11.3  11.7  .75  .75  80   3.5   0  
eca-rers2012/Problem17_label25.yml coverage-error-call 1    290     290     1500   3100     1.0  0   18.7  18.6  .75  .76  80   2.7   0  
eca-rers2012/Problem17_label26.yml coverage-error-call 1    56     56     1400   560     1.0  0   21.1  20.2  .75  .77  80   3.5   0  
eca-rers2012/Problem17_label30.yml coverage-error-call 1    260     260     1400   2800     1.0  0   19.0  20.2  .76  .76  81   2.8   0  
eca-rers2012/Problem17_label31.yml coverage-error-call 1    98     98     1400   1200     1.0  0   18.8  18.6  .74  .75  80   3.1   0  
eca-rers2012/Problem17_label33.yml coverage-error-call 1    160     160     1400   1800     1.0  0   14.8  15.6  .75  .75  80   2.9   0  
eca-rers2012/Problem17_label34.yml coverage-error-call 1    230     230     1600   2500     1.0  0   12.2  13.4  .76  .75  81   3.5   0  
eca-rers2012/Problem17_label35.yml coverage-error-call 1    380     380     1500   4000     1.0  0   20.4  18.7  .75  .75  80   2.8   0  
eca-rers2012/Problem17_label37.yml coverage-error-call 1    530     530     1500   6200     1.0  0   14.2  15.6  .75  .75  81   3.1   0  
eca-rers2012/Problem17_label40.yml coverage-error-call 1    93     93     1500   960     1.0  0   17.7  18.6  .75  .75  80   2.9   0  
eca-rers2012/Problem17_label46.yml coverage-error-call 1    310     310     1500   4400     1.0  0   20.3  18.6  .74  .74  80   3.4   0  
eca-rers2012/Problem17_label49.yml coverage-error-call 1    480     480     1500   5400     1.0  0   13.7  15.6  .73  .73  80   1.0   0  
eca-rers2012/Problem17_label50.yml coverage-error-call 1    290     290     1500   2800     1.0  0   19.8  18.6  .72  .72  80   2.4   0  
eca-rers2012/Problem17_label52.yml coverage-error-call 1    240     240     1500   2600     1.0  0   21.6  18.8  .74  .76  80   3.5   0  
eca-rers2012/Problem17_label53.yml coverage-error-call 1    69     70     1400   820     1.0  0   18.9  18.5  .75  .75  80   2.8   0  
eca-rers2012/Problem17_label54.yml coverage-error-call 1    260     260     1400   2800     1.0  0   20.7  18.5  .75  .76  80   .83  0  
eca-rers2012/Problem17_label55.yml coverage-error-call 1    320     320     1500   3700     1.0  0   20.1  18.5  .78  .81  80   2.8   0  
eca-rers2012/Problem17_label57.yml coverage-error-call 1    320     320     1700   4000     1.0  0   16.4  17.0  .74  .74  80   2.9   0  
eca-rers2012/Problem18_label00.yml coverage-error-call 1    87     87     1500   1000     1.0  0   22.2  17.0  .80  .80  76   2.7   0  
eca-rers2012/Problem18_label01.yml coverage-error-call 1    97     97     1500   1300     1.0  0   15.3  16.2  .79  .79  76   3.3   0  
eca-rers2012/Problem18_label03.yml coverage-error-call 1    98     98     1500   980     1.0  0   18.3  18.0  .79  .79  76   3.4   0  
eca-rers2012/Problem18_label06.yml coverage-error-call 1    160     160     1500   1700     1.0  0   23.6  20.0  .83  .83  75   3.6   0  
eca-rers2012/Problem18_label08.yml coverage-error-call 1    85     85     1500   1100     1.0  0   18.6  16.1  .84  .84  75   3.1   0  
eca-rers2012/Problem18_label09.yml coverage-error-call 1    810     810     1600   8300     1.0  0   16.8  16.1  .78  .79  76   3.2   0  
eca-rers2012/Problem18_label10.yml coverage-error-call 1    74     74     1500   910     1.0  0   21.8  16.8  .80  .80  76   4.1   0  
eca-rers2012/Problem18_label12.yml coverage-error-call 1    120     120     1500   1300     1.0  0   15.4  16.1  .79  .79  75   3.1   0  
eca-rers2012/Problem18_label19.yml coverage-error-call 1    76     76     1500   890     1.0  0   16.5  16.1  .80  .80  75   3.6   0  
eca-rers2012/Problem18_label20.yml coverage-error-call 1    95     95     1500   1000     1.0  0   23.2  21.2  .80  .80  76   3.6   0  
eca-rers2012/Problem18_label25.yml coverage-error-call 1    75     75     1500   770     1.0  0   20.3  17.5  .78  .78  76   4.1   0  
eca-rers2012/Problem18_label27.yml coverage-error-call 1    74     74     1500   830     1.0  0   15.6  16.0  .78  .78  75   3.1   0  
eca-rers2012/Problem18_label31.yml coverage-error-call 1    97     97     1500   1100     1.0  0   15.8  16.0  .79  .80  76   3.7   0  
eca-rers2012/Problem18_label32.yml coverage-error-call 1    77     77     1500   850     1.0  0   19.9  19.3  .80  .80  76   3.6   0  
eca-rers2012/Problem18_label33.yml coverage-error-call 1    78     78     1500   860     1.0  0   20.8  17.6  .80  .81  75   2.7   0  
eca-rers2012/Problem18_label34.yml coverage-error-call 1    180     180     1500   2100     1.0  0   20.8  18.2  .84  .85  75   3.9   0  
eca-rers2012/Problem18_label35.yml coverage-error-call 1    88     88     1500   990     1.0  0   15.0  16.1  .80  .80  76   3.7   0  
eca-rers2012/Problem18_label36.yml coverage-error-call 1    92     92     1500   960     1.0  0   16.5  16.2  .80  .80  76   2.9   0  
eca-rers2012/Problem18_label38.yml coverage-error-call 1    210     210     1500   2500     1.0  0   15.9  16.1  .80  .80  76   2.0   0  
eca-rers2012/Problem18_label39.yml coverage-error-call 1    110     110     1500   1200     1.0  0   13.3  16.0  .79  .79  76   3.7   0  
eca-rers2012/Problem18_label45.yml coverage-error-call 1    78     78     1500   880     1.0  0   17.0  16.0  .82  .82  76   1.5   0  
eca-rers2012/Problem18_label49.yml coverage-error-call 1    160     160     1500   1900     1.0  0   20.5  16.1  .79  .80  76   3.0   0  
eca-rers2012/Problem18_label52.yml coverage-error-call 1    110     110     1500   1300     .86 0   15.4  16.1  .79  .79  76   4.1   0  
eca-rers2012/Problem18_label55.yml coverage-error-call 1    75     75     1500   920     1.0  0   16.3  16.1  .79  .79  75   3.0   0  
eca-rers2012/Problem18_label57.yml coverage-error-call 1    220     220     1500   2300     1.0  0   17.1  16.0  .79  .79  76   2.7   0  
eca-rers2012/Problem19_label10.yml coverage-error-call 930     930     4200   11000     1.0  0   0    0    .063 .063 9.0 0     0  
eca-rers2012/Problem19_label11.yml coverage-error-call 900     900     6900   9000     .86 0   0    0    .061 .062 8.9 0     0  
eca-rers2012/Problem19_label14.yml coverage-error-call 900     900     6900   11000     1.0  0   0    0    .061 .063 8.9 0     0  
eca-rers2012/Problem19_label17.yml coverage-error-call 900     900     6900   9700     1.0  0   0    0    .058 .059 8.9 0     0  
eca-rers2012/Problem19_label18.yml coverage-error-call 900     900     6900   11000     .86 0   0    0    .059 .059 9.0 0     0  
eca-rers2012/Problem19_label19.yml coverage-error-call 900     900     6900   9500     .86 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem19_label21.yml coverage-error-call 900     900     6900   11000     .86 0   0    0    .077 .078 9.0 0     0  
eca-rers2012/Problem19_label22.yml coverage-error-call 900     900     6900   9900     1.0  0   0    0    .062 .063 9.0 0     0  
eca-rers2012/Problem19_label26.yml coverage-error-call 900     900     6700   9700     .86 0   0    0    .060 .061 8.9 0     0  
eca-rers2012/Problem19_label27.yml coverage-error-call 900     900     6800   9200     .86 0   0    0    .063 .064 9.0 0     0  
eca-rers2012/Problem19_label28.yml coverage-error-call 900     900     6900   9300     .86 0   0    0    .061 .062 9.0 0     0  
eca-rers2012/Problem19_label29.yml coverage-error-call 900     900     6900   12000     .86 0   0    0    .057 .058 8.9 0     0  
eca-rers2012/Problem19_label31.yml coverage-error-call 1    900     900     6900   11000     1.0  0   17.3  16.1  1.9   2.0   160   6.5   0  
eca-rers2012/Problem19_label32.yml coverage-error-call 900     900     6900   12000     .86 0   0    0    .059 .060 9.0 0     0  
eca-rers2012/Problem19_label41.yml coverage-error-call 900     900     6900   11000     1.0  0   0    0    .083 .085 8.9 0     0  
eca-rers2012/Problem19_label42.yml coverage-error-call 930     930     4200   11000     .85 0   0    0    .060 .061 9.0 0     0  
eca-rers2012/Problem19_label43.yml coverage-error-call 900     900     6900   11000     1.0  0   0    0    .086 .087 9.0 0     0  
eca-rers2012/Problem19_label47.yml coverage-error-call 900     900     6800   9100     .86 0   0    0    .057 .058 9.0 0     0  
eca-rers2012/Problem19_label50.yml coverage-error-call 1    540     540     6800   5000     .86 0   21.3  17.5  2.0   2.0   160   9.6   0  
eca-rers2012/Problem19_label51.yml coverage-error-call 900     900     3900   9800     .86 0   0    0    .067 .067 8.9 0     0  
eca-rers2012/Problem19_label53.yml coverage-error-call 900     900     6900   10000     1.0  0   0    0    .059 .059 9.0 0     0  
eca-rers2012/Problem19_label55.yml coverage-error-call 900     900     6900   8900     .86 0   0    0    .057 .058 8.9 0     0  
eca-rers2012/Problem19_label58.yml coverage-error-call 900     900     6900   8900     .86 0   0    0    .059 .059 9.0 0     0  
eca-rers2012/Problem19_label59.yml coverage-error-call 900     900     6900   11000     .85 0   0    0    .061 .062 9.0 0     0  
eca-programs/Problem101_label00.yml coverage-error-call 900     900     6300   9800     .86 0   0    0    .056 .057 9.0 0     0  
eca-programs/Problem101_label01.yml coverage-error-call 900     900     6300   10000     .86 0   0    0    .058 .059 8.9 0     0  
eca-programs/Problem101_label02.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .057 .076 9.0 0     0  
eca-programs/Problem101_label03.yml coverage-error-call 900     900     6300   8400     .99 0   0    0    .063 .064 8.9 0     0  
eca-programs/Problem101_label04.yml coverage-error-call 900     900     6300   10000     .86 0   0    0    .059 .060 8.9 0     0  
eca-programs/Problem101_label05.yml coverage-error-call 900     900     6300   8000     1.0  0   0    0    .059 .061 8.9 0     0  
eca-programs/Problem101_label06.yml coverage-error-call 900     900     6300   9600     .86 0   0    0    .058 .058 9.0 0     0  
eca-programs/Problem101_label07.yml coverage-error-call 900     900     6300   10000     .86 0   0    0    .061 .061 9.0 0     0  
eca-programs/Problem101_label08.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .060 .062 9.0 0     0  
eca-programs/Problem101_label09.yml coverage-error-call 900     900     6300   11000     1.0  0   0    0    .062 .063 8.9 0     0  
eca-programs/Problem101_label10.yml coverage-error-call 930     930     5200   8700     .93 0   0    0    .062 .063 9.0 0     0  
eca-programs/Problem101_label11.yml coverage-error-call 900     900     6300   9100     .86 0   0    0    .060 .060 9.0 0     0  
eca-programs/Problem101_label12.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .057 .058 9.0 0     0  
eca-programs/Problem101_label13.yml coverage-error-call 900     900     6300   9400     .86 0   0    0    .059 .060 8.9 0     0  
eca-programs/Problem101_label14.yml coverage-error-call 900     900     6300   8600     .86 0   0    0    .057 .059 8.9 0     0  
eca-programs/Problem101_label15.yml coverage-error-call 900     900     6300   9500     .86 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem101_label16.yml coverage-error-call 900     900     6300   9200     .86 0   0    0    .061 .061 9.0 0     0  
eca-programs/Problem101_label17.yml coverage-error-call 900     900     6300   10000     .86 0   0    0    .058 .059 9.0 0     0  
eca-programs/Problem101_label18.yml coverage-error-call 900     900     6300   8500     .86 0   0    0    .059 .061 9.0 0     0  
eca-programs/Problem101_label19.yml coverage-error-call 900     900     6300   8800     .86 0   0    0    .059 .060 8.9 0     0  
eca-programs/Problem101_label20.yml coverage-error-call 900     900     6300   11000     .86 0   0    0    .058 .059 9.0 0     0  
eca-programs/Problem101_label21.yml coverage-error-call 900     900     6300   7500     .86 0   0    0    .059 .059 8.9 0     0  
eca-programs/Problem101_label22.yml coverage-error-call 900     900     6300   8900     .86 0   0    0    .058 .059 9.0 0     0  
eca-programs/Problem101_label23.yml coverage-error-call 900     900     6300   9200     .86 0   0    0    .060 .061 9.0 0     0  
eca-programs/Problem102_label01.yml coverage-error-call 510     510     15000   5000     .85 0   0    0    .056 .056 9.0 0     0  
eca-programs/Problem102_label02.yml coverage-error-call 500     500     15000   5900     .85 0   0    0    .058 .060 9.0 0     0  
eca-programs/Problem102_label04.yml coverage-error-call 510     510     15000   4900     .94 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem102_label05.yml coverage-error-call 510     510     15000   5900     .97 0   0    0    .078 .080 9.0 0     0  
eca-programs/Problem102_label06.yml coverage-error-call 510     500     15000   5000     .97 0   0    0    .059 .060 9.0 0     0  
eca-programs/Problem102_label07.yml coverage-error-call 500     500     15000   5700     .85 0   0    0    .066 .067 8.9 0     0  
eca-programs/Problem102_label10.yml coverage-error-call 500     500     15000   5800     .85 0   0    0    .059 .059 8.9 0     0  
eca-programs/Problem102_label13.yml coverage-error-call 500     500     15000   5500     .85 0   0    0    .061 .061 9.0 0     0  
eca-programs/Problem102_label15.yml coverage-error-call 500     500     15000   5300     .85 0   0    0    .059 .059 9.0 0     0  
eca-programs/Problem102_label24.yml coverage-error-call 500     500     15000   5900     1.0  0   0    0    .059 .060 9.0 0     0  
eca-programs/Problem102_label25.yml coverage-error-call 510     510     15000   5400     .85 0   0    0    .062 .062 9.0 0     0  
eca-programs/Problem102_label26.yml coverage-error-call 510     510     15000   5800     .85 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem102_label28.yml coverage-error-call 510     510     15000   5200     .85 0   0    0    .064 .064 9.0 0     0  
eca-programs/Problem102_label29.yml coverage-error-call 500     500     15000   4900     .85 0   0    0    .057 .057 8.8 0     0  
eca-programs/Problem102_label34.yml coverage-error-call 510     510     15000   5000     .91 0   0    0    .062 .063 9.0 0     0  
eca-programs/Problem102_label37.yml coverage-error-call 500     500     15000   5000     .97 0   0    0    .079 .080 8.9 0     0  
eca-programs/Problem102_label43.yml coverage-error-call 500     500     15000   4900     .85 0   0    0    .057 .058 9.0 0     0  
eca-programs/Problem102_label46.yml coverage-error-call 510     510     15000   5400     .85 0   0    0    .056 .057 9.0 0     0  
eca-programs/Problem102_label48.yml coverage-error-call 500     500     15000   4600     .95 0   0    0    .058 .058 8.9 0     0  
eca-programs/Problem102_label49.yml coverage-error-call 500     500     15000   5400     .85 0   0    0    .061 .061 8.9 0     0  
eca-programs/Problem102_label50.yml coverage-error-call 500     500     15000   5000     .85 0   0    0    .059 .060 8.9 0     0  
eca-programs/Problem102_label51.yml coverage-error-call 510     510     15000   5200     .99 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem102_label55.yml coverage-error-call 500     500     15000   6600     .85 0   0    0    .062 .063 8.9 0     0  
eca-programs/Problem102_label59.yml coverage-error-call 500     500     15000   5000     .85 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem103_label32.yml coverage-error-call 790     790     15000   10000     .85 0   0    0    .058 .059 8.9 0     0  
eca-programs/Problem103_label35.yml coverage-error-call 810     810     15000   7100     .85 0   0    0    .061 .062 8.9 0     0  
eca-programs/Problem103_label41.yml coverage-error-call 800     800     15000   8500     .85 0   0    0    .060 .060 8.9 0     0  
eca-programs/Problem103_label44.yml coverage-error-call 820     820     15000   8100     .85 0   0    0    .059 .060 9.0 0     0  
eca-programs/Problem103_label46.yml coverage-error-call 810     810     15000   7600     .96 0   0    0    .059 .060 8.8 0     0  
eca-programs/Problem103_label47.yml coverage-error-call 810     810     15000   8600     .85 0   0    0    .062 .062 9.0 0     0  
eca-programs/Problem103_label51.yml coverage-error-call 810     810     15000   7600     .85 0   0    0    .058 .058 9.0 0     0  
eca-programs/Problem103_label53.yml coverage-error-call 800     800     15000   8800     .85 0   0    0    .057 .058 9.0 0     0  
eca-programs/Problem103_label54.yml coverage-error-call 790     790     15000   8600     1.0  0   0    0    .068 .069 8.9 0     0  
eca-programs/Problem103_label56.yml coverage-error-call 820     820     15000   7700     1.0  0   0    0    .059 .061 9.0 0     0  
eca-programs/Problem103_label57.yml coverage-error-call 790     790     15000   8800     .85 0   0    0    .059 .060 9.0 0     0  
eca-programs/Problem103_label59.yml coverage-error-call 810     810     15000   10000     .85 0   0    0    .059 .060 9.0 0     0  
floats-cdfpl/newton_1_4.yml coverage-error-call 25     25     92   310     1.0  0   .00 18.2  .12  .12  16   .094 0  
floats-cdfpl/newton_1_5.yml coverage-error-call 33     33     92   400     1.0  0   .00 18.2  .13  .13  16   .094 0  
floats-cdfpl/newton_1_6.yml coverage-error-call 41     41     94   570     1.0  0   .00 18.2  .12  .12  16   .094 0  
floats-cdfpl/newton_1_7.yml coverage-error-call 8.8   8.8   93   120     1.0  0   .00 18.2  .12  .12  16   .094 0  
floats-cdfpl/newton_1_8.yml coverage-error-call 39     39     92   490     1.0  0   .00 18.2  .14  .14  17   .094 0  
floats-cdfpl/newton_2_6.yml coverage-error-call 130     130     190   1700     1.0  0   .00 16.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_7.yml coverage-error-call 130     130     190   1500     1.0  0   .00 16.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_8.yml coverage-error-call 60     60     190   830     1.0  0   .00 16.7  .12  .12  16   .094 0  
floats-cdfpl/newton_3_6.yml coverage-error-call 100     100     290   1200     1.0  0   .00 15.4  .12  .12  16   .098 0  
floats-cdfpl/newton_3_7.yml coverage-error-call 120     120     280   1400     1.0  0   .00 15.4  .15  .15  17   .098 0  
floats-cdfpl/newton_3_8.yml coverage-error-call 130     130     300   1600     1.0  0   .00 15.4  .12  .12  16   .098 0  
floats-cdfpl/sine_1.yml coverage-error-call 20     20     65   230     1.0  0   .00 25.0  .12  .12  16   .094 0  
floats-cdfpl/sine_2.yml coverage-error-call 20     20     63   270     1.0  0   .00 25.0  .12  .16  16   .086 0  
floats-cdfpl/sine_3.yml coverage-error-call 19     19     64   260     1.0  0   .00 25.0  .13  .13  16   .094 0  
floats-cdfpl/square_1.yml coverage-error-call 4.7   4.7   57   60     1.0  0   .00 22.2  .12  .12  17   .094 0  
floats-cdfpl/square_2.yml coverage-error-call 6.8   6.8   55   85     1.0  0   .00 22.2  .13  .13  16   .094 0  
floats-cdfpl/square_3.yml coverage-error-call 7.5   7.5   55   99     1.0  0   .00 22.2  .12  .12  16   .094 0  
float-benchs/cast_float_ptr.yml coverage-error-call 1    .11  .11  26   1.0   1.0  0   41.7  68.8  .12  .14  17   .094 0  
float-benchs/cast_union_loose.yml coverage-error-call 1    .15  .15  26   1.9   1.0  0   40.0  92.3  .12  .12  16   .078 0  
float-benchs/cast_union_tight.yml coverage-error-call 1    .17  .17  27   1.7   1.0  0   50.0  91.7  .13  .13  17   .078 0  
float-benchs/float_int_inv_square.yml coverage-error-call 1    .36  .36  28   4.4   1.0  0   50.0  75.0  .12  .12  16   .078 0  
float-benchs/inv_Newton-2.yml coverage-error-call 900     900     300   12000     1.0  0   0    0    .062 .062 9.0 0     0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml coverage-error-call 470     470     530   4100     1.0  0   .00 3.92 .12  .13  16   .098 0  
float-benchs/inv_square-1.yml coverage-error-call .30  .30  28   3.9   1.0  0   .00 22.2  .11  .11  16   .094 0  
float-benchs/nan_double.yml coverage-error-call 1    .085 .087 26   1.1   1.0  0   50.0  80.0  .12  .12  16   .094 0  
float-benchs/nan_float.yml coverage-error-call 1    .088 .089 26   .98  1.0  0   50.0  80.0  .14  .14  16   .094 0  
float-benchs/sin_interpolated_index-1.yml coverage-error-call 9.1   9.1   100   110     1.0  0   .00 8.70 .13  .14  16   .13  0  
float-benchs/sqrt_poly2.yml coverage-error-call 58     58     150   580     1.0  0   .00 10.5  .13  .13  16   .098 0  
float-newlib/double_req_bl_0870a.yml coverage-error-call .24  .25  40   2.6   1.0  0   .00 .60 .15  .15  18   .19  0  
float-newlib/float_req_bl_0870a.yml coverage-error-call .20  .20  32   2.4   1.0  0   .00 .60 .15  .15  17   .18  0  
loop-floats-scientific-comp/loop1-2.yml coverage-error-call 1.6   1.6   46   18     1.0  0   .00 14.3  .11  .11  16   .094 0  
loop-floats-scientific-comp/loop2-1.yml coverage-error-call 1.3   1.3   42   17     1.0  0   .00 9.52 .12  .12  16   .094 0  
ldv-regression/fo_test.yml coverage-error-call .092 .093 27   1.1   1.0  0   .00 37.5  .14  .14  16   .14  0  
ldv-regression/rule60_list2.c_1.yml coverage-error-call .14  .14  27   1.4   1.0  0   7.14 27.6  .14  .15  17   .13  0  
ldv-regression/test21-2.yml coverage-error-call .10  .10  26   1.2   1.0  0   0    0    .061 .061 9.0 0     0  
ldv-regression/test22-2.yml coverage-error-call .11  .11  26   1.3   1.0  0   0    0    .063 .064 9.0 0     0  
ldv-regression/test23-1.yml coverage-error-call 2.3   2.3   32   33     1.0  0   0    0    .060 .060 9.0 0     0  
ldv-regression/test24-2.yml coverage-error-call .51  .51  37   7.0   1.0  0   0    0    .058 .059 9.0 0     0  
ldv-regression/test25-1.yml coverage-error-call .36  .36  32   4.7   1.0  0   0    0    .058 .058 9.0 0     0  
ldv-regression/test28-1.yml coverage-error-call 1    .10  .10  26   1.1   1.0  0   50.0  80.0  .12  .12  16   .086 0  
ldv-regression/test29-1.yml coverage-error-call .11  .11  26   1.2   1.0  0   12.5  36.4  .12  .12  16   .090 0  
loops/array-2.yml coverage-error-call 1    .092 .092 26   1.2   1.0  0   66.7  86.7  .12  .12  16   .078 0  
loops/compact.yml coverage-error-call 900     880     12000   9700     1.0  0   0    0    .059 .060 8.9 0     0  
loops/count_up_down-2.yml coverage-error-call 1    .085 .085 26   1.1   1.0  0   50.0  72.7  .12  .12  16   .094 0  
loops/eureka_01-1.yml coverage-error-call 1    .18  .18  27   2.2   1.0  0   76.9  93.5  .12  .12  16   .082 0  
loops/for_bounded_loop1.yml coverage-error-call 1    .12  .12  26   1.2   1.0  0   75.0  100    .12  .12  17   .078 0  
loops/insertion_sort-1.yml coverage-error-call .81  .81  28   9.7   1.0  0   58.3  77.8  .12  .12  16   .094 0  
loops/invert_string-1.yml coverage-error-call 1    .099 .10  26   1.0   1.0  0   87.5  100    .12  .12  17   .078 0  
loops/linear_search.yml coverage-error-call .13  .13  27   2.2   1.0  0   .00 11.8  .12  .12  16   .094 0  
loops/matrix-2.yml coverage-error-call 1    .15  .15  26   1.6   1.0  0   83.3  100    .13  .13  16   .082 0  
loops/nec20.yml coverage-error-call .088 .089 26   .90  1.0  0   .00 8.33 .12  .12  16   .094 0  
loops/string-2.yml coverage-error-call .098 .099 26   1.0   1.0  0   0    0    .061 .062 8.9 0     0  
loops/sum01-1.yml coverage-error-call 1    .15  .15  26   1.8   1.0  0   70.0  90.0  .12  .12  16   .094 0  
loops/sum01_bug02.yml coverage-error-call .11  .11  26   1.0   1.0  0   .00 18.2  .12  .12  16   .094 0  
loops/sum01_bug02_sum01_bug02_base.case.yml coverage-error-call 1    .14  .14  26   1.9   1.0  0   70.0  90.0  .11  .11  16   .094 0  
loops/sum03-1.yml coverage-error-call .13  .13  26   1.5   1.0  0   .00 25.0  .11  .11  16   .094 0  
loops/sum_array-1.yml coverage-error-call 1    .11  .11  26   1.3   1.0  0   80.0  93.8  .12  .12  16   .078 0  
loops/terminator_01.yml coverage-error-call 1    .087 .088 26   .95  1.0  0   50.0  72.7  .12  .12  16   .094 0  
loops/terminator_02-1.yml coverage-error-call .085 .085 26   .66  1.0  0   .00 25.0  .12  .12  16   .094 0  
loops/terminator_03-1.yml coverage-error-call 1    .083 .085 26   1.0   1.0  0   41.7  75.0  .12  .12  17   .078 0  
loops/trex01-1.yml coverage-error-call .086 .086 26   .95  1.0  0   .00 7.69 .12  .12  16   .098 0  
loops/trex02-2.yml coverage-error-call 1    .084 .084 26   1.1   1.0  0   33.3  50.0  .12  .12  16   .094 0  
loops/trex03-1.yml coverage-error-call .084 .084 26   .92  1.0  0   .00 25.0  .12  .12  16   .094 0  
loops/vogal-2.yml coverage-error-call 1    .41  .41  34   5.7   1.0  0   88.9  88.5  .13  .16  16   .078 0  
loop-acceleration/array_3-2.yml coverage-error-call 1    16     16     370   240     1.0  0   75.0  88.9  .14  .14  16   .094 0  
loop-acceleration/diamond_1-2.yml coverage-error-call 1    .45  .45  26   5.7   1.0  0   66.7  83.3  .12  .12  16   .094 0  
loop-acceleration/multivar_1-2.yml coverage-error-call 1    .083 .083 26   .83  1.0  0   50.0  72.7  .12  .12  16   .094 0  
loop-invgen/id_trans.yml coverage-error-call 1    .10  .10  26   1.0   1.0  0   62.5  93.3  .12  .12  17   .094 0  
recursive/Ackermann02.yml coverage-error-call 1    .22  .22  29   2.7   1.0  0   62.5  82.3  .12  .12  16   .078 0  
recursive/Addition02.yml coverage-error-call 1    .13  .13  26   2.2   1.0  0   50.0  68.4  .12  .15  16   .094 0  
recursive/BallRajamani-SPIN2000-Fig1.yml coverage-error-call 1    .11  .11  26   .87  1.0  0   75.0  100    .12  .12  16   .094 0  
recursive/EvenOdd03.yml coverage-error-call 1    .089 .090 26   .88  1.0  0   50.0  71.4  .12  .12  17   .078 0  
recursive/Fibonacci04.yml coverage-error-call 1    .12  .12  26   1.3   1.0  0   75.0  91.7  .12  .12  16   .094 0  
recursive/Fibonacci05.yml coverage-error-call 1    3.5   3.5   96   39     1.0  0   75.0  91.7  .12  .13  16   .078 0  
recursive/McCarthy91-1.yml coverage-error-call 1    .099 .10  26   .72  1.0  0   37.5  80.0  .12  .14  16   .078 0  
recursive-simple/id2_b3_o2.yml coverage-error-call 1    .087 .087 26   .94  1.0  0   60.0  100    .15  .16  16   .078 0  
recursive-simple/id_b3_o2-2.yml coverage-error-call 1    .087 .086 26   .94  1.0  0   66.7  100    .12  .12  17   .078 0  
recursive-simple/id_o10.yml coverage-error-call 1    .10  .10  26   1.4   1.0  0   75.0  100    .12  .13  16   .074 0  
recursive-simple/id_o100.yml coverage-error-call 1    2.1   2.0   33   29     1.0  0   75.0  100    .11  .15  16   .078 0  
recursive-simple/id_o1000.yml coverage-error-call 900     890     1200   11000     1.0  0   0    0    .065 .066 8.9 0     0  
recursive-simple/id_o20.yml coverage-error-call 1    .16  .15  26   1.8   1.0  0   75.0  100    .12  .12  17   .078 0  
recursive-simple/id_o200.yml coverage-error-call 1    12     12     84   150     1.0  0   75.0  100    .12  .12  16   .094 0  
recursive-simple/id_o3.yml coverage-error-call 1    .090 .090 26   1.0   1.0  0   75.0  100    .12  .13  16   .094 0  
recursive-simple/sum_non_eq-3.yml coverage-error-call 1    .087 .088 26   .90  1.0  0   50.0  90.0  .12  .12  17   .094 0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml coverage-error-call .13  .13  29   1.7   1.0  0   .00 .92 .16  .18  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.yml coverage-error-call .13  .13  29   1.5   1.0  0   .00 .93 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml coverage-error-call .20  .20  29   4.5   1.0  0   .00 .94 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.yml coverage-error-call .21  .21  29   2.8   1.0  0   .00 .95 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml coverage-error-call .20  .20  29   2.8   1.0  0   .00 .92 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.yml coverage-error-call .20  .20  29   2.3   1.0  0   .00 .93 .17  .17  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml coverage-error-call .51  .51  29   6.3   1.0  0   .00 .93 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.yml coverage-error-call .48  .48  29   6.1   1.0  0   .00 .94 .15  .15  17   .22  0  
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml coverage-error-call .47  .47  29   5.3   1.0  0   .00 1.08 .15  .15  17   .20  0  
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.UNBOUNDED.pals.yml coverage-error-call .44  .44  29   5.0   1.0  0   .00 1.09 .15  .15  17   .20  0  
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml coverage-error-call .40  .40  29   5.3   1.0  0   .00 1.09 .15  .15  17   .20  0  
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.yml coverage-error-call .40  .40  29   4.9   1.0  0   .00 1.11 .15  .15  17   .20  0  
seq-mthreaded/pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml coverage-error-call .51  .51  30   5.6   1.0  0   .00 1.10 .14  .15  17   .19  0  
seq-mthreaded/pals_floodmax.3.1.ufo.UNBOUNDED.pals.yml coverage-error-call .51  .51  30   7.1   1.0  0   .00 1.09 .15  .17  17   .19  0  
seq-mthreaded/pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml coverage-error-call .21  .21  29   2.1   1.0  0   .00 1.06 .17  .17  17   .19  0  
seq-mthreaded/pals_floodmax.3.2.ufo.UNBOUNDED.pals.yml coverage-error-call .20  .20  29   2.1   1.0  0   .00 1.05 .15  .15  17   .19  0  
seq-mthreaded/pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml coverage-error-call .54  .54  30   8.0   1.0  0   .00 1.06 .15  .16  17   .19  0  
seq-mthreaded/pals_floodmax.3.3.ufo.UNBOUNDED.pals.yml coverage-error-call .52  .52  30   6.1   1.0  0   .00 1.05 .16  .16  17   .19  0  
seq-mthreaded/pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml coverage-error-call .53  .53  30   6.7   1.0  0   .00 1.06 .16  .16  17   .19  0  
seq-mthreaded/pals_floodmax.3.4.ufo.UNBOUNDED.pals.yml coverage-error-call .55  .55  30   6.6   1.0  0   .00 1.05 .15  .15  17   .19  0  
seq-mthreaded/pals_floodmax.3_overflow.ufo.UNBOUNDED.pals.yml coverage-error-call 900     900     3600   9600     1.0  0   0    0    .057 .059 9.0 0     0  
seq-mthreaded/pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml coverage-error-call 1.5   1.5   49   18     1.0  0   .00 .46 .18  .18  20   .29  0  
seq-mthreaded/pals_floodmax.4.1.ufo.UNBOUNDED.pals.yml coverage-error-call 1.5   1.5   50   18     1.0  0   .00 .46 .18  .18  20   .29  0  
seq-mthreaded/pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml coverage-error-call 1.2   1.2   52   19     1.0  0   .00 .44 .19  .19  20   .29  0  
seq-mthreaded/pals_floodmax.4.2.ufo.UNBOUNDED.pals.yml coverage-error-call