coveritest – BenchExec results

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