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