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