300-prune-cpa-tiger-coveritest-klee

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