Benchmark TBF Test-Suite Validator
Tool ctf v1.0-56-g2cdadb7 Tbf Test-suite Validator v1.0-2-g07efb89
Limits timelimit: 900 s, memlimit: 15500 MB, CPU core limit: 4 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-55-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-07-28 17:16:52 CEST 2019-07-30 08:31:38 CEST
Run set ctf.300-cpa-tiger-coveritest-klee testsuite-validator_300-cpa-tiger-coveritest-klee.test-comp19_prop-coverage-branches
Options --verbose --memlimit 15 --testers cpa-tiger,coveritest,klee --timelimit-testers 300 --no-cycle --verbose -r --test-suite ../../../results/condtest.2019-07-29_2102.logfiles/300-cpa-tiger-coveritest-klee.${inputfile_name}.files/test-suite.zip
data/sv-benchmarks/c/ status branch cov line cov cpu (s) mem (MB) blkio-w (MB) blkio-r (MB) status branch cov (%) line cov (%) cpu (s) mem (MB) blkio-w (MB) blkio-r (MB)
array-examples/sanfoundry_10_ground.yml 930   5700 0   0     94.4  100    13    440 0   0   
array-examples/sanfoundry_24-1.yml 340   2200 0   0     91.7  100    .18 16 0   0   
array-examples/standard_copy1_ground-1.yml 500   2200 0   0     87.5  100    2.7  440 0   0   
array-examples/standard_copy1_ground-2.yml 800   2300 0   0     100    100    16    930 0   0   
array-examples/standard_copy2_ground-1.yml 500   2100 0   0     100    100    16    930 0   0   
array-examples/standard_copy2_ground-2.yml 300   2300 0   0     90.0  100    2.8  440 0   0   
array-examples/standard_copy3_ground-1.yml 200   2400 0   0     91.7  100    2.7  440 0   0   
array-examples/standard_copy3_ground-2.yml 460   2100 0   0     100    100    17    930 0   0   
array-examples/standard_copy4_ground-1.yml 130   2400 0   0     92.9  100    2.7  440 0   0   
array-examples/standard_copy4_ground-2.yml 430   2100 0   0     100    100    16    930 0   0   
array-examples/standard_copy5_ground-1.yml 160   2500 0   0     93.8  100    2.7  440 0   0   
array-examples/standard_copy5_ground-2.yml 430   2600 0   0     100    100    16    930 0   0   
array-examples/standard_copy6_ground-1.yml 420   2400 0   0     100    100    16    930 0   0   
array-examples/standard_copy6_ground-2.yml 120   2200 0   0     94.4  100    2.9  440 0   0   
array-examples/standard_copy7_ground-1.yml 420   2300 0   0     100    100    16    930 0   0   
array-examples/standard_copy7_ground-2.yml 110   3000 0   0     95.0  100    2.7  440 0   0   
array-examples/standard_copy8_ground-1.yml 100   2200 0   0     95.5  100    2.7  440 0   0   
array-examples/standard_copy8_ground-2.yml 400   2700 0   0     100    100    16    930 0   0   
array-examples/standard_copy9_ground-1.yml 400   3100 0   0     100    100    16    930 0   0   
array-examples/standard_copy9_ground-2.yml 95   2700 0   0     95.8  100    2.8  440 0   0   
array-examples/standard_copyInitSum_ground.yml 480   2100 0   0     90.0  100    .15 16 0   0   
array-examples/standard_find_ground-1.yml 810   2000 0   0     90.0  100    13    440 0   0   
array-examples/standard_partition_ground-1.yml 180   15000 0   .16  21.4  45.5  .14 16 0   0   
array-examples/standard_sentinel-2.yml 550   1700 0   0     80.0  92.3  11    440 0   0   
array-examples/standard_sentinel.i.v+cfa-reducer.yml 480   1900 0   0     80.0  81.8  11    440 0   0   
array-examples/standard_strcpy_ground-1.yml 760   3100 0   0     80.0  100    13    440 0   0   
array-examples/standard_strcpy_original-2.yml 760   2100 0   0     75.0  100    13    440 0   0   
array-examples/standard_two_index_01.yml 640   1900 0   0     87.5  100    .40 44 0   0   
array-examples/standard_two_index_02.yml 500   2200 0   0     87.5  100    2.9  440 0   0   
array-examples/standard_two_index_03.yml 620   1900 0   0     87.5  100    .40 44 0   0   
array-examples/standard_two_index_04.yml 500   2200 0   0     87.5  100    2.7  440 0   0   
array-examples/standard_two_index_05.yml 520   2100 0   0     87.5  100    2.8  440 0   0   
array-examples/standard_two_index_06.yml 590   1900 0   0     87.5  100    .38 44 0   0   
array-examples/standard_two_index_07.yml 450   2200 0   0     87.5  100    2.8  440 0   0   
array-examples/standard_two_index_08.yml 490   2300 0   0     87.5  100    2.7  440 0   0   
array-examples/standard_two_index_09.yml 410   2100 0   0     87.5  100    2.7  440 0   0   
array-industry-pattern/array_monotonic.yml 490   15000 0   0     30.0  55.6  .13 17 0   0   
array-industry-pattern/array_mul_init.yml 500   15000 0   0     28.6  50.0  .13 16 0   0   
array-industry-pattern/array_of_struct_break.yml 83   2000 0   0     90.0  100    .12 16 0   0   
array-industry-pattern/array_of_struct_ptr_mul_init.yml 89   15000 0   0     35.7  53.9  .13 16 0   0   
array-industry-pattern/array_of_struct_single_elem_init.yml 84   15000 0   0     16.7  43.8  .15 16 0   0   
array-industry-pattern/array_ptr_single_elem_init-2.yml 290   15000 0   0     50.0  64.7  .14 17 0   0   
array-industry-pattern/array_shadowinit.yml 390   3000 0   0     87.5  100    .15 17 0   0   
array-industry-pattern/array_single_elem_init.yml 260   15000 0   0     50.0  64.7  .15 17 0   0   
reducercommutativity/avg.yml 150   1600 0   0     80.0  95.2  .17 17 0   0   
reducercommutativity/avg05-1.yml 630   1500 0   0     80.0  94.7  .14 16 0   0   
reducercommutativity/avg10-2.yml 640   1600 0   0     80.0  94.7  .14 16 0   0   
reducercommutativity/avg20-2.yml 640   2100 0   0     80.0  94.7  .17 16 0   0   
reducercommutativity/avg40-2.yml 410   1800 0   0     80.0  94.7  .14 17 0   0   
reducercommutativity/avg60-1.yml 290   2100 0   0     80.0  94.7  .15 16 0   0   
reducercommutativity/max.yml 630   770 0   0     80.0  95.2  .16 16 0   0   
reducercommutativity/max05-1.yml 370   1500 0   0     80.0  94.7  .20 17 0   0   
reducercommutativity/max10-1.yml 690   1100 0   0     80.0  94.7  .16 16 0   0   
reducercommutativity/max20-1.yml 950   1400 0   0     80.0  94.7  .16 17 0   0   
reducercommutativity/max40-1.yml 950   1500 0   0     80.0  94.7  .19 16 0   0   
reducercommutativity/max60-2.yml 720   1900 0   0     80.0  94.7  .17 16 0   0   
reducercommutativity/rangesum.yml 500   2200 0   0     93.8  100    .20 16 0   0   
reducercommutativity/rangesum05.yml 550   1400 0   0     85.7  96.3  .17 16 0   0   
reducercommutativity/rangesum10.yml 650   1900 0   0     85.7  96.3  .16 17 0   0   
reducercommutativity/rangesum20.yml 660   3100 0   0     85.7  96.3  .18 16 0   0   
reducercommutativity/rangesum40.yml 670   1900 0   0     85.7  96.3  .17 16 0   0   
reducercommutativity/rangesum60.yml 220   2400 0   0     85.7  96.3  .16 16 0   0   
reducercommutativity/sep.yml 680   2400 0   0     83.3  95.7  .16 16 0   0   
reducercommutativity/sep05-1.yml 420   2700 0   0     83.3  95.2  .18 17 0   0   
reducercommutativity/sep10-2.yml 470   2000 0   0     83.3  95.2  .16 17 0   0   
reducercommutativity/sep20-1.yml 680   4500 0   0     83.3  95.2  .18 17 0   0   
reducercommutativity/sep40-1.yml 910   3900 0   0     83.3  95.2  .17 17 0   0   
reducercommutativity/sep60-2.yml 760   3900 0   0     83.3  95.2  .18 17 0   0   
reducercommutativity/sum.yml 630   1700 0   0     80.0  95.2  .15 16 0   0   
reducercommutativity/sum05-2.yml 530   1600 0   0     80.0  94.7  .14 16 0   0   
reducercommutativity/sum10-1.yml 420   1800 0   0     80.0  94.7  .14 16 0   0   
reducercommutativity/sum20-2.yml 260   2300 0   0     80.0  94.7  .15 17 0   0   
reducercommutativity/sum40-2.yml 200   1800 0   0     80.0  94.7  .14 16 0   0   
reducercommutativity/sum60-2.yml 290   2000 0   0     80.0  94.7  .14 17 0   0   
array-tiling/mbpr2.yml 370   1900 0   0     80.0  91.7  .17 16 0   0   
array-tiling/mbpr3.yml 360   1200 0   0     79.2  90.9  .17 16 0   0   
array-tiling/mbpr4.yml 370   2500 0   0     78.6  90.9  .25 16 0   0   
array-tiling/mbpr5.yml 370   1200 0   0     78.1  91.2  .17 17 0   0   
array-tiling/mlceu.yml 680   1700 0   0     83.3  91.7  .15 16 0   0   
array-tiling/nr2.yml 410   1700 0   0     88.9  100    140    16 0   0   
array-tiling/nr3.yml 360   1100 0   0     88.9  100    .16 16 0   0   
array-tiling/nr4.yml 410   1500 0   0     88.9  100    140    17 0   0   
array-tiling/nr5.yml 360   1100 0   0     88.9  100    .17 17 0   0   
array-tiling/pnr2.yml 670   5700 0   0     93.8  100    .19 16 0   0   
array-tiling/pnr3.yml 360   1100 0   0     94.4  100    .20 16 0   0   
array-tiling/pnr4.yml 670   7500 0   0     95.0  100    .22 16 0   0   
array-tiling/pnr5.yml 350   1100 0   0     95.5  100    .20 16 0   0   
array-tiling/poly1.yml 670   1300 0   0     90.0  100    .15 16 0   0   
array-tiling/poly2.yml 370   1600 0   0     91.7  100    .16 17 0   0   
array-tiling/pr2.yml 390   1300 0   0     66.7  90.0  140    17 0   0   
array-tiling/pr3.yml 360   1300 0   0     65.0  87.5  .18 17 0   0   
array-tiling/pr4.yml 410   1900 0   0     63.6  85.7  220    16 0   0   
array-tiling/pr5.yml 330   910 0   0     62.5  84.4  .19 17 0   0   
array-tiling/revcpyswp2.yml 39   740 0   0     93.8  100    .20 17 0   0   
array-tiling/rew.yml 380   2200 0   0     91.7  100    .23 16 0   0   
array-tiling/rewnif.yml 380   1700 0   0     91.7  100    .16 16 0   0   
array-tiling/rewnifrev.yml 36   1200 0   0     91.7  100    .17 17 0   0   
array-tiling/rewnifrev2.yml 35   1300 0   0     90.0  100    .17 16 0   0   
array-tiling/rewrev.yml 36   1100 0   0     91.7  100    .15 16 0   0   
array-tiling/skipped.yml 680   7600 0   0     94.4  100    .20 17 0   0   
array-tiling/skippedu.yml 7.3 210 0   0     100    100    .15 16 0   0   
array-tiling/tcpy.yml 370   1500 0   0     92.9  100    .18 17 0   0   
array-programs/copysome1-1.yml 140   2200 0   0     91.7  100    11    1700 0   0   
array-programs/copysome1-2.yml 140   2200 0   0     100    100    31    1800 0   0   
array-programs/copysome2-1.yml 130   2600 0   0     92.9  100    16    2600 0   0   
array-programs/copysome2-2.yml 130   2700 0   0     100    100    47    2800 0   0   
array-crafted/bAnd1.yml 280   1900 0   0     80.0  94.7  .14 16 0   0   
array-crafted/bAnd2.yml 630   2300 0   0     80.0  94.7  .15 17 0   0   
array-crafted/bAnd3.yml 640   1900 0   0     80.0  94.7  .39 44 0   0   
array-crafted/bAnd4.yml 770   2100 0   0     80.0  94.7  2.7  440 0   0   
array-crafted/bAnd5.yml 630   2100 0   0     83.3  95.7  .15 17 0   0   
array-crafted/bor1.yml 290   2000 0   0     80.0  94.7  .15 17 0   0   
array-crafted/bor2.yml 650   3000 0   0     80.0  94.7  .16 17 0   0   
array-crafted/bor3.yml 590   1900 0   0     80.0  94.7  .38 44 0   0   
array-crafted/bor4.yml 760   1900 0   0     80.0  94.7  2.9  440 0   0   
array-crafted/bor5.yml 380   2100 0   0     83.3  95.7  .14 16 0   0   
array-crafted/mapavg1.yml 300   2200 0   0     80.0  94.7  .15 17 0   0   
array-crafted/mapavg2.yml 690   2100 0   0     80.0  94.7  .15 16 0   0   
array-crafted/mapavg3.yml 620   1900 0   0     80.0  94.7  .38 44 0   0   
array-crafted/mapavg4.yml 590   1700 0   0     10.0  15.8  .13 16 0   0   
array-crafted/mapavg5.yml 650   1600 0   0     83.3  95.7  .15 17 0   0   
array-crafted/mapsum1.yml 200   2300 0   0     80.0  94.7  .14 17 0   0   
array-crafted/mapsum2.yml 670   2600 0   0     80.0  94.7  .16 16 0   0   
array-crafted/mapsum3.yml 660   1800 0   0     80.0  94.7  .38 44 0   0   
array-crafted/mapsum4.yml 560   2000 0   0     10.0  15.8  .12 16 0   0   
array-crafted/mapsum5.yml 380   1800 0   0     83.3  95.7  .16 16 0   0   
array-crafted/xor1.yml 290   1900 0   0     80.0  94.7  .15 17 0   0   
array-crafted/xor2.yml 930   2400 0   0     10.0  15.8  .12 16 0   0   
array-crafted/xor3.yml 610   1900 0   0     10.0  15.8  .12 16 0   0   
array-crafted/xor4.yml 770   2100 0   0     80.0  94.7  2.8  440 0   0   
array-crafted/xor5.yml 370   2500 0   0     83.3  95.7  .18 16 0   0   
array-crafted/zero_sum1.yml 630   1100 0   0     90.0  100    .15 16 0   0   
array-crafted/zero_sum2.yml 40   820 0   0     92.9  100    .18 16 0   0   
array-crafted/zero_sum3.yml 51   910 0   0     94.4  100    .20 17 0   0   
array-crafted/zero_sum4.yml 60   880 0   0     95.5  100    .24 16 0   0   
array-crafted/zero_sum5.yml 71   900 0   0     96.2  100    .23 17 0   0   
array-crafted/zero_sum_const1.yml 620   920 0   0     91.7  100    .17 17 0   0   
array-crafted/zero_sum_const2.yml 43   850 0   0     93.8  100    .17 17 0   0   
array-crafted/zero_sum_const3.yml 45   770 0   0     95.0  100    .21 17 0   0   
array-crafted/zero_sum_const4.yml 58   720 0   0     95.8  100    .20 17 0   0   
array-crafted/zero_sum_const5.yml 73   740 0   0     96.4  100    .26 16 0   0   
array-crafted/zero_sum_const_m2.yml 630   1300 0   0     93.8  100    .18 16 0   0   
array-crafted/zero_sum_const_m3.yml 84   1200 0   0     95.0  100    .23 16 0   0   
array-crafted/zero_sum_const_m4.yml 640   1400 0   0     95.8  100    .23 16 0   0   
array-crafted/zero_sum_const_m5.yml 640   1300 0   0     96.4  100    .26 17 0   0   
array-crafted/zero_sum_m2.yml 590   2300 0   0     92.9  100    .21 16 0   0   
array-crafted/zero_sum_m3.yml 370   1300 0   0     94.4  100    .22 16 0   0   
array-crafted/zero_sum_m4.yml 170   1500 0   0     95.5  100    .25 16 0   0   
array-crafted/zero_sum_m5.yml 290   1700 0   0     96.2  100    .23 17 0   0   
array-multidimensional/add-2-n-u.yml 550   3900 0   0     0    0    78    3800 0   0   
array-multidimensional/add-3-n-u.yml 590   3600 0   0     0    0    .14 16 0   0   
array-multidimensional/copy-2-u.yml 460   4300 0   0     92.9  97.1  27    4300 0   0   
array-multidimensional/copy-3-n-u.yml 430   3200 0   0     0    0    .13 17 0   0   
array-multidimensional/copy-partial-2-n-u.yml 490   3200 0   0     0    0    38    1900 0   0   
array-multidimensional/copy-partial-3-u.yml 450   4100 0   0     0    0    .15 16 0   0   
array-multidimensional/diff-2-n-u.yml 500   7800 0   0     110    7000 0   0   
array-multidimensional/diff-3-n-u.yml 450   2400 0   0     0    0    .14 16 0   0   
array-multidimensional/init-2-n-u.yml 490   3000 0   0     90.0  96.2  .22 17 0   0   
array-multidimensional/init-3-u.yml 550   4100 0   0     0    0    .12 17 0   0   
array-multidimensional/init-4-n-u.yml 410   3800 0   0     0    0    .13 16 0   0   
array-multidimensional/init-non-constant-2-n-u.yml 380   15000 0   .16  90.0  96.7  .16 17 0   0   
array-multidimensional/init-non-constant-3-u.yml 480   4100 0   0     0    0    .17 16 0   0   
array-multidimensional/max-2-u.yml 800   2900 0   0     0    0    75    2000 0   0   
array-multidimensional/max-3-n-u.yml 510   3100 0   .16  0    0    .12 17 0   0   
array-multidimensional/min-2-u.yml 820   3100 0   0     0    0    74    2000 0   0   
array-multidimensional/min-3-n-u.yml 570   2900 0   0     0    0    .13 17 0   0   
array-multidimensional/rev-2-n-u.yml 500   2900 0   0     0    0    41    1900 0   0   
array-multidimensional/rev-3-u.yml 460   4100 0   0     0    0    .13 17 0   0   
array-multidimensional/transpose-u.yml 460   4300 0   0     92.9  100    26    4300 0   0   
bitvector/byte_add-1.yml 55   850 0   0     98.3  100    .32 17 0   0   
bitvector/byte_add_1-1.yml 320   2600 0   0     73.3  82.8  .26 16 0   0   
bitvector/byte_add_2-2.yml 330   2500 0   0     75.0  82.8  .25 17 0   0   
bitvector/gcd_1.yml 44   730 0   0     83.3  94.7  .16 17 0   0   
bitvector/gcd_2.yml 43   750 0   0     90.0  94.7  .16 16 0   0   
bitvector/gcd_3.yml 270   720 0   0     90.0  94.7  .17 16 0   0   
bitvector/interleave_bits.yml 43   740 0   0     75.0  95.8  .12 16 0   0   
bitvector/modulus-2.yml 920   480 0   0     90.0  95.2  .17 17 0   0   
bitvector/num_conversion_2.yml 66   940 0   0     83.3  93.8  .15 16 0   0   
bitvector/parity.yml 340   1900 0   0     87.5  95.7  .16 16 0   0   
bitvector/s3_clnt_1.BV.c.cil-1.yml 570   1300 0   0     79.0  88.5  .85 17 0   0   
bitvector/s3_clnt_1.BV.c.cil-2.yml 700   990 0   0     93.8  95.6  1.1  17 0   0   
bitvector/s3_clnt_2.BV.c.cil-1.yml 450   2000 0   0     77.5  88.1  .87 17 0   0   
bitvector/s3_clnt_2.BV.c.cil-2.yml 460   1500 0   0     93.8  95.8  1.2  17 0   0   
bitvector/s3_clnt_3.BV.c.cil-1.yml 580   2900 0   0     77.8  88.2  .91 17 0   0   
bitvector/s3_clnt_3.BV.c.cil-2.yml 460   2000 0   0     63.6  71.8  .76 17 0   0   
bitvector/s3_srvr_1.BV.c.cil.yml 510   2100 0   0     78.7  81.0  .95 18 0   0   
bitvector/s3_srvr_1_alt.BV.c.cil.yml 960   2500 0   0     .00 7.03 1.1  18 0   0   
bitvector/s3_srvr_3.BV.c.cil.yml 740   2100 0   0     82.8  84.8  .94 17 0   0   
bitvector/s3_srvr_3_alt.BV.c.cil.yml 740   1600 0   0     82.8  84.9  .79 17 0   0   
bitvector/soft_float_1-2.c.cil.yml 370   610 0   0     68.9  69.8  .37 17 0   0   
bitvector/soft_float_1-3.c.cil.yml 360   1100 0   0     70.3  70.4  .35 17 0   0   
bitvector/soft_float_2.c.cil.yml 620   1800 0   0     68.8  70.2  .27 17 0   0   
bitvector/soft_float_3.c.cil.yml 840   2600 0   0     70.8  71.0  .28 17 0   0   
bitvector/soft_float_4-2.c.cil.yml 960   2400 0   0     59.5  64.6  .23 17 0   0   
bitvector/soft_float_4-3.c.cil.yml 910   2800 0   0     61.9  65.3  .27 17 0   0   
bitvector/soft_float_5.c.cil.yml 620   2500 0   0     68.8  70.2  .28 17 0   0   
bitvector/sum02-1.yml 960   3700 0   0     50.0  88.9  .13 16 0   0   
bitvector/sum02-2.yml 960   4700 0   0     50.0  92.3  .13 16 0   0   
bitvector-regression/recHanoi03-1.yml 350   1900 0   0     87.5  100    .15 19 0   0   
bitvector-loops/diamond_2-1.yml 7.6 240 0   0     100    100    .14 17 0   0   
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml 630   2000 0   .020 100    100    .15 16 0   0   
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml 97   2000 0   0     73.8  88.4  1.9  21 0   0   
ntdrivers-simplified/cdaudio_simpl1.cil-2.yml 100   1500 0   0     73.7  88.2  1.7  21 0   0   
ntdrivers-simplified/diskperf_simpl1.cil.yml 380   1300 0   0     67.9  85.5  .81 18 0   0   
ntdrivers-simplified/floppy_simpl3.cil-1.yml 64   1100 0   0     78.4  91.7  .88 18 0   0   
ntdrivers-simplified/floppy_simpl3.cil-2.yml 75   1100 0   0     78.4  90.3  .89 18 0   0   
ntdrivers-simplified/floppy_simpl4.cil-1.yml 76   1400 0   0     84.7  93.9  1.6  20 0   0   
ntdrivers-simplified/floppy_simpl4.cil-2.yml 81   1400 0   0     84.7  93.6  1.6  20 0   0   
ntdrivers-simplified/kbfiltr_simpl1.cil.yml 40   980 0   0     74.2  89.2  .38 17 0   0   
ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml 50   1100 0   0     78.4  90.7  .67 18 0   0   
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml 53   1100 0   0     78.7  91.2  .73 18 0   0   
ssh-simplified/s3_clnt_1.cil-1.yml 320   1700 0   0     79.0  88.6  .97 17 0   0   
ssh-simplified/s3_clnt_1.cil-2.yml 200   1200 0   0     79.0  88.9  .95 17 0   0   
ssh-simplified/s3_clnt_2.cil-1.yml 230   1700 0   0     79.6  90.7  .99 17 0   0   
ssh-simplified/s3_clnt_2.cil-2.yml 300   1500 0   0     79.0  90.1  .86 17 0   0   
ssh-simplified/s3_clnt_3.cil-1.yml 400   1800 0   0     55.0  67.8  .65 17 0   0   
ssh-simplified/s3_clnt_3.cil-2.yml 340   1600 0   0     84.0  93.3  .99 17 0   0   
ssh-simplified/s3_clnt_3.cil-3.yml 320   1400 0   0     79.0  89.5  .84 17 0   0   
ssh-simplified/s3_clnt_4.cil-1.yml 190   1800 0   0     79.0  90.1  .89 17 0   0   
ssh-simplified/s3_clnt_4.cil-2.yml 180   1600 0   0     84.0  93.1  1.1  17 0   0   
eca-rers2012/Problem03_label00.yml 800   3600 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label01.yml 780   4000 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label02.yml 790   4000 0   0     49.9  54.6  3.3  58 0   0   
eca-rers2012/Problem03_label03.yml 790   4300 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label04.yml 790   3900 0   0     49.9  54.6  2.6  58 0   0   
eca-rers2012/Problem03_label05.yml 780   4300 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label06.yml 780   3900 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label07.yml 780   4000 0   0     49.9  54.6  2.6  58 0   0   
eca-rers2012/Problem03_label08.yml 800   4100 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label09.yml 790   3800 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label10.yml 790   4100 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label11.yml 790   4200 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label12.yml 790   4100 0   0     49.9  54.6  2.6  58 0   0   
eca-rers2012/Problem03_label13.yml 790   4400 0   0     49.9  54.6  3.0  58 0   0   
eca-rers2012/Problem03_label14.yml 790   3800 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label15.yml 780   4400 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label16.yml 810   4100 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label17.yml 790   4400 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label18.yml 790   4500 0   0     49.9  54.6  3.2  58 0   0   
eca-rers2012/Problem03_label19.yml 790   4100 0   0     49.9  54.6  2.4  58 0   0   
eca-rers2012/Problem03_label20.yml 790   4100 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label21.yml 780   4200 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label22.yml 790   4000 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label23.yml 790   4200 0   0     49.9  54.6  3.0  58 0   0   
eca-rers2012/Problem03_label24.yml 780   3500 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label25.yml 790   4300 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label26.yml 640   4000 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label27.yml 780   4000 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label28.yml 790   4200 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label29.yml 780   4100 0   0     49.9  54.6  2.3  58 0   0   
eca-rers2012/Problem03_label30.yml 790   4100 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label31.yml 780   4200 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label32.yml 820   4200 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label33.yml 630   4400 0   0     49.9  54.6  2.4  58 0   0   
eca-rers2012/Problem03_label34.yml 790   3900 0   0     49.9  54.6  2.6  58 0   0   
eca-rers2012/Problem03_label35.yml 780   3600 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label36.yml 780   4200 0   0     49.9  54.6  2.6  58 0   0   
eca-rers2012/Problem03_label37.yml 790   4200 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label38.yml 790   4000 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label39.yml 790   4000 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label40.yml 790   3900 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label41.yml 790   4000 0   0     49.9  54.6  3.3  58 0   0   
eca-rers2012/Problem03_label42.yml 790   4000 0   0     49.9  54.6  3.0  58 0   0   
eca-rers2012/Problem03_label43.yml 780   4100 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label44.yml 790   3800 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label45.yml 780   4100 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label46.yml 650   4400 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label47.yml 780   4100 0   0     49.9  54.6  3.0  58 0   0   
eca-rers2012/Problem03_label48.yml 790   3700 0   0     49.9  54.6  3.0  58 0   0   
eca-rers2012/Problem03_label49.yml 800   3900 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label50.yml 800   4100 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label51.yml 790   4100 0   0     49.9  54.6  3.2  58 0   0   
eca-rers2012/Problem03_label52.yml 780   4300 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label53.yml 790   4200 0   0     49.9  54.6  2.5  58 0   0   
eca-rers2012/Problem03_label54.yml 790   4000 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label55.yml 790   4100 0   0     49.9  54.6  2.9  58 0   0   
eca-rers2012/Problem03_label56.yml 780   4100 0   0     49.9  54.6  3.2  58 0   0   
eca-rers2012/Problem03_label57.yml 780   4200 0   0     49.9  54.6  2.7  58 0   0   
eca-rers2012/Problem03_label58.yml 780   3900 0   0     49.9  54.6  2.8  58 0   0   
eca-rers2012/Problem03_label59.yml 790   4400 0   0     49.9  54.6  2.4  58 0   0   
eca-rers2012/Problem04_label00.yml 950   3700 0   0     79.7  93.9  6.7  110 0   0   
eca-rers2012/Problem04_label01.yml 890   3700 0   0     79.6  93.6  6.9  110 0   0   
eca-rers2012/Problem04_label02.yml 960   5000 0   0     81.3  97.0  7.1  110 0   0   
eca-rers2012/Problem04_label03.yml 920   3600 0   0     80.1  94.8  8.3  110 0   0   
eca-rers2012/Problem04_label04.yml 900   3400 0   0     80.5  95.4  8.0  110 0   0   
eca-rers2012/Problem04_label05.yml 960   4200 0   0     79.7  93.9  6.2  110 0   0   
eca-rers2012/Problem04_label06.yml 920   3600 0   0     81.1  96.2  7.7  110 0   0   
eca-rers2012/Problem04_label07.yml 920   3700 0   0     80.8  95.9  6.2  110 0   0   
eca-rers2012/Problem04_label08.yml 940   4300 0   0     81.2  96.6  6.3  110 0   0   
eca-rers2012/Problem04_label09.yml 930   4100 0   0     80.7  96.0  7.4  110 0   0   
eca-rers2012/Problem04_label10.yml 900   3600 0   0     80.6  95.9  7.4  110 0   0   
eca-rers2012/Problem04_label13.yml 960   3700 0   0     79.7  93.9  6.4  110 0   0   
eca-rers2012/Problem04_label15.yml 930   3600 0   0     79.9  94.3  7.4  110 0   0   
eca-rers2012/Problem04_label16.yml 960   4700 0   0     80.1  94.7  7.3  110 0   0   
eca-rers2012/Problem04_label18.yml 960   4000 0   0     79.4  93.4  6.7  110 0   0   
eca-rers2012/Problem04_label19.yml 950   3600 0   0     80.3  95.2  7.9  110 0   0   
eca-rers2012/Problem04_label21.yml 900   3600 0   0     81.3  96.8  6.9  110 0   0   
eca-rers2012/Problem04_label22.yml 960   4100 0   0     81.1  96.2  8.5  110 0   0   
eca-rers2012/Problem04_label25.yml 960   4600 0   0     80.7  95.9  7.3  110 0   0   
eca-rers2012/Problem04_label26.yml 960   4200 0   0     80.7  95.9  6.7  110 0   0   
eca-rers2012/Problem04_label28.yml 930   4100 0   0     79.5  93.4  6.0  110 0   0   
eca-rers2012/Problem04_label30.yml 960   6100 0   0     80.4  95.1  6.6  110 0   0   
eca-rers2012/Problem04_label31.yml 960   4500 0   0     79.9  94.4  5.8  110 0   0   
eca-rers2012/Problem04_label32.yml 950   3700 0   0     79.3  93.2  6.2  110 0   0   
eca-rers2012/Problem04_label33.yml 960   4300 0   0     80.1  94.6  6.8  110 0   0   
eca-rers2012/Problem04_label34.yml 960   3900 0   0     81.2  96.4  7.3  110 0   0   
eca-rers2012/Problem04_label35.yml 900   3400 0   0     81.3  96.6  7.7  110 0   0   
eca-rers2012/Problem04_label38.yml 960   4900 0   0     80.4  95.2  7.1  110 0   0   
eca-rers2012/Problem04_label39.yml 960   5000 0   0     81.1  96.3  6.8  110 0   0   
eca-rers2012/Problem04_label41.yml 960   3500 0   0     79.6  93.9  6.5  110 0   0   
eca-rers2012/Problem04_label45.yml 910   3400 0   0     81.0  96.3  7.2  110 0   0   
eca-rers2012/Problem04_label47.yml 960   4200 0   0     80.7  96.0  6.4  110 0   0   
eca-rers2012/Problem04_label48.yml 960   5800 0   0     80.1  94.8  6.3  110 0   0   
eca-rers2012/Problem04_label50.yml 960   5000 0   0     80.8  96.0  6.0  110 0   0   
eca-rers2012/Problem04_label51.yml 950   3900 0   0     80.3  95.1  6.1  110 0   0   
eca-rers2012/Problem04_label52.yml 960   4900 0   0     80.1  94.7  5.7  110 0   0   
eca-rers2012/Problem04_label53.yml 920   3500 0   0     79.4  93.3  6.3  110 0   0   
eca-rers2012/Problem04_label54.yml 950   3900 0   0     80.8  96.1  8.0  110 0   0   
eca-rers2012/Problem04_label55.yml 960   4500 0   0     80.5  95.5  7.8  110 0   0   
eca-rers2012/Problem04_label56.yml 960   5300 0   0     81.2  96.6  6.9  110 0   0   
eca-rers2012/Problem04_label59.yml 960   4700 0   0     79.3  93.3  6.4  110 0   0   
eca-rers2012/Problem05_label00.yml 960   5300 0   0     66.5  51.9  11    180 0   0   
eca-rers2012/Problem05_label01.yml 960   5600 0   0     65.5  50.4  10    180 0   0   
eca-rers2012/Problem05_label02.yml 960   5500 0   0     65.7  50.5  10    180 0   0   
eca-rers2012/Problem05_label03.yml 960   6100 0   0     65.6  50.2  9.0  180 0   0   
eca-rers2012/Problem05_label04.yml 960   4800 0   0     65.9  50.8  8.2  180 0   0   
eca-rers2012/Problem05_label05.yml 960   6300 0   0     65.2  50.0  9.0  180 0   0   
eca-rers2012/Problem05_label06.yml 960   4900 0   0     65.9  50.9  9.8  180 0   0   
eca-rers2012/Problem05_label07.yml 960   5400 0   0     65.5  50.2  9.1  180 0   0   
eca-rers2012/Problem05_label08.yml 960   5800 0   0     65.7  50.4  9.1  180 0   0   
eca-rers2012/Problem05_label09.yml 960   5400 0   0     65.5  50.2  8.6  180 0   0   
eca-rers2012/Problem05_label10.yml 960   5700 0   0     65.8  50.7  9.1  180 0   0   
eca-rers2012/Problem05_label11.yml 960   5900 0   0     65.7  50.5  9.6  180 0   0   
eca-rers2012/Problem05_label12.yml 960   5900 0   0     65.4  50.2  9.6  180 0   0   
eca-rers2012/Problem05_label13.yml 960   5000 0   0     65.8  50.8  10    180 0   0   
eca-rers2012/Problem05_label14.yml 960   5900 0   0     65.6  50.3  9.0  180 0   0   
eca-rers2012/Problem05_label15.yml 960   6100 0   0     65.2  49.9  11    180 0   0   
eca-rers2012/Problem05_label16.yml 960   6600 0   0     65.9  50.8  9.8  180 0   0   
eca-rers2012/Problem05_label17.yml 960   6100 0   0     65.6  50.2  8.3  180 0   0   
eca-rers2012/Problem05_label18.yml 960   5200 0   0     65.8  50.6  9.1  180 0   0   
eca-rers2012/Problem05_label19.yml 960   6600 0   0     65.8  51.0  10    180 0   0   
eca-rers2012/Problem05_label20.yml 960   5400 0   0     66.3  51.8  9.3  180 0   0   
eca-rers2012/Problem05_label21.yml 960   5800 0   0     65.7  50.4  10    180 0   0   
eca-rers2012/Problem05_label22.yml 960   6500 0   0     65.7  50.5  9.7  180 0   0   
eca-rers2012/Problem05_label23.yml 960   5100 0   0     65.9  50.8  10    180 0   0   
eca-rers2012/Problem05_label24.yml 960   5300 0   0     65.5  50.2  9.7  180 0   0   
eca-rers2012/Problem05_label25.yml 960   7200 0   0     65.5  50.2  8.6  180 0   0   
eca-rers2012/Problem05_label26.yml 960   6200 0   0     65.4  50.2  8.9  180 0   0   
eca-rers2012/Problem05_label27.yml 960   5900 0   0     65.8  51.0  9.2  180 0   0   
eca-rers2012/Problem05_label28.yml 960   6700 0   0     65.8  50.5  11    180 0   0   
eca-rers2012/Problem05_label29.yml 960   6100 0   0     65.6  50.4  9.2  180 0   0   
eca-rers2012/Problem05_label30.yml 960   6100 0   0     65.6  50.4  9.5  180 0   0   
eca-rers2012/Problem05_label31.yml 960   5800 0   0     65.7  50.5  9.6  180 0   0   
eca-rers2012/Problem05_label32.yml 960   6400 0   0     65.5  50.3  10    180 0   0   
eca-rers2012/Problem05_label33.yml 960   5700 0   0     65.7  50.4  9.2  180 0   0   
eca-rers2012/Problem05_label34.yml 960   5100 0   0     65.5  50.0  8.3  180 0   0   
eca-rers2012/Problem05_label35.yml 960   6200 0   0     66.4  52.0  9.4  180 0   0   
eca-rers2012/Problem05_label36.yml 960   5800 0   0     65.9  50.9  11    180 0   0   
eca-rers2012/Problem05_label37.yml 960   6500 0   0     65.7  50.3  10    180 0   0   
eca-rers2012/Problem05_label38.yml 960   5300 0   0     65.6  50.2  9.2  180 0   0   
eca-rers2012/Problem05_label39.yml 960   5600 0   0     65.6  50.3  10    180 0   0   
eca-rers2012/Problem05_label40.yml 960   6200 0   0     65.9  50.9  11    180 0   0   
eca-rers2012/Problem05_label41.yml 960   6700 0   0     65.6  50.5  9.8  180 0   0   
eca-rers2012/Problem05_label42.yml 960   5300 0   0     65.5  50.1  9.4  180 0   0   
eca-rers2012/Problem05_label43.yml 960   6000 0   0     65.4  50.2  8.9  180 0   0   
eca-rers2012/Problem05_label44.yml 960   4400 0   0     65.8  50.7  8.7  180 0   0   
eca-rers2012/Problem05_label45.yml 960   5700 0   0     65.5  50.3  10    180 0   0   
eca-rers2012/Problem05_label46.yml 960   5400 0   0     65.8  50.6  8.5  180 0   0   
eca-rers2012/Problem05_label47.yml 960   6700 0   0     65.5  50.2  10    180 0   0   
eca-rers2012/Problem05_label48.yml 960   5800 0   0     65.6  50.4  9.9  180 0   0   
eca-rers2012/Problem05_label49.yml 960   6000 0   0     65.9  51.0  9.9  180 0   0   
eca-rers2012/Problem05_label50.yml 960   4900 0   0     66.3  51.7  9.3  180 0   0   
eca-rers2012/Problem05_label51.yml 960   4600 0   0     65.4  50.1  9.7  180 0   0   
eca-rers2012/Problem05_label52.yml 960   5400 0   0     65.9  50.8  9.5  180 0   0   
eca-rers2012/Problem05_label53.yml 960   6200 0   0     65.5  50.2  9.8  180 0   0   
eca-rers2012/Problem05_label54.yml 960   5700 0   0     65.6  50.4  8.6  180 0   0   
eca-rers2012/Problem05_label55.yml 960   5900 0   0     65.7  50.7  9.6  180 0   0   
eca-rers2012/Problem05_label56.yml 960   5700 0   0     65.9  50.9  9.8  180 0   0   
eca-rers2012/Problem05_label57.yml 960   5200 0   0     65.3  50.0  9.5  180 0   0   
eca-rers2012/Problem05_label58.yml 960   5000 0   0     65.7  50.7  8.9  180 0   0   
eca-rers2012/Problem05_label59.yml 960   5800 0   0     65.4  50.1  11    180 0   0   
eca-rers2012/Problem06_label00.yml 960   4500 0   0     57.5  52.9  9.5  180 0   0   
eca-rers2012/Problem06_label01.yml 960   4900 0   0     57.7  53.1  9.3  180 0   0   
eca-rers2012/Problem06_label02.yml 960   4500 0   0     58.7  54.6  9.2  180 0   0   
eca-rers2012/Problem06_label03.yml 960   4500 0   0     57.3  52.6  8.5  180 0   0   
eca-rers2012/Problem06_label04.yml 960   4400 0   0     57.5  52.8  9.5  180 0   0   
eca-rers2012/Problem06_label05.yml 960   4500 0   0     57.8  53.3  8.4  180 0   0   
eca-rers2012/Problem06_label06.yml 960   4700 0   0     57.2  52.3  8.4  180 0   0   
eca-rers2012/Problem06_label07.yml 960   4400 0   0     58.1  54.0  8.8  180 0   0   
eca-rers2012/Problem06_label08.yml 960   4000 0   0     56.8  51.4  8.3  180 0   0   
eca-rers2012/Problem06_label09.yml 960   4500 0   0     57.8  53.4  9.3  180 0   0   
eca-rers2012/Problem06_label10.yml 960   4200 0   0     57.4  52.8  9.2  180 0   0   
eca-rers2012/Problem06_label11.yml 960   4300 0   0     57.7  53.1  11    180 0   0   
eca-rers2012/Problem06_label12.yml 960   4000 0   0     57.9  53.6  10    180 0   0   
eca-rers2012/Problem06_label13.yml 960   4400 0   0     57.4  52.7  10    180 0   0   
eca-rers2012/Problem06_label14.yml 960   4400 0   0     57.7  53.1  8.4  180 0   0   
eca-rers2012/Problem06_label15.yml 960   4300 0   0     57.2  52.4  8.4  180 0   0   
eca-rers2012/Problem06_label16.yml 960   4700 0   0     57.7  53.4  8.4  180 0   0   
eca-rers2012/Problem06_label17.yml 960   3900 0   0     56.8  51.3  8.7  180 0   0   
eca-rers2012/Problem06_label18.yml 960   4900 0   0     58.6  54.2  8.7  180 0   0   
eca-rers2012/Problem06_label19.yml 960   4500 0   0     57.7  53.4  9.4  180 0   0   
eca-rers2012/Problem06_label20.yml 960   4400 0   0     57.7  52.9  8.5  180 0   0   
eca-rers2012/Problem06_label21.yml 960   4100 0   0     57.5  52.9  7.9  180 0   0   
eca-rers2012/Problem06_label22.yml 960   3700 0   0     57.7  53.2  8.4  180 0   0   
eca-rers2012/Problem06_label23.yml 960   4100 0   0     57.5  53.0  8.7  180 0   0   
eca-rers2012/Problem06_label24.yml 960   4900 0   0     57.4  52.7  9.2  180 0   0   
eca-rers2012/Problem06_label25.yml 960   3900 0   0     57.5  52.9  7.7  180 0   0   
eca-rers2012/Problem06_label26.yml 960   4400 0   0     57.1  52.2  8.1  180 0   0   
eca-rers2012/Problem06_label27.yml 960   4700 0   0     58.6  54.2  11    180 0   0   
eca-rers2012/Problem06_label28.yml 960   4600 0   0     57.4  52.7  8.5  180 0   0   
eca-rers2012/Problem06_label29.yml 960   4300 0   0     57.4  52.7  9.2  180 0   0   
eca-rers2012/Problem06_label30.yml 960   4700 0   0     57.7  53.0  7.4  180 0   0   
eca-rers2012/Problem06_label31.yml 960   3900 0   0     57.0  52.1  7.4  180 0   0   
eca-rers2012/Problem06_label32.yml 960   4300 0   0     57.9  53.5  9.2  180 0   0   
eca-rers2012/Problem06_label33.yml 960   4700 0   0     57.3  52.5  9.5  180 0   0   
eca-rers2012/Problem06_label34.yml 960   4500 0   0     57.6  53.1  9.7  180 0   0   
eca-rers2012/Problem06_label35.yml 960   4100 0   0     57.3  52.3  9.3  180 0   0   
eca-rers2012/Problem06_label36.yml 960   4400 0   0     57.4  52.6  9.6  180 0   0   
eca-rers2012/Problem06_label37.yml 960   4300 0   0     58.3  53.8  9.4  180 0   0   
eca-rers2012/Problem06_label38.yml 960   4600 0   0     57.7  53.0  11    180 0   0   
eca-rers2012/Problem06_label39.yml 960   4200 0   0     57.8  53.4  7.8  180 0   0   
eca-rers2012/Problem06_label40.yml 960   4500 0   0     57.8  53.1  7.5  180 0   0   
eca-rers2012/Problem06_label41.yml 960   4100 0   0     57.4  52.6  8.9  180 0   0   
eca-rers2012/Problem06_label42.yml 960   4600 0   0     57.8  53.3  8.2  180 0   0   
eca-rers2012/Problem06_label43.yml 960   4400 0   0     57.2  52.6  7.6  180 0   0   
eca-rers2012/Problem06_label44.yml 960   4300 0   0     57.6  52.8  8.3  180 0   0   
eca-rers2012/Problem06_label45.yml 960   3800 0   0     57.7  53.0  8.8  180 0   0   
eca-rers2012/Problem06_label46.yml 960   4100 0   0     57.6  53.1  8.5  180 0   0   
eca-rers2012/Problem06_label47.yml 960   4400 0   0     57.5  52.8  7.8  180 0   0   
eca-rers2012/Problem06_label48.yml 960   4300 0   0     57.8  53.2  8.8  180 0   0   
eca-rers2012/Problem06_label49.yml 960   4300 0   0     58.7  54.5  8.0  180 0   0   
eca-rers2012/Problem06_label50.yml 960   4100 0   0     58.0  53.4  8.8  180 0   0   
eca-rers2012/Problem06_label51.yml 960   4500 0   0     57.9  53.3  8.8  180 0   0   
eca-rers2012/Problem06_label52.yml 960   4900 0   0     57.3  52.6  8.0  180 0   0   
eca-rers2012/Problem06_label53.yml 960   4700 0   0     57.6  52.7  8.3  180 0   0   
eca-rers2012/Problem06_label54.yml 960   4400 0   0     57.7  53.1  8.4  180 0   0   
eca-rers2012/Problem06_label55.yml 960   4300 0   0     57.8  53.4  8.5  180 0   0   
eca-rers2012/Problem06_label56.yml 960   4600 0   0     57.3  52.6  8.5  180 0   0   
eca-rers2012/Problem06_label57.yml 960   4800 0   0     58.0  53.7  8.3  180 0   0   
eca-rers2012/Problem06_label58.yml 960   4400 0   0     58.0  53.6  8.7  180 0   0   
eca-rers2012/Problem06_label59.yml 960   4800 0   0     56.9  52.0  8.5  180 0   0   
eca-rers2012/Problem07_label00.yml 960   7700 0   0     54.4  21.7  60    770 0   0   
eca-rers2012/Problem07_label01.yml 960   7400 0   0     55.1  22.1  65    770 0   0   
eca-rers2012/Problem07_label02.yml 960   7400 0   0     53.8  21.6  60    770 0   0   
eca-rers2012/Problem07_label03.yml 960   6200 0   0     53.4  21.1  53    770 0   0   
eca-rers2012/Problem07_label04.yml 960   7900 0   0     54.1  21.4  58    770 0   0   
eca-rers2012/Problem07_label05.yml 960   7000 0   0     53.5  21.1  55    770 0   0   
eca-rers2012/Problem07_label06.yml 960   6000 0   0     54.0  21.4  55    770 0   0   
eca-rers2012/Problem07_label07.yml 960   7300 0   0     53.5  20.9  62    770 0   0   
eca-rers2012/Problem07_label08.yml 960   7400 0   0     54.6  21.8  62    770 0   0   
eca-rers2012/Problem07_label09.yml 960   7200 0   0     55.3  22.4  62    770 0   0   
eca-rers2012/Problem07_label10.yml 960   7400 0   0     54.4  22.0  64    770 0   0   
eca-rers2012/Problem07_label11.yml 960   6300 0   0     55.0  22.1  61    770 0   0   
eca-rers2012/Problem07_label12.yml 960   6600 0   0     54.0  21.2  55    770 0   0   
eca-rers2012/Problem07_label13.yml 960   7200 0   0     54.3  21.4  58    770 0   0   
eca-rers2012/Problem07_label14.yml 960   7000 0   0     55.5  22.2  62    770 0   0   
eca-rers2012/Problem07_label15.yml 960   7400 0   0     55.7  22.6  62    770 0   0   
eca-rers2012/Problem07_label16.yml 960   6300 0   0     50.1  19.4  52    770 0   0   
eca-rers2012/Problem07_label17.yml 960   7000 0   0     56.3  22.9  59    770 0   0   
eca-rers2012/Problem07_label18.yml 960   7000 0   0     54.1  21.7  61    770 0   0   
eca-rers2012/Problem07_label19.yml 960   7400 0   0     54.9  21.9  65    770 0   0   
eca-rers2012/Problem07_label20.yml 960   7700 0   0     52.8  20.8  52    770 0   0   
eca-rers2012/Problem07_label21.yml 960   8100 0   0     54.3  21.7  53    770 0   0   
eca-rers2012/Problem07_label22.yml 960   7200 0   0     53.1  20.9  53    770 0   0   
eca-rers2012/Problem07_label23.yml 960   7300 0   0     56.5  23.0  60    770 0   0   
eca-rers2012/Problem07_label24.yml 960   7900 0   0     53.9  21.5  58    770 0   0   
eca-rers2012/Problem07_label25.yml 960   7500 0   0     53.3  20.8  52    770 0   0   
eca-rers2012/Problem07_label26.yml 960   8000 0   0     55.6  22.3  62    770 0   0   
eca-rers2012/Problem07_label27.yml 960   7100 0   0     54.4  21.4  60    770 0   0   
eca-rers2012/Problem07_label28.yml 960   7800 0   0     53.7  21.4  64    770 0   0   
eca-rers2012/Problem07_label29.yml 960   7700 0   0     54.9  21.9  58    770 0   0   
eca-rers2012/Problem07_label30.yml 960   7000 0   0     54.1  21.3  59    770 0   0   
eca-rers2012/Problem07_label31.yml 960   7000 0   0     53.8  21.2  57    770 0   0   
eca-rers2012/Problem07_label32.yml 960   7700 0   0     55.5  22.6  59    770 0   0   
eca-rers2012/Problem07_label33.yml 960   7700 0   0     53.9  21.6  59    770 0   0   
eca-rers2012/Problem07_label34.yml 960   7000 0   0     54.0  21.4  64    770 0   0   
eca-rers2012/Problem07_label35.yml 960   6800 0   0     54.0  21.3  57    770 0   0   
eca-rers2012/Problem07_label36.yml 960   8000 0   0     54.2  21.6  59    770 0   0   
eca-rers2012/Problem07_label37.yml 960   6600 0   0     56.2  22.8  62    770 0   0   
eca-rers2012/Problem07_label38.yml 960   7800 0   0     50.2  19.4  53    770 0   0   
eca-rers2012/Problem07_label39.yml 960   6800 0   0     55.9  22.7  58    770 0   0   
eca-rers2012/Problem07_label40.yml 960   7400 0   0     55.3  22.2  59    770 0   0   
eca-rers2012/Problem07_label41.yml 960   7400 0   0     53.4  20.9  63    770 0   0   
eca-rers2012/Problem07_label42.yml 960   7400 0   0     56.4  22.6  56    770 0   0   
eca-rers2012/Problem07_label43.yml 960   7400 0   0     52.8  20.6  56    770 0   0   
eca-rers2012/Problem07_label44.yml 960   6900 0   0     54.2  21.5  61    770 0   0   
eca-rers2012/Problem07_label45.yml 960   7500 0   0     53.8  21.3  56    770 0   0   
eca-rers2012/Problem07_label46.yml 960   7100 0   0     52.6  20.7  60    770 0   0   
eca-rers2012/Problem07_label47.yml 960   7300 0   0     55.1  22.3  61    770 0   0   
eca-rers2012/Problem07_label48.yml 960   6700 0   0     55.0  22.1  57    770 0   0   
eca-rers2012/Problem07_label49.yml 960   7600 0   0     55.9  22.6  62    770 0   0   
eca-rers2012/Problem07_label50.yml 960   6600 0   0     54.6  21.7  60    770 0   0   
eca-rers2012/Problem07_label51.yml 960   7300 0   0     51.4  19.9  57    770 0   0   
eca-rers2012/Problem07_label52.yml 960   7200 0   0     54.2  21.9  59    770 0   0   
eca-rers2012/Problem07_label53.yml 960   7400 0   0     53.1  20.9  57    770 0   0   
eca-rers2012/Problem07_label54.yml 960   7300 0   0     53.9  21.7  64    770 0   0   
eca-rers2012/Problem07_label55.yml 960   7700 0   0     53.8  21.3  59    770 0   0   
eca-rers2012/Problem07_label56.yml 960   7700 0   0     53.9  21.5  59    770 0   0   
eca-rers2012/Problem07_label57.yml 960   7600 0   0     54.3  22.1  56    770 0   0   
eca-rers2012/Problem07_label58.yml 960   6500 0   0     55.3  22.2  57    770 0   0   
eca-rers2012/Problem07_label59.yml 960   6700 0   0     55.4  22.2  56    770 0   0   
eca-rers2012/Problem08_label00.yml 960   8100 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label01.yml 960   8600 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label02.yml 960   9200 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label03.yml 960   8800 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label04.yml 960   9000 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label05.yml 960   8000 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label06.yml 960   9000 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label07.yml 960   8600 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label08.yml 960   8600 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label09.yml 960   8200 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label10.yml 960   8600 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label11.yml 960   8900 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label12.yml 960   8800 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label13.yml 960   8500 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label14.yml 960   8700 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label15.yml 960   9000 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label16.yml 960   8700 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label17.yml 960   8900 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label18.yml 960   8300 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label19.yml 960   9000 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label20.yml 960   9000 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label21.yml 960   8800 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label22.yml 960   8800 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label23.yml 960   9200 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label24.yml 960   9100 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label25.yml 960   8000 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label26.yml 960   8200 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label27.yml 960   8400 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label28.yml 960   8800 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label29.yml 960   8800 0   0     5.67 8.72 31    1600 0   0   
eca-rers2012/Problem08_label30.yml 960   8300 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label31.yml 960   8900 0   0     5.72 8.73 28    1600 0   0   
eca-rers2012/Problem08_label32.yml 960   8400 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label33.yml 960   8600 0   0     5.72 8.73 34    1600 0   0   
eca-rers2012/Problem08_label34.yml 960   8800 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label35.yml 960   9000 0   0     5.72 8.73 34    1600 0   0   
eca-rers2012/Problem08_label36.yml 960   8100 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label37.yml 960   8800 0   0     5.72 8.73 29    1600 0   0   
eca-rers2012/Problem08_label38.yml 960   8900 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label39.yml 960   8900 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label40.yml 960   8800 0   0     5.72 8.73 33    1600 0   0   
eca-rers2012/Problem08_label41.yml 960   8300 0   0     5.67 8.72 32    1600 0   0   
eca-rers2012/Problem08_label42.yml 960   8400 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label43.yml 960   8800 0   0     5.67 8.72 31    1600 0   0   
eca-rers2012/Problem08_label44.yml 960   8200 0   0     5.72 8.73 34    1600 0   0   
eca-rers2012/Problem08_label45.yml 960   8900 0   0     5.72 8.73 29    1600 0   0   
eca-rers2012/Problem08_label46.yml 960   8600 0   0     5.72 8.73 34    1600 0   0   
eca-rers2012/Problem08_label47.yml 960   8000 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label48.yml 960   9200 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label49.yml 960   8900 0   0     5.72 8.73 28    1600 0   0   
eca-rers2012/Problem08_label50.yml 960   8400 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label51.yml 960   9300 0   0     5.72 8.73 34    1600 0   0   
eca-rers2012/Problem08_label52.yml 960   9100 0   0     5.72 8.73 31    1600 0   0   
eca-rers2012/Problem08_label53.yml 960   8300 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label54.yml 960   8900 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem08_label55.yml 960   8800 0   0     5.67 8.72 30    1600 0   0   
eca-rers2012/Problem08_label56.yml 960   8800 0   0     5.72 8.73 28    1600 0   0   
eca-rers2012/Problem08_label57.yml 960   8800 0   0     5.72 8.73 32    1600 0   0   
eca-rers2012/Problem08_label58.yml 960   8400 0   0     5.72 8.73 29    1600 0   0   
eca-rers2012/Problem08_label59.yml 960   9600 0   0     5.72 8.73 30    1600 0   0   
eca-rers2012/Problem09_label00.yml 960   8800 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label01.yml 960   9000 0   0     2.25 2.32 39    1800 0   0   
eca-rers2012/Problem09_label02.yml 960   8200 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label03.yml 960   8500 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label04.yml 960   8700 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label05.yml 960   9000 0   0     2.25 2.32 38    1800 0   0   
eca-rers2012/Problem09_label06.yml 960   9600 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label07.yml 960   8700 0   0     2.25 2.32 32    1800 0   0   
eca-rers2012/Problem09_label08.yml 960   8400 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label09.yml 960   9200 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label10.yml 960   8400 0   0     2.25 2.32 38    1800 0   0   
eca-rers2012/Problem09_label11.yml 960   9000 0   0     2.25 2.32 32    1800 0   0   
eca-rers2012/Problem09_label12.yml 960   9000 0   0     2.25 2.32 38    1800 0   0   
eca-rers2012/Problem09_label13.yml 960   8900 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label14.yml 960   8700 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label15.yml 960   9200 0   0     2.25 2.32 33    1800 0   0   
eca-rers2012/Problem09_label16.yml 960   9100 0   0     2.25 2.32 32    1800 0   0   
eca-rers2012/Problem09_label17.yml 960   9300 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label18.yml 960   8700 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label19.yml 960   8200 0   0     2.25 2.32 33    1800 0   0   
eca-rers2012/Problem09_label20.yml 960   9000 0   0     2.25 2.32 40    1800 0   0   
eca-rers2012/Problem09_label21.yml 960   9200 0   0     2.25 2.32 39    1800 0   0   
eca-rers2012/Problem09_label22.yml 960   8700 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label23.yml 960   8800 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label24.yml 960   8400 0   0     2.25 2.32 38    1800 0   0   
eca-rers2012/Problem09_label25.yml 960   8300 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label26.yml 960   8400 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label27.yml 960   8500 0   0     2.25 2.32 33    1800 0   0   
eca-rers2012/Problem09_label28.yml 960   9000 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label29.yml 960   8800 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label30.yml 960   9100 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label31.yml 960   9200 0   0     2.25 2.32 38    1800 0   0   
eca-rers2012/Problem09_label32.yml 960   9300 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label33.yml 960   8600 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label34.yml 960   9000 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label35.yml 960   9400 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label36.yml 960   8800 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label37.yml 960   9600 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label38.yml 960   8700 0   0     2.25 2.32 31    1800 0   0   
eca-rers2012/Problem09_label39.yml 960   9200 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label40.yml 960   9000 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label41.yml 960   9000 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label42.yml 960   8500 0   0     2.25 2.32 39    1800 0   0   
eca-rers2012/Problem09_label43.yml 960   9200 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label44.yml 960   9000 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label45.yml 960   8800 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label46.yml 960   9100 0   0     2.25 2.32 39    1800 0   0   
eca-rers2012/Problem09_label47.yml 960   9200 0   0     2.25 2.32 34    1800 0   0   
eca-rers2012/Problem09_label48.yml 960   9300 0   0     2.25 2.32 32    1800 0   0   
eca-rers2012/Problem09_label49.yml 960   9300 0   0     2.25 2.32 37    1800 0   0   
eca-rers2012/Problem09_label50.yml 960   8800 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label51.yml 960   8200 0   0     2.25 2.32 40    1800 0   0   
eca-rers2012/Problem09_label52.yml 960   8900 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label53.yml 960   8900 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label54.yml 960   8400 0   0     2.25 2.32 34    1800 0   0   
eca-rers2012/Problem09_label55.yml 960   8500 0   0     2.25 2.32 34    1800 0   0   
eca-rers2012/Problem09_label56.yml 960   9200 0   0     2.25 2.32 36    1800 0   0   
eca-rers2012/Problem09_label57.yml 960   8400 0   0     2.25 2.32 35    1800 0   0   
eca-rers2012/Problem09_label58.yml 960   9100 0   0     2.25 2.32 33    1800 0   0   
eca-rers2012/Problem09_label59.yml 960   8800 0   0     2.25 2.32 33    1800 0   0   
eca-rers2012/Problem10_label00.yml 900   3900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label01.yml 960   2900 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label02.yml 960   3000 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label03.yml 960   3100 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label04.yml 960   2600 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label05.yml 960   3100 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label06.yml 960   2900 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label07.yml 960   3200 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label08.yml 960   3300 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label09.yml 940   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label10.yml 960   3100 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label11.yml 960   3000 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label12.yml 960   3200 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label13.yml 960   2900 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label14.yml 960   3100 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label15.yml 960   3000 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label16.yml 960   4700 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label17.yml 960   3300 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label18.yml 960   2900 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label19.yml 960   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label20.yml 960   3100 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label21.yml 960   3200 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label22.yml 920   2800 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label23.yml 960   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label24.yml 960   3100 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label25.yml 960   3000 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label26.yml 960   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label27.yml 960   3400 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label28.yml 960   2800 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label29.yml 960   3100 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label30.yml 960   3100 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label31.yml 960   3000 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label32.yml 960   3200 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label33.yml 960   3000 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label34.yml 960   2600 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label35.yml 960   2800 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label36.yml 960   3800 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label37.yml 960   4200 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label38.yml 960   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label39.yml 960   2700 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label40.yml 960   3100 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label41.yml 960   2900 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label42.yml 960   3300 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label43.yml 960   3000 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label44.yml 920   2700 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label45.yml 960   3000 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label46.yml 960   3100 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label47.yml 960   3000 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label48.yml 960   2900 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label49.yml 960   3400 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label50.yml 960   3200 0   0     77.1  89.3  1.6  30 0   0   
eca-rers2012/Problem10_label51.yml 960   3100 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label52.yml 960   2800 0   0     77.1  89.3  1.3  30 0   0   
eca-rers2012/Problem10_label53.yml 960   3500 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label54.yml 960   2800 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label55.yml 960   3000 0   0     77.1  89.3  1.4  30 0   0   
eca-rers2012/Problem10_label56.yml 960   3300 0   0     77.1  89.3  1.2  30 0   0   
eca-rers2012/Problem10_label57.yml 960   2900 0   0     77.1  89.3  1.6  30 0   0   
eca-rers2012/Problem10_label58.yml 960   2900 0   0     77.1  89.3  1.5  30 0   0   
eca-rers2012/Problem10_label59.yml 960   2900 0   0     77.1  89.3  1.6  30 0   0   
eca-rers2012/Problem11_label00.yml 890   2600 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label01.yml 920   2700 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label02.yml 900   2700 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label03.yml 900   2600 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label04.yml 960   3000 0   0     63.8  62.0  1.7  44 0   0   
eca-rers2012/Problem11_label05.yml 910   2900 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label06.yml 920   2900 0   0     63.8  62.0  1.7  44 0   0   
eca-rers2012/Problem11_label07.yml 910   2800 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label08.yml 910   2800 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label09.yml 960   3200 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label10.yml 960   3700 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label11.yml 940   2900 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label12.yml 890   2700 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label13.yml 930   2800 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label14.yml 960   3800 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label15.yml 890   2700 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label16.yml 950   3000 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label17.yml 890   3400 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label18.yml 910   3000 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label19.yml 900   2700 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label20.yml 910   2700 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label21.yml 870   2700 0   0     63.8  62.0  1.2  44 0   0   
eca-rers2012/Problem11_label22.yml 900   2800 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label23.yml 900   2700 0   0     63.8  62.0  1.2  44 0   0   
eca-rers2012/Problem11_label24.yml 920   3100 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label25.yml 900   2700 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label26.yml 920   2600 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label27.yml 920   2700 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label28.yml 870   2700 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label29.yml 890   2800 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label30.yml 960   4200 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label31.yml 900   3300 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label32.yml 960   3600 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label33.yml 870   2800 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label34.yml 920   3000 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label35.yml 920   2900 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label36.yml 960   2700 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label37.yml 960   2600 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label38.yml 960   4100 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label39.yml 900   2700 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label40.yml 960   2900 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label41.yml 910   3100 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label42.yml 910   2700 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label43.yml 960   3700 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label44.yml 900   2700 0   0     63.8  62.0  1.2  44 0   0   
eca-rers2012/Problem11_label45.yml 960   3900 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label46.yml 910   2900 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label47.yml 910   3100 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label48.yml 910   2700 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label49.yml 890   4100 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label50.yml 920   3100 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label51.yml 900   2700 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label52.yml 900   2900 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label53.yml 920   2700 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label54.yml 870   2700 0   0     63.8  62.0  1.3  44 0   0   
eca-rers2012/Problem11_label55.yml 930   3000 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label56.yml 890   3400 0   0     63.8  62.0  1.4  44 0   0   
eca-rers2012/Problem11_label57.yml 910   3000 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem11_label58.yml 900   2900 0   0     63.8  62.0  1.6  44 0   0   
eca-rers2012/Problem11_label59.yml 900   2900 0   0     63.8  62.0  1.5  44 0   0   
eca-rers2012/Problem12_label00.yml 850   4200 0   0     90.2  99.0  7.6  100 0   0   
eca-rers2012/Problem12_label01.yml 860   4100 0   0     90.2  99.0  6.1  100 0   0   
eca-rers2012/Problem12_label02.yml 850   4700 0   0     90.2  99.0  7.1  100 0   0   
eca-rers2012/Problem12_label03.yml 850   4200 0   0     90.2  99.0  6.3  100 0   0   
eca-rers2012/Problem12_label04.yml 860   4500 0   0     90.2  99.0  6.6  100 0   0   
eca-rers2012/Problem12_label05.yml 840   4000 0   0     90.1  99.0  6.5  100 0   0   
eca-rers2012/Problem12_label06.yml 860   4400 0   0     90.2  99.0  6.8  100 0   0   
eca-rers2012/Problem12_label07.yml 850   3900 0   0     90.2  99.0  7.0  100 0   0   
eca-rers2012/Problem12_label08.yml 840   4400 0   0     90.2  99.0  5.5  100 0   0   
eca-rers2012/Problem12_label09.yml 840   4100 0   0     90.2  99.0  7.3  100 0   0   
eca-rers2012/Problem12_label10.yml 850   4500 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label11.yml 900   5100 0   0     90.2  99.0  6.4  100 0   0   
eca-rers2012/Problem12_label12.yml 850   4600 0   0     90.2  99.0  5.2  100 0   0   
eca-rers2012/Problem12_label13.yml 830   5300 0   0     90.2  99.0  6.2  100 0   0   
eca-rers2012/Problem12_label14.yml 830   5600 0   0     90.2  99.0  7.5  100 0   0   
eca-rers2012/Problem12_label15.yml 870   3800 0   0     90.2  99.0  5.9  100 0   0   
eca-rers2012/Problem12_label16.yml 860   4200 0   0     90.2  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label17.yml 850   4300 0   0     90.2  99.0  5.8  100 0   0   
eca-rers2012/Problem12_label18.yml 850   4500 0   0     90.2  99.0  6.1  100 0   0   
eca-rers2012/Problem12_label19.yml 840   4200 0   0     90.2  99.0  6.1  100 0   0   
eca-rers2012/Problem12_label20.yml 840   5500 0   0     90.1  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label21.yml 860   4300 0   0     90.2  99.1  6.6  100 0   0   
eca-rers2012/Problem12_label22.yml 870   4400 0   0     90.2  99.0  6.3  100 0   0   
eca-rers2012/Problem12_label23.yml 890   4500 0   0     90.2  99.0  5.4  100 0   0   
eca-rers2012/Problem12_label24.yml 860   4600 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label25.yml 860   4700 0   0     90.2  99.1  5.8  100 0   0   
eca-rers2012/Problem12_label26.yml 850   4400 0   0     90.2  99.0  6.3  100 0   0   
eca-rers2012/Problem12_label27.yml 890   4900 0   0     90.2  99.0  5.6  100 0   0   
eca-rers2012/Problem12_label28.yml 880   4300 0   0     90.2  99.0  7.1  100 0   0   
eca-rers2012/Problem12_label29.yml 850   4600 0   0     90.2  99.0  6.2  100 0   0   
eca-rers2012/Problem12_label30.yml 850   4300 0   0     90.2  99.0  6.4  100 0   0   
eca-rers2012/Problem12_label31.yml 840   4600 0   0     90.2  99.0  5.4  100 0   0   
eca-rers2012/Problem12_label32.yml 860   4000 0   0     90.2  99.0  6.5  100 0   0   
eca-rers2012/Problem12_label33.yml 890   4900 0   0     90.2  99.0  6.3  100 0   0   
eca-rers2012/Problem12_label34.yml 850   4600 0   0     90.2  99.0  5.6  100 0   0   
eca-rers2012/Problem12_label35.yml 840   4600 0   0     90.2  99.0  6.6  100 0   0   
eca-rers2012/Problem12_label36.yml 830   4700 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label37.yml 850   5600 0   0     90.2  99.0  6.3  100 0   0   
eca-rers2012/Problem12_label38.yml 870   4400 0   0     90.2  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label39.yml 850   4600 0   0     90.2  99.1  5.9  100 0   0   
eca-rers2012/Problem12_label40.yml 850   4400 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label41.yml 880   4200 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label42.yml 760   3800 0   0     90.2  99.0  6.1  100 0   0   
eca-rers2012/Problem12_label43.yml 740   4400 0   0     90.2  99.0  5.7  100 0   0   
eca-rers2012/Problem12_label44.yml 850   4500 0   0     90.2  99.0  5.8  100 0   0   
eca-rers2012/Problem12_label45.yml 840   4600 0   0     90.2  99.0  5.8  100 0   0   
eca-rers2012/Problem12_label46.yml 850   3900 0   0     90.2  99.0  6.6  100 0   0   
eca-rers2012/Problem12_label47.yml 850   4400 0   0     90.2  99.0  5.9  100 0   0   
eca-rers2012/Problem12_label48.yml 870   4100 0   0     90.2  99.0  7.3  100 0   0   
eca-rers2012/Problem12_label49.yml 840   4500 0   0     90.2  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label50.yml 850   4600 0   0     90.2  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label51.yml 860   3800 0   0     90.2  99.0  6.6  100 0   0   
eca-rers2012/Problem12_label52.yml 850   4900 0   0     90.2  99.0  5.7  100 0   0   
eca-rers2012/Problem12_label53.yml 850   5100 0   0     90.2  99.0  6.7  100 0   0   
eca-rers2012/Problem12_label54.yml 850   4500 0   0     90.2  99.0  7.0  100 0   0   
eca-rers2012/Problem12_label55.yml 840   4800 0   0     90.2  99.0  7.0  100 0   0   
eca-rers2012/Problem12_label56.yml 860   3900 0   0     90.2  99.0  6.6  100 0   0   
eca-rers2012/Problem12_label57.yml 890   4700 0   0     90.2  99.0  6.4  100 0   0   
eca-rers2012/Problem12_label58.yml 870   4900 0   0     90.2  99.0  6.0  100 0   0   
eca-rers2012/Problem12_label59.yml 820   4500 0   0     90.2  99.0  5.4  100 0   0   
eca-rers2012/Problem13_label00.yml 880   5600 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label01.yml 890   5100 0   0     73.8  61.9  5.3  120 0   0   
eca-rers2012/Problem13_label02.yml 880   5600 0   0     73.8  61.9  6.5  120 0   0   
eca-rers2012/Problem13_label03.yml 880   4900 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label04.yml 880   5000 0   0     73.8  61.9  5.9  120 0   0   
eca-rers2012/Problem13_label05.yml 870   5500 0   0     73.8  61.9  5.1  120 0   0   
eca-rers2012/Problem13_label06.yml 900   5500 0   0     73.8  61.9  6.0  120 0   0   
eca-rers2012/Problem13_label07.yml 850   4800 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label08.yml 920   6100 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label09.yml 910   5000 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label10.yml 880   5200 0   0     73.8  61.9  5.1  120 0   0   
eca-rers2012/Problem13_label11.yml 930   5600 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label12.yml 940   6300 0   0     73.8  61.9  6.8  120 0   0   
eca-rers2012/Problem13_label13.yml 930   5800 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label14.yml 870   4900 0   0     73.8  61.9  5.9  120 0   0   
eca-rers2012/Problem13_label15.yml 880   5000 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label16.yml 880   5400 0   0     73.8  61.9  5.3  120 0   0   
eca-rers2012/Problem13_label17.yml 940   5100 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label18.yml 920   6500 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label19.yml 880   5300 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label20.yml 910   5100 0   0     73.8  61.9  5.6  120 0   0   
eca-rers2012/Problem13_label21.yml 920   5400 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label22.yml 870   5200 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label23.yml 880   5200 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label24.yml 880   4400 0   0     73.8  61.9  6.0  120 0   0   
eca-rers2012/Problem13_label25.yml 870   5400 0   0     73.8  61.9  6.3  120 0   0   
eca-rers2012/Problem13_label26.yml 790   4000 0   0     73.7  61.7  5.6  120 0   0   
eca-rers2012/Problem13_label27.yml 870   5400 0   0     73.8  61.9  6.1  120 0   0   
eca-rers2012/Problem13_label28.yml 890   4500 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label29.yml 880   6200 0   0     73.8  61.9  5.9  120 0   0   
eca-rers2012/Problem13_label30.yml 880   5800 0   0     73.8  61.9  6.4  120 0   0   
eca-rers2012/Problem13_label31.yml 940   5700 0   0     73.8  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label32.yml 920   6100 0   0     73.8  61.9  5.9  120 0   0   
eca-rers2012/Problem13_label33.yml 930   5500 0   0     73.8  61.9  5.6  120 0   0   
eca-rers2012/Problem13_label34.yml 870   4900 0   0     73.8  61.9  5.1  120 0   0   
eca-rers2012/Problem13_label35.yml 920   5700 0   0     73.8  61.9  5.1  120 0   0   
eca-rers2012/Problem13_label36.yml 930   5800 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label37.yml 890   4800 0   0     73.8  61.9  6.4  120 0   0   
eca-rers2012/Problem13_label38.yml 940   5400 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label39.yml 890   5300 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label40.yml 860   5400 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label41.yml 880   4800 0   0     73.8  61.9  6.1  120 0   0   
eca-rers2012/Problem13_label42.yml 920   5700 0   0     73.8  61.9  6.2  120 0   0   
eca-rers2012/Problem13_label43.yml 880   5900 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label44.yml 920   5700 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label45.yml 870   5400 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label46.yml 920   5500 0   0     73.8  61.9  6.3  120 0   0   
eca-rers2012/Problem13_label47.yml 880   5900 0   0     73.8  61.9  6.1  120 0   0   
eca-rers2012/Problem13_label48.yml 860   5500 0   0     73.8  61.9  6.4  120 0   0   
eca-rers2012/Problem13_label49.yml 870   5000 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem13_label50.yml 960   5700 0   0     73.8  61.9  6.2  120 0   0   
eca-rers2012/Problem13_label51.yml 870   5200 0   0     73.8  61.9  5.8  120 0   0   
eca-rers2012/Problem13_label52.yml 930   5500 0   0     73.8  61.9  5.9  120 0   0   
eca-rers2012/Problem13_label53.yml 880   5400 0   0     73.9  61.9  5.4  120 0   0   
eca-rers2012/Problem13_label54.yml 900   5100 0   0     73.8  61.9  5.5  120 0   0   
eca-rers2012/Problem13_label55.yml 930   5700 0   0     73.8  61.9  5.6  120 0   0   
eca-rers2012/Problem13_label56.yml 880   4300 0   0     73.8  61.9  5.6  120 0   0   
eca-rers2012/Problem13_label57.yml 940   5400 0   0     73.8  61.9  5.2  120 0   0   
eca-rers2012/Problem13_label58.yml 920   5400 0   0     73.8  61.9  5.3  120 0   0   
eca-rers2012/Problem13_label59.yml 870   5300 0   0     73.8  61.9  5.7  120 0   0   
eca-rers2012/Problem15_label00.yml 920   2900 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label01.yml 900   3300 0   0     66.0  60.8  1.8  64 0   0   
eca-rers2012/Problem15_label02.yml 900   3200 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label03.yml 910   3500 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label04.yml 890   3500 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label05.yml 920   3200 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label06.yml 900   2800 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label07.yml 890   3500 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label08.yml 870   3300 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label09.yml 910   4000 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label10.yml 830   2300 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label11.yml 900   3300 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label12.yml 890   2900 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label13.yml 890   3100 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label14.yml 910   2900 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label15.yml 900   3600 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label16.yml 910   3000 0   0     66.0  60.8  1.8  64 0   0   
eca-rers2012/Problem15_label17.yml 930   2700 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label19.yml 870   2900 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label20.yml 900   2900 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label21.yml 870   2700 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label22.yml 900   2900 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label23.yml 910   2600 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label24.yml 870   3200 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label25.yml 880   2800 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label26.yml 910   3000 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label27.yml 910   3400 0   0     66.0  60.8  1.8  64 0   0   
eca-rers2012/Problem15_label28.yml 890   3200 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label29.yml 900   3200 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label30.yml 910   3400 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label31.yml 900   3200 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label32.yml 870   2900 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label33.yml 910   3200 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label34.yml 880   3000 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label35.yml 900   3100 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label36.yml 880   3100 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label37.yml 900   2900 0   0     66.0  60.8  2.4  64 0   0   
eca-rers2012/Problem15_label38.yml 910   3600 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label39.yml 900   3700 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label40.yml 900   3800 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label41.yml 910   2900 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label42.yml 890   3400 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label43.yml 890   4000 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label44.yml 900   3800 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label45.yml 890   2900 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label46.yml 900   3100 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label47.yml 900   3300 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label48.yml 890   3600 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label49.yml 890   3200 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label50.yml 870   3100 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label51.yml 900   3300 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label52.yml 910   3600 0   0     66.0  60.8  2.0  64 0   0   
eca-rers2012/Problem15_label53.yml 870   3300 0   0     66.0  60.8  1.9  64 0   0   
eca-rers2012/Problem15_label54.yml 870   3000 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label55.yml 900   2900 0   0     66.0  60.8  2.2  64 0   0   
eca-rers2012/Problem15_label56.yml 900   4500 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label57.yml 900   3300 0   0     66.0  60.8  2.1  64 0   0   
eca-rers2012/Problem15_label58.yml 880   3400 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem15_label59.yml 890   3800 0   0     66.0  60.8  2.3  64 0   0   
eca-rers2012/Problem16_label00.yml 960   4400 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label01.yml 960   3800 0   0     81.5  97.4  3.0  52 0   0   
eca-rers2012/Problem16_label02.yml 880   3000 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label03.yml 910   3500 0   0     81.5  97.4  2.9  52 0   0   
eca-rers2012/Problem16_label04.yml 940   3500 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label05.yml 960   3800 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label06.yml 960   4100 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label07.yml 960   4500 0   0     81.5  97.4  3.0  52 0   0   
eca-rers2012/Problem16_label08.yml 960   5400 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label09.yml 960   3900 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label10.yml 920   3700 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label11.yml 880   2900 0   0     81.5  97.4  2.8  52 0   0   
eca-rers2012/Problem16_label12.yml 870   3000 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label13.yml 910   3500 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label14.yml 960   3800 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label15.yml 880   3100 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label16.yml 960   4400 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label17.yml 900   3100 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label18.yml 920   3100 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label19.yml 960   3800 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label20.yml 960   4300 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label21.yml 880   3200 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label22.yml 900   3100 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label23.yml 960   4600 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label24.yml 930   3200 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label25.yml 880   3200 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label26.yml 950   3600 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label27.yml 890   3000 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label28.yml 900   3400 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label29.yml 870   3200 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label30.yml 880   2900 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label31.yml 900   3100 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label32.yml 940   4300 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label33.yml 940   3700 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label34.yml 910   3000 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label35.yml 960   4200 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label36.yml 960   5100 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label37.yml 960   4200 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label38.yml 960   4700 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label39.yml 880   3000 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label40.yml 960   4600 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label41.yml 900   3300 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label42.yml 960   4000 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label43.yml 880   2900 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label44.yml 880   2900 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label45.yml 960   4700 0   0     81.5  97.4  3.0  52 0   0   
eca-rers2012/Problem16_label46.yml 960   6100 0   0     81.5  97.4  2.8  52 0   0   
eca-rers2012/Problem16_label47.yml 920   3400 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label48.yml 960   4600 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label49.yml 870   3000 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label50.yml 880   3000 0   0     81.5  97.4  2.3  52 0   0   
eca-rers2012/Problem16_label51.yml 880   3100 0   0     81.5  97.4  2.7  52 0   0   
eca-rers2012/Problem16_label52.yml 900   3200 0   0     81.5  97.4  2.6  52 0   0   
eca-rers2012/Problem16_label53.yml 930   3500 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem16_label54.yml 890   3200 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label55.yml 960   4200 0   0     81.5  97.4  2.8  52 0   0   
eca-rers2012/Problem16_label56.yml 960   4400 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label57.yml 890   3000 0   0     81.5  97.4  2.8  52 0   0   
eca-rers2012/Problem16_label58.yml 920   3100 0   0     81.5  97.4  2.5  52 0   0   
eca-rers2012/Problem16_label59.yml 910   3400 0   0     81.5  97.4  2.4  52 0   0   
eca-rers2012/Problem17_label00.yml 780   3500 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label01.yml 690   3200 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label02.yml 660   3800 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label03.yml 700   3300 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label04.yml 650   4100 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label05.yml 670   3900 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label06.yml 670   3200 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label07.yml 750   3200 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label08.yml 670   3500 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label09.yml 680   3800 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label10.yml 690   3300 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label11.yml 670   3700 0   0     69.5  61.5  3.4  81 0   0   
eca-rers2012/Problem17_label12.yml 680   3700 0   0     69.5  61.5  3.2  81 0   0   
eca-rers2012/Problem17_label13.yml 660   3800 0   0     69.5  61.5  3.5  81 0   0   
eca-rers2012/Problem17_label14.yml 690   3400 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label15.yml 660   3000 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label16.yml 680   3200 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label17.yml 700   3700 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label18.yml 680   3200 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label19.yml 770   4000 0   0     69.5  61.5  3.4  81 0   0   
eca-rers2012/Problem17_label20.yml 720   3700 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label21.yml 680   3100 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label22.yml 770   3800 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label23.yml 680   3400 0   0     69.5  61.5  3.2  81 0   0   
eca-rers2012/Problem17_label24.yml 660   3600 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label25.yml 680   3400 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label26.yml 720   3800 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label27.yml 680   3400 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label28.yml 680   3500 0   0     69.5  61.5  2.6  81 0   0   
eca-rers2012/Problem17_label29.yml 660   3200 0   0     69.5  61.5  3.2  81 0   0   
eca-rers2012/Problem17_label30.yml 730   3400 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label31.yml 670   3700 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label32.yml 680   3400 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label33.yml 730   3200 0   0     69.5  61.5  3.3  81 0   0   
eca-rers2012/Problem17_label34.yml 690   3400 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label35.yml 670   3700 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label36.yml 720   3600 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label37.yml 680   3200 0   0     69.5  61.5  3.2  81 0   0   
eca-rers2012/Problem17_label38.yml 670   4000 0   0     69.5  61.5  2.5  81 0   0   
eca-rers2012/Problem17_label39.yml 720   3800 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label40.yml 670   3300 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label41.yml 720   3100 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label42.yml 670   3500 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label43.yml 670   3000 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label44.yml 650   3400 0   0     69.5  61.5  3.5  81 0   0   
eca-rers2012/Problem17_label45.yml 710   3800 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label46.yml 760   3800 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label47.yml 670   3900 0   0     69.5  61.5  3.0  81 0   0   
eca-rers2012/Problem17_label48.yml 670   3200 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label49.yml 670   3800 0   0     69.5  61.5  3.3  81 0   0   
eca-rers2012/Problem17_label50.yml 780   4000 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label51.yml 730   3800 0   0     69.5  61.5  2.6  81 0   0   
eca-rers2012/Problem17_label52.yml 680   3100 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label53.yml 720   3600 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label54.yml 670   3500 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label55.yml 730   3700 0   0     69.5  61.5  2.8  81 0   0   
eca-rers2012/Problem17_label56.yml 680   3400 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem17_label57.yml 670   3200 0   0     69.5  61.5  3.1  81 0   0   
eca-rers2012/Problem17_label58.yml 670   3400 0   0     69.5  61.5  2.7  81 0   0   
eca-rers2012/Problem17_label59.yml 670   3600 0   0     69.5  61.5  2.9  81 0   0   
eca-rers2012/Problem18_label00.yml 890   4300 0   0     91.7  98.9  5.7  77 0   0   
eca-rers2012/Problem18_label01.yml 940   4400 0   0     91.7  98.9  5.1  77 0   0   
eca-rers2012/Problem18_label02.yml 880   4200 0   0     91.7  98.9  5.6  77 0   0   
eca-rers2012/Problem18_label03.yml 890   4400 0   0     91.7  98.9  5.1  77 0   0   
eca-rers2012/Problem18_label04.yml 890   4300 0   0     91.7  98.9  4.8  77 0   0   
eca-rers2012/Problem18_label05.yml 900   4100 0   0     91.7  98.9  5.2  77 0   0   
eca-rers2012/Problem18_label06.yml 890   4000 0   0     91.7  98.9  6.2  77 0   0   
eca-rers2012/Problem18_label07.yml 890   4200 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label08.yml 910   3900 0   0     91.7  98.9  4.9  77 0   0   
eca-rers2012/Problem18_label09.yml 880   4300 0   0     91.7  98.9  4.5  77 0   0   
eca-rers2012/Problem18_label10.yml 890   4300 0   0     91.8  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label11.yml 910   3900 0   0     91.7  98.9  5.2  77 0   0   
eca-rers2012/Problem18_label12.yml 890   4100 0   0     91.7  98.9  4.4  77 0   0   
eca-rers2012/Problem18_label13.yml 930   4300 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label14.yml 960   5700 0   0     91.7  98.9  4.7  77 0   0   
eca-rers2012/Problem18_label15.yml 950   4100 0   0     91.7  98.9  4.9  77 0   0   
eca-rers2012/Problem18_label16.yml 880   4300 0   0     91.7  98.9  4.7  77 0   0   
eca-rers2012/Problem18_label17.yml 930   4700 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label18.yml 880   4100 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label19.yml 890   4300 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label20.yml 910   4400 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label21.yml 900   4200 0   0     91.7  98.9  5.7  77 0   0   
eca-rers2012/Problem18_label22.yml 960   5400 0   0     91.7  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label23.yml 930   3800 0   0     91.7  98.9  4.2  77 0   0   
eca-rers2012/Problem18_label24.yml 890   4100 0   0     91.7  98.9  4.7  77 0   0   
eca-rers2012/Problem18_label25.yml 930   3400 0   0     91.7  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label26.yml 890   4500 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label27.yml 900   3900 0   0     91.7  98.9  5.1  77 0   0   
eca-rers2012/Problem18_label28.yml 900   4100 0   0     91.7  98.9  5.2  77 0   0   
eca-rers2012/Problem18_label29.yml 900   4000 0   0     91.7  98.9  5.6  77 0   0   
eca-rers2012/Problem18_label30.yml 930   4400 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label31.yml 890   4400 0   0     91.7  98.9  5.8  77 0   0   
eca-rers2012/Problem18_label32.yml 890   4500 0   0     91.7  98.9  4.7  77 0   0   
eca-rers2012/Problem18_label33.yml 890   4200 0   0     91.7  98.9  6.1  77 0   0   
eca-rers2012/Problem18_label34.yml 900   3900 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label35.yml 900   4200 0   0     91.7  98.9  4.7  77 0   0   
eca-rers2012/Problem18_label36.yml 950   4100 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label37.yml 890   4000 0   0     91.7  98.9  5.4  77 0   0   
eca-rers2012/Problem18_label38.yml 900   4400 0   0     91.7  98.9  5.5  77 0   0   
eca-rers2012/Problem18_label39.yml 910   4200 0   0     91.7  98.9  6.0  77 0   0   
eca-rers2012/Problem18_label40.yml 890   4300 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label41.yml 910   3900 0   0     91.7  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label42.yml 920   3800 0   0     91.7  98.9  5.5  77 0   0   
eca-rers2012/Problem18_label43.yml 910   4400 0   0     91.7  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label44.yml 890   4100 0   0     91.7  98.9  4.8  77 0   0   
eca-rers2012/Problem18_label45.yml 900   4400 0   0     91.7  98.9  5.4  77 0   0   
eca-rers2012/Problem18_label46.yml 920   4100 0   0     91.7  98.9  5.6  77 0   0   
eca-rers2012/Problem18_label47.yml 930   4400 0   0     91.7  98.9  5.3  77 0   0   
eca-rers2012/Problem18_label48.yml 880   4300 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label49.yml 890   4500 0   0     91.7  98.9  5.1  77 0   0   
eca-rers2012/Problem18_label50.yml 910   4200 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label51.yml 900   4000 0   0     91.7  98.9  5.0  77 0   0   
eca-rers2012/Problem18_label52.yml 900   3900 0   0     91.7  98.9  4.4  77 0   0   
eca-rers2012/Problem18_label53.yml 930   3700 0   0     91.7  98.9  5.5  77 0   0   
eca-rers2012/Problem18_label54.yml 950   4100 0   0     91.7  98.9  5.1  77 0   0   
eca-rers2012/Problem18_label55.yml 910   4400 0   0     91.7  98.9  6.1  77 0   0   
eca-rers2012/Problem18_label56.yml 910   4000 0   0     91.7  98.9  4.9  77 0   0   
eca-rers2012/Problem18_label57.yml 890   4200 0   0     91.7  98.9  4.4  77 0   0   
eca-rers2012/Problem18_label58.yml 920   4000 0   0     91.7  98.9  4.6  77 0   0   
eca-rers2012/Problem18_label59.yml 880   4300 0   0     91.7  98.9  4.9  77 0   0   
eca-rers2012/Problem19_label00.yml 960   5900 0   0     69.9  58.4  8.1  160 0   0   
eca-rers2012/Problem19_label01.yml 960   5700 0   0     69.9  58.4  7.8  160 0   0   
eca-rers2012/Problem19_label02.yml 960   5600 0   0     69.9  58.4  7.9  160 0   0   
eca-rers2012/Problem19_label03.yml 960   5700 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label04.yml 960   6300 0   0     69.9  58.4  8.6  160 0   0   
eca-rers2012/Problem19_label05.yml 960   5300 0   0     69.9  58.4  7.8  160 0   0   
eca-rers2012/Problem19_label06.yml 960   6300 0   0     69.9  58.4  7.6  160 0   0   
eca-rers2012/Problem19_label07.yml 960   6000 0   0     69.9  58.4  7.6  160 0   0   
eca-rers2012/Problem19_label08.yml 960   6500 0   0     69.9  58.4  7.6  160 0   0   
eca-rers2012/Problem19_label09.yml 960   6800 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label10.yml 960   6500 0   0     69.9  58.4  8.4  160 0   0   
eca-rers2012/Problem19_label11.yml 960   6700 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label12.yml 960   5900 0   0     69.9  58.4  7.3  160 0   0   
eca-rers2012/Problem19_label13.yml 960   6100 0   0     69.9  58.3  7.5  160 0   0   
eca-rers2012/Problem19_label14.yml 960   7000 0   0     69.9  58.4  9.0  160 0   0   
eca-rers2012/Problem19_label15.yml 960   5300 0   0     69.9  58.4  8.2  160 0   0   
eca-rers2012/Problem19_label16.yml 960   6500 0   0     69.9  58.4  9.3  160 0   0   
eca-rers2012/Problem19_label17.yml 960   6500 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label18.yml 960   6800 0   0     69.9  58.4  9.2  160 0   0   
eca-rers2012/Problem19_label19.yml 960   6400 0   0     69.9  58.4  8.5  160 0   0   
eca-rers2012/Problem19_label20.yml 960   6000 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label21.yml 960   7300 0   0     69.9  58.3  8.9  160 0   0   
eca-rers2012/Problem19_label22.yml 960   6300 0   0     69.9  58.4  8.3  160 0   0   
eca-rers2012/Problem19_label23.yml 960   5500 0   0     69.9  58.4  8.0  160 0   0   
eca-rers2012/Problem19_label24.yml 960   4300 0   0     69.9  58.4  8.5  160 0   0   
eca-rers2012/Problem19_label25.yml 960   7300 0   0     69.9  58.3  8.3  160 0   0   
eca-rers2012/Problem19_label26.yml 960   6300 0   0     69.9  58.4  10    160 0   0   
eca-rers2012/Problem19_label27.yml 960   6400 0   0     69.9  58.4  9.0  160 0   0   
eca-rers2012/Problem19_label28.yml 960   5600 0   0     69.9  58.4  7.5  160 0   0   
eca-rers2012/Problem19_label29.yml 960   7300 0   0     69.8  58.3  7.9  160 0   0   
eca-rers2012/Problem19_label30.yml 960   7100 0   0     69.9  58.3  7.6  160 0   0   
eca-rers2012/Problem19_label31.yml 960   5300 0   0     69.9  58.4  9.2  160 0   0   
eca-rers2012/Problem19_label32.yml 960   6700 0   0     69.9  58.4  9.6  160 0   0   
eca-rers2012/Problem19_label33.yml 960   6800 0   0     69.9  58.4  8.1  160 0   0   
eca-rers2012/Problem19_label34.yml 960   5400 0   0     69.9  58.3  9.1  160 0   0   
eca-rers2012/Problem19_label35.yml 960   5900 0   0     69.9  58.4  7.8  160 0   0   
eca-rers2012/Problem19_label36.yml 960   6800 0   0     69.9  58.3  10    160 0   0   
eca-rers2012/Problem19_label37.yml 960   6500 0   0     69.9  58.2  7.3  160 0   0   
eca-rers2012/Problem19_label38.yml 960   5200 0   0     69.9  58.4  8.7  160 0   0   
eca-rers2012/Problem19_label39.yml 960   6200 0   0     69.9  58.4  9.6  160 0   0   
eca-rers2012/Problem19_label40.yml 960   6100 0   0     69.9  58.4  7.7  160 0   0   
eca-rers2012/Problem19_label41.yml 960   6300 0   0     69.9  58.4  8.8  160 0   0   
eca-rers2012/Problem19_label42.yml 960   5700 0   0     69.9  58.4  8.6  160 0   0   
eca-rers2012/Problem19_label43.yml 960   6400 0   0     69.9  58.3  8.7  160 0   0   
eca-rers2012/Problem19_label44.yml 960   6300 0   0     69.9  58.3  7.5  160 0   0   
eca-rers2012/Problem19_label45.yml 960   5800 0   0     69.9  58.4  8.6  160 0   0   
eca-rers2012/Problem19_label46.yml 960   5700 0   0     69.9  58.4  7.9  160 0   0   
eca-rers2012/Problem19_label47.yml 960   6300 0   0     69.9  58.3  7.4  160 0   0   
eca-rers2012/Problem19_label48.yml 960   7300 0   0     69.9  58.4  7.9  160 0   0   
eca-rers2012/Problem19_label49.yml 960   6400 0   0     69.9  58.4  8.0  160 0   0   
eca-rers2012/Problem19_label50.yml 960   6600 0   0     69.9  58.4  7.9  160 0   0   
eca-rers2012/Problem19_label51.yml 960   6700 0   0     69.9  58.4  7.5  160 0   0   
eca-rers2012/Problem19_label52.yml 960   6400 0   0     69.9  58.4  7.7  160 0   0   
eca-rers2012/Problem19_label53.yml 960   6600 0   0     69.9  58.3  8.5  160 0   0   
eca-rers2012/Problem19_label54.yml 960   5400 0   0     69.9  58.4  8.9  160 0   0   
eca-rers2012/Problem19_label55.yml 960   6800 0   0     69.9  58.4  8.4  160 0   0   
eca-rers2012/Problem19_label56.yml 960   5600 0   0     69.9  58.4  7.9  160 0   0   
eca-rers2012/Problem19_label57.yml 960   5900 0   0     69.9  58.3  7.4  160 0   0   
eca-rers2012/Problem19_label58.yml 960   6100 0   0     69.9  58.2  8.7  160 0   0   
eca-rers2012/Problem19_label59.yml 960   4400 0   0     69.9  58.4  8.1  160 0   0   
eca-programs/Problem101_label00.yml 960   7500 0   0     54.8  20.1  61    770 0   0   
eca-programs/Problem101_label01.yml 960   7600 0   0     52.7  19.3  58    770 0   0   
eca-programs/Problem101_label02.yml 960   6300 0   0     49.4  17.9  54    770 0   0   
eca-programs/Problem101_label03.yml 960   7600 0   0     54.7  20.0  61    770 0   0   
eca-programs/Problem101_label04.yml 960   7000 0   0     52.6  19.4  58    770 0   0   
eca-programs/Problem101_label05.yml 960   8000 0   0     50.1  18.1  52    770 0   0   
eca-programs/Problem101_label06.yml 960   7700 0   0     54.4  19.9  54    770 0   0   
eca-programs/Problem101_label07.yml 960   6400 0   0     53.8  19.6  63    770 0   0   
eca-programs/Problem101_label08.yml 960   7500 0   0     53.8  19.7  56    770 0   0   
eca-programs/Problem101_label09.yml 960   8200 0   0     52.4  19.4  54    770 0   0   
eca-programs/Problem101_label10.yml 960   7900 0   0     52.8  19.3  56    770 0   0   
eca-programs/Problem101_label11.yml 960   7100 0   0     52.5  19.3  63    770 0   0   
eca-programs/Problem101_label12.yml 960   6300 0   0     52.4  19.5  58    770 0   0   
eca-programs/Problem101_label13.yml 960   7500 0   0     51.2  18.8  52    770 0   0   
eca-programs/Problem101_label14.yml 960   7200 0   0     51.8  18.8  56    770 0   0   
eca-programs/Problem101_label15.yml 960   7300 0   0     51.3  18.9  53    770 0   0   
eca-programs/Problem101_label16.yml 960   6400 0   0     52.8  19.3  55    770 0   0   
eca-programs/Problem101_label17.yml 960   7500 0   0     53.2  19.6  58    770 0   0   
eca-programs/Problem101_label18.yml 960   7700 0   0     51.2  18.7  53    770 0   0   
eca-programs/Problem101_label19.yml 960   7100 0   0     50.1  18.2  50    770 0   0   
eca-programs/Problem101_label20.yml 960   6800 0   0     50.4  18.4  54    770 0   0   
eca-programs/Problem101_label21.yml 960   7400 0   0     51.5  18.8  52    770 0   0   
eca-programs/Problem101_label22.yml 960   7100 0   0     52.2  18.9  55    770 0   0   
eca-programs/Problem101_label23.yml 960   7000 0   0     51.9  19.1  55    770 0   0   
eca-programs/Problem102_label00.yml 960   8900 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label01.yml 960   8000 0   0     7.05 10.9  34    1600 0   0   
eca-programs/Problem102_label02.yml 960   7800 0   0     7.07 10.9  34    1600 0   0   
eca-programs/Problem102_label03.yml 960   9100 0   0     7.05 10.9  30    1600 0   0   
eca-programs/Problem102_label04.yml 960   9100 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label05.yml 960   8900 0   0     7.07 10.9  34    1600 0   0   
eca-programs/Problem102_label06.yml 960   8200 0   0     7.10 10.9  30    1600 0   0   
eca-programs/Problem102_label07.yml 960   8500 0   0     7.05 10.9  29    1600 0   0   
eca-programs/Problem102_label08.yml 960   8000 0   0     7.05 10.9  34    1600 0   0   
eca-programs/Problem102_label09.yml 960   8900 0   0     7.05 10.9  34    1600 0   0   
eca-programs/Problem102_label10.yml 960   9000 0   0     7.05 10.9  30    1600 0   0   
eca-programs/Problem102_label11.yml 960   8000 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label12.yml 960   8700 0   0     7.05 10.9  30    1600 0   0   
eca-programs/Problem102_label13.yml 960   9100 0   0     7.05 10.9  29    1600 0   0   
eca-programs/Problem102_label14.yml 960   8900 0   0     7.05 10.9  34    1600 0   0   
eca-programs/Problem102_label15.yml 960   8400 0   0     7.05 10.9  33    1600 0   0   
eca-programs/Problem102_label16.yml 960   7800 0   0     7.05 10.9  30    1600 0   0   
eca-programs/Problem102_label17.yml 960   8700 0   0     7.05 10.9  33    1600 0   0   
eca-programs/Problem102_label18.yml 960   9100 0   0     7.07 10.9  31    1600 0   0   
eca-programs/Problem102_label19.yml 960   9000 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label20.yml 960   9000 0   0     7.07 10.9  31    1600 0   0   
eca-programs/Problem102_label21.yml 960   8800 0   0     7.05 10.9  32    1600 0   0   
eca-programs/Problem102_label22.yml 960   8900 0   0     7.10 10.9  32    1600 0   0   
eca-programs/Problem102_label23.yml 960   8400 0   0     7.10 10.9  32    1600 0   0   
eca-programs/Problem102_label24.yml 960   8300 0   0     7.05 10.9  28    1600 0   0   
eca-programs/Problem102_label25.yml 960   7900 0   0     7.07 10.9  28    1600 0   0   
eca-programs/Problem102_label26.yml 960   8900 0   0     7.05 10.9  32    1600 0   0   
eca-programs/Problem102_label27.yml 960   8800 0   0     7.07 10.9  31    1600 0   0   
eca-programs/Problem102_label28.yml 960   8500 0   0     7.05 10.9  28    1600 0   0   
eca-programs/Problem102_label29.yml 960   8100 0   0     7.05 10.9  30    1600 0   0   
eca-programs/Problem102_label30.yml 960   8800 0   0     7.10 10.9  32    1600 0   0   
eca-programs/Problem102_label31.yml 960   8000 0   0     7.10 10.9  29    1600 0   0   
eca-programs/Problem102_label32.yml 960   9000 0   0     7.13 10.9  31    1600 0   0   
eca-programs/Problem102_label33.yml 960   9000 0   0     7.10 10.9  32    1600 0   0   
eca-programs/Problem102_label34.yml 960   8200 0   0     7.10 10.9  29    1600 0   0   
eca-programs/Problem102_label35.yml 960   8400 0   0     7.13 10.9  33    1600 0   0   
eca-programs/Problem102_label36.yml 960   9100 0   0     7.10 10.9  31    1600 0   0   
eca-programs/Problem102_label37.yml 960   8000 0   0     7.10 10.9  31    1600 0   0   
eca-programs/Problem102_label38.yml 960   9000 0   0     7.10 10.9  34    1600 0   0   
eca-programs/Problem102_label39.yml 960   9000 0   0     7.05 10.9  33    1600 0   0   
eca-programs/Problem102_label40.yml 960   8800 0   0     7.05 10.9  33    1600 0   0   
eca-programs/Problem102_label41.yml 960   8500 0   0     7.07 10.9  32    1600 0   0   
eca-programs/Problem102_label42.yml 960   9100 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label43.yml 960   8300 0   0     7.07 10.9  29    1600 0   0   
eca-programs/Problem102_label44.yml 960   8500 0   0     7.10 10.9  31    1600 0   0   
eca-programs/Problem102_label45.yml 960   9000 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label46.yml 960   9000 0   0     7.05 10.9  33    1600 0   0   
eca-programs/Problem102_label47.yml 960   8700 0   0     7.10 10.9  30    1600 0   0   
eca-programs/Problem102_label48.yml 960   8900 0   0     7.07 10.9  34    1600 0   0   
eca-programs/Problem102_label49.yml 960   9100 0   0     7.07 10.9  30    1600 0   0   
eca-programs/Problem102_label50.yml 960   8500 0   0     7.07 10.9  30    1600 0   0   
eca-programs/Problem102_label51.yml 960   9100 0   0     7.05 10.9  31    1600 0   0   
eca-programs/Problem102_label52.yml 960   8900 0   0     7.07 10.9  31    1600 0   0   
eca-programs/Problem102_label53.yml 960   8400 0   0     7.05 10.9  28    1600 0   0   
eca-programs/Problem102_label54.yml 960   9200 0   0     7.07 10.9  27    1600 0   0   
eca-programs/Problem102_label55.yml 960   8900 0   0     7.05 10.9  35    1600 0   0   
eca-programs/Problem102_label56.yml 960   9200 0   0     7.10 10.9  30    1600 0   0   
eca-programs/Problem102_label57.yml 960   8500 0   0     7.05 10.9  29    1600 0   0   
eca-programs/Problem102_label58.yml 960   8700 0   0     7.05 10.9  29    1600 0   0   
eca-programs/Problem102_label59.yml 960   9000 0   0     7.07 10.9  30    1600 0   0   
eca-programs/Problem103_label32.yml 960   8400 0   0     8.44 9.23 33    1800 0   0   
eca-programs/Problem103_label35.yml 960   9400 0   0     8.44 9.23 35    1800 0   0   
eca-programs/Problem103_label40.yml 960   8800 0   0     2.18 2.33 38    1800 0   0   
eca-programs/Problem103_label41.yml 960   8400 0   0     2.18 2.33 38    1800 0   0   
eca-programs/Problem103_label42.yml 960   9000 0   0     2.18 2.33 35    1800 0   0   
eca-programs/Problem103_label43.yml 960   8200 0   0     2.18 2.33 34    1800 0   0   
eca-programs/Problem103_label44.yml 960   8800 0   0     2.18 2.33 36    1800 0   0   
eca-programs/Problem103_label45.yml 960   9100 0   0     2.18 2.33 34    1800 0   0   
eca-programs/Problem103_label46.yml 960   8800 0   0     2.18 2.33 37    1800 0   0   
eca-programs/Problem103_label47.yml 960   8900 0   0     2.18 2.33 35    1800 0   0   
eca-programs/Problem103_label48.yml 960   9200 0   0     2.18 2.33 35    1800 0   0   
eca-programs/Problem103_label49.yml 960   9000 0   0     2.18 2.33 33    1800 0   0   
eca-programs/Problem103_label50.yml 960   8900 0   0     8.44 9.23 36    1800 0   0   
eca-programs/Problem103_label51.yml 960   8700 0   0     8.44 9.23 36    1800 0   0   
eca-programs/Problem103_label52.yml 960   9100 0   0     8.44 9.23 36    1800 0   0   
eca-programs/Problem103_label53.yml 960   8900 0   0     8.44 9.23 37    1800 0   0   
eca-programs/Problem103_label54.yml 960   8700 0   0     8.44 9.23 34    1800 0   0   
eca-programs/Problem103_label55.yml 960   8400 0   0     8.44 9.23 34    1800 0   0   
eca-programs/Problem103_label56.yml 960   8900 0   0     8.44 9.23 35    1800 0   0   
eca-programs/Problem103_label57.yml 960   9200 0   0     8.44 9.23 35    1800 0   0   
eca-programs/Problem103_label58.yml 960   8700 0   0     8.44 9.23 34    1800 0   0   
eca-programs/Problem103_label59.yml 960   8600 0   0     8.44 9.23 34    1800 0   0   
floats-cdfpl/newton_1_1.yml 610   360 0   0     83.3  90.9  .14 17 0   0   
floats-cdfpl/newton_1_2.yml 610   410 0   0     83.3  90.9  .15 17 0   0   
floats-cdfpl/newton_1_3.yml 610   420 0   0     83.3  90.9  .14 16 0   0   
floats-cdfpl/newton_1_4.yml 100   280 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_1_5.yml 86   310 0   0     100    100    .13 17 0   0   
floats-cdfpl/newton_1_6.yml 40   310 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_1_7.yml 72   300 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_1_8.yml 27   280 0   0     100    100    .14 16 0   0   
floats-cdfpl/newton_2_1.yml 610   410 0   0     83.3  91.7  .15 16 0   0   
floats-cdfpl/newton_2_2.yml 610   480 0   0     83.3  91.7  .15 17 0   0   
floats-cdfpl/newton_2_3.yml 610   430 0   0     83.3  91.7  .15 16 0   0   
floats-cdfpl/newton_2_4.yml 610   430 0   0     83.3  91.7  .13 17 0   0   
floats-cdfpl/newton_2_5.yml 610   480 0   0     83.3  91.7  .15 16 0   0   
floats-cdfpl/newton_2_6.yml 63   390 0   0     100    100    .16 16 0   0   
floats-cdfpl/newton_2_7.yml 110   400 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_2_8.yml 56   400 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_3_1.yml 610   560 0   0     83.3  92.3  .14 17 0   0   
floats-cdfpl/newton_3_2.yml 610   550 0   0     83.3  92.3  .14 16 0   0   
floats-cdfpl/newton_3_3.yml 610   560 0   0     83.3  92.3  .14 16 0   0   
floats-cdfpl/newton_3_4.yml 610   590 0   0     83.3  92.3  .16 16 0   0   
floats-cdfpl/newton_3_5.yml 610   570 0   0     83.3  92.3  .17 17 0   0   
floats-cdfpl/newton_3_6.yml 610   530 0   0     83.3  92.3  .15 16 0   0   
floats-cdfpl/newton_3_7.yml 270   510 0   0     100    100    .13 16 0   0   
floats-cdfpl/newton_3_8.yml 52   530 0   0     100    100    .13 16 0   0   
floats-cdfpl/sine_1.yml 160   290 0   0     100    100    .12 16 0   0   
floats-cdfpl/sine_2.yml 610   410 0   0     87.5  100    .14 16 0   0   
floats-cdfpl/sine_3.yml 380   400 0   0     100    100    .14 16 0   0   
floats-cdfpl/sine_4.yml 610   420 0   0     75.0  87.5  .14 17 0   0   
floats-cdfpl/sine_5.yml 610   420 0   0     75.0  87.5  .13 17 0   0   
floats-cdfpl/sine_6.yml 610   480 0   0     75.0  87.5  .13 16 0   0   
floats-cdfpl/sine_7.yml 610   420 0   0     75.0  87.5  .14 16 0   0   
floats-cdfpl/sine_8.yml 610   420 0   0     75.0  87.5  .14 16 0   0   
floats-cdfpl/square_1.yml 50   260 0   0     87.5  100    .14 16 0   0   
floats-cdfpl/square_2.yml 94   280 0   0     87.5  100    .13 17 0   0   
floats-cdfpl/square_3.yml 120   280 0   0     87.5  100    .14 16 0   0   
floats-cdfpl/square_4.yml 610   400 0   0     75.0  88.9  .14 17 0   0   
floats-cdfpl/square_5.yml 610   380 0   0     75.0  88.9  .16 16 0   0   
floats-cdfpl/square_6.yml 610   430 0   0     75.0  88.9  .15 16 0   0   
floats-cdfpl/square_7.yml 580   430 0   0     75.0  88.9  .14 16 0   0   
floats-cdfpl/square_8.yml 88   320 0   0     75.0  88.9  .14 17 0   0   
floats-cbmc-regression/float-no-simp2.yml 63   410 0   .36  50.0  100    .18 16 0   .36
floats-cbmc-regression/float-to-double1.yml 32   970 0   0     16.7  100    .20 17 0   0   
floats-cbmc-regression/float12.yml 29   720 0   0     75.0  100    .13 17 0   0   
floats-cbmc-regression/float19.yml 34   860 0   .070 25.0  87.5  .17 17 0   0   
floats-cbmc-regression/float20.yml 16   240 0   0     50.0  100    .14 16 0   0   
floats-cbmc-regression/float3.yml 12   210 0   0     87.5  100    .14 17 0   0   
floats-cbmc-regression/float4.yml 94   490 0   .070 50.0  100    .19 17 0   0   
floats-cbmc-regression/float5.yml 12   190 0   0     83.3  100    .16 16 0   0   
floats-cbmc-regression/float6.yml 18   350 0   0     56.2  100    .22 16 0   0   
floats-cbmc-regression/float8.yml 36   750 0   .36  50.0  100    .15 16 0   0   
float-benchs/arctan_Pade.yml 510   800 0   0     78.6  100    .16 17 0   0   
float-benchs/bary_diverge.yml 660   900 0   0     75.0  96.4  .50 45 0   0   
float-benchs/cast_float_ptr.yml 13   220 0   0     50.0  87.5  .17 16 0   0   
float-benchs/cast_float_union.yml 30   660 0   0     50.0  83.3  .16 16 0   0   
float-benchs/cast_union_loose.yml 15   240 0   0     70.0  100    .17 16 0   0   
float-benchs/cast_union_tight.yml 11   190 0   0     50.0  100    .13 16 0   0   
float-benchs/cos_polynomial.yml 610   810 0   0     75.0  95.2  .15 16 0   0   
float-benchs/divmul_buf_diverge.yml 630   3500 0   0     50.0  81.2  .17 16 0   0   
float-benchs/divmul_diverge.yml 630   3200 0   0     50.0  76.9  .16 17 0   0   
float-benchs/exp_loop.yml 370   1400 0   0     79.2  97.3  .17 17 0   0   
float-benchs/feedback_diverge.yml 630   3300 0   0     50.0  80.0  .19 17 0   0   
float-benchs/filter1.c.p+cfa-reducer.yml 650   3100 0   0     75.0  82.5  .16 16 0   0   
float-benchs/filter1.c.v+lhb-reducer.yml 660   3300 0   0     71.9  80.0  .20 16 0   0   
float-benchs/filter1.c.v+nlh-reducer.yml 650   3400 0   0     71.9  79.8  .20 16 0   0   
float-benchs/filter1.yml 640   2500 0   0     71.4  92.3  .15 17 0   0   
float-benchs/filter2.yml 640   570 0   0     80.0  94.4  .38 36 0   0   
float-benchs/filter2_alt.yml 640   910 0   0     75.0  100    .42 44 0   0   
float-benchs/filter2_reinit.yml 690   3200 0   0     81.8  95.7  .21 17 0   0   
float-benchs/filter2_set.yml 450   710 0   0     90.0  96.4  .27 16 0   0   
float-benchs/filter_iir.yml 850   1300 0   0     70.0  100    .35 43 0   0   
float-benchs/float_int_inv_square.yml 6.1 200 0   0     100    100    .13 16 0   0   
float-benchs/image_filter.yml 48   1200 0   0     3.26 81.5  .15 18 0   0   
float-benchs/interpolation.c.p+cfa-reducer.yml 350   970 0   0     75.0  81.1  .18 16 0   0   
float-benchs/interpolation.c.v+cfa-reducer.yml 350   1000 0   0     68.8  77.1  .15 17 0   0   
float-benchs/interpolation.c.v+nlh-reducer.yml 350   1000 0   0     71.4  78.0  .16 16 0   0   
float-benchs/interpolation.yml 340   980 0   0     71.4  100    .15 17 0   0   
float-benchs/interpolation2.c.p+cfa-reducer.yml 340   890 0   0     75.0  82.0  .15 17 0   0   
float-benchs/interpolation2.c.v+cfa-reducer.yml 340   930 0   0     68.8  78.4  .15 16 0   0   
float-benchs/interpolation2.c.v+nlh-reducer.yml 350   950 0   0     71.4  78.8  .17 17 0   0   
float-benchs/interpolation2.yml 350   850 0   0     71.4  100    .15 16 0   0   
float-benchs/inv_Newton-1.yml 340   820 0   0     81.2  100    .14 16 0   0   
float-benchs/inv_Newton-2.yml 350   760 0   0     68.8  95.0  .17 17 0   0   
float-benchs/inv_Newton.c.p+cfa-reducer.yml 360   900 0   0     72.2  88.2  .17 16 0   0   
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml 46   350 0   0     66.7  78.8  .15 17 0   0   
float-benchs/inv_sqrt_Quake.yml 130   1300 0   0     70.0  100    .15 16 0   0   
float-benchs/inv_square-1.yml 5.0 190 0   0     100    100    .13 17 0   0   
float-benchs/inv_square-2.yml 30   610 0   0     90.0  100    .18 16 0   0   
float-benchs/inv_square_int.yml 29   850 0   0     83.3  100    .17 16 0   0   
float-benchs/nan_double.yml 10   180 0   0     50.0  100    .16 16 0   0   
float-benchs/nan_double_range.yml 29   770 0   0     83.3  100    .15 16 0   0   
float-benchs/nan_float.yml 9.8 190 0   0     50.0  100    .13 16 0   0   
float-benchs/nan_float_range.yml 29   780 0   0     50.0  100    .17 16 0   0   
float-benchs/rlim_exit.yml 630   980 0   0     65.0  80.0  .17 17 0   0   
float-benchs/rlim_invariant.c.p+cfa-reducer.yml 650   960 0   0     66.7  75.5  .51 45 0   0   
float-benchs/rlim_invariant.c.v+lhb-reducer.yml 660   980 0   0     66.7  76.0  .27 17 0   0   
float-benchs/rlim_invariant.c.v+nlh-reducer.yml 660   980 0   0     66.7  73.0  .21 16 0   0   
float-benchs/rlim_invariant.yml 660   1700 0   0     80.0  93.3  .17 17 0   0   
float-benchs/sin_interpolated_bigrange_loose.yml 620   990 0   0     81.2  100    .16 17 0   0   
float-benchs/sin_interpolated_bigrange_tight.yml 620   900 0   0     81.2  100    .15 16 0   0   
float-benchs/sin_interpolated_index-1.yml 7.8 240 0   0     93.8  100    .15 17 0   0   
float-benchs/sin_interpolated_index-2.yml 630   1200 0   0     81.2  100    .16 17 0   0   
float-benchs/sin_interpolated_negation.yml 640   1100 0   0     66.7  95.8  .15 17 0   0   
float-benchs/sin_interpolated_smallrange.yml 360   1100 0   0     61.1  83.3  .18 16 0   0   
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml 640   2200 0   0     65.0  82.3  .18 17 0   0   
float-benchs/sqrt_Householder_interval.yml 610   1000 0   0     68.2  100    .15 17 0   0   
float-benchs/sqrt_Householder_pseudoconstant.yml 620   760 0   0     62.5  96.2  .17 16 0   0   
float-benchs/sqrt_Newton_pseudoconstant.yml 620   740 0   0     62.5  96.2  .15 17 0   0   
float-benchs/sqrt_biNewton_pseudoconstant.yml 620   770 0   0     62.5  96.3  .15 16 0   0   
float-benchs/sqrt_poly.yml 180   1300 0   0     75.0  100    .15 17 0   0   
float-benchs/sqrt_poly2.yml 210   520 0   0     91.7  100    .16 16 0   0   
float-benchs/zonotope_3.c.p+cfa-reducer.yml 630   960 0   0     50.0  76.9  .15 16 0   0   
float-benchs/zonotope_3.c.v+lhb-reducer.yml 660   1300 0   0     70.9  89.5  .34 17 0   0   
float-benchs/zonotope_3.yml 640   1300 0   0     41.7  80.0  .14 16 0   0   
float-benchs/zonotope_loose.c.v+cfa-reducer.yml 39   380 0   0     71.4  76.7  .14 16 0   0   
float-benchs/zonotope_loose.yml 140   1300 0   0     75.0  100    .15 16 0   0   
float-benchs/zonotope_tight.yml 140   1300 0   0     75.0  100    .15 17 0   0   
float-newlib/double_req_bl_0281.yml 220   830 0   0     4.55 2.84 .15 17 0   0   
float-newlib/double_req_bl_0320.yml 270   1200 0   0     3.70 5.48 .18 18 0   0   
float-newlib/double_req_bl_0460.yml 190   1100 0   0     10.9  11.5  .15 17 0   0   
float-newlib/double_req_bl_0660a.yml 180   1500 0   0     10.8  19.4  .16 17 0   0   
float-newlib/double_req_bl_0660b.yml 150   1600 0   0     10.8  19.4  .16 17 0   0   
float-newlib/double_req_bl_0661a.yml 470   1500 0   0     18.4  29.7  .17 17 0   0   
float-newlib/double_req_bl_0661b.yml 530   1400 0   0     18.4  29.7  .16 17 0   0   
float-newlib/double_req_bl_0662a.yml 170   1600 0   0     12.2  18.6  .15 17 0   0   
float-newlib/double_req_bl_0662b.yml 170   1800 0   0     12.2  18.6  .15 17 0   0   
float-newlib/double_req_bl_0663a.yml 190   1600 0   0     12.2  18.6  .18 17 0   0   
float-newlib/double_req_bl_0663b.yml 150   1600 0   0     12.2  18.6  .17 17 0   0   
float-newlib/double_req_bl_0670.yml 150   1100 0   0     2.63 4.80 .16 17 0   0   
float-newlib/double_req_bl_0682a.yml 200   1300 0   0     17.9  28.7  .16 17 0   0   
float-newlib/double_req_bl_0682b.yml 200   1300 0   0     17.9  28.7  .16 17 0   0   
float-newlib/double_req_bl_0683a.yml 180   1400 0   0     18.8  30.7  .18 17 0   0   
float-newlib/double_req_bl_0683b.yml 170   1400 0   0     18.8  30.7  .19 17 0   0   
float-newlib/double_req_bl_0684a.yml 340   1400 0   0     26.3  36.0  .19 16 0   0   
float-newlib/double_req_bl_0684b.yml 270   1500 0   0     26.3  36.0  .19 17 0   0   
float-newlib/double_req_bl_0832.yml 170   830 0   0     26.7  30.4  .17 16 0   0   
float-newlib/double_req_bl_0870a.yml 61   1300 0   0     5.49 6.89 .21 18 0   0   
float-newlib/double_req_bl_0870b.yml 140   1200 0   0     3.80 6.29 .23 17 0   0   
float-newlib/double_req_bl_0872a.yml 150   1700 0   0     1.11 5.12 .16 17 0   0   
float-newlib/double_req_bl_0872b.yml 140   1800 0   0     1.11 5.12 .16 17 0   0   
float-newlib/double_req_bl_0874.yml 150   1100 0   0     9.34 12.6  .18 18 0   0   
float-newlib/double_req_bl_0876.yml 160   1200 0   0     9.78 11.3  .19 18 0   0   
float-newlib/double_req_bl_0882.yml 150   1200 0   0     12.5  13.7  .19 17 0   0   
float-newlib/double_req_bl_0883.yml 260   1300 0   0     14.3  17.3  .21 18 0   0   
float-newlib/double_req_bl_0920a.yml 150   960 0   0     25.0  27.0  .15 16 0   0   
float-newlib/double_req_bl_0970a.yml 140   830 0   0     19.4  22.0  .16 17 0   0   
float-newlib/double_req_bl_1121a.yml 130   980 0   0     3.23 18.8  .14 16 0   0   
float-newlib/double_req_bl_1121b.yml 140   980 0   0     3.23 18.8  .14 17 0   0   
float-newlib/double_req_bl_1122a.yml 140   830 0   0     6.45 18.8  .14 17 0   0   
float-newlib/double_req_bl_1122b.yml 140   840 0   0     6.45 18.8  .17 17 0   0   
float-newlib/double_req_bl_1130a.yml 140   850 0   0     19.1  24.5  .19 17 0   0   
float-newlib/double_req_bl_1131a.yml 140   770 0   0     12.5  24.5  .17 17 0   0   
float-newlib/double_req_bl_1131b.yml 140   780 0   0     12.5  24.8  .17 16 0   0   
float-newlib/double_req_bl_1211a.yml 130   1200 0   0     31.2  49.2  .13 17 0   0   
float-newlib/double_req_bl_1211b.yml 130   1200 0   0     31.2  49.2  .14 16 0   0   
float-newlib/double_req_bl_1231b.yml 13   210 0   0     65.0  84.4  .17 17 0   0   
float-newlib/double_req_bl_1251b.yml 13   210 0   0     65.0  84.4  .18 16 0   0   
float-newlib/double_req_bl_1300.yml 30   680 0   0     66.7  95.0  .15 17 0   0   
float-newlib/float_req_bl_0281.yml 150   760 0   0     16.7  13.6  .14 16 0   0   
float-newlib/float_req_bl_0460.yml 170   730 0   0     17.5  13.7  .16 16 0   0   
float-newlib/float_req_bl_0660a.yml 150   1000 0   0     12.5  17.9  .16 17 0   0   
float-newlib/float_req_bl_0660b.yml 150   1600 0   0     11.4  17.9  .17 17 0   0   
float-newlib/float_req_bl_0661a.yml 280   1500 0   0     18.6  26.5  .21 17 0   0   
float-newlib/float_req_bl_0661b.yml 290   1400 0   0     18.6  26.5  .16 17 0   0   
float-newlib/float_req_bl_0662a.yml 140   1700 0   0     12.9  17.1  .15 17 0   0   
float-newlib/float_req_bl_0662b.yml 120   1900 0   0     12.9  17.1  .16 16 0   0   
float-newlib/float_req_bl_0663a.yml 120   1700 0   0     12.9  17.1  .18 17 0   0   
float-newlib/float_req_bl_0663b.yml 120   1600 0   0     12.9  17.1  .19 16 0   0   
float-newlib/float_req_bl_0670.yml 140   710 0   0     2.78 5.08 .15 17 0   0   
float-newlib/float_req_bl_0682a.yml 150   1500 0   0     16.7  23.8  .18 17 0   0   
float-newlib/float_req_bl_0682b.yml 190   1600 0   0     16.7  23.8  .17 17 0   0   
float-newlib/float_req_bl_0683a.yml 190   1800 0   0     17.6  26.2  .17 17 0   0   
float-newlib/float_req_bl_0683b.yml 150   1600 0   0     17.6  26.2  .20 17 0   0   
float-newlib/float_req_bl_0684a.yml 250   1500 0   0     22.9  30.3  .20 17 0   0   
float-newlib/float_req_bl_0684b.yml 250   1600 0   0     22.9  30.3  .19 17 0   0   
float-newlib/float_req_bl_0710.yml 130   710 0   0     23.1  29.4  .14 16 0   0   
float-newlib/float_req_bl_0870a.yml 34   780 0   0     5.36 6.27 .22 17 0   0   
float-newlib/float_req_bl_0870b.yml 140   1800 0   0     3.57 5.67 .17 17 0   0   
float-newlib/float_req_bl_0872a.yml 16   220 0   0     1.20 4.50 .16 17 0   0   
float-newlib/float_req_bl_0872b.yml 15   210 0   0     1.20 4.50 .17 17 0   0   
float-newlib/float_req_bl_0874.yml 160   830 0   0     6.55 9.73 .20 17 0   0   
float-newlib/float_req_bl_0875.yml 140   1000 0   0     8.24 10.1  .18 17 0   0   
float-newlib/float_req_bl_0876.yml 140   840 0   0     7.06 9.47 .20 17 0   0   
float-newlib/float_req_bl_0877.yml 140   940 0   0     7.74 10.2  .22 17 0   0   
float-newlib/float_req_bl_0880.yml 500   1300 0   0     30.0  30.7  .22 18 0   0   
float-newlib/float_req_bl_0881.yml 490   1200 0   0     30.5  30.7  .26 18 0   0   
float-newlib/float_req_bl_0883.yml 250   1600 0   0     11.9  14.8  .21 17 0   0   
float-newlib/float_req_bl_0920a.yml 130   910 0   0     21.4  27.1  .15 17 0   0   
float-newlib/float_req_bl_0970a.yml 140   770 0   0     16.7  21.6  .16 17 0   0   
float-newlib/float_req_bl_1121a.yml 130   940 0   0     5.26 26.6  .13 17 0   0   
float-newlib/float_req_bl_1121b.yml 130   1100 0   0     5.26 26.6  .13 17 0   0   
float-newlib/float_req_bl_1122a.yml 130   750 0   0     10.5  26.6  .14 16 0   0   
float-newlib/float_req_bl_1122b.yml 130   870 0   0     10.5  26.6  .16 17 0   0   
float-newlib/float_req_bl_1130a.yml 130   850 0   0     22.7  32.4  .17 16 0   0   
float-newlib/float_req_bl_1130b.yml 130   980 0   0     22.7  32.4  .15 17 0   0   
float-newlib/float_req_bl_1131a.yml 130   1000 0   0     15.0  33.3  .15 17 0   0   
float-newlib/float_req_bl_1131b.yml 130   970 0   0     15.0  33.3  .16 17 0   0   
float-newlib/float_req_bl_1211a.yml 130   1500 0   0     33.3  61.9  .15 16 0   0   
float-newlib/float_req_bl_1211b.yml 130   1300 0   0     33.3  61.9  .14 16 0   0   
float-newlib/float_req_bl_1231.yml 17   280 0   0     6.00 19.4  .19 16 0   0   
float-newlib/float_req_bl_1251.yml 17   280 0   0     6.00 21.9  .19 17 0   0   
float-newlib/float_req_bl_1270a.yml 150   990 0   0     17.4  28.1  .18 16 0   0   
float-newlib/float_req_bl_1270b.yml 160   970 0   0     17.4  28.1  .23 16 0   0   
float-newlib/float_req_bl_1270c.yml 150   990 0   0     17.4  30.5  .18 16 0   0   
float-newlib/float_req_bl_1270d.yml 160   1100 0   0     17.4  30.5  .18 16 0   0   
float-newlib/float_req_bl_1271a.yml 150   950 0   0     18.8  28.5  .17 16 0   0   
float-newlib/float_req_bl_1271b.yml 150   800 0   0     18.8  30.8  .18 17 0   0   
float-newlib/float_req_bl_1381.yml 30   960 0   0     50.0  93.8  .13 16 0   0   
loop-floats-scientific-comp/loop1-1.yml 630   570 0   0     75.0  100    .14 16 0   0   
loop-floats-scientific-comp/loop1-2.yml 5.8 220 0   0     100    100    .12 16 0   0   
loop-floats-scientific-comp/loop2-1.yml 7.8 230 0   0     90.0  100    .14 17 0   0   
loop-floats-scientific-comp/loop2-2.yml 330   680 0   0     80.0  100    .17 16 0   0   
loop-floats-scientific-comp/loop3.yml 330   930 0   0     80.0  100    .15 16 0   0   
ldv-regression/alias_of_return_2.c_1.yml 29   670 0   0     25.0  45.5  .12 16 0   0   
ldv-regression/alias_of_return_2.yml 28   730 0   0     75.0  81.8  .13 17 0   0   
ldv-regression/fo_test.yml 12   200 0   0     100    100    .17 17 0   0   
ldv-regression/rule60_list2.c_1.yml 6.7 210 0   0     92.9  100    .17 16 0   0   
ldv-regression/rule60_list2.yml 19   350 0   0     85.7  92.9  .20 17 0   0   
ldv-regression/sizeofparameters_test.yml 11   190 0   0     50.0  80.0  .13 16 0   0   
ldv-regression/test10.yml 29   920 0   0     50.0  95.5  .13 16 0   0   
ldv-regression/test11.yml 30   570 0   0     60.0  86.7  .16 16 0   0   
ldv-regression/test14.yml 30   690 0   0     62.5  91.7  .14 16 0   0   
ldv-regression/test15.yml 28   670 0   0     50.0  80.0  .14 17 0   0   
ldv-regression/test19.yml 29   720 0   0     50.0  85.7  .12 16 0   0   
ldv-regression/test21-1.yml 30   610 0   0     75.0  88.9  .15 17 0   0   
ldv-regression/test21-2.yml 5.3 190 0   0     87.5  100    .13 16 0   0   
ldv-regression/test22-1.yml 54   580 0   0     83.3  91.3  .22 17 0   0   
ldv-regression/test22-2.yml 5.6 190 0   0     91.7  100    .15 17 0   0   
ldv-regression/test23-1.yml 370   830 0   0     85.7  100    .18 16 0   0   
ldv-regression/test23-2.yml 49   600 0   0     85.7  91.7  .20 17 0   0   
ldv-regression/test24-1.yml 46   670 0   0     87.5  86.7  .15 17 0   0   
ldv-regression/test24-2.yml 52   990 0   0     90.0  94.4  .19 16 0   0   
ldv-regression/test25-1.yml 25   390 0   0     100    100    .13 17 0   0   
ldv-regression/test25-2.yml 620   1500 0   0     91.7  88.9  .18 16 0   0   
ldv-regression/test28-1.yml 5.2 190 0   0     87.5  100    .13 16 0   0   
ldv-regression/test28-2.yml 30   690 0   0     87.5  80.0  .14 16 0   0   
ldv-regression/test29-1.yml 5.0 190 0   0     100    100    .13 16 0   0   
ldv-regression/test29-2.yml 30   670 0   0     87.5  80.0  .16 16 0   0   
loops/array-1.yml 29   890 0   0     83.3  93.3  .14 16 0   0   
loops/array-2.yml 5.1 180 0   0     100    100    .12 16 0   0   
loops/bubble_sort-1.yml 620   1800 0   0     4.17 17.9  .17 16 0   0   
loops/compact.yml 390   1700 0   0     83.3  87.5  5.4  450 0   0   
loops/count_up_down-1.yml 960   2500 0   0     75.0  90.9  .15 16 0   0   
loops/count_up_down-2.yml 950   2100 0   0     75.0  90.9  .17 16 0   0   
loops/eureka_01-1.yml 330   760 0   0     100    100    .26 17 0   0   
loops/for_bounded_loop1.yml 5.2 180 0   0     100    100    .14 16 0   0   
loops/insertion_sort-1.yml 130   1900 0   0     100    100    .13 16 0   0   
loops/insertion_sort-2.yml 500   2800 0   0     90.0  94.1  .15 16 0   0   
loops/invert_string-1.yml 360   1700 0   0     100    100    .17 16 0   0   
loops/invert_string-3.yml 330   1600 0   0     87.5  94.4  .14 16 0   0   
loops/linear_sea.ch.yml 380   2500 0   0     75.0  87.5  .16 16 0   0   
loops/linear_search.yml 11   260 0   0     100    100    .14 16 0   0   
loops/matrix-1.yml 30   1000 0   0     87.5  94.1  .15 16 0   0   
loops/matrix-2.yml 7.4 190 0   0     100    100    .14 16 0   0   
loops/n.c40.yml 35   830 0   0     50.0  63.6  .14 16 0   0   
loops/nec20.yml 20   360 0   0     83.3  95.8  .17 17 0   0   
loops/nec40.yml 36   710 0   0     40.0  46.7  .14 16 0   0   
loops/string-1.yml 260   1800 0   .020 88.5  96.5  .20 17 0   0   
loops/string-2.yml 340   1900 0   0     96.2  100    .18 17 0   0   
loops/sum01-1.yml 12   300 0   0     100    100    .15 16 0   0   
loops/sum01-2.yml 780   5000 0   0     83.3  90.0  .15 16 0   0   
loops/sum01_bug02.yml 6.4 200 0   0     100    100    .13 17 0   0   
loops/sum01_bug02_sum01_bug02_base.case.yml 7.2 190 0   0     100    100    .12 17 0   0   
loops/sum03-1.yml 18   300 0   0     87.5  100    .15 16 0   0   
loops/sum_array-1.yml 5.8 190 0   0     100    100    .13 16 0   0   
loops/sum_array-2.yml 320   650 0   0     92.9  94.4  .18 16 0   0   
loops/terminator_01.yml 320   300 0   0     75.0  81.8  4.2  17 0   0   
loops/terminator_02-1.yml 320   720 0   0     87.5  87.5  .16 16 0   0   
loops/terminator_02-2.yml 340   810 0   0     90.0  94.7  .20 17 0   0   
loops/terminator_03-1.yml 5.0 180 0   0     75.0  100    .13 16 0   0   
loops/terminator_03-2.yml 330   590 0   0     78.6  92.3  .17 17 0   0   
loops/trex01-1.yml 5.8 180 0   0     100    96.2  .15 17 0   0   
loops/trex01-2.yml 59   1300 0   0     96.2  93.1  .18 16 0   0   
loops/trex02-1.yml 330   730 0   0     83.3  92.9  .15 16 0   0   
loops/trex02-2.yml 4.7 190 0   0     100    100    .12 16 0   0   
loops/trex03-1.yml 5.0 180 0   0     100    93.8  .17 16 0   0   
loops/trex03-2.yml 330   1100 0   0     88.9  93.8  .18 17 0   0   
loops/veris.c_sendmail_tTflag_arr_one_loop.yml 33   870 0   0     87.5  94.7  .15 16 0   0   
loops/vogal-1.yml 570   3100 0   0     95.0  96.2  .21 16 0   0   
loops/vogal-2.yml 23   470 0   0     100    100    .17 16 0   0   
loop-acceleration/array_3-1.yml 600   2500 0   0     87.5  90.9  .24 16 0   0   
loop-acceleration/array_3-2.yml 710   2900 0   0     100    100    .27 17 0   0   
loop-acceleration/array_4.yml 600   2700 0   0     83.3  90.0  .23 17 0   0   
loop-acceleration/diamond_1-1.yml 560   3500 0   0     83.3  91.7  .14 16 0   0   
loop-acceleration/diamond_1-2.yml 580   3200 0   0     83.3  91.7  .15 16 0   0   
loop-acceleration/diamond_2-2.yml 34   740 0   0     95.8  96.5  .23 16 0   0   
loop-acceleration/multivar_1-1.yml 54   690 0   0     75.0  90.9  .12 16 0   0   
loop-acceleration/multivar_1-2.yml 58   780 0   0     75.0  90.9  .13 16 0   0   
loop-acceleration/simple_3-2.yml 820   1800 0   0     75.0  90.0  .14 16 0   0   
loop-crafted/simple_array_index_value_2.yml 940   1800 0   0     16.7  45.5  .13 16 0   0   
loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml 36   1200 0   0     58.8  68.0  .21 16 0   0   
loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml 36   1300 0   0     71.4  77.3  .20 17 0   0   
loop-crafted/simple_array_index_value_4.yml 36   1300 0   0     75.0  95.2  .17 16 0   0   
loop-invgen/MADWiFi-encode_ie_ok.yml 940   1300 0   0     95.5  96.3  .22 16 0   0   
loop-invgen/NetBSD_loop.yml 680   2700 0   0     87.5  93.8  .15 16 0   0   
loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml 400   1100 0   0     63.6  73.3  140    17 0   0   
loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml 340   700 0   0     76.3  76.6  .34 17 0   0   
loop-invgen/apache-escape-absolute.yml 340   860 0   0     97.6  98.1  .32 17 0   0   
loop-invgen/apache-get-tag.i.p+lhb-reducer.yml 960   3100 0   0     66.7  81.9  .53 17 0   0   
loop-invgen/apache-get-tag.i.p+nlh-reducer.yml 730   2200 0   0     74.4  86.1  1.8  24 0   0   
loop-invgen/apache-get-tag.i.p+sep-reducer.yml 750   2100 0   0     66.7  84.5  2.2  28 0   0   
loop-invgen/apache-get-tag.i.v+lhb-reducer.yml 850   2200 0   0     66.7  74.5  .24 17 0   0   
loop-invgen/apache-get-tag.i.v+nlh-reducer.yml 890   2400 0   0     67.9  75.0  .25 17 0   0   
loop-invgen/apache-get-tag.yml 940   2200 0   0     94.4  97.7  .21 16 0   0   
loop-invgen/down.yml 760   2400 0   0     83.3  94.1  18    16 0   0   
loop-invgen/fragtest_simple.yml 730   1900 0   0     78.6  96.2  .22 16 0   0   
loop-invgen/half_2.yml 960   2800 0   0     87.5  94.4  .15 16 0   0   
loop-invgen/heapsort.yml 960   1300 0   0     95.0  97.6  .20 16 0   0   
loop-invgen/id_build.i.p+nlh-reducer.yml 100   800 0   0     29.7  41.7  .59 22 0   0   
loop-invgen/id_build.i.p+sep-reducer.yml 540   1800 0   0     29.7  40.2  140    22 0   0   
loop-invgen/id_build.i.v+lhb-reducer.yml 490   1800 0   0     71.4  77.8  60    16 0   0   
loop-invgen/id_build.yml 960   1700 0   0     83.3  90.9  40    17 0   0   
loop-invgen/id_trans.yml 5.0 190 0   0     100    100    .13 16 0   0   
loop-invgen/large_const.yml 31   830 0   0     94.4  96.3  .19 16 0   0   
loop-invgen/nest-if3.yml 960   1200 0   0     92.9  93.3  .17 16 0   0   
loop-invgen/nested6.yml 640   2400 0   0     92.9  94.7  .18 16 0   0   
loop-invgen/nested9.yml 960   2800 0   0     95.5  94.4  60    16 0   0   
loop-invgen/sendmail-close-angle.yml 740   2300 0   0     91.7  96.7  .21 17 0   0   
loop-invgen/seq-3.yml 510   2700 0   0     93.8  95.7  .22 16 0   0   
loop-invgen/up.yml 500   2700 0   0     83.3  93.8  18    16 0   0   
loop-lit/afnp2014.yml 670   2700 0   0     83.3  91.7  .19 16 0   0   
loop-lit/bhmr2007.yml 960   1300 0   0     90.0  93.8  .15 16 0   0   
loop-lit/cggmp2005.yml 11   190 0   0     75.0  91.7  .15 16 0   0   
loop-lit/cggmp2005_variant.yml 910   2500 0   0     87.5  93.3  .15 16 0   0   
loop-lit/cggmp2005b.yml 440   1700 0   0     75.0  88.2  .13 16 0   0   
loop-lit/css2003.yml 960   4000 0   0     71.4  93.3  .19 16 0   0   
loop-lit/ddlm2013.yml 930   1300 0   0     90.0  95.5  .47 34 0   0   
loop-lit/gj2007.c.i.p+lhb-reducer.yml 340   720 0   0     54.8  58.2  .16 17 0   0   
loop-lit/gj2007.c.i.p+nlh-reducer.yml 390   1300 0   0     50.4  57.3  .32 18 0   0   
loop-lit/gj2007.yml 340   880 0   0     83.3  92.9  .13 16 0   0   
loop-lit/gj2007b.yml 960   3000 0   0     64.3  93.3  .16 17 0   0   
loop-lit/gr2006.yml 240   1800 0   0     83.3  92.9  .13 17 0   0   
loop-lit/gsv2008.c.i.p+cfa-reducer.yml 930   1000 0   0     87.5  90.0  .19 16 0   0   
loop-lit/gsv2008.c.i.v+cfa-reducer.yml 930   1000 0   0     87.5  90.0  .17 16 0   0   
loop-lit/gsv2008.c.i.v+lhb-reducer.yml 930   970 0   0     80.0  89.3  .16 17 0   0   
loop-lit/gsv2008.yml 940   1200 0   0     87.5  92.3  .15 16 0   0   
loop-lit/hhk2008.yml 940   1200 0   0     90.0  93.8  .17 16 0   0   
loop-lit/jm2006.c.i.v+cfa-reducer.yml 330   1500 0   0     90.0  92.0  .19 16 0   0   
loop-lit/jm2006.yml 330   1500 0   0     90.0  93.8  .20 17 0   0   
loop-lit/jm2006_variant.yml 960   2300 0   0     91.7  94.7  .17 16 0   0   
loop-new/count_by_1.yml 540   1900 0   0     75.0  87.5  .13 16 0   0   
loop-new/count_by_1_variant.yml 520   2100 0   0     75.0  87.5  .15 17 0   0   
loop-new/count_by_2.yml 520   1900 0   0     75.0  87.5  .15 16 0   0   
loop-new/count_by_k.yml 960   1700 0   0     87.5  90.0  .17 16 0   0   
loop-new/count_by_nondet.yml 850   1800 0   0     87.5  92.9  .15 16 0   0   
loop-new/gauss_sum.i.p+cfa-reducer.yml 700   3900 0   0     87.5  90.0  .17 16 0   0   
loop-new/gauss_sum.i.p+lhb-reducer.yml 790   3900 0   0     88.9  92.5  .19 16 0   0   
loop-new/gauss_sum.i.v+cfa-reducer.yml 730   4000 0   0     87.5  90.0  .17 16 0   0   
loop-new/gauss_sum.yml 730   3200 0   0     87.5  91.7  .15 17 0   0   
loop-new/half.yml 960   3500 0   0     85.7  92.9  .15 17 0   0   
loop-new/nested-1.yml 960   3700 0   0     92.9  93.3  .16 17 0   0   
loop-industry-pattern/mod3.c.v+cfa-reducer.yml 360   680 0   0     91.7  93.5  .17 17 0   0   
loop-industry-pattern/mod3.c.v+lhb-reducer.yml 410   770 0   0     80.0  86.7  .18 16 0   0   
loop-industry-pattern/mod3.c.v+sep-reducer.yml 430   740 0   0     80.0  84.7  .19 16 0   0   
loop-industry-pattern/mod3.yml 360   870 0   0     91.7  94.1  .19 16 0   0   
recursive/Ackermann01-2.yml 340   1400 0   0     83.3  94.1  .17 16 0   0   
recursive/Ackermann02.yml 10   180 0   0     100    100    .16 16 0   0   
recursive/Ackermann03.yml 340   1400 0   0     94.4  94.1  .18 16 0   0   
recursive/Ackermann04.yml 340   1400 0   0     94.4  94.1  .19 16 0   0   
recursive/Addition01-2.yml 360   1900 0   0     75.0  79.0  .17 16 0   0   
recursive/Addition02.yml 370   1700 0   0     81.2  84.2  .15 17 0   0   
recursive/Addition03-1.yml 340   1500 0   0     83.3  86.7  .20 21 0   0   
recursive/BallRajamani-SPIN2000-Fig1.yml 4.6 180 0   0     100    100    .13 17 0   0   
recursive/EvenOdd01-1.yml 910   7200 0   0     78.6  90.5  .16 22 0   0   
recursive/EvenOdd03.yml 910   7800 0   0     78.6  90.5  .16 21 0   0   
recursive/Fibonacci01-1.yml 360   2000 0   0     90.0  92.9  .19 16 0   0   
recursive/Fibonacci03.yml 360   2100 0   0     90.0  92.9  .16 16 0   0   
recursive/Fibonacci04.yml 370   2000 0   0     87.5  100    .14 16 0   0   
recursive/Fibonacci05.yml 370   2100 0   0     100    100    .15 16 0   0   
recursive/McCarthy91-1.yml 43   1400 0   0     87.5  100    .13 17 0   0   
recursive/McCarthy91-2.yml 360   1500 0   0     75.0  90.0  .14 17 0   0   
recursive/MultCommutative-2.yml 630   780 0   0     66.7  88.9  .17 17 0   0   
recursive/gcd01-1.yml 630   720 0   0     61.1  89.5  .15 17 0   0   
recursive/gcd02.yml 630   720 0   0     72.7  88.5  .17 16 0   0   
recursive/recHanoi01.yml 620   840 0   0     90.0  95.0  .15 16 0   0   
recursive/recHanoi02-2.yml 19   1100 0   0     87.5  91.7  .17 16 0   0   
recursive/recHanoi03-2.yml 49   1800 0   0     87.5  91.7  .15 17 0   0   
recursive-simple/id2_b2_o3.yml 320   1000 0   0     90.0  93.3  .15 21 0   0   
recursive-simple/id2_b3_o2.yml 320   990 0   0     100    100    .16 21 0   0   
recursive-simple/id2_b3_o5.yml 320   800 0   0     90.0  93.3  .15 21 0   0   
recursive-simple/id2_b5_o10.yml 320   1100 0   0     90.0  93.3  .15 21 0   0   
recursive-simple/id_b2_o3.yml 320   1100 0   0     83.3  90.0  .14 16 0   0   
recursive-simple/id_b3_o2-2.yml 320   1300 0   0     100    100    .14 16 0   0   
recursive-simple/id_b3_o5-2.yml 320   1200 0   0     83.3  90.0  .13 16 0   0   
recursive-simple/id_b5_o10-2.yml 320   1200 0   0     83.3  90.0  .14 16 0   0   
recursive-simple/id_o10.yml 320   1200 0   0     100    100    .16 16 0   0   
recursive-simple/id_o100.yml 320   790 0   0     100    100    .18 16 0   0   
recursive-simple/id_o1000.yml 320   960 0   0     100    100    .16 16 0   0   
recursive-simple/id_o20.yml 320   850 0   0     100    100    .14 16 0   0   
recursive-simple/id_o200.yml 320   1100 0   0     100    100    .13 17 0   0   
recursive-simple/id_o3.yml 320   950 0   0     100    100    .13 16 0   0   
recursive-simple/sum_non_eq-2.yml 350   1600 0   0     75.0  90.0  .13 16 0   0   
recursive-simple/sum_non_eq-3.yml 350   1500 0   0     75.0  100    .14 16 0   0   
seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml 960   6300 0   0     81.9  93.8  .66 17 0   0   
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml 870   6300 0   0     82.0  94.1  .68 17 0   0   
seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml 740   2700 0   0     81.3  93.8  .68 17 0   0   
seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml 880   5200 0   0     82.8  94.1  .78 17 0   0   
seq-mthreaded/pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.yml 830   2100 0   0     80.8  93.2  .73 17 0   0   
seq-mthreaded/pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml 960   3600 0   0     83.8  92.8  .64 17 0   0   
seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml 960   5000 0   0     82.3  91.2  .67 17 0   0   
seq-mthreaded/pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.yml 960   3800 0   0     82.1  90.7  .56 17 0   0   
seq-mthreaded/pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml 670   1200 0   0     90.0  97.4  .82 17 0   0   
seq-mthreaded/pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml 73   1100 0   0     81.7  92.6  .83 17 0   0   
seq-mthreaded/pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml 650   1200 0   0     86.1  95.4  .69 17 0   0   
seq-mthreaded/pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml 660   1200 0   0     89.6  96.8  .81 17 0   0   
seq-mthreaded/pals_floodmax.3.ufo.BOUNDED-6.pals.yml 660   1400 0   0     88.6  96.1  .77 17 0   0   
seq-mthreaded/pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml 960   2800 0   0     93.4  98.8  1.7  20 0   0   
seq-mthreaded/pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml 800   2800 0   0     88.7  95.7  2.0  20 0   0   
seq-mthreaded/pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml 960   2800 0   0     90.9  97.3  1.7  20 0   0   
seq-mthreaded/pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml 960   2700 0   0     92.5  97.9  1.6  20 0   0   
seq-mthreaded/pals_floodmax.4.ufo.BOUNDED-8.pals.yml 960   2800 0   0     92.1  97.6  1.8  20 0   0   
seq-mthreaded/pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml 960   8200 0   0     95.9  99.4  4.5  28 0   0   
seq-mthreaded/pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml 960   8100 0   0     93.2  97.6  4.4  28 0   0   
seq-mthreaded/pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml 960   8900 0   0     94.3  98.4  4.0  28 0   0   
seq-mthreaded/pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml 960   8700 0   0     95.0  98.7  4.6  28 0   0   
seq-mthreaded/pals_floodmax.5.ufo.BOUNDED-10.pals.yml 960   8300 0   0     94.9  98.6  4.4  28 0   0   
seq-mthreaded/pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml 650   1500 0   0     88.2  99.3  .45 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml 640   1100 0   0     89.4  99.3  .41 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.yml 680   2700 0   0     86.4  98.0  .45 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml 650   990 0   0     88.4  99.5  .47 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml 660   1300 0   0     89.3  99.5  .51 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.yml 670   1200 0   0     87.0  98.4  .52 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml 680   2700 0   0     88.6  99.6  .65 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml 690   2100 0   0     89.3  99.6  .70 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.yml 680   2500 0   0     87.5  98.7  .61 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml 710   2200 0   0     88.8  99.7  .80 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml 710   2100 0   0     89.5  99.7  .70 17 0   0   
seq-mthreaded/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.yml 700   3300 0   0     88.0  98.9  .72 17 0   0   
seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.yml 72   1200 0   0     86.6  98.5  .38 16 0   0   
seq-mthreaded/pals_lcr.3.ufo.BOUNDED-6.pals.yml 610   1800 0   0     84.2  97.0  .40 17 0   0   
seq-mthreaded/pals_lcr.4.1.ufo.BOUNDED-8.pals.yml 690   1900 0   0     87.0  98.8  .44 17 0   0   
seq-mthreaded/pals_lcr.4.ufo.BOUNDED-8.pals.yml 690   3100 0   0     85.2  97.7  .50 17 0   0   
seq-mthreaded/pals_lcr.5.1.ufo.BOUNDED-10.pals.yml 670   1200 0   0     87.5  99.0  .51 17 0   0   
seq-mthreaded/pals_lcr.5.ufo.BOUNDED-10.pals.yml 670   2300 0   0     86.0  98.1  .49 17 0   0   
seq-mthreaded/pals_lcr.6.1.ufo.BOUNDED-12.pals.yml 690   2300 0   0     88.0  99.2  .66 17 0   0   
seq-mthreaded/pals_lcr.6.ufo.BOUNDED-12.pals.yml 690   2300 0   0     86.8  98.4  .58 17 0   0   
seq-mthreaded/pals_lcr.7.1.ufo.BOUNDED-14.pals.yml 780   2900 0   0     88.4  99.3  .75 17 0   0   
seq-mthreaded/pals_lcr.7.ufo.BOUNDED-14.pals.yml 730   2300 0   0     87.4  98.6  .76 17 0   0   
seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.yml 960   1100 0   0     88.8  99.4  .85 18 0   0   
seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.yml 960   2300 0   0     87.9  98.8  .91 18 0   0   
seq-mthreaded/pals_opt-floodmax.3.1.ufo.BOUNDED-6.pals.yml 670   1400 0   0     90.9  97.7  .75 17 0   0   
seq-mthreaded/pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml 85   940 0   0     80.5  93.2  .86 17 0   0   
seq-mthreaded/pals_opt-floodmax.3.3.ufo.BOUNDED-6.pals.yml 670   1100 0   0     87.3  95.8  .81 17 0   0   
seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml 660   1000 0   0     89.5  97.1  .74 17 0   0   
seq-mthreaded/pals_opt-floodmax.3.ufo.BOUNDED-6.pals.yml 670   1400 0   0     89.5  96.5  .92 17 0   0   
seq-mthreaded/pals_opt-floodmax.4.1.ufo.BOUNDED-8.pals.yml 960   13000 0   0     93.8  98.8  1.7  20 0   0   
seq-mthreaded/pals_opt-floodmax.4.2.ufo.BOUNDED-8.pals.yml 960   13000 0   0     89.4  96.0  2.7  21 0   0   
seq-mthreaded/pals_opt-floodmax.4.3.ufo.BOUNDED-8.pals.yml 960   14000 0   0     91.5  97.5  1.6  21 0   0   
seq-mthreaded/pals_opt-floodmax.4.4.ufo.BOUNDED-8.pals.yml 960   13000 0   0     92.9  98.1  1.7  21 0   0   
seq-mthreaded/pals_opt-floodmax.4.ufo.BOUNDED-8.pals.yml 960   15000 0   0     92.6  97.8  2.0  21 0   0   
seq-mthreaded/pals_opt-floodmax.5.1.ufo.BOUNDED-10.pals.yml 960   8400 0   0     96.0  99.5  4.5  28 0   0   
seq-mthreaded/pals_opt-floodmax.5.2.ufo.BOUNDED-10.pals.yml 960   8400 0   0     93.5  97.7  4.7  28 0   0   
seq-mthreaded/pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals.yml 960   9000 0   0     94.5  98.5  4.3  28 0   0   
seq-mthreaded/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.yml 960   8500 0   0     95.2  98.7  5.1  28 0   0   
seq-mthreaded/pals_opt-floodmax.5.ufo.BOUNDED-10.pals.yml 960   8500 0   0     95.1  98.6  4.2  28 0   0   
data/sv-benchmarks/c/ status branch cov line cov cpu (s) mem (MB) blkio-w (MB) blkio-r (MB) status branch cov (%) line cov (%) cpu (s) mem (MB) blkio-w (MB) blkio-r (MB)
total 1720 1200000 6900000 0   1.4 1720 108000 112000 17000 540000 0   .36
Run set ctf.300-cpa-tiger-coveritest-klee testsuite-validator_300-cpa-tiger-coveritest-klee.test-comp19_prop-coverage-branches