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