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