Benchmark FairFuzz TBF Test-Suite Validator
Tool FairFuzz TC-0.0.2 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-08 09:39:09 CET 2019-02-08 13:22:04 CET
Run set fairfuzz.[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-fairfuzz.[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 [--verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/fairfuzz.2019-02-08_0939.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip; --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/fairfuzz.2019-02-08_0939.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 1      900    910    59 13000   .31 0      87.5  90.0  5.3   5.3   810   .078 0  
array-examples/standard_copy2_ground-1.yml coverage-error-call 1      900    910    71 11000   .32 0      90.0  91.7  5.4   5.4   810   .078 0  
array-examples/standard_copy3_ground-2.yml coverage-error-call 1      900    910    72 11000   .31 0      91.7  92.9  5.4   5.4   810   .078 0  
array-examples/standard_copy4_ground-2.yml coverage-error-call 1      900    910    79 13000   .31 0      92.9  93.8  5.3   5.3   810   .078 0  
array-examples/standard_copy5_ground-2.yml coverage-error-call 1      900    910    63 13000   .31 0      93.8  94.4  5.3   5.3   810   .078 0  
array-examples/standard_copy6_ground-1.yml coverage-error-call 1      900    910    74 11000   .32 0      94.4  95.0  5.4   5.4   810   .078 0  
array-examples/standard_copy7_ground-1.yml coverage-error-call 1      900    910    62 11000   .31 0      95.0  95.5  5.4   5.4   810   .082 0  
array-examples/standard_copy8_ground-2.yml coverage-error-call 1      900    910    65 9900   .31 0      95.5  95.8  5.4   5.4   810   .082 0  
array-examples/standard_copy9_ground-1.yml coverage-error-call 1      900    910    79 11000   .32 0      95.8  96.2  5.3   5.4   810   .082 0  
array-examples/standard_partition_ground-1.yml coverage-error-call 1.4  1.4  14 17   .23 0      0    0    .059 .059 9.1 0     0  
array-industry-pattern/array_ptr_single_elem_init-2.yml coverage-error-call 1.4  1.4  15 15   .20 0      0    0    .059 .060 9.0 0     0  
array-industry-pattern/array_single_elem_init.yml coverage-error-call 900    910    69 12000   .70 .061  92.9  100    44     44     450   .36  0  
reducercommutativity/rangesum.yml coverage-error-call 1      730    730    57 8800   .40 0      81.2  96.8  3.7   3.7   220   .15  0  
reducercommutativity/rangesum05.yml coverage-error-call 1      11    9.8  15 32   .21 .094  85.7  96.3  .12  .14  16   .098 0  
reducercommutativity/rangesum10.yml coverage-error-call 1      8.4  7.7  13 27   .21 0      85.7  96.3  .12  .12  16   .098 0  
reducercommutativity/rangesum20.yml coverage-error-call 1      8.6  7.9  13 37   .24 0      85.7  96.3  .12  .12  16   .098 0  
reducercommutativity/rangesum40.yml coverage-error-call 1      14    13    12 42   .24 0      78.6  92.6  .12  .13  16   .082 0  
reducercommutativity/rangesum60.yml coverage-error-call 1      14    13    12 52   .24 .061  85.7  96.3  .13  .13  16   .098 0  
array-tiling/mlceu.yml coverage-error-call 28    26    14 120   .29 0      75.0  91.7  .19  .20  16   .41  0  
array-tiling/skippedu.yml coverage-error-call 1      900    900    34 13000   .85 0      88.9  100    1.8   1.8   150   .18  0  
array-programs/copysome1-2.yml coverage-error-call 3.1  3.2  17 45   .20 0      0    0    .062 .063 9.0 0     0  
array-programs/copysome2-2.yml coverage-error-call 3.1  3.2  15 44   .20 0      0    0    .061 .062 8.9 0     0  
bitvector/byte_add-1.yml coverage-error-call 1      44    41    18 140   .30 0      91.7  100    .15  .17  16   .17  0  
bitvector/s3_clnt_1.BV.c.cil-2.yml coverage-error-call 1      300    280    17 900   .47 0      71.0  80.8  .41  .39  17   1.7   0  
bitvector/s3_clnt_2.BV.c.cil-2.yml coverage-error-call 26    24    13 110   .25 0      2.50 19.2  .21  .21  17   .12  0  
bitvector/s3_clnt_3.BV.c.cil-2.yml coverage-error-call 26    24    14 120   .25 0      3.09 19.3  .21  .21  17   .12  0  
bitvector/soft_float_1-3.c.cil.yml coverage-error-call 1      100    93    21 550   .37 0      51.4  59.2  .15  .15  17   .24  0  
bitvector/soft_float_4-3.c.cil.yml coverage-error-call 1      210    200    23 500   .43 0      50.0  57.5  .14  .14  17   .14  0  
bitvector/sum02-1.yml coverage-error-call 1      740    740    10 11000   .40 0      87.5  100    5.9   5.9   16   .11  0  
bitvector-regression/recHanoi03-1.yml coverage-error-call 1      690    690    11 8700   .32 0      75.0  91.7  .12  .12  17   .13  0  
bitvector-loops/diamond_2-1.yml coverage-error-call 1      23    21    18 80   .20 0      100    100    .12  .15  16   .094 0  
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml coverage-error-call 1      39    36    17 170   .29 0      100    100    .15  .15  17   .19  0  
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml coverage-error-call 900    840    20 3900   1.2  0      47.4  67.1  .49  .53  21   6.8   0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml coverage-error-call 1      450    420    20 1500   .63 0      60.5  76.3  .24  .24  18   .89  0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml coverage-error-call 1      660    620    20 2000   .88 0      71.9  85.7  .43  .44  20   3.9   0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml coverage-error-call 1      240    220    19 920   .52 0      56.8  76.3  .29  .28  17   1.1   0  
ssh-simplified/s3_clnt_1.cil-2.yml coverage-error-call 26    24    14 120   .26 .061  3.09 18.7  .19  .19  17   .12  0  
ssh-simplified/s3_clnt_2.cil-1.yml coverage-error-call 39    37    13 100   .26 0      3.09 18.6  .19  .20  17   .12  0  
ssh-simplified/s3_clnt_3.cil-2.yml coverage-error-call 38    36    14 110   .26 0      3.09 19.3  .20  .20  17   .12  0  
ssh-simplified/s3_clnt_4.cil-2.yml coverage-error-call 40    38    14 120   .26 0      3.09 19.1  .19  .19  17   .12  0  
eca-rers2012/Problem03_label09.yml coverage-error-call 1      900    830    71 4400   1.8  0      31.5  19.0  .50  .50  58   2.5   0  
eca-rers2012/Problem03_label13.yml coverage-error-call 1      900    830    70 2700   1.7  0      33.6  20.7  .52  .51  58   3.2   0  
eca-rers2012/Problem03_label26.yml coverage-error-call 12    11    71 56   .80 0      8.86 10.8  .46  .48  57   3.2   0  
eca-rers2012/Problem03_label27.yml coverage-error-call 1      900    830    70 2700   1.7  0      42.0  34.5  .73  .72  58   10     0  
eca-rers2012/Problem03_label28.yml coverage-error-call 1      900    830    70 2100   1.7  0      42.4  36.0  .85  .89  58   13     0  
eca-rers2012/Problem03_label31.yml coverage-error-call 1      900    800    70 7500   1.7  0      41.1  34.6  .84  .85  58   14     0  
eca-rers2012/Problem03_label35.yml coverage-error-call 1      900    830    71 3500   1.7  0      43.0  38.3  1.0   1.1   57   19     0  
eca-rers2012/Problem03_label37.yml coverage-error-call 21    20    72 75   .80 0      8.86 10.8  .52  .52  57   2.9   0  
eca-rers2012/Problem03_label39.yml coverage-error-call 1      900    830    72 2100   1.7  0      43.7  41.0  1.1   1.1   58   20     0  
eca-rers2012/Problem03_label43.yml coverage-error-call 1      900    830    71 4400   1.7  0      42.9  36.9  .91  .99  58   14     0  
eca-rers2012/Problem03_label45.yml coverage-error-call 1      900    830    71 4000   1.7  0      40.9  32.7  .74  .79  58   9.9   0  
eca-rers2012/Problem03_label50.yml coverage-error-call 18    17    70 60   .80 0      8.86 10.8  .48  .48  57   3.2   0  
eca-rers2012/Problem03_label52.yml coverage-error-call 1      900    830    70 4000   1.7  0      46.9  46.0  1.3   1.2   58   27     0  
eca-rers2012/Problem04_label04.yml coverage-error-call 900    840    130 2600   3.1  0      63.1  52.4  9.3   9.1   110   360     0  
eca-rers2012/Problem04_label06.yml coverage-error-call 900    840    130 2800   3.0  0      61.6  50.0  8.8   10     110   330     0  
eca-rers2012/Problem04_label09.yml coverage-error-call 26    25    130 160   2.1  .061  10.2  15.9  1.1   1.1   110   8.9   0  
eca-rers2012/Problem04_label13.yml coverage-error-call 25    24    130 220   2.1  0      10.2  15.9  1.1   1.1   110   7.0   0  
eca-rers2012/Problem04_label15.yml coverage-error-call 900    840    130 2400   3.0  0      63.1  51.7  9.8   9.8   110   370     0  
eca-rers2012/Problem04_label18.yml coverage-error-call 900    840    130 2700   3.0  0      60.6  46.3  8.2   10     110   310     0  
eca-rers2012/Problem04_label19.yml coverage-error-call 900    840    130 2800   3.1  0      58.2  45.0  8.7   8.5   110   330     0  
eca-rers2012/Problem04_label26.yml coverage-error-call 900    840    130 2600   2.5  0      65.7  55.8  10     11     110   410     0  
eca-rers2012/Problem04_label31.yml coverage-error-call 32    30    130 190   2.1  0      10.2  15.9  1.1   1.1   110   9.0   0  
eca-rers2012/Problem04_label32.yml coverage-error-call 900    830    130 5000   3.1  0      64.8  54.4  11     11     110   420     0  
eca-rers2012/Problem04_label35.yml coverage-error-call 900    830    130 5000   2.5  0      62.4  50.9  9.7   9.5   110   380     0  
eca-rers2012/Problem04_label38.yml coverage-error-call 900    840    130 2800   3.1  0      60.9  49.4  9.2   11     110   360     0  
eca-rers2012/Problem04_label39.yml coverage-error-call 29    28    130 170   2.1  0      10.2  15.9  1.1   1.1   110   10     0  
eca-rers2012/Problem04_label45.yml coverage-error-call 900    840    130 4000   3.1  0      66.4  58.7  12     12     110   470     0  
eca-rers2012/Problem04_label52.yml coverage-error-call 900    840    130 2900   2.7  .061  61.9  51.6  10     11     110   390     0  
eca-rers2012/Problem04_label55.yml coverage-error-call 900    830    130 4400   3.2  0      63.4  54.1  11     12     110   410     0  
eca-rers2012/Problem05_label00.yml coverage-error-call 900    840    200 3000   6.2  0      61.6  43.2  30     33     180   1700     0  
eca-rers2012/Problem05_label01.yml coverage-error-call 29    28    200 220   5.1  0      11.2  15.7  2.1   2.2   180   17     0  
eca-rers2012/Problem05_label11.yml coverage-error-call 900    850    200 3100   5.3  0      63.1  45.1  36     43     180   2500     0  
eca-rers2012/Problem05_label13.yml coverage-error-call 900    840    200 4900   6.0  0      65.1  48.2  41     41     180   2500     0  
eca-rers2012/Problem05_label15.yml coverage-error-call 900    840    200 2000   6.3  0      62.1  44.4  32     35     180   2000     0  
eca-rers2012/Problem05_label18.yml coverage-error-call 900    850    200 3300   6.4  0      62.0  43.6  35     37     180   2100     0  
eca-rers2012/Problem05_label24.yml coverage-error-call 30    29    200 240   3.4  0      11.2  15.7  2.2   2.2   180   22     0  
eca-rers2012/Problem05_label26.yml coverage-error-call 900    850    200 2500   6.2  0      61.6  43.4  34     39     180   2100     0  
eca-rers2012/Problem05_label30.yml coverage-error-call 900    840    200 4000   6.0  0      62.1  42.5  34     40     180   2100     0  
eca-rers2012/Problem05_label32.yml coverage-error-call 900    850    200 3400   5.6  .061  61.0  42.0  31     32     180   1800     0  
eca-rers2012/Problem05_label33.yml coverage-error-call 900    850    200 2600   4.7  0      61.5  40.7  30     33     180   1700     0  
eca-rers2012/Problem05_label36.yml coverage-error-call 29    28    200 260   5.1  0      11.2  15.7  2.1   2.1   180   24     0  
eca-rers2012/Problem05_label37.yml coverage-error-call 900    850    200 2800   6.1  0      62.0  43.9  31     34     180   1800     0  
eca-rers2012/Problem05_label38.yml coverage-error-call 900    840    200 3000   4.7  0      61.9  43.1  32     34     180   2300     0  
eca-rers2012/Problem05_label39.yml coverage-error-call 900    840    200 4100   5.5  0      64.1  48.2  39     44     180   2300     0  
eca-rers2012/Problem05_label40.yml coverage-error-call 900    850    200 2600   6.2  0      61.9  43.3  34     34     180   2000     0  
eca-rers2012/Problem05_label41.yml coverage-error-call 900    850    200 3000   5.8  .061  62.7  44.2  33     35     180   1800     0  
eca-rers2012/Problem05_label44.yml coverage-error-call 900    850    200 2900   6.0  0      61.6  42.5  33     35     180   2300     0  
eca-rers2012/Problem05_label47.yml coverage-error-call 37    36    200 240   5.1  0      11.2  15.7  2.1   2.1   180   26     0  
eca-rers2012/Problem05_label48.yml coverage-error-call 29    28    200 260   5.1  .061  11.2  15.7  2.2   2.2   180   22     0  
eca-rers2012/Problem05_label51.yml coverage-error-call 37    35    200 270   5.1  0      11.2  15.7  2.1   2.1   180   25     0  
eca-rers2012/Problem05_label55.yml coverage-error-call 35    33    200 240   5.1  0      11.2  15.7  2.2   2.2   180   20     0  
eca-rers2012/Problem05_label57.yml coverage-error-call 900    850    200 4100   6.3  0      61.5  41.9  35     38     180   2000     0  
eca-rers2012/Problem05_label58.yml coverage-error-call 900    840    200 2700   6.1  0      59.2  38.0  26     28     180   1400     0  
eca-rers2012/Problem06_label00.yml coverage-error-call 24    23    190 130   4.0  0      9.87 8.70 2.0   2.0   180   22     0  
eca-rers2012/Problem06_label01.yml coverage-error-call 1      900    840    190 2500   5.1  0      53.2  39.0  13     14     180   750     0  
eca-rers2012/Problem06_label02.yml coverage-error-call 900    840    190 2800   5.0  0      56.9  48.8  24     25     180   1400     0  
eca-rers2012/Problem06_label04.yml coverage-error-call 900    840    190 2800   5.1  0      56.2  48.7  24     24     180   1400     0  
eca-rers2012/Problem06_label05.yml coverage-error-call 23    22    190 170   4.0  0      9.87 8.70 1.9   2.0   180   23     0  
eca-rers2012/Problem06_label09.yml coverage-error-call 900    840    190 2900   5.0  0      56.1  47.4  23     23     180   1100     0  
eca-rers2012/Problem06_label10.yml coverage-error-call 1      900    830    190 3900   5.0  0      52.3  37.0  8.6   9.0   180   360     0  
eca-rers2012/Problem06_label11.yml coverage-error-call 1      900    810    190 6900   5.0  0      49.8  31.9  4.8   5.2   180   190     0  
eca-rers2012/Problem06_label12.yml coverage-error-call 1      900    840    190 2600   3.9  0      54.9  43.6  13     14     180   730     0  
eca-rers2012/Problem06_label15.yml coverage-error-call 1      900    840    190 4500   5.1  0      48.9  29.5  5.4   5.7   180   240     0  
eca-rers2012/Problem06_label20.yml coverage-error-call 22    21    190 160   4.0  0      9.87 8.70 1.9   1.9   180   23     0  
eca-rers2012/Problem06_label21.yml coverage-error-call 900    840    190 2700   4.5  0      53.2  42.4  20     23     180   1200     0  
eca-rers2012/Problem06_label24.yml coverage-error-call 1      900    840    190 3200   4.5  0      36.2  17.2  2.4   2.4   180   41     0  
eca-rers2012/Problem06_label27.yml coverage-error-call 1      900    840    190 5000   4.7  0      34.4  15.7  2.3   2.3   180   27     0  
eca-rers2012/Problem06_label29.yml coverage-error-call 1      900    830    190 5500   4.7  0      40.4  19.1  2.7   2.8   180   51     0  
eca-rers2012/Problem06_label33.yml coverage-error-call 1      900    840    190 2700   5.1  0      16.1  11.2  2.0   2.0   180   12     0  
eca-rers2012/Problem06_label36.yml coverage-error-call 30    29    190 160   4.0  0      9.87 8.70 2.0   2.0   180   21     0  
eca-rers2012/Problem06_label37.yml coverage-error-call 1      900    840    190 3000   5.1  0      54.8  41.8  14     16     180   770     0  
eca-rers2012/Problem06_label38.yml coverage-error-call 1      900    840    190 4000   3.9  .061  40.4  19.3  2.8   3.0   180   60     0  
eca-rers2012/Problem06_label44.yml coverage-error-call 23    21    190 150   4.0  0      9.87 8.70 1.9   2.0   180   17     0  
eca-rers2012/Problem06_label47.yml coverage-error-call 900    830    190 5600   5.1  0      58.8  54.6  31     37     180   1600     0  
eca-rers2012/Problem06_label48.yml coverage-error-call 1      900    840    190 2700   4.6  0      56.0  46.3  18     21     180   970     0  
eca-rers2012/Problem06_label56.yml coverage-error-call 1      900    840    190 2500   5.1  0      56.6  49.4  24     26     180   1400     0  
eca-rers2012/Problem06_label58.yml coverage-error-call 1      900    840    190 4500   5.0  .061  38.7  17.8  2.8   2.9   180   51     0  
eca-rers2012/Problem06_label59.yml coverage-error-call 30    29    190 140   4.0  0      9.87 8.70 2.0   2.0   180   23     0  
eca-rers2012/Problem07_label03.yml coverage-error-call 900    870    390 7100   29    0      60.9  24.7  260     260     770   20000     0  
eca-rers2012/Problem07_label05.yml coverage-error-call 900    870    390 4500   18    0      58.2  22.8  220     220     770   19000     0  
eca-rers2012/Problem07_label06.yml coverage-error-call 900    880    390 4200   19    0      55.1  19.9  170     170     770   14000     0  
eca-rers2012/Problem07_label07.yml coverage-error-call 900    870    390 4700   27    0      57.4  22.4  200     200     770   17000     0  
eca-rers2012/Problem07_label09.yml coverage-error-call 900    870    390 4800   26    0      56.3  22.0  210     210     770   17000     0  
eca-rers2012/Problem07_label11.yml coverage-error-call 900    880    390 3200   24    0      53.0  19.7  160     160     770   14000     0  
eca-rers2012/Problem07_label15.yml coverage-error-call 180    180    390 1900   19    0      7.85 12.5  16     16     770   200     0  
eca-rers2012/Problem07_label18.yml coverage-error-call 900    880    390 4800   19    0      56.9  21.9  210     210     770   18000     0  
eca-rers2012/Problem07_label19.yml coverage-error-call 900    880    390 11000   18    0      60.1  24.6  270     270     770   26000     0  
eca-rers2012/Problem07_label20.yml coverage-error-call 900    870    390 6400   27    .061  55.8  22.2  220     220     770   19000     0  
eca-rers2012/Problem07_label23.yml coverage-error-call 190    190    390 1600   20    0      7.85 12.5  15     15     770   160     0  
eca-rers2012/Problem07_label30.yml coverage-error-call 190    180    390 2000   26    0      7.85 12.5  16     16     770   190     0  
eca-rers2012/Problem07_label31.yml coverage-error-call 900    880    390 5000   29    0      57.7  22.3  210     210     770   18000     0  
eca-rers2012/Problem07_label35.yml coverage-error-call 900    870    390 4600   18    0      58.9  23.4  230     230     770   20000     0  
eca-rers2012/Problem07_label36.yml coverage-error-call 900    880    390 4800   20    .061  55.4  20.5  180     180     770   15000     0  
eca-rers2012/Problem07_label37.yml coverage-error-call 900    880    390 4300   20    0      48.0  17.7  120     120     770   9900     0  
eca-rers2012/Problem07_label39.yml coverage-error-call 900    870    390 4300   19    0      52.2  19.7  160     170     770   13000     0  
eca-rers2012/Problem07_label40.yml coverage-error-call 190    190    390 2100   18    0      7.85 12.5  16     16     770   130     0  
eca-rers2012/Problem07_label42.yml coverage-error-call 900    880    390 5600   19    0      56.5  21.7  200     200     770   16000     0  
eca-rers2012/Problem07_label44.yml coverage-error-call 190    190    390 2200   19    0      7.85 12.5  15     15     770   170     0  
eca-rers2012/Problem07_label46.yml coverage-error-call 900    870    390 4500   28    0      54.4  19.9  160     160     770   13000     0  
eca-rers2012/Problem07_label47.yml coverage-error-call 900    870    390 4400   25    0      53.0  19.9  160     160     770   14000     0  
eca-rers2012/Problem07_label48.yml coverage-error-call 190    190    390 2100   18    0      7.85 12.5  17     17     770   220     0  
eca-rers2012/Problem07_label58.yml coverage-error-call 900    870    390 4900   29    0      58.8  23.2  220     220     770   21000     0  
eca-rers2012/Problem08_label01.yml coverage-error-call 900    890    760 8100   36    0      47.9  13.4  240     240     1600   21000     0  
eca-rers2012/Problem08_label02.yml coverage-error-call 900    890    760 5900   36    0      46.4  12.8  220     220     1600   17000     0  
eca-rers2012/Problem08_label04.yml coverage-error-call 900    890    760 5400   38    0      42.8  12.3  160     160     1600   14000     0  
eca-rers2012/Problem08_label05.yml coverage-error-call 900    890    760 5700   34    .061  45.3  12.8  200     200     1600   15000     0  
eca-rers2012/Problem08_label06.yml coverage-error-call 370    370    760 4100   36    0      5.78 8.73 32     32     1600   280     0  
eca-rers2012/Problem08_label07.yml coverage-error-call 900    890    760 5900   35    .061  49.8  14.1  280     280     1600   22000     0  
eca-rers2012/Problem08_label10.yml coverage-error-call 900    880    760 6200   38    0      43.9  12.7  190     190     1600   16000     0  
eca-rers2012/Problem08_label13.yml coverage-error-call 900    890    760 9100   34    0      45.9  12.7  200     200     1600   16000     0  
eca-rers2012/Problem08_label15.yml coverage-error-call 360    360    760 4100   37    0      5.78 8.73 33     33     1600   390     0  
eca-rers2012/Problem08_label24.yml coverage-error-call 900    890    760 6200   36    0      45.1  12.8  210     210     1600   18000     0  
eca-rers2012/Problem08_label25.yml coverage-error-call 900    890    760 6000   35    0      47.2  13.1  230     230     1600   19000     0  
eca-rers2012/Problem08_label26.yml coverage-error-call 900    890    760 8600   36    0      49.7  13.7  270     270     1600   23000     0  
eca-rers2012/Problem08_label28.yml coverage-error-call 900    880    760 6000   38    0      42.9  12.5  180     180     1600   13000     0  
eca-rers2012/Problem08_label29.yml coverage-error-call 900    880    760 7500   35    0      48.9  13.6  270     270     1600   23000     0  
eca-rers2012/Problem08_label34.yml coverage-error-call 900    890    760 8300   34    0      51.2  14.1  290     290     1600   23000     0  
eca-rers2012/Problem08_label37.yml coverage-error-call 350    350    760 4400   35    .061  5.78 8.73 34     34     1600   430     0  
eca-rers2012/Problem08_label43.yml coverage-error-call 370    370    760 4400   34    0      5.78 8.73 31     31     1600   320     0  
eca-rers2012/Problem08_label46.yml coverage-error-call 900    890    760 6400   54    0      47.0  13.2  240     240     1600   18000     0  
eca-rers2012/Problem08_label48.yml coverage-error-call 900    880    760 7400   34    0      50.2  13.8  260     260     1600   21000     0  
eca-rers2012/Problem08_label49.yml coverage-error-call 900    890    760 6200   36    0      45.5  13.1  210     210     1600   17000     0  
eca-rers2012/Problem08_label50.yml coverage-error-call 900    880    760 7700   38    0      47.0  13.2  240     240     1600   19000     0  
eca-rers2012/Problem08_label51.yml coverage-error-call 360    360    760 3900   37    0      5.78 8.73 32     32     1600   390     0  
eca-rers2012/Problem08_label55.yml coverage-error-call 360    360    760 4100   34    0      5.78 8.73 32     32     1600   290     0  
eca-rers2012/Problem08_label59.yml coverage-error-call 900    880    760 7300   38    0      48.9  13.7  260     260     1600   20000     0  
eca-rers2012/Problem09_label02.yml coverage-error-call 900    880    760 4400   40    0      36.2  11.7  320     320     1800   25000     0  
eca-rers2012/Problem09_label03.yml coverage-error-call 170    160    760 1600   37    0      3.89 3.91 37     37     1800   250     0  
eca-rers2012/Problem09_label06.yml coverage-error-call 900    880    760 4000   43    0      36.8  11.7  260     260     1800   22000     0  
eca-rers2012/Problem09_label08.yml coverage-error-call 900    880    760 4700   40    0      37.6  11.8  340     350     1800   28000     0  
eca-rers2012/Problem09_label10.yml coverage-error-call 160    160    760 1700   42    0      3.89 3.91 39     39     1800   310     0  
eca-rers2012/Problem09_label11.yml coverage-error-call 900    880    760 6000   47    0      35.0  11.6  290     290     1800   24000     0  
eca-rers2012/Problem09_label15.yml coverage-error-call 900    880    760 4300   41    0      33.8  10.9  210     210     1800   17000     0  
eca-rers2012/Problem09_label19.yml coverage-error-call 160    160    760 1800   36    0      3.89 3.91 37     37     1800   390     0  
eca-rers2012/Problem09_label20.yml coverage-error-call 160    160    760 1600   40    .061  3.89 3.91 36     36     1800   260     0  
eca-rers2012/Problem09_label32.yml coverage-error-call 150    150    760 1600   34    0      3.89 3.91 37     37     1800   260     0  
eca-rers2012/Problem09_label34.yml coverage-error-call 160    150    760 2000   60    0      3.89 3.91 36     36     1800   280     0  
eca-rers2012/Problem09_label35.yml coverage-error-call 900    880    760 4400   43    0      30.9  10.4  200     200     1800   17000     0  
eca-rers2012/Problem09_label36.yml coverage-error-call 900    880    760 4500   46    0      35.8  11.5  260     260     1800   21000     0  
eca-rers2012/Problem09_label38.yml coverage-error-call 900    880    760 5000   46    0      36.0  11.2  240     240     1800   19000     0  
eca-rers2012/Problem09_label41.yml coverage-error-call 160    160    760 1900   34    0      3.89 3.91 36     36     1800   420     0  
eca-rers2012/Problem09_label44.yml coverage-error-call 900    880    760 6300   42    0      38.0  11.9  300     300     1800   24000     0  
eca-rers2012/Problem09_label46.yml coverage-error-call 170    160    760 1500   34    0      3.89 3.91 36     36     1800   400     0  
eca-rers2012/Problem09_label47.yml coverage-error-call 160    160    760 1600   43    0      3.89 3.91 36     36     1800   310     0  
eca-rers2012/Problem09_label51.yml coverage-error-call 900    880    760 4200   44    0      36.2  11.5  270     270     1800   21000     0  
eca-rers2012/Problem09_label53.yml coverage-error-call 900    880    760 5000   46    0      38.4  12.0  340     340     1800   28000     0  
eca-rers2012/Problem09_label54.yml coverage-error-call 170    160    760 1600   35    0      3.89 3.91 37     37     1800   400     0  
eca-rers2012/Problem09_label56.yml coverage-error-call 900    880    760 4900   41    0      36.2  11.5  270     270     1800   22000     0  
eca-rers2012/Problem09_label57.yml coverage-error-call 900    880    760 6500   43    0      36.9  11.8  280     280     1800   26000     0  
eca-rers2012/Problem09_label59.yml coverage-error-call 160    160    760 1500   43    0      3.89 3.91 36     36     1800   250     0  
eca-rers2012/Problem10_label12.yml coverage-error-call 21    19    28 89   .46 0      19.2  35.4  .25  .25  30   .97  0  
eca-rers2012/Problem10_label15.yml coverage-error-call 1      900    830    30 4300   1.4  0      72.8  74.6  .63  .65  30   6.6   0  
eca-rers2012/Problem10_label24.yml coverage-error-call 1      900    830    31 2300   1.4  0      74.5  78.3  .70  .76  30   8.8   0  
eca-rers2012/Problem10_label26.yml coverage-error-call 1      900    830    28 2800   1.4  0      74.3  76.2  .63  .64  30   6.9   0  
eca-rers2012/Problem10_label28.yml coverage-error-call 1      900    830    29 2600   1.4  0      73.4  74.4  .66  .64  30   8.3   0  
eca-rers2012/Problem10_label29.yml coverage-error-call 18    16    28 96   .46 0      19.2  35.4  .25  .25  30   .97  0  
eca-rers2012/Problem10_label41.yml coverage-error-call 1      900    830    30 3600   1.4  0      63.0  54.1  .27  .27  30   1.1   0  
eca-rers2012/Problem10_label42.yml coverage-error-call 1      900    830    29 3900   1.4  0      72.7  74.6  .54  .53  30   6.0   0  
eca-rers2012/Problem10_label46.yml coverage-error-call 22    20    28 78   .46 0      19.2  35.4  .24  .24  30   .97  0  
eca-rers2012/Problem10_label47.yml coverage-error-call 1      510    470    28 2300   .95 0      77.0  88.8  1.4   1.3   30   23     0  
eca-rers2012/Problem10_label48.yml coverage-error-call 1      900    830    30 4400   1.4  0      71.6  72.5  .51  .52  30   5.5   0  
eca-rers2012/Problem10_label50.yml coverage-error-call 1      900    830    29 2600   1.4  0      73.3  74.8  .54  .59  30   5.9   0  
eca-rers2012/Problem10_label55.yml coverage-error-call 1      900    830    29 2800   1.4  0      55.3  46.6  .26  .26  30   .88  0  
eca-rers2012/Problem10_label57.yml coverage-error-call 1      900    830    30 3200   1.4  0      70.9  68.3  .43  .42  30   3.9   0  
eca-rers2012/Problem10_label58.yml coverage-error-call 1      900    820    30 3900   1.5  0      66.4  63.2  .36  .35  30   2.7   0  
eca-rers2012/Problem11_label00.yml coverage-error-call 21    19    47 110   .59 0      15.0  26.1  .35  .34  44   1.8   0  
eca-rers2012/Problem11_label08.yml coverage-error-call 1      900    830    47 3500   1.5  0      37.7  30.2  .41  .41  44   1.3   0  
eca-rers2012/Problem11_label14.yml coverage-error-call 1      900    830    46 2700   1.5  0      27.6  26.3  .36  .36  44   1.1   0  
eca-rers2012/Problem11_label15.yml coverage-error-call 26    24    47 100   .59 0      15.0  26.1  .35  .34  44   1.8   0  
eca-rers2012/Problem11_label20.yml coverage-error-call 1      900    830    47 2500   1.5  0      57.7  47.3  .61  .62  44   7.5   0  
eca-rers2012/Problem11_label29.yml coverage-error-call 1      900    830    47 2400   1.5  0      54.0  44.4  .58  .57  44   6.9   0  
eca-rers2012/Problem11_label31.yml coverage-error-call 1      900    830    47 3700   1.5  0      56.9  45.3  .62  .63  44   7.4   0  
eca-rers2012/Problem11_label34.yml coverage-error-call 1      900    830    47 2700   1.5  0      59.4  53.7  .94  .91  44   16     0  
eca-rers2012/Problem11_label36.yml coverage-error-call 1      900    830    47 2300   1.5  0      61.3  55.9  1.1   1.1   44   21     0  
eca-rers2012/Problem11_label39.yml coverage-error-call 1      900    820    47 3900   1.5  0      53.2  41.6  .45  .44  44   3.1   0  
eca-rers2012/Problem11_label42.yml coverage-error-call 1      900    830    47 4100   1.5  0      48.0  34.8  .44  .44  44   2.9   0  
eca-rers2012/Problem11_label43.yml coverage-error-call 1      900    830    47 3900   1.5  0      63.0  59.3  2.1   2.0   44   40     0  
eca-rers2012/Problem11_label49.yml coverage-error-call 1      900    830    47 2400   1.5  0      59.6  54.1  .92  .87  44   16     0  
eca-rers2012/Problem11_label51.yml coverage-error-call 1      900    820    47 3700   1.5  0      52.0  39.5  .50  .51  44   3.8   0  
eca-rers2012/Problem11_label58.yml coverage-error-call 1      900    830    47 2300   1.5  0      50.3  37.5  .44  .44  44   3.6   0  
eca-rers2012/Problem12_label00.yml coverage-error-call 1      900    840    110 3000   2.6  0      86.6  86.1  13     14     100   500     0  
eca-rers2012/Problem12_label03.yml coverage-error-call 1      900    840    110 2400   2.8  0      81.3  68.5  5.4   5.3   100   190     0  
eca-rers2012/Problem12_label06.yml coverage-error-call 1      900    840    110 3100   2.6  0      66.5  41.1  1.9   1.9   100   39     0  
eca-rers2012/Problem12_label07.yml coverage-error-call 1      900    830    110 4000   2.6  0      85.7  81.7  9.0   9.1   100   340     0  
eca-rers2012/Problem12_label08.yml coverage-error-call 1      900    840    110 2600   2.5  0      47.4  26.2  1.4   1.4   100   17     0  
eca-rers2012/Problem12_label10.yml coverage-error-call 16    15    110 110   1.5  0      9.93 18.5  1.1   1.1   99   7.8   0  
eca-rers2012/Problem12_label13.yml coverage-error-call 1      900    840    110 2600   2.6  0      83.2  73.9  7.7   7.6   100   280     0  
eca-rers2012/Problem12_label19.yml coverage-error-call 900    830    110 3900   2.6  0      89.2  96.2  18     17     100   720     0  
eca-rers2012/Problem12_label20.yml coverage-error-call 1      900    840    110 3100   2.7  0      85.7  80.0  9.3   10     100   360     0  
eca-rers2012/Problem12_label21.yml coverage-error-call 1      900    830    110 4700   2.5  0      82.5  71.2  5.2   6.1   100   180     0  
eca-rers2012/Problem12_label25.yml coverage-error-call 1      900    830    110 3800   2.7  0      89.0  95.2  16     18     100   640     0  
eca-rers2012/Problem12_label28.yml coverage-error-call 1      900    830    110 4000   2.6  0      69.4  44.6  2.2   2.3   100   49     0  
eca-rers2012/Problem12_label30.yml coverage-error-call 23    22    110 99   1.5  0      9.93 18.5  1.0   1.0   99   9.1   0  
eca-rers2012/Problem12_label34.yml coverage-error-call 22    20    110 95   1.5  0      9.93 18.5  1.1   1.1   99   9.1   0  
eca-rers2012/Problem12_label35.yml coverage-error-call 1      900    840    110 3000   2.5  0      83.6  74.2  6.8   7.4   100   240     0  
eca-rers2012/Problem12_label37.yml coverage-error-call 17    15    110 99   1.5  0      9.93 18.5  1.0   1.0   99   9.1   0  
eca-rers2012/Problem12_label38.yml coverage-error-call 1      900    840    110 2800   2.7  0      74.3  51.9  3.2   3.4   100   92     0  
eca-rers2012/Problem12_label39.yml coverage-error-call 1      900    800    110 7600   2.6  0      63.4  35.6  1.6   1.7   100   26     0  
eca-rers2012/Problem12_label40.yml coverage-error-call 1      900    840    110 2200   2.5  0      82.4  75.1  7.5   9.1   100   280     0  
eca-rers2012/Problem12_label42.yml coverage-error-call 1      900    840    110 2900   2.6  0      83.2  72.8  6.6   6.5   100   240     0  
eca-rers2012/Problem12_label48.yml coverage-error-call 18    17    110 93   1.5  0      9.93 18.5  1.0   1.0   99   8.8   0  
eca-rers2012/Problem12_label50.yml coverage-error-call 1      900    830    110 4300   2.7  0      84.6  79.5  8.3   8.7   100   300     0  
eca-rers2012/Problem12_label51.yml coverage-error-call 19    18    110 100   1.5  0      10.2  18.6  1.1   1.1   99   8.9   0  
eca-rers2012/Problem12_label52.yml coverage-error-call 1      900    830    110 4700   2.6  0      51.1  26.7  1.2   1.2   100   13     0  
eca-rers2012/Problem12_label55.yml coverage-error-call 1      900    840    110 2400   2.6  0      58.6  32.5  1.5   1.5   100   22     0  
eca-rers2012/Problem13_label04.yml coverage-error-call 1      900    840    140 2600   3.0  0      69.7  50.6  5.8   6.4   120   220     0  
eca-rers2012/Problem13_label06.yml coverage-error-call 16    15    140 100   1.9  0      10.6  16.8  1.3   1.3   120   8.5   0  
eca-rers2012/Problem13_label07.yml coverage-error-call 18    17    140 120   2.0  0      10.6  16.8  1.3   1.3   120   8.8   0  
eca-rers2012/Problem13_label11.yml coverage-error-call 1      900    830    140 3500   2.9  0      71.2  54.7  7.9   9.1   120   330     0  
eca-rers2012/Problem13_label12.yml coverage-error-call 1      900    840    140 2500   3.0  0      58.8  34.3  2.3   2.4   120   53     0  
eca-rers2012/Problem13_label16.yml coverage-error-call 1      900    840    140 2400   3.1  0      71.6  56.2  9.9   9.8   120   400     0  
eca-rers2012/Problem13_label19.yml coverage-error-call 1      900    840    140 2800   3.0  0      55.7  29.6  1.8   1.9   120   28     0  
eca-rers2012/Problem13_label21.yml coverage-error-call 1      900    840    140 3200   2.9  0      54.1  27.6  1.8   2.0   120   28     0  
eca-rers2012/Problem13_label23.yml coverage-error-call 1      900    840    140 2700   3.0  0      68.0  46.9  5.9   5.9   120   230     0  
eca-rers2012/Problem13_label24.yml coverage-error-call 21    20    140 110   1.8  0      10.6  16.8  1.3   1.3   120   8.7   0  
eca-rers2012/Problem13_label25.yml coverage-error-call 19    18    140 110   2.0  0      10.6  16.8  1.3   1.3   120   10     0  
eca-rers2012/Problem13_label28.yml coverage-error-call 1      900    840    140 2500   2.9  0      69.2  49.9  6.8   8.0   120   260     0  
eca-rers2012/Problem13_label29.yml coverage-error-call 1      900    840    140 2900   3.0  0      60.5  35.4  2.5   2.5   120   63     0  
eca-rers2012/Problem13_label30.yml coverage-error-call 1      900    840    140 2900   2.8  0      68.4  47.9  4.8   4.7   120   170     0  
eca-rers2012/Problem13_label32.yml coverage-error-call 1      900    830    140 4400   3.1  0      66.3  42.9  3.6   3.6   120   110     0  
eca-rers2012/Problem13_label35.yml coverage-error-call 1      900    840    140 2700   3.0  0      73.5  60.9  17     20     120   780     0  
eca-rers2012/Problem13_label36.yml coverage-error-call 1      900    840    140 2600   3.1  0      59.4  35.0  2.5   2.7   120   62     0  
eca-rers2012/Problem13_label40.yml coverage-error-call 1      900    830    140 3000   2.8  0      52.5  26.2  1.7   1.7   120   23     0  
eca-rers2012/Problem13_label43.yml coverage-error-call 22    21    140 130   2.0  0      10.6  16.8  1.3   1.3   120   10     0  
eca-rers2012/Problem13_label44.yml coverage-error-call 1      900    830    140 4000   3.0  0      73.3  60.1  14     14     120   620     0  
eca-rers2012/Problem13_label45.yml coverage-error-call 1      900    830    140 4800   3.1  0      25.1  17.5  1.3   1.3   120   7.0   0  
eca-rers2012/Problem13_label48.yml coverage-error-call 1      900    840    140 3700   2.9  0      50.3  25.9  1.7   1.7   120   21     0  
eca-rers2012/Problem13_label51.yml coverage-error-call 14    14    140 110   2.0  0      10.6  16.8  1.3   1.3   120   8.5   0  
eca-rers2012/Problem13_label54.yml coverage-error-call 1      900    830    140 3600   3.1  0      63.6  38.7  2.6   2.6   120   73     0  
eca-rers2012/Problem13_label58.yml coverage-error-call 16    15    140 110   2.0  0      10.6  16.8  1.3   1.3   120   10     0  
eca-rers2012/Problem15_label00.yml coverage-error-call 1      900    830    62 3700   1.6  0      59.2  50.1  1.3   1.3   64   27     0  
eca-rers2012/Problem15_label02.yml coverage-error-call 1      900    830    62 2100   1.7  0      61.6  51.6  1.6   1.9   64   38     0  
eca-rers2012/Problem15_label03.yml coverage-error-call 1      900    830    63 4300   1.5  0      56.2  42.7  .96  .95  64   16     0  
eca-rers2012/Problem15_label07.yml coverage-error-call 35    33    62 110   .71 0      14.4  21.6  .52  .52  63   3.8   0  
eca-rers2012/Problem15_label09.yml coverage-error-call 1      900    830    61 2600   1.7  0      55.5  42.0  .86  .91  64   12     0  
eca-rers2012/Problem15_label14.yml coverage-error-call 1      900    830    62 4600   1.7  0      56.5  45.2  1.3   1.4   64   24     0  
eca-rers2012/Problem15_label15.yml coverage-error-call 1      900    830    62 4100   1.6  0      34.0  23.8  .53  .53  64   1.8   0  
eca-rers2012/Problem15_label22.yml coverage-error-call 1      900    830    62 2400   1.7  .061  59.0  50.7  1.7   1.6   64   41     0  
eca-rers2012/Problem15_label23.yml coverage-error-call 1      900    830    61 3000   1.7  0      50.1  35.6  .70  .71  64   7.0   0  
eca-rers2012/Problem15_label25.yml coverage-error-call 1      900    830    62 2800   1.7  0      49.5  36.0  .69  .71  64   7.7   0  
eca-rers2012/Problem15_label29.yml coverage-error-call 1      900    830    61 3500   1.7  0      63.4  54.0  2.1   2.3   64   50     0  
eca-rers2012/Problem15_label30.yml coverage-error-call 1      900    820    61 5000   1.6  0      62.4  53.9  1.6   1.8   64   37     0  
eca-rers2012/Problem15_label33.yml coverage-error-call 1      900    830    62 3900   1.7  0      54.1  39.0  .89  .95  64   13     0  
eca-rers2012/Problem15_label34.yml coverage-error-call 1      900    830    62 4700   1.7  0      62.9  52.9  1.8   2.1   64   43     0  
eca-rers2012/Problem15_label37.yml coverage-error-call 26    24    62 91   .71 0      12.9  21.3  .51  .59  63   2.8   0  
eca-rers2012/Problem15_label38.yml coverage-error-call 1      900    830    62 2900   1.7  0      45.6  31.5  .66  .70  64   6.0   0  
eca-rers2012/Problem15_label39.yml coverage-error-call 1      900    830    62 3100   1.6  0      27.4  21.8  .53  .53  64   1.5   0  
eca-rers2012/Problem15_label40.yml coverage-error-call 1      900    830    62 4100   1.7  0      64.7  58.6  2.3   2.3   64   60     0  
eca-rers2012/Problem15_label41.yml coverage-error-call 1      900    830    62 2900   1.7  .061  39.8  26.4  .53  .53  64   2.1   0  
eca-rers2012/Problem15_label45.yml coverage-error-call 28    26    62 100   .71 0      13.2  21.4  .50  .50  64   3.3   0  
eca-rers2012/Problem15_label47.yml coverage-error-call 1      900    820    62 4700   1.6  0      52.6  38.0  .77  .75  64   11     0  
eca-rers2012/Problem15_label48.yml coverage-error-call 1      900    830    62 2400   1.6  0      49.7  34.1  .66  .65  64   6.0   0  
eca-rers2012/Problem15_label50.yml coverage-error-call 1      900    830    62 4500   1.7  0      20.0  21.3  .52  .52  64   1.3   0  
eca-rers2012/Problem15_label51.yml coverage-error-call 1      900    830    61 3100   1.7  0      65.0  58.7  2.2   2.3   64   59     0  
eca-rers2012/Problem16_label00.yml coverage-error-call 900    830    52 2300   1.7  0      66.3  68.2  2.1   2.3   52   52     0  
eca-rers2012/Problem16_label01.yml coverage-error-call 900    830    52 3300   1.7  0      68.5  71.5  2.5   2.8   52   63     0  
eca-rers2012/Problem16_label03.yml coverage-error-call 900    830    52 4400   1.6  0      64.0  68.7  2.2   2.2   52   55     0  
eca-rers2012/Problem16_label04.yml coverage-error-call 900    830    52 4500   1.7  0      62.6  65.0  2.0   2.3   52   50     0  
eca-rers2012/Problem16_label05.yml coverage-error-call 900    830    52 2800   1.6  0      63.9  67.7  2.0   2.7   52   50     0  
eca-rers2012/Problem16_label06.yml coverage-error-call 900    830    52 2200   1.6  0      60.5  62.3  1.8   2.3   52   45     0  
eca-rers2012/Problem16_label08.yml coverage-error-call 900    830    52 2900   1.6  0      62.2  66.2  2.0   2.0   52   48     0  
eca-rers2012/Problem16_label14.yml coverage-error-call 900    820    52 4000   1.5  .061  62.4  65.0  2.1   2.0   52   55     0  
eca-rers2012/Problem16_label15.yml coverage-error-call 27    25    52 81   .70 0      11.3  18.8  .45  .45  52   2.9   0  
eca-rers2012/Problem16_label18.yml coverage-error-call 23    21    52 93   .69 0      9.92 18.7  .42  .42  52   2.6   0  
eca-rers2012/Problem16_label20.yml coverage-error-call 900    830    52 3900   1.7  0      67.5  69.2  2.5   2.4   52   64     0  
eca-rers2012/Problem16_label22.yml coverage-error-call 23    22    52 84   .70 0      9.92 18.7  .43  .44  52   2.5   0  
eca-rers2012/Problem16_label27.yml coverage-error-call 900    830    52 2700   1.6  0      55.6  56.6  1.9   1.8   52   46     0  
eca-rers2012/Problem16_label30.yml coverage-error-call 900    830    52 4000   1.6  0      68.0  71.6  2.4   2.9   52   63     0  
eca-rers2012/Problem16_label31.yml coverage-error-call 900    820    52 4700   1.6  0      67.0  69.3  2.4   2.3   52   60     0  
eca-rers2012/Problem16_label33.yml coverage-error-call 24    22    52 85   .70 0      9.92 18.7  .44  .47  51   2.6   0  
eca-rers2012/Problem16_label37.yml coverage-error-call 900    830    52 2200   1.6  0      59.4  62.7  1.9   2.2   52   49     0  
eca-rers2012/Problem16_label38.yml coverage-error-call 900    830    52 2700   1.7  0      60.8  60.3  1.9   1.9   52   45     0  
eca-rers2012/Problem16_label41.yml coverage-error-call 900    820    52 3700   1.6  0      60.5  65.9  2.1   2.3   52   53     0  
eca-rers2012/Problem16_label43.yml coverage-error-call 900    830    52 3500   1.7  0      69.4  75.6  2.3   2.5   52   60     0  
eca-rers2012/Problem16_label44.yml coverage-error-call 900    820    52 4800   1.6  0      67.4  69.1  2.4   2.8   52   62     0  
eca-rers2012/Problem16_label46.yml coverage-error-call 900    830    52 3700   1.7  0      63.9  64.1  2.1   2.0   52   55     0  
eca-rers2012/Problem16_label51.yml coverage-error-call 28    26    52 85   .70 0      9.92 18.7  .45  .44  51   2.5   0  
eca-rers2012/Problem16_label52.yml coverage-error-call 900    830    52 2900   1.5  0      56.9  59.2  1.8   2.2   52   43     0  
eca-rers2012/Problem16_label54.yml coverage-error-call 900    830    52 2300   1.6  0      61.5  63.8  1.8   1.8   52   46     0  
eca-rers2012/Problem17_label04.yml coverage-error-call 1      900    840    94 2500   2.1  0      57.2  38.5  1.2   1.2   81   20     0  
eca-rers2012/Problem17_label07.yml coverage-error-call 1      900    830    93 2900   2.0  0      65.8  52.0  2.8   3.1   81   83     0  
eca-rers2012/Problem17_label09.yml coverage-error-call 1      900    840    94 2600   2.0  0      46.0  28.6  .88  .88  81   7.6   0  
eca-rers2012/Problem17_label13.yml coverage-error-call 29    27    93 94   1.0  0      11.3  20.6  .73  .73  81   5.4   0  
eca-rers2012/Problem17_label16.yml coverage-error-call 14    13    93 140   1.0  0      11.7  20.7  .70  .70  81   5.8   0  
eca-rers2012/Problem17_label20.yml coverage-error-call 1      900    830    93 2700   2.0  0      41.5  26.9  .89  .91  81   7.8   0  
eca-rers2012/Problem17_label23.yml coverage-error-call 1      900    840    93 2700   2.0  0      67.6  57.9  3.5   3.4   81   120     0  
eca-rers2012/Problem17_label25.yml coverage-error-call 1      900    820    93 5000   2.0  0      45.0  28.1  .85  .95  81   6.4   0  
eca-rers2012/Problem17_label26.yml coverage-error-call 1      900    830    93 2600   1.9  0      44.4  27.2  .85  .88  81   7.5   0  
eca-rers2012/Problem17_label30.yml coverage-error-call 20    18    94 140   1.0  0      11.3  20.6  .79  .78  80   4.6   0  
eca-rers2012/Problem17_label31.yml coverage-error-call 1      900    840    93 2400   2.1  0      63.9  49.3  2.1   2.4   81   57     0  
eca-rers2012/Problem17_label33.yml coverage-error-call 1      900    840    92 2400   2.0  0      68.8  60.1  4.3   4.2   81   150     0  
eca-rers2012/Problem17_label34.yml coverage-error-call 1      900    830    94 3400   2.0  0      39.6  24.2  .88  .89  81   5.0   0  
eca-rers2012/Problem17_label35.yml coverage-error-call 1      900    830    93 4600   2.0  0      57.0  37.8  1.3   1.2   81   23     0  
eca-rers2012/Problem17_label37.yml coverage-error-call 900    840    93 3200   2.0  0      58.2  44.1  4.3   4.2   80   140     0  
eca-rers2012/Problem17_label40.yml coverage-error-call 1      900    830    93 2600   2.0  0      41.4  25.8  .85  .85  81   6.4   0  
eca-rers2012/Problem17_label46.yml coverage-error-call 1      900    830    94 2800   2.1  0      60.6  42.3  1.4   1.7   81   31     0  
eca-rers2012/Problem17_label49.yml coverage-error-call 900    840    92 3000   2.0  0      65.1  53.5  4.4   4.7   80   150     0  
eca-rers2012/Problem17_label50.yml coverage-error-call 31    29    93 110   1.0  0      11.3  20.6  .73  .73  80   4.8   0  
eca-rers2012/Problem17_label52.yml coverage-error-call 1      900    830    94 3000   2.0  0      60.3  43.0  1.6   1.7   81   37     0  
eca-rers2012/Problem17_label53.yml coverage-error-call 1      900    830    93 2700   1.9  0      57.5  37.1  1.1   1.1   81   17     0  
eca-rers2012/Problem17_label54.yml coverage-error-call 1      900    840    93 2100   2.0  0      36.8  22.8  .75  .75  81   3.1   0  
eca-rers2012/Problem17_label55.yml coverage-error-call 23    21    93 98   1.0  0      17.9  20.8  .75  .75  81   6.2   0  
eca-rers2012/Problem17_label57.yml coverage-error-call 900    840    93 2900   2.0  0      58.7  44.3  4.6   4.5   81   140     0  
eca-rers2012/Problem18_label00.yml coverage-error-call 18    16    77 97   1.1  0      12.1  19.7  .79  .80  76   6.1   0  
eca-rers2012/Problem18_label01.yml coverage-error-call 30    28    77 120   1.1  0      12.6  19.8  .80  .80  76   6.0   0  
eca-rers2012/Problem18_label03.yml coverage-error-call 20    18    77 120   1.1  0      12.1  19.7  .79  .80  76   6.5   0  
eca-rers2012/Problem18_label06.yml coverage-error-call 900    840    77 2600   2.1  0      81.8  69.6  6.1   6.9   76   220     0  
eca-rers2012/Problem18_label08.yml coverage-error-call 14    12    77 120   1.1  0      12.6  19.8  .86  .85  76   6.0   0  
eca-rers2012/Problem18_label09.yml coverage-error-call 20    18    77 120   1.1  0      12.6  19.8  .77  .79  76   6.8   0  
eca-rers2012/Problem18_label10.yml coverage-error-call 1      900    840    77 2600   2.2  0      70.7  48.8  3.0   3.4   76   90     0  
eca-rers2012/Problem18_label12.yml coverage-error-call 900    840    77 3000   2.1  0      84.6  76.5  6.9   6.7   76   250     0  
eca-rers2012/Problem18_label19.yml coverage-error-call 26    24    76 82   1.1  0      12.6  19.8  .76  .77  76   6.3   0  
eca-rers2012/Problem18_label20.yml coverage-error-call 27    25    76 94   1.1  0      12.1  19.7  .77  .78  75   3.9   0  
eca-rers2012/Problem18_label25.yml coverage-error-call 1      900    830    77 5000   2.2  0      50.0  27.1  1.0   1.0   76   7.9   0  
eca-rers2012/Problem18_label27.yml coverage-error-call 25    23    77 110   1.1  0      12.6  19.8  .79  .79  75   6.3   0  
eca-rers2012/Problem18_label31.yml coverage-error-call 18    17    77 110   1.1  0      12.1  19.7  .77  .81  76   6.3   0  
eca-rers2012/Problem18_label32.yml coverage-error-call 19    17    77 100   1.1  .061  12.6  19.8  .74  .74  75   6.0   0  
eca-rers2012/Problem18_label33.yml coverage-error-call 1      900    830    77 3400   2.2  0      76.3  58.5  4.2   5.1   76   140     0  
eca-rers2012/Problem18_label34.yml coverage-error-call 17    16    77 110   1.1  0      12.1  19.7  .76  .75  76   6.5   0  
eca-rers2012/Problem18_label35.yml coverage-error-call 1      900    840    77 2600   2.1  .061  74.7  54.5  3.2   3.5   76   100     0  
eca-rers2012/Problem18_label36.yml coverage-error-call 1      900    830    77 4900   2.2  0      58.4  34.2  1.3   1.3   76   22     0  
eca-rers2012/Problem18_label38.yml coverage-error-call 26    24    77 62   1.1  0      12.1  19.7  .78  .81  76   5.5   0  
eca-rers2012/Problem18_label39.yml coverage-error-call 1      900    840    77 2300   2.1  0      75.2  57.2  3.7   3.8   76   120     0  
eca-rers2012/Problem18_label45.yml coverage-error-call 18    17    77 110   1.1  0      12.6  19.8  .78  .77  75   6.1   0  
eca-rers2012/Problem18_label49.yml coverage-error-call 1      900    830    77 4400   2.1  0      87.7  85.8  8.8   11     76   320     0  
eca-rers2012/Problem18_label52.yml coverage-error-call 22    20    77 93   1.1  0      12.1  19.7  .77  .77  76   5.5   0  
eca-rers2012/Problem18_label55.yml coverage-error-call 1      900    830    77 4100   2.2  0      51.0  28.7  1.0   1.0   76   14     0  
eca-rers2012/Problem18_label57.yml coverage-error-call 1      900    840    77 2400   2.1  .061  83.5  75.3  6.8   9.0   76   240     0  
eca-rers2012/Problem19_label10.yml coverage-error-call 900    840    160 4000   4.4  .061  58.3  36.0  15     15     160   580     0  
eca-rers2012/Problem19_label11.yml coverage-error-call 25    24    170 91   3.4  0      11.0  17.2  1.9   1.9   160   19     0  
eca-rers2012/Problem19_label14.yml coverage-error-call 900    840    170 2600   4.4  0      52.9  29.9  8.1   8.0   160   360     0  
eca-rers2012/Problem19_label17.yml coverage-error-call 900    840    170 3000   3.9  0      59.8  38.9  13     15     160   740     0  
eca-rers2012/Problem19_label18.yml coverage-error-call 900    840    170 4100   4.3  0      54.2  31.2  9.8   11     160   590     0  
eca-rers2012/Problem19_label19.yml coverage-error-call 900    840    170 2400   4.4  0      55.5  32.3  9.6   10     160   500     0  
eca-rers2012/Problem19_label21.yml coverage-error-call 900    830    170 5000   4.4  0      59.7  39.1  12     13     160   720     0  
eca-rers2012/Problem19_label22.yml coverage-error-call 900    840    170 2600   4.4  0      50.6  28.3  6.9   7.8   160   360     0  
eca-rers2012/Problem19_label26.yml coverage-error-call 900    840    170 2900   3.9  0      57.9  34.7  11     11     160   630     0  
eca-rers2012/Problem19_label27.yml coverage-error-call 42    39    170 170   2.5  0      13.1  17.3  1.9   1.9   160   27     0  
eca-rers2012/Problem19_label28.yml coverage-error-call 900    840    170 3000   4.4  0      57.5  35.9  10     12     160   580     0  
eca-rers2012/Problem19_label29.yml coverage-error-call 900    840    170 2900   4.3  0      57.5  36.6  10     11     160   480     0  
eca-rers2012/Problem19_label31.yml coverage-error-call 31    29    170 200   3.4  0      12.2  17.3  2.1   2.1   160   21     0  
eca-rers2012/Problem19_label32.yml coverage-error-call 110    100    170 350   3.4  0      18.6  18.0  2.3   2.3   160   45     0  
eca-rers2012/Problem19_label41.yml coverage-error-call 60    56    170 280   3.4  0      12.2  17.4  1.9   2.0   160   27     0  
eca-rers2012/Problem19_label42.yml coverage-error-call 900    830    160 4100   4.4  0      56.5  34.8  9.3   10     160   560     0  
eca-rers2012/Problem19_label43.yml coverage-error-call 900    840    170 2900   4.4  0      58.7  37.5  13     13     160   590     0  
eca-rers2012/Problem19_label47.yml coverage-error-call 900    840    170 2300   4.3  0      55.5  32.6  8.9   11     160   480     0  
eca-rers2012/Problem19_label50.yml coverage-error-call 18    17    170 130   3.4  0      11.0  17.2  1.9   1.9   160   15     0  
eca-rers2012/Problem19_label51.yml coverage-error-call 1      900    840    170 2600   4.4  0      44.8  23.9  3.9   4.1   160   160     0  
eca-rers2012/Problem19_label53.yml coverage-error-call 900    840    170 2900   4.3  0      54.0  30.5  7.9   7.9   160   410     0  
eca-rers2012/Problem19_label55.yml coverage-error-call 29    28    170 130   3.4  0      11.0  17.2  2.2   2.2   160   14     0  
eca-rers2012/Problem19_label58.yml coverage-error-call 900    840    170 2200   4.4  0      56.3  34.0  9.3   11     160   480     0  
eca-rers2012/Problem19_label59.yml coverage-error-call 900    840    170 2600   4.4  0      54.8  31.7  7.8   7.7   160   320     0  
eca-programs/Problem101_label00.yml coverage-error-call 900    880    390 6200   18    0      56.7  20.9  210     210     770   20000     0  
eca-programs/Problem101_label01.yml coverage-error-call 900    880    390 4200   28    0      54.5  18.8  170     170     770   15000     0  
eca-programs/Problem101_label02.yml coverage-error-call 900    870    390 4400   29    0      53.1  19.3  180     180     770   16000     0  
eca-programs/Problem101_label03.yml coverage-error-call 200    200    390 2400   19    0      8.83 14.0  17     17     770   130     0  
eca-programs/Problem101_label04.yml coverage-error-call 900    870    390 4500   19    0      53.2  19.4  160     160     770   12000     0  
eca-programs/Problem101_label05.yml coverage-error-call 900    880    390 6200   18    0      59.9  23.1  240     240     770   20000     0  
eca-programs/Problem101_label06.yml coverage-error-call 900    880    390 5300   21    0      59.8  22.1  230     230     770   17000     0  
eca-programs/Problem101_label07.yml coverage-error-call 180    180    390 2000   26    0      8.83 14.0  16     16     770   150     0  
eca-programs/Problem101_label08.yml coverage-error-call 900    880    390 4100   26    0      57.7  21.3  190     190     770   15000     0  
eca-programs/Problem101_label09.yml coverage-error-call 900    870    390 3200   18    0      53.0  19.4  180     180     770   15000     0  
eca-programs/Problem101_label10.yml coverage-error-call 900    870    390 5100   19    0      58.4  21.6  220     220     770   19000     0  
eca-programs/Problem101_label11.yml coverage-error-call 900    880    390 4100   18    0      52.5  19.2  160     160     770   13000     0  
eca-programs/Problem101_label12.yml coverage-error-call 900    880    390 4600   20    0      57.7  21.6  220     220     770   20000     0  
eca-programs/Problem101_label13.yml coverage-error-call 900    870    390 6700   18    0      58.5  21.7  210     210     770   18000     0  
eca-programs/Problem101_label14.yml coverage-error-call 900    880    390 4500   19    0      55.7  21.1  200     200     770   16000     0  
eca-programs/Problem101_label15.yml coverage-error-call 900    870    390 5000   18    0      57.2  21.1  220     220     770   19000     0  
eca-programs/Problem101_label16.yml coverage-error-call 900    870    390 4700   27    0      53.8  19.3  190     190     770   15000     0  
eca-programs/Problem101_label17.yml coverage-error-call 900    880    390 4500   19    0      56.0  20.7  180     180     770   18000     0  
eca-programs/Problem101_label18.yml coverage-error-call 900    870    390 6000   18    0      58.7  22.3  220     220     770   18000     0  
eca-programs/Problem101_label19.yml coverage-error-call 900    880    390 4100   21    0      58.6  22.2  230     230     770   21000     0  
eca-programs/Problem101_label20.yml coverage-error-call 900    880    390 4400   26    0      56.4  20.8  180     180     770   15000     0  
eca-programs/Problem101_label21.yml coverage-error-call 900    880    390 4700   19    0      58.0  21.3  220     220     770   17000     0  
eca-programs/Problem101_label22.yml coverage-error-call 900    880    390 6200   18    0      55.6  20.0  190     190     770   15000     0  
eca-programs/Problem101_label23.yml coverage-error-call 900    870    390 4300   19    0      56.7  21.1  200     200     770   17000     0  
eca-programs/Problem102_label01.yml coverage-error-call 900    890    760 6400   36    .061  48.9  13.4  260     260     1600   21000     0  
eca-programs/Problem102_label02.yml coverage-error-call 900    880    760 6500   39    0      49.6  13.4  270     270     1600   22000     0  
eca-programs/Problem102_label04.yml coverage-error-call 900    880    760 7800   35    0      48.0  13.2  260     260     1600   21000     0  
eca-programs/Problem102_label05.yml coverage-error-call 360    360    760 5300   37    0      7.19 10.9  32     32     1600   320     0  
eca-programs/Problem102_label06.yml coverage-error-call 360    360    760 4300   34    0      7.19 10.9  32     32     1600   290     0  
eca-programs/Problem102_label07.yml coverage-error-call 900    890    760 6800   35    0      46.5  12.7  220     220     1600   16000     0  
eca-programs/Problem102_label10.yml coverage-error-call 370    360    760 4100   37    .061  7.19 10.9  32     32     1600   300     0  
eca-programs/Problem102_label13.yml coverage-error-call 900    890    760 6800   36    0      46.5  13.0  230     230     1600   18000     0  
eca-programs/Problem102_label15.yml coverage-error-call 900    890    760 6800   36    0      47.1  12.7  220     220     1600   18000     0  
eca-programs/Problem102_label24.yml coverage-error-call 900    890    760 6600   35    0      47.5  13.0  230     230     1600   18000     0  
eca-programs/Problem102_label25.yml coverage-error-call 900    890    760 9100   35    0      49.6  13.5  250     250     1600   24000     0  
eca-programs/Problem102_label26.yml coverage-error-call 900    880    760 5900   35    0      47.1  13.0  240     240     1600   19000     0  
eca-programs/Problem102_label28.yml coverage-error-call 900    890    760 6600   35    .061  48.5  13.1  240     240     1600   19000     0  
eca-programs/Problem102_label29.yml coverage-error-call 360    360    760 4700   34    0      7.19 10.9  32     32     1600   440     0  
eca-programs/Problem102_label34.yml coverage-error-call 370    370    760 4200   35    0      7.19 10.9  33     33     1600   410     0  
eca-programs/Problem102_label37.yml coverage-error-call 900    880    760 8300   51    0      48.1  13.3  250     250     1600   20000     0  
eca-programs/Problem102_label43.yml coverage-error-call 360    360    760 4000   37    0      7.19 10.9  32     33     1600   370     0  
eca-programs/Problem102_label46.yml coverage-error-call 900    890    760 6700   36    0      46.5  12.5  240     240     1600   22000     0  
eca-programs/Problem102_label48.yml coverage-error-call 900    880    760 6300   35    0      44.1  12.3  190     190     1600   16000     0  
eca-programs/Problem102_label49.yml coverage-error-call 900    890    760 6100   35    0      47.1  13.0  230     240     1600   19000     0  
eca-programs/Problem102_label50.yml coverage-error-call 900    890    760 7900   38    0      46.5  12.7  230     230     1600   18000     0  
eca-programs/Problem102_label51.yml coverage-error-call 900    890    760 5900   36    0      44.8  12.7  200     200     1600   18000     0  
eca-programs/Problem102_label55.yml coverage-error-call 900    890    760 6600   39    0      49.2  13.3  250     250     1600   21000     0  
eca-programs/Problem102_label59.yml coverage-error-call 370    370    760 4200   38    0      7.19 10.9  32     32     1600   480     0  
eca-programs/Problem103_label32.yml coverage-error-call 160    160    760 1600   41    0      8.70 9.24 37     37     1800   380     0  
eca-programs/Problem103_label35.yml coverage-error-call 900    880    760 4600   43    0      39.4  12.6  350     350     1800   29000     0  
eca-programs/Problem103_label41.yml coverage-error-call 900    880    760 4600   46    .061  36.4  11.5  270     270     1800   22000     0  
eca-programs/Problem103_label44.yml coverage-error-call 160    150    760 2200   43    0      8.70 9.24 36     36     1800   460     0  
eca-programs/Problem103_label46.yml coverage-error-call 900    880    760 4500   46    0      35.5  11.0  270     270     1800   22000     0  
eca-programs/Problem103_label47.yml coverage-error-call 160    160    760 2000   35    0      8.70 9.24 40     40     1800   440     0  
eca-programs/Problem103_label51.yml coverage-error-call 900    880    760 4300   41    0      36.0  11.6  280     280     1800   24000     0  
eca-programs/Problem103_label53.yml coverage-error-call 900    880    760 5700   58    0      35.9  11.3  270     270     1800   23000     0  
eca-programs/Problem103_label54.yml coverage-error-call 900    880    760 4400   37    0      33.3  10.7  260     260     1800   21000     0  
eca-programs/Problem103_label56.yml coverage-error-call 170    170    760 1800   36    0      8.70 9.24 37     37     1800   270     0  
eca-programs/Problem103_label57.yml coverage-error-call 900    880    760 4200   39    0      35.9  11.1  260     260     1800   21000     0  
eca-programs/Problem103_label59.yml coverage-error-call 170    170    760 1800   34    0      8.70 9.24 36     36     1800   360     0  
floats-cdfpl/newton_1_4.yml coverage-error-call 900    900    11 12000   .30 0      83.3  90.9  .13  .13  17   .13  0  
floats-cdfpl/newton_1_5.yml coverage-error-call 900    900    10 12000   .30 0      83.3  90.9  .13  .12  16   .13  0  
floats-cdfpl/newton_1_6.yml coverage-error-call 900    900    10 12000   .31 0      83.3  90.9  .13  .16  16   .13  0  
floats-cdfpl/newton_1_7.yml coverage-error-call 900    900    10 10000   .31 0      83.3  90.9  .12  .12  17   .13  0  
floats-cdfpl/newton_1_8.yml coverage-error-call 900    900    10 12000   .30 0      83.3  90.9  .13  .15  16   .13  0  
floats-cdfpl/newton_2_6.yml coverage-error-call 900    900    10 14000   .30 0      83.3  91.7  .13  .13  17   .13  0  
floats-cdfpl/newton_2_7.yml coverage-error-call 900    900    10 13000   .31 0      83.3  91.7  .13  .13  17   .13  0  
floats-cdfpl/newton_2_8.yml coverage-error-call 1      900    900    11 12000   .32 0      66.7  91.7  .13  .13  16   .094 0  
floats-cdfpl/newton_3_6.yml coverage-error-call 900    900    10 14000   .32 0      83.3  92.3  .13  .16  17   .13  0  
floats-cdfpl/newton_3_7.yml coverage-error-call 900    900    10 14000   .32 0      83.3  92.3  .13  .13  17   .13  0  
floats-cdfpl/newton_3_8.yml coverage-error-call 900    900    10 12000   .32 0      83.3  92.3  .14  .13  17   .13  0  
floats-cdfpl/sine_1.yml coverage-error-call 1      900    900    10 12000   .30 0      50.0  87.5  .12  .12  16   .078 0  
floats-cdfpl/sine_2.yml coverage-error-call 1      900    900    10 13000   .30 0      62.5  87.5  .13  .13  16   .094 0  
floats-cdfpl/sine_3.yml coverage-error-call 900    900    10 11000   .29 0      75.0  87.5  .12  .12  17   .13  0  
floats-cdfpl/square_1.yml coverage-error-call 900    900    10 13000   .29 .061  75.0  88.9  .13  .16  16   .13  0  
floats-cdfpl/square_2.yml coverage-error-call 900    900    11 11000   .30 0      75.0  88.9  .13  .13  16   .13  0  
floats-cdfpl/square_3.yml coverage-error-call 900    900    10 13000   .30 .061  75.0  88.9  .14  .14  16   .13  0  
float-benchs/cast_float_ptr.yml coverage-error-call 1      13    12    15 60   .28 0      41.7  68.8  .12  .12  17   .078 0  
float-benchs/cast_union_loose.yml coverage-error-call 1      900    900    11 14000   .31 0      70.0  100    .12  .12  17   .094 0  
float-benchs/cast_union_tight.yml coverage-error-call 1      9.4  8.6  16 27   .21 0      100    100    .12  .12  16   .094 0  
float-benchs/float_int_inv_square.yml coverage-error-call 1      900    900    11 11000   .31 0      83.3  100    .13  .13  16   .11  0  
float-benchs/inv_Newton-2.yml coverage-error-call 3.1  3.2  11 42   .20 0      0    0    .060 .061 9.0 0     0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml coverage-error-call 16    15    15 56   .22 0      22.2  21.6  .12  .12  16   .098 0  
float-benchs/inv_square-1.yml coverage-error-call 740    740    11 9200   .33 .061  62.5  55.6  .13  .13  17   .16  0  
float-benchs/nan_double.yml coverage-error-call 1      20    19    16 120   .21 0      100    100    .11  .11  16   .094 0  
float-benchs/nan_float.yml coverage-error-call 1      19    17    16 89   .20 0      50.0  80.0  .12  .12  16   .078 0  
float-benchs/sin_interpolated_index-1.yml coverage-error-call 890    890    10 11000   .54 0      81.2  100    .15  .15  17   .30  0  
float-benchs/sqrt_poly2.yml coverage-error-call 3.1  3.2  11 48   .20 0      0    0    .061 .062 8.9 0     0  
float-newlib/double_req_bl_0870a.yml coverage-error-call 1      44    41    17 110   .42 0      6.59 6.89 .17  .17  17   .32  0  
float-newlib/float_req_bl_0870a.yml coverage-error-call 11    10    15 41   .43 0      4.17 5.67 .15  .15  17   .18  0  
loop-floats-scientific-comp/loop1-2.yml coverage-error-call 1      70    65    18 340   .28 0      75.0  92.9  .12  .12  16   .078 0  
loop-floats-scientific-comp/loop2-1.yml coverage-error-call 3.1  3.2  10 42   .21 0      0    0    .059 .060 9.0 0     0  
ldv-regression/fo_test.yml coverage-error-call 1      2.8  2.7  17 56   .22 0      100    100    .15  .15  16   .14  0  
ldv-regression/rule60_list2.c_1.yml coverage-error-call 1      16    14    15 62   .30 0      64.3  89.7  .14  .14  16   .086 0  
ldv-regression/test21-2.yml coverage-error-call 1      25    24    17 79   .27 0      87.5  100    .13  .13  17   .13  0  
ldv-regression/test22-2.yml coverage-error-call 1      10    9.4  15 31   .27 0      58.3  91.3  .12  .12  17   .082 0  
ldv-regression/test23-1.yml coverage-error-call 1      26    24    17 120   .28 0      78.6  100    .13  .13  16   .13  0  
ldv-regression/test24-2.yml coverage-error-call 1      21    19    13 63   .21 0      60.0  88.9  .12  .15  16   .078 0  
ldv-regression/test25-1.yml coverage-error-call 1      21    19    14 60   .28 0      91.7  100    .14  .13  17   .13  0  
ldv-regression/test28-1.yml coverage-error-call 1      13    12    17 100   .20 0      50.0  80.0  .12  .12  16   .070 0  
ldv-regression/test29-1.yml coverage-error-call 1      7.9  7.2  14 35   .20 0      62.5  90.9  .12  .12  16   .090 0  
loops/array-2.yml coverage-error-call 1      17    16    16 61   .21 0      66.7  86.7  .12  .12  16   .078 0  
loops/compact.yml coverage-error-call 1      900    910    63 12000   .70 0      100    100    10     10     430   .12  0  
loops/count_up_down-2.yml coverage-error-call .13 .15 10 1.5 .19 0      0    0    .059 .060 9.0 0     0  
loops/eureka_01-1.yml coverage-error-call 1      60    55    19 170   .29 0      88.5  100    .15  .21  17   .21  0  
loops/for_bounded_loop1.yml coverage-error-call 1      110    100    19 340   .29 0      100    100    .20  .20  16   .41  0  
loops/insertion_sort-1.yml coverage-error-call 1      35    34    16 440   .30 0      91.7  94.4  .12  .13  17   .078 0  
loops/invert_string-1.yml coverage-error-call 2.2  2.2  11 28   .23 0      0    0    .064 .065 9.0 0     0  
loops/linear_search.yml coverage-error-call 1      30    27    19 130   .29 0      64.3  94.1  .12  .12  16   .078 0  
loops/matrix-2.yml coverage-error-call 1      900    900    180 13000   1.3  0      100    100    1.8   1.8   270   .11  0  
loops/nec20.yml coverage-error-call 1      8.7  8.0  16 30   .28 0      41.7  62.5  .12  .12  16   .078 0  
loops/string-2.yml coverage-error-call 1      45    41    16 220   .28 0      69.2  86.2  .11  .11  16   .082 0  
loops/sum01-1.yml coverage-error-call 1      22    20    18 53   .28 0      90.0  100    .13  .12  16   .13  0  
loops/sum01_bug02.yml coverage-error-call 1      560    560    11 7700   .33 0      90.0  100    .15  .15  16   .094 0  
loops/sum01_bug02_sum01_bug02_base.case.yml coverage-error-call 1      770    770    10 11000   .40 0      70.0  90.0  .13  .13  16   .078 0  
loops/sum03-1.yml coverage-error-call .16 .17 10 1.5 .20 0      0    0    .060 .060 9.0 0     0  
loops/sum_array-1.yml coverage-error-call 1      710    710    150 9300   .36 0      80.0  93.8  6.5   6.4   1000   .094 0  
loops/terminator_01.yml coverage-error-call .15 .17 11 1.3 .19 0      0    0    .060 .061 8.9 0     0  
loops/terminator_02-1.yml coverage-error-call .13 .15 10 1.6 .20 0      0    0    .061 .061 9.0 0     0  
loops/terminator_03-1.yml coverage-error-call 1      10    9.7  16 100   .20 0      41.7  75.0  .12  .12  16   .078 0  
loops/trex01-1.yml coverage-error-call 1.1  1.2  18 16   .20 0      0    0    .058 .059 9.0 0     0  
loops/trex02-2.yml coverage-error-call 1      900    910    41 11000   .43 .061  83.3  100    .54  .53  66   .14  0  
loops/trex03-1.yml coverage-error-call 1      900    910    69 10000   .30 0      50.0  87.5  6.3   6.3   1000   .094 0  
loops/vogal-2.yml coverage-error-call 1      130    120    19 390   .30 0      100    100    .12  .12  17   .094 0  
loop-acceleration/array_3-2.yml coverage-error-call 510    510    11 3200   .31 0      75.0  88.9  .55  .54  17   .31  0  
loop-acceleration/diamond_1-2.yml coverage-error-call .14 .16 11 1.8 .20 .045  0    0    .059 .060 9.0 0     0  
loop-acceleration/multivar_1-2.yml coverage-error-call .14 .15 11 1.5 .19 0      0    0    .063 .064 9.0 0     0  
loop-invgen/id_trans.yml coverage-error-call 1      9.4  8.6  16 44   .29 0      75.0  100    .12  .12  16   .094 0  
recursive/Ackermann02.yml coverage-error-call 1      110    100    20 660   .35 0      81.2  94.1  20     20     16   .16  0  
recursive/Addition02.yml coverage-error-call 1      16    15    16 82   .20 0      62.5  79.0  .12  .12  17   .11  0  
recursive/BallRajamani-SPIN2000-Fig1.yml coverage-error-call 1      9.8  9.0  17 23   .21 0      100    100    .12  .12  16   .094 0  
recursive/EvenOdd03.yml coverage-error-call 1      900    900    10 12000   .34 0      64.3  81.0  .12  .12  17   .094 0  
recursive/Fibonacci04.yml coverage-error-call 1      900    900    17 12000   .86 0      87.5  100    81     81     16   .21  0  
recursive/Fibonacci05.yml coverage-error-call 1      900    900    17 11000   1.1  0      87.5  100    40     40     17   .11  0  
recursive/McCarthy91-1.yml coverage-error-call 1      810    810    19 11000   .41 0      87.5  100    .32  .30  21   .57  0  
recursive-simple/id2_b3_o2.yml coverage-error-call 1      67    66    17 550   .31 0      100    100    .18  .17  22   .29  0  
recursive-simple/id_b3_o2-2.yml coverage-error-call 1      70    69    17 410   .28 0      100    100    .15  .15  16   .23  0  
recursive-simple/id_o10.yml coverage-error-call 1      19    18    18 100   .20 .061  75.0  100    .12  .12  17   .078 0  
recursive-simple/id_o100.yml coverage-error-call 1      29    27    16 85   .20 0      75.0  100    .12  .12  16   .078 0  
recursive-simple/id_o1000.yml coverage-error-call 1      29    27    17 75   .20 0      100    100    .13  .13  16   .094 0  
recursive-simple/id_o20.yml coverage-error-call 1      28    26    17 78   .20 0      100    100    .12  .12  17   .094 0  
recursive-simple/id_o200.yml coverage-error-call 1      28    26    17 72   .20 0      75.0  100    .12  .12  16   .078 0  
recursive-simple/id_o3.yml coverage-error-call 1      27    24    18 96   .20 0      75.0  100    .12  .12  16   .078 0  
recursive-simple/sum_non_eq-3.yml coverage-error-call .14 .16 10 1.9 .19 0      0    0    .061 .062 8.9 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  10 49   .29 0      0    0    .062 .062 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  11 41   .29 0      0    0    .062 .063 9.1 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  10 38   .29 0      0    0    .059 .059 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 37   .29 0      0    0    .061 .061 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  10 46   .29 0      0    0    .064 .065 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 45   .29 0      0    0    .057 .057 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  10 37   .30 0      0    0    .061 .062 9.0 0     0  
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 42   .29 0      0    0    .058 .060 9.0 0     0  
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  11 37   .29 0      0    0    .060 .062 8.9 0     0  
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  11 38   .29 0      0    0    .061 .061 9.0 0     0  
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml coverage-error-call 3.2  3.2  11 43   .29 0      0    0    .060 .060 9.0 0     0  
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 45   .29 0      0    0    .058 .059 9.0 0     0  
seq-mthreaded/pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml coverage-error-call 3.2  3.2  11 42   .25 0      0    0    .062 .064 9.0 0     0  
seq-mthreaded/pals_floodmax.3.1.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 44   .26 0      0    0    .059 .060 9.0 0     0  
seq-mthreaded/pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml coverage-error-call 3.2  3.2  10 44   .27 0      0    0    .061 .062 9.0 0     0  
seq-mthreaded/pals_floodmax.3.2.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  11 45   .27 0      0    0    .060 .061 8.9 0     0  
seq-mthreaded/pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml coverage-error-call 3.2  3.2  11 45   .27 0      0    0    .059 .059 9.0 0     0  
seq-mthreaded/pals_floodmax.3.3.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  10 41   .27 0      0    0    .058 .058 9.0 0     0  
seq-mthreaded/pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml coverage-error-call 3.2  3.2  10 42   .27 .061  0    0    .058 .059 9.0 0     0  
seq-mthreaded/pals_floodmax.3.4.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  11 41   .27 .061  0    0    .058 .059 9.0 0     0  
seq-mthreaded/pals_floodmax.3_overflow.ufo.UNBOUNDED.pals.yml coverage-error-call 3.2  3.2  11 40   .27 0