fairfuzz.2019-02-08_0939.results.test-comp19_prop-coverage-branches.ReachSafety-ECA.xml.bz2.merged.xml.bz2

Benchmark	FairFuzz												TBF Test-Suite Validator
Tool	FairFuzz TC-0.0.2												Tbf Test-suite Validator v1.2
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8												timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host	apollon*
OS	Linux 4.15.0-45-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-02-08 09:39:09 CET												2019-02-08 13:22:04 CET
Run set	fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options													--verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/fairfuzz.2019-02-08_0939.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/	status	score	program	test-suite	TS size	inspect test-suite	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	program	test-suite	TS size	inspect test-suite	cov	branch cov (%)	line cov (%)	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
eca-rers2012/Problem03_label00.yml	done	.0886	prog	tests	7	inspect	17	16	69	68	.77	0	unknown	prog	tests	0	inspect		8.86	10.8	.48	.48	57		3.2	0
eca-rers2012/Problem03_label01.yml	timeout	.491	prog	tests	240	inspect	900	830	69	2100	1.8	0	unknown	prog	tests	0	inspect		49.1	54.0	2.4	2.7	58		64	0
eca-rers2012/Problem03_label02.yml	timeout	.494	prog	tests	240	inspect	900	830	67	2800	1.7	0	unknown	prog	tests	0	inspect		49.4	54.6	2.4	2.3	58		64	0
eca-rers2012/Problem03_label03.yml	done	.0886	prog	tests	7	inspect	17	16	69	69	.79	0	unknown	prog	tests	0	inspect		8.86	10.8	.50	.49	58		2.9	0
eca-rers2012/Problem03_label04.yml	timeout	.495	prog	tests	256	inspect	900	830	69	3400	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.6	2.9	58		68	0
eca-rers2012/Problem03_label05.yml	timeout	.497	prog	tests	278	inspect	900	830	70	4400	1.7	0	unknown	prog	tests	0	inspect		49.7	54.6	2.7	3.0	58		74	0
eca-rers2012/Problem03_label06.yml	timeout	.496	prog	tests	263	inspect	900	830	69	3500	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.7	3.0	58		70	0
eca-rers2012/Problem03_label07.yml	timeout	.496	prog	tests	255	inspect	900	830	69	3600	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.6	2.7	58		68	0
eca-rers2012/Problem03_label08.yml	done	.498	prog	tests	258	inspect	680	630	70	3300	1.5	0	unknown	prog	tests	0	inspect		49.8	54.6	2.6	3.1	58		68	0
eca-rers2012/Problem03_label09.yml	timeout	.495	prog	tests	270	inspect	900	830	71	4100	1.7	0	true	prog	tests	1	inspect		49.5	54.6	2.7	3.0	57		72	0
eca-rers2012/Problem03_label10.yml	timeout	.497	prog	tests	263	inspect	900	830	70	2400	1.7	0	unknown	prog	tests	0	inspect		49.7	54.6	2.6	2.9	58		70	0
eca-rers2012/Problem03_label11.yml	done	.0886	prog	tests	7	inspect	14	13	69	81	.77	0	unknown	prog	tests	0	inspect		8.86	10.8	.48	.53	57		3.2	0
eca-rers2012/Problem03_label12.yml	timeout	.495	prog	tests	261	inspect	900	830	70	4400	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.6	3.3	58		70	0
eca-rers2012/Problem03_label13.yml	timeout	.496	prog	tests	246	inspect	900	830	70	1700	1.7	0	true	prog	tests	1	inspect		49.6	54.6	2.6	2.9	57		66	0
eca-rers2012/Problem03_label14.yml	timeout	.497	prog	tests	249	inspect	900	830	70	2500	1.6	0	unknown	prog	tests	0	inspect		49.7	54.6	2.5	2.4	57		66	0
eca-rers2012/Problem03_label15.yml	timeout	.496	prog	tests	245	inspect	900	830	69	2900	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.5	3.0	58		65	0
eca-rers2012/Problem03_label16.yml	timeout	.496	prog	tests	255	inspect	900	830	69	2400	1.8	0	unknown	prog	tests	0	inspect		49.6	54.6	2.5	2.7	58		68	0
eca-rers2012/Problem03_label17.yml	timeout	.498	prog	tests	230	inspect	900	830	69	2400	1.7	0	unknown	prog	tests	0	inspect		49.8	54.6	2.3	2.8	58		61	0
eca-rers2012/Problem03_label18.yml	done	.495	prog	tests	290	inspect	900	820	68	3800	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.8	2.7	58		77	0
eca-rers2012/Problem03_label19.yml	done	.0886	prog	tests	7	inspect	13	12	69	66	.77	0	unknown	prog	tests	0	inspect		8.86	10.8	.51	.50	57		2.9	0
eca-rers2012/Problem03_label20.yml	timeout	.496	prog	tests	258	inspect	900	830	69	2800	1.6	0	unknown	prog	tests	0	inspect		49.6	54.6	2.6	3.0	58		69	0
eca-rers2012/Problem03_label21.yml	timeout	.496	prog	tests	223	inspect	900	830	68	2600	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.3	2.5	58		60	0
eca-rers2012/Problem03_label22.yml	done	.0886	prog	tests	7	inspect	21	19	69	69	.79	0	unknown	prog	tests	0	inspect		8.86	10.8	.49	.49	58		2.9	0
eca-rers2012/Problem03_label23.yml	timeout	.495	prog	tests	268	inspect	900	830	70	3900	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.7	3.0	58		71	0
eca-rers2012/Problem03_label24.yml	timeout	.496	prog	tests	266	inspect	900	830	70	2900	1.6	0	unknown	prog	tests	0	inspect		49.6	54.6	2.7	2.7	58		70	0
eca-rers2012/Problem03_label25.yml	done	.0886	prog	tests	7	inspect	15	14	69	86	.78	0	unknown	prog	tests	0	inspect		8.86	10.8	.54	.53	58		3.2	0
eca-rers2012/Problem03_label26.yml	timeout	.496	prog	tests	256	inspect	900	820	71	4900	1.7	0	true	prog	tests	1	inspect		49.6	54.6	2.6	3.1	58		68	0
eca-rers2012/Problem03_label27.yml	done	.0886	prog	tests	7	inspect	20	18	70	68	.80	0	unknown	prog	tests	0	inspect		8.86	10.8	.47	.47	58		3.2	0
eca-rers2012/Problem03_label28.yml	timeout	.498	prog	tests	282	inspect	900	830	70	3600	1.7	0	true	prog	tests	1	inspect		49.8	54.6	2.9	3.1	58		75	0
eca-rers2012/Problem03_label29.yml	timeout	.496	prog	tests	273	inspect	900	830	70	2900	1.8	0	unknown	prog	tests	0	inspect		49.6	54.6	2.8	3.1	58		73	0
eca-rers2012/Problem03_label30.yml	timeout	.482	prog	tests	220	inspect	900	830	69	2500	1.7	0	unknown	prog	tests	0	inspect		48.2	50.5	2.3	2.5	58		59	0
eca-rers2012/Problem03_label31.yml	timeout	.498	prog	tests	273	inspect	900	830	70	3900	1.7	0	true	prog	tests	1	inspect		49.8	54.6	2.8	3.3	58		73	0
eca-rers2012/Problem03_label32.yml	timeout	.494	prog	tests	251	inspect	900	830	70	2300	1.7	0	unknown	prog	tests	0	inspect		49.4	54.6	2.4	2.8	58		67	0
eca-rers2012/Problem03_label33.yml	timeout	.495	prog	tests	247	inspect	900	830	70	2200	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.5	2.4	58		66	0
eca-rers2012/Problem03_label34.yml	done	.0886	prog	tests	7	inspect	19	17	68	53	.77	0	unknown	prog	tests	0	inspect		8.86	10.8	.48	.48	57		2.9	0
eca-rers2012/Problem03_label35.yml	timeout	.496	prog	tests	263	inspect	900	830	70	4900	1.7	0	true	prog	tests	1	inspect		49.6	54.6	2.6	2.5	58		70	0
eca-rers2012/Problem03_label36.yml	done	.0886	prog	tests	7	inspect	17	16	68	70	.78	0	unknown	prog	tests	0	inspect		8.86	10.8	.49	.49	57		3.2	0
eca-rers2012/Problem03_label37.yml	timeout	.495	prog	tests	273	inspect	900	830	71	3500	1.7	0	true	prog	tests	1	inspect		49.5	54.6	2.7	3.4	58		72	0
eca-rers2012/Problem03_label38.yml	timeout	.495	prog	tests	252	inspect	900	830	67	2700	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.6	2.9	58		67	0
eca-rers2012/Problem03_label39.yml	timeout	.496	prog	tests	260	inspect	900	830	71	3400	1.7	0	true	prog	tests	1	inspect		49.6	54.6	2.7	3.0	58		69	0
eca-rers2012/Problem03_label40.yml	timeout	.496	prog	tests	253	inspect	900	830	70	3100	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.6	2.8	58		67	0
eca-rers2012/Problem03_label41.yml	timeout	.496	prog	tests	256	inspect	900	830	69	2100	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.6	2.7	58		68	0
eca-rers2012/Problem03_label42.yml	timeout	.495	prog	tests	259	inspect	900	830	69	3400	1.6	0	unknown	prog	tests	0	inspect		49.5	54.6	2.5	2.4	58		69	0
eca-rers2012/Problem03_label43.yml	timeout	.497	prog	tests	249	inspect	900	830	71	2800	1.7	0	true	prog	tests	1	inspect		49.7	54.6	2.6	3.0	58		66	0
eca-rers2012/Problem03_label44.yml	timeout	.495	prog	tests	258	inspect	900	830	70	2700	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.6	3.2	58		68	0
eca-rers2012/Problem03_label45.yml	timeout	.494	prog	tests	234	inspect	900	830	71	2800	1.7	0	true	prog	tests	1	inspect		49.4	54.6	2.5	2.7	58		62	0
eca-rers2012/Problem03_label46.yml	timeout	.496	prog	tests	268	inspect	900	830	69	4500	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	3.0	2.8	58		71	0
eca-rers2012/Problem03_label47.yml	done	.0886	prog	tests	7	inspect	13	12	68	67	.77	0	unknown	prog	tests	0	inspect		8.86	10.8	.50	.50	58		2.9	0
eca-rers2012/Problem03_label48.yml	timeout	.495	prog	tests	258	inspect	900	830	69	2900	1.8	0	unknown	prog	tests	0	inspect		49.5	54.6	2.6	2.6	58		68	0
eca-rers2012/Problem03_label49.yml	done	.0886	prog	tests	7	inspect	18	16	69	69	.79	0	unknown	prog	tests	0	inspect		8.86	10.8	.48	.51	58		3.2	0
eca-rers2012/Problem03_label50.yml	timeout	.497	prog	tests	258	inspect	900	830	70	3100	1.6	0	true	prog	tests	1	inspect		49.7	54.6	2.7	3.1	58		69	0
eca-rers2012/Problem03_label51.yml	timeout	.495	prog	tests	287	inspect	900	830	69	3800	1.7	0	unknown	prog	tests	0	inspect		49.5	54.6	2.8	3.3	58		76	0
eca-rers2012/Problem03_label52.yml	timeout	.496	prog	tests	234	inspect	900	830	70	2400	1.6	0	true	prog	tests	1	inspect		49.6	54.6	2.5	2.4	58		62	0
eca-rers2012/Problem03_label53.yml	timeout	.496	prog	tests	276	inspect	900	830	69	3500	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.8	2.7	58		73	0
eca-rers2012/Problem03_label54.yml	timeout	.496	prog	tests	243	inspect	900	830	69	2100	1.7	0	unknown	prog	tests	0	inspect		49.6	54.6	2.4	2.3	58		65	0
eca-rers2012/Problem03_label55.yml	timeout	.494	prog	tests	237	inspect	900	830	71	2400	1.7	0	unknown	prog	tests	0	inspect		49.4	54.6	2.5	2.7	58		63	0
eca-rers2012/Problem03_label56.yml	done	.0886	prog	tests	7	inspect	18	17	70	59	.79	0	unknown	prog	tests	0	inspect		8.86	10.8	.47	.47	58		2.9	0
eca-rers2012/Problem03_label57.yml	done	.496	prog	tests	239	inspect	530	490	70	3300	1.3	0	unknown	prog	tests	0	inspect		49.6	54.6	2.4	3.1	58		64	0
eca-rers2012/Problem03_label58.yml	done	.0886	prog	tests	7	inspect	12	11	70	62	.80	0	unknown	prog	tests	0	inspect		8.86	10.8	.52	.52	57		3.2	0
eca-rers2012/Problem03_label59.yml	timeout	.495	prog	tests	234	inspect	900	830	70	2400	1.8	.061	unknown	prog	tests	0	inspect		49.5	54.6	2.4	2.8	58		62	0
eca-rers2012/Problem04_label00.yml	timeout	.623	prog	tests	547	inspect	900	830	130	4700	2.5	.061	unknown	prog	tests	0	inspect		62.3	51.8	11	12	110		420	0
eca-rers2012/Problem04_label01.yml	timeout	.645	prog	tests	527	inspect	900	840	130	2800	3.1	0	unknown	prog	tests	0	inspect		64.5	54.8	10	12	110		400	0
eca-rers2012/Problem04_label02.yml	timeout	.646	prog	tests	564	inspect	900	840	130	2600	3.1	0	unknown	prog	tests	0	inspect		64.6	53.8	11	10	110		440	0
eca-rers2012/Problem04_label03.yml	timeout	.618	prog	tests	519	inspect	900	800	130	7600	3.1	0	unknown	prog	tests	0	inspect		61.8	51.0	10	10	110		380	0
eca-rers2012/Problem04_label04.yml	timeout	.595	prog	tests	475	inspect	900	830	130	4100	3.1	0	unknown	prog	tests	0	inspect		59.5	46.4	9.3	11	110		360	0
eca-rers2012/Problem04_label05.yml	done	.102	prog	tests	7	inspect	26	25	130	190	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		10	0
eca-rers2012/Problem04_label06.yml	timeout	.623	prog	tests	551	inspect	900	840	130	2700	3.1	0	unknown	prog	tests	0	inspect		62.3	51.2	11	13	110		410	0
eca-rers2012/Problem04_label07.yml	timeout	.634	prog	tests	524	inspect	900	840	130	2600	3.1	0	unknown	prog	tests	0	inspect		63.4	52.1	10	10	110		400	0
eca-rers2012/Problem04_label08.yml	timeout	.666	prog	tests	611	inspect	900	830	130	4000	3.0	0	unknown	prog	tests	0	inspect		66.6	59.6	12	14	110		480	0
eca-rers2012/Problem04_label09.yml	timeout	.632	prog	tests	528	inspect	900	840	130	2900	3.2	0	unknown	prog	tests	0	inspect		63.2	50.5	10	10	110		410	0
eca-rers2012/Problem04_label10.yml	timeout	.620	prog	tests	539	inspect	900	840	130	3500	3.1	0	unknown	prog	tests	0	inspect		62.0	50.5	10	13	110		410	0
eca-rers2012/Problem04_label13.yml	timeout	.589	prog	tests	511	inspect	900	840	130	2700	3.0	0	unknown	prog	tests	0	inspect		58.9	48.3	9.8	13	110		380	0
eca-rers2012/Problem04_label15.yml	done	.102	prog	tests	7	inspect	26	24	130	200	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		8.9	0
eca-rers2012/Problem04_label16.yml	timeout	.618	prog	tests	447	inspect	900	840	130	2900	2.9	.061	unknown	prog	tests	0	inspect		61.8	49.4	8.9	8.9	110		340	0
eca-rers2012/Problem04_label18.yml	timeout	.589	prog	tests	492	inspect	900	840	130	3100	3.0	0	unknown	prog	tests	0	inspect		58.9	47.1	9.9	9.9	110		360	0
eca-rers2012/Problem04_label19.yml	timeout	.599	prog	tests	507	inspect	900	840	130	2800	3.1	0	unknown	prog	tests	0	inspect		59.9	48.0	9.9	11	110		380	0
eca-rers2012/Problem04_label21.yml	done	.102	prog	tests	7	inspect	27	25	130	190	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.2	1.2	110		11	0
eca-rers2012/Problem04_label22.yml	timeout	.634	prog	tests	515	inspect	900	840	130	3200	3.0	0	unknown	prog	tests	0	inspect		63.4	51.2	10	11	110		380	0
eca-rers2012/Problem04_label25.yml	timeout	.604	prog	tests	443	inspect	900	840	130	3100	2.4	0	unknown	prog	tests	0	inspect		60.4	47.0	8.5	9.0	110		330	0
eca-rers2012/Problem04_label26.yml	timeout	.635	prog	tests	557	inspect	900	830	130	3800	3.1	0	unknown	prog	tests	0	inspect		63.5	51.5	11	13	110		420	0
eca-rers2012/Problem04_label28.yml	timeout	.585	prog	tests	462	inspect	900	840	130	3300	2.5	.061	unknown	prog	tests	0	inspect		58.5	45.6	9.1	11	110		350	0
eca-rers2012/Problem04_label30.yml	timeout	.687	prog	tests	695	inspect	900	830	130	4000	3.2	0	unknown	prog	tests	0	inspect		68.7	63.0	13	14	110		540	0
eca-rers2012/Problem04_label31.yml	timeout	.628	prog	tests	468	inspect	900	840	130	2800	2.5	0	unknown	prog	tests	0	inspect		62.8	51.0	9.3	9.6	110		350	0
eca-rers2012/Problem04_label32.yml	done	.102	prog	tests	7	inspect	22	21	130	180	1.5	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		9.9	0
eca-rers2012/Problem04_label33.yml	timeout	.613	prog	tests	544	inspect	900	840	130	2300	3.1	0	unknown	prog	tests	0	inspect		61.3	50.5	11	11	110		410	0
eca-rers2012/Problem04_label34.yml	timeout	.609	prog	tests	505	inspect	900	840	130	2700	3.2	0	unknown	prog	tests	0	inspect		60.9	46.7	9.9	11	110		380	0
eca-rers2012/Problem04_label35.yml	timeout	.673	prog	tests	636	inspect	900	830	130	3800	3.1	0	unknown	prog	tests	0	inspect		67.3	59.5	12	14	110		480	0
eca-rers2012/Problem04_label38.yml	timeout	.573	prog	tests	428	inspect	900	840	130	2700	3.1	0	unknown	prog	tests	0	inspect		57.3	47.1	8.3	9.1	110		320	0
eca-rers2012/Problem04_label39.yml	timeout	.627	prog	tests	573	inspect	900	830	130	3900	3.0	0	unknown	prog	tests	0	inspect		62.7	52.9	11	11	110		430	0
eca-rers2012/Problem04_label41.yml	done	.102	prog	tests	7	inspect	27	25	130	200	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.2	1.1	110		11	0
eca-rers2012/Problem04_label45.yml	timeout	.627	prog	tests	498	inspect	900	840	130	2500	3.1	0	unknown	prog	tests	0	inspect		62.8	51.0	9.4	9.2	110		370	0
eca-rers2012/Problem04_label47.yml	timeout	.588	prog	tests	420	inspect	900	840	130	2500	3.0	0	unknown	prog	tests	0	inspect		58.8	45.5	8.4	9.5	110		310	0
eca-rers2012/Problem04_label48.yml	timeout	.536	prog	tests	392	inspect	900	840	130	2500	3.0	.061	unknown	prog	tests	0	inspect		53.6	41.9	7.7	8.0	110		300	0
eca-rers2012/Problem04_label50.yml	done	.102	prog	tests	7	inspect	30	29	130	190	2.0	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		11	0
eca-rers2012/Problem04_label51.yml	timeout	.575	prog	tests	382	inspect	900	840	130	2600	3.0	0	unknown	prog	tests	0	inspect		57.5	44.6	7.5	8.8	110		290	0
eca-rers2012/Problem04_label52.yml	done	.102	prog	tests	7	inspect	21	20	130	160	1.5	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		8.9	0
eca-rers2012/Problem04_label53.yml	done	.102	prog	tests	7	inspect	30	29	130	190	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.1	1.1	110		8.9	0
eca-rers2012/Problem04_label54.yml	timeout	.646	prog	tests	472	inspect	900	840	130	3300	2.4	0	unknown	prog	tests	0	inspect		64.6	53.7	9.2	11	110		360	0
eca-rers2012/Problem04_label55.yml	done	.102	prog	tests	7	inspect	25	24	130	200	2.1	0	unknown	prog	tests	0	inspect		10.2	15.9	1.2	1.2	110		11	0
eca-rers2012/Problem04_label56.yml	timeout	.578	prog	tests	451	inspect	900	840	130	2700	3.1	0	unknown	prog	tests	0	inspect		57.8	45.9	8.7	8.6	110		340	0
eca-rers2012/Problem04_label59.yml	timeout	.639	prog	tests	542	inspect	900	830	130	3600	3.0	0	unknown	prog	tests	0	inspect		63.9	53.6	10	12	110		410	0
eca-rers2012/Problem05_label00.yml	timeout	.626	prog	tests	954	inspect	900	840	200	3800	6.2	0	unknown	prog	tests	0	inspect		62.6	44.5	33	37	180		1900	0
eca-rers2012/Problem05_label01.yml	timeout	.615	prog	tests	1044	inspect	900	840	200	3500	6.3	0	unknown	prog	tests	0	inspect		61.5	42.3	35	38	180		2200	0
eca-rers2012/Problem05_label02.yml	timeout	.619	prog	tests	949	inspect	900	850	200	3300	5.7	0	unknown	prog	tests	0	inspect		61.9	43.1	32	38	180		2000	0
eca-rers2012/Problem05_label03.yml	timeout	.618	prog	tests	848	inspect	900	850	200	3000	6.2	0	unknown	prog	tests	0	inspect		61.8	41.7	28	30	180		2000	0
eca-rers2012/Problem05_label04.yml	done	.112	prog	tests	7	inspect	29	28	200	210	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.2	2.2	180		23	0
eca-rers2012/Problem05_label05.yml	timeout	.607	prog	tests	834	inspect	900	840	200	2900	6.0	0	unknown	prog	tests	0	inspect		60.7	40.0	28	34	180		1800	0
eca-rers2012/Problem05_label06.yml	timeout	.625	prog	tests	1139	inspect	900	840	200	3700	6.1	0	unknown	prog	tests	0	inspect		62.5	45.3	38	40	180		2600	0
eca-rers2012/Problem05_label07.yml	timeout	.629	prog	tests	926	inspect	900	850	200	2900	4.7	0	unknown	prog	tests	0	inspect		62.9	44.7	33	33	180		1700	0
eca-rers2012/Problem05_label08.yml	done	.112	prog	tests	7	inspect	33	32	200	260	5.1	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.2	180		20	0
eca-rers2012/Problem05_label09.yml	timeout	.623	prog	tests	965	inspect	900	840	200	2800	6.1	0	unknown	prog	tests	0	inspect		62.3	44.1	33	39	180		1900	0
eca-rers2012/Problem05_label10.yml	timeout	.599	prog	tests	792	inspect	900	840	200	2600	6.1	0	unknown	prog	tests	0	inspect		59.9	38.4	27	31	180		1600	0
eca-rers2012/Problem05_label11.yml	timeout	.625	prog	tests	933	inspect	900	850	200	2700	6.2	0	unknown	prog	tests	0	inspect		62.5	43.3	32	37	180		1800	0
eca-rers2012/Problem05_label12.yml	timeout	.615	prog	tests	871	inspect	900	850	200	2700	6.2	0	unknown	prog	tests	0	inspect		61.5	42.0	30	35	180		1700	0
eca-rers2012/Problem05_label13.yml	done	.112	prog	tests	7	inspect	26	25	200	250	3.3	0	unknown	prog	tests	0	inspect		11.2	15.7	2.2	2.2	180		26	0
eca-rers2012/Problem05_label14.yml	timeout	.621	prog	tests	1011	inspect	900	840	200	3400	6.2	.061	unknown	prog	tests	0	inspect		62.1	44.7	34	37	180		2100	0
eca-rers2012/Problem05_label15.yml	timeout	.618	prog	tests	947	inspect	900	840	200	4800	6.2	0	unknown	prog	tests	0	inspect		61.8	43.3	32	32	180		1800	0
eca-rers2012/Problem05_label16.yml	timeout	.615	prog	tests	909	inspect	900	840	200	4600	4.5	0	unknown	prog	tests	0	inspect		61.5	42.5	31	36	180		1700	0
eca-rers2012/Problem05_label17.yml	timeout	.648	prog	tests	1219	inspect	900	840	200	4100	6.2	0	unknown	prog	tests	0	inspect		64.8	48.6	40	43	180		2400	0
eca-rers2012/Problem05_label18.yml	timeout	.644	prog	tests	1193	inspect	900	810	200	6900	6.3	0	unknown	prog	tests	0	inspect		64.4	49.0	40	40	180		2500	0
eca-rers2012/Problem05_label19.yml	timeout	.629	prog	tests	1161	inspect	900	840	200	4200	5.9	0	unknown	prog	tests	0	inspect		62.9	46.3	39	45	180		2500	0
eca-rers2012/Problem05_label20.yml	timeout	.598	prog	tests	901	inspect	900	850	200	3000	6.1	0	unknown	prog	tests	0	inspect		59.8	39.5	30	32	180		2100	0
eca-rers2012/Problem05_label21.yml	timeout	.628	prog	tests	1079	inspect	900	840	200	3700	6.2	0	unknown	prog	tests	0	inspect		62.8	44.6	36	37	180		2400	0
eca-rers2012/Problem05_label22.yml	timeout	.603	prog	tests	886	inspect	900	840	200	3100	4.6	0	unknown	prog	tests	0	inspect		60.3	39.0	30	30	180		1600	0
eca-rers2012/Problem05_label23.yml	done	.112	prog	tests	7	inspect	31	29	200	230	4.5	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		22	0
eca-rers2012/Problem05_label24.yml	done	.112	prog	tests	7	inspect	31	30	200	260	5.1	0	unknown	prog	tests	0	inspect		11.2	15.7	2.2	2.2	180		25	0
eca-rers2012/Problem05_label25.yml	timeout	.622	prog	tests	1004	inspect	900	840	200	2000	5.9	0	unknown	prog	tests	0	inspect		62.2	44.2	34	34	180		1900	0
eca-rers2012/Problem05_label26.yml	timeout	.622	prog	tests	960	inspect	900	840	200	5100	6.1	0	unknown	prog	tests	0	inspect		62.2	44.0	32	39	180		2000	0
eca-rers2012/Problem05_label27.yml	done	.112	prog	tests	7	inspect	37	35	200	270	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		24	0
eca-rers2012/Problem05_label28.yml	timeout	.604	prog	tests	841	inspect	900	850	200	2700	6.1	0	unknown	prog	tests	0	inspect		60.4	40.4	30	33	180		1700	0
eca-rers2012/Problem05_label29.yml	timeout	.639	prog	tests	1210	inspect	900	840	200	4200	6.2	0	unknown	prog	tests	0	inspect		63.9	47.8	40	44	180		2700	0
eca-rers2012/Problem05_label30.yml	timeout	.644	prog	tests	1296	inspect	900	840	200	3500	6.2	.061	true	prog	tests	1	inspect		64.4	47.6	44	47	180		2700	0
eca-rers2012/Problem05_label31.yml	timeout	.615	prog	tests	915	inspect	900	850	200	2800	6.0	0	unknown	prog	tests	0	inspect		61.5	41.8	31	33	180		2200	0
eca-rers2012/Problem05_label32.yml	timeout	.594	prog	tests	789	inspect	900	840	200	2700	4.9	0	unknown	prog	tests	0	inspect		59.4	38.7	27	29	180		1500	0
eca-rers2012/Problem05_label33.yml	done	.112	prog	tests	7	inspect	27	26	200	260	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		25	0
eca-rers2012/Problem05_label34.yml	done	.112	prog	tests	7	inspect	37	36	200	180	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		26	0
eca-rers2012/Problem05_label35.yml	done	.112	prog	tests	7	inspect	37	36	200	250	4.5	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		28	0
eca-rers2012/Problem05_label36.yml	done	.112	prog	tests	7	inspect	27	26	200	190	5.1	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.2	180		17	0
eca-rers2012/Problem05_label37.yml	timeout	.602	prog	tests	751	inspect	900	840	200	2600	5.7	.061	unknown	prog	tests	0	inspect		60.2	38.9	25	25	180		1700	0
eca-rers2012/Problem05_label38.yml	timeout	.612	prog	tests	908	inspect	900	840	200	2600	5.0	0	unknown	prog	tests	0	inspect		61.2	41.7	31	32	180		2100	0
eca-rers2012/Problem05_label39.yml	timeout	.626	prog	tests	963	inspect	900	850	200	3100	4.6	0	true	prog	tests	1	inspect		62.6	42.6	33	40	180		1900	0
eca-rers2012/Problem05_label40.yml	timeout	.618	prog	tests	889	inspect	900	850	200	2700	6.2	0	unknown	prog	tests	0	inspect		61.8	43.5	30	32	180		1900	0
eca-rers2012/Problem05_label41.yml	timeout	.615	prog	tests	931	inspect	900	840	200	2100	6.2	0	unknown	prog	tests	0	inspect		61.5	42.6	31	35	180		1900	0
eca-rers2012/Problem05_label42.yml	timeout	.626	prog	tests	978	inspect	900	840	200	3000	6.0	0	unknown	prog	tests	0	inspect		62.6	44.0	33	36	180		2300	0
eca-rers2012/Problem05_label43.yml	done	.112	prog	tests	7	inspect	37	35	200	270	3.7	0	unknown	prog	tests	0	inspect		11.2	15.7	2.4	2.4	180		25	0
eca-rers2012/Problem05_label44.yml	timeout	.61	prog	tests	936	inspect	900	850	200	2600	5.4	0	unknown	prog	tests	0	inspect		61.0	41.7	33	35	180		1900	0
eca-rers2012/Problem05_label45.yml	timeout	.633	prog	tests	1108	inspect	900	840	200	3700	5.2	0	unknown	prog	tests	0	inspect		63.3	47.0	38	41	180		2200	0
eca-rers2012/Problem05_label46.yml	done	.112	prog	tests	7	inspect	30	29	200	250	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		26	0
eca-rers2012/Problem05_label47.yml	timeout	.622	prog	tests	989	inspect	900	840	200	2700	6.3	0	true	prog	tests	1	inspect		62.2	43.1	34	36	180		2000	0
eca-rers2012/Problem05_label48.yml	timeout	.615	prog	tests	886	inspect	900	840	200	4800	4.2	0	unknown	prog	tests	0	inspect		61.5	42.8	30	36	180		1900	0
eca-rers2012/Problem05_label49.yml	done	.112	prog	tests	7	inspect	29	28	200	260	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		25	0
eca-rers2012/Problem05_label50.yml	done	.112	prog	tests	7	inspect	29	28	200	200	4.5	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.2	180		23	0
eca-rers2012/Problem05_label51.yml	timeout	.604	prog	tests	786	inspect	900	840	200	2700	6.2	.061	unknown	prog	tests	0	inspect		60.4	40.8	27	29	180		1600	0
eca-rers2012/Problem05_label52.yml	timeout	.618	prog	tests	979	inspect	900	850	200	3000	6.0	0	unknown	prog	tests	0	inspect		61.8	43.2	33	38	180		1900	0
eca-rers2012/Problem05_label53.yml	timeout	.620	prog	tests	903	inspect	900	830	200	5600	6.0	0	unknown	prog	tests	0	inspect		62.0	43.4	30	35	180		2000	0
eca-rers2012/Problem05_label54.yml	done	.112	prog	tests	7	inspect	37	35	200	240	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		23	0
eca-rers2012/Problem05_label55.yml	timeout	.630	prog	tests	1060	inspect	900	840	200	3800	6.2	0	unknown	prog	tests	0	inspect		63.0	46.0	36	39	180		2100	0
eca-rers2012/Problem05_label56.yml	done	.112	prog	tests	7	inspect	36	34	200	240	5.0	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		23	0
eca-rers2012/Problem05_label57.yml	timeout	.629	prog	tests	1047	inspect	900	850	200	2600	6.1	.061	unknown	prog	tests	0	inspect		62.9	44.3	36	36	180		2200	0
eca-rers2012/Problem05_label58.yml	timeout	.625	prog	tests	1049	inspect	900	850	200	3000	6.1	0	unknown	prog	tests	0	inspect		62.5	44.0	35	43	180		2100	0
eca-rers2012/Problem05_label59.yml	done	.112	prog	tests	7	inspect	25	24	200	210	5.1	0	unknown	prog	tests	0	inspect		11.2	15.7	2.1	2.1	180		24	0
eca-rers2012/Problem06_label00.yml	timeout	.580	prog	tests	823	inspect	900	840	190	2700	5.2	0	true	prog	tests	1	inspect		58.0	52.9	26	29	180		1600	0
eca-rers2012/Problem06_label01.yml	timeout	.569	prog	tests	818	inspect	900	840	190	2800	5.1	0	unknown	prog	tests	0	inspect		56.9	49.4	25	29	180		1400	0
eca-rers2012/Problem06_label02.yml	timeout	.569	prog	tests	854	inspect	900	840	190	2700	5.2	0	true	prog	tests	1	inspect		56.9	50.3	27	30	180		1700	0
eca-rers2012/Problem06_label03.yml	timeout	.590	prog	tests	1039	inspect	900	840	190	3900	4.9	0	unknown	prog	tests	0	inspect		59.0	55.6	32	35	180		2000	0
eca-rers2012/Problem06_label04.yml	timeout	.578	prog	tests	863	inspect	900	840	190	2700	5.0	0	unknown	prog	tests	0	inspect		57.8	52.4	27	27	180		1500	0
eca-rers2012/Problem06_label05.yml	timeout	.580	prog	tests	913	inspect	900	840	190	2600	4.1	0	true	prog	tests	1	inspect		58.0	52.8	28	28	180		1600	0
eca-rers2012/Problem06_label06.yml	done	.0987	prog	tests	7	inspect	31	29	190	140	3.5	0	unknown	prog	tests	0	inspect		9.87	8.70	1.9	1.9	180		16	0
eca-rers2012/Problem06_label07.yml	timeout	.593	prog	tests	1092	inspect	900	840	190	4800	5.1	0	unknown	prog	tests	0	inspect		59.3	56.0	34	38	180		1900	0
eca-rers2012/Problem06_label08.yml	timeout	.553	prog	tests	798	inspect	900	840	190	2600	5.0	0	unknown	prog	tests	0	inspect		55.3	46.3	25	31	180		1300	0
eca-rers2012/Problem06_label09.yml	timeout	.582	prog	tests	869	inspect	900	840	190	2200	4.5	0	true	prog	tests	1	inspect		58.2	52.4	27	28	180		1400	0
eca-rers2012/Problem06_label10.yml	timeout	.591	prog	tests	1001	inspect	900	840	190	3900	5.2	0	true	prog	tests	1	inspect		59.0	55.5	30	31	180		1800	0
eca-rers2012/Problem06_label11.yml	timeout	.595	prog	tests	1081	inspect	900	840	190	4500	5.1	0	true	prog	tests	1	inspect		59.5	56.5	33	34	180		1800	0
eca-rers2012/Problem06_label12.yml	timeout	.588	prog	tests	922	inspect	900	840	190	3200	5.2	0	true	prog	tests	1	inspect		58.8	54.2	29	32	180		1800	0
eca-rers2012/Problem06_label13.yml	timeout	.588	prog	tests	994	inspect	900	840	190	3100	5.2	0	unknown	prog	tests	0	inspect		58.8	54.5	31	37	180		1700	0
eca-rers2012/Problem06_label14.yml	timeout	.578	prog	tests	938	inspect	900	830	190	4400	4.9	0	unknown	prog	tests	0	inspect		57.8	53.1	29	33	180		1700	0
eca-rers2012/Problem06_label15.yml	timeout	.520	prog	tests	606	inspect	900	840	190	2500	5.0	0	unknown	prog	tests	0	inspect		52.0	38.2	19	20	180		970	0
eca-rers2012/Problem06_label16.yml	timeout	.591	prog	tests	1044	inspect	900	850	190	2400	5.1	0	unknown	prog	tests	0	inspect		59.1	55.3	32	36	180		2000	0
eca-rers2012/Problem06_label17.yml	done	.0987	prog	tests	7	inspect	22	21	190	180	3.7	0	unknown	prog	tests	0	inspect		9.87	8.70	1.9	1.9	180		20	0
eca-rers2012/Problem06_label18.yml	timeout	.582	prog	tests	903	inspect	900	840	190	4800	5.1	0	unknown	prog	tests	0	inspect		58.2	54.2	28	33	180		1600	0
eca-rers2012/Problem06_label19.yml	timeout	.561	prog	tests	787	inspect	900	840	190	3000	5.1	0	unknown	prog	tests	0	inspect		56.1	48.0	24	29	180		1500	0
eca-rers2012/Problem06_label20.yml	done	.0987	prog	tests	7	inspect	30	28	190	150	2.9	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		22	0
eca-rers2012/Problem06_label21.yml	timeout	.565	prog	tests	790	inspect	900	840	190	2400	5.1	0	unknown	prog	tests	0	inspect		56.5	50.2	24	26	180		1200	0
eca-rers2012/Problem06_label22.yml	timeout	.597	prog	tests	1173	inspect	900	810	190	6900	5.2	0	unknown	prog	tests	0	inspect		59.7	56.6	35	35	180		2200	0
eca-rers2012/Problem06_label23.yml	timeout	.579	prog	tests	921	inspect	900	840	190	2700	4.1	0	unknown	prog	tests	0	inspect		57.9	53.3	28	35	180		1800	0
eca-rers2012/Problem06_label24.yml	timeout	.585	prog	tests	898	inspect	900	840	190	2900	5.2	0	true	prog	tests	1	inspect		58.5	53.8	28	31	180		1600	0
eca-rers2012/Problem06_label25.yml	done	.0987	prog	tests	7	inspect	25	24	190	140	2.9	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		14	0
eca-rers2012/Problem06_label26.yml	timeout	.561	prog	tests	816	inspect	900	840	190	2400	5.0	0	unknown	prog	tests	0	inspect		56.1	47.9	25	27	180		1300	0
eca-rers2012/Problem06_label27.yml	timeout	.584	prog	tests	908	inspect	900	830	190	5400	5.2	.061	unknown	prog	tests	0	inspect		58.4	53.4	29	29	180		1600	0
eca-rers2012/Problem06_label28.yml	timeout	.585	prog	tests	967	inspect	900	840	190	3700	5.0	0	unknown	prog	tests	0	inspect		58.5	53.8	30	31	180		1900	0
eca-rers2012/Problem06_label29.yml	timeout	.577	prog	tests	831	inspect	900	840	190	2400	5.2	0	true	prog	tests	1	inspect		57.7	51.7	25	29	180		1600	0
eca-rers2012/Problem06_label30.yml	timeout	.586	prog	tests	976	inspect	900	830	190	4400	4.5	0	unknown	prog	tests	0	inspect		58.6	54.7	30	33	180		1500	0
eca-rers2012/Problem06_label31.yml	timeout	.585	prog	tests	936	inspect	900	840	190	2700	5.2	0	unknown	prog	tests	0	inspect		58.5	53.6	28	28	180		1700	0
eca-rers2012/Problem06_label32.yml	timeout	.588	prog	tests	1027	inspect	900	840	190	3900	5.0	0	unknown	prog	tests	0	inspect		58.8	54.9	33	34	180		1700	0
eca-rers2012/Problem06_label33.yml	done	.0987	prog	tests	7	inspect	31	29	190	140	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	1.9	2.0	180		21	0
eca-rers2012/Problem06_label34.yml	timeout	.586	prog	tests	1008	inspect	900	840	190	3600	5.2	0	unknown	prog	tests	0	inspect		58.5	55.0	31	34	180		1600	0
eca-rers2012/Problem06_label35.yml	timeout	.584	prog	tests	868	inspect	900	840	190	3200	5.0	0	unknown	prog	tests	0	inspect		58.4	53.5	27	31	180		1500	0
eca-rers2012/Problem06_label36.yml	timeout	.591	prog	tests	950	inspect	900	840	190	2400	5.1	0	true	prog	tests	1	inspect		59.1	55.9	29	33	180		1800	0
eca-rers2012/Problem06_label37.yml	timeout	.574	prog	tests	810	inspect	900	840	190	2600	5.2	0	true	prog	tests	1	inspect		57.4	50.7	25	25	180		1400	0
eca-rers2012/Problem06_label38.yml	timeout	.565	prog	tests	831	inspect	900	840	190	2800	4.5	0	true	prog	tests	1	inspect		56.5	49.4	26	29	180		1600	0
eca-rers2012/Problem06_label39.yml	done	.0987	prog	tests	7	inspect	28	26	190	140	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		24	0
eca-rers2012/Problem06_label40.yml	timeout	.574	prog	tests	805	inspect	900	840	190	2700	5.0	0	unknown	prog	tests	0	inspect		57.4	50.3	25	25	180		1200	0
eca-rers2012/Problem06_label41.yml	timeout	.594	prog	tests	1026	inspect	900	840	190	4100	5.1	0	unknown	prog	tests	0	inspect		59.4	56.1	32	38	180		1600	0
eca-rers2012/Problem06_label42.yml	timeout	.585	prog	tests	938	inspect	900	840	190	2500	5.0	0	unknown	prog	tests	0	inspect		58.5	53.4	29	33	180		1600	0
eca-rers2012/Problem06_label43.yml	timeout	.589	prog	tests	1009	inspect	900	840	190	2600	5.1	0	unknown	prog	tests	0	inspect		58.9	55.0	30	35	180		1700	0
eca-rers2012/Problem06_label44.yml	done	.0987	prog	tests	7	inspect	24	23	190	140	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		19	0
eca-rers2012/Problem06_label45.yml	timeout	.574	prog	tests	806	inspect	900	840	190	2700	5.1	0	unknown	prog	tests	0	inspect		57.4	50.8	26	26	180		1200	0
eca-rers2012/Problem06_label46.yml	done	.0987	prog	tests	7	inspect	28	27	190	130	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		18	0
eca-rers2012/Problem06_label47.yml	done	.0987	prog	tests	7	inspect	22	21	190	170	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	1.9	1.9	180		21	0
eca-rers2012/Problem06_label48.yml	timeout	.579	prog	tests	914	inspect	900	840	190	2900	4.0	0	true	prog	tests	1	inspect		57.9	51.9	28	29	180		1400	0
eca-rers2012/Problem06_label49.yml	timeout	.581	prog	tests	927	inspect	900	840	190	3200	5.1	0	unknown	prog	tests	0	inspect		58.0	53.2	28	34	180		1600	0
eca-rers2012/Problem06_label50.yml	timeout	.591	prog	tests	1059	inspect	900	840	190	4500	4.9	0	unknown	prog	tests	0	inspect		59.1	55.5	32	39	180		1900	0
eca-rers2012/Problem06_label51.yml	done	.0987	prog	tests	7	inspect	22	21	190	170	2.9	0	unknown	prog	tests	0	inspect		9.87	8.70	1.9	1.9	180		21	0
eca-rers2012/Problem06_label52.yml	done	.0987	prog	tests	7	inspect	29	27	190	150	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		24	0
eca-rers2012/Problem06_label53.yml	done	.0987	prog	tests	7	inspect	23	21	190	150	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		18	0
eca-rers2012/Problem06_label54.yml	done	.0987	prog	tests	7	inspect	32	30	190	150	4.0	0	unknown	prog	tests	0	inspect		9.87	8.70	2.0	2.0	180		20	0
eca-rers2012/Problem06_label55.yml	timeout	.589	prog	tests	974	inspect	900	840	190	3000	5.0	0	unknown	prog	tests	0	inspect		58.9	54.3	30	35	180		1900	0
eca-rers2012/Problem06_label56.yml	timeout	.583	prog	tests	1003	inspect	900	840	190	4100	5.2	0	true	prog	tests	1	inspect		58.3	53.4	30	29	180		1900	0
eca-rers2012/Problem06_label57.yml	timeout	.583	prog	tests	895	inspect	900	840	190	2700	4.6	0	unknown	prog	tests	0	inspect		58.3	53.3	27	27	180		1300	0
eca-rers2012/Problem06_label58.yml	timeout	.574	prog	tests	865	inspect	900	850	190	2700	5.0	0	unknown	prog	tests	0	inspect		57.4	51.5	26	26	180		1600	0
eca-rers2012/Problem06_label59.yml	timeout	.576	prog	tests	861	inspect	900	840	190	3300	5.0	0	true	prog	tests	1	inspect		57.5	51.6	27	32	180		1500	0
eca-rers2012/Problem07_label00.yml	timeout	.571	prog	tests	941	inspect	900	870	390	6100	19	0	unknown	prog	tests	0	inspect		57.1	22.1	210	210	770		17000	0
eca-rers2012/Problem07_label01.yml	timeout	.517	prog	tests	694	inspect	900	870	390	5400	18	0	unknown	prog	tests	0	inspect		51.7	19.2	160	160	770		12000	0
eca-rers2012/Problem07_label02.yml	done	.0785	prog	tests	7	inspect	180	180	390	1900	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		210	0
eca-rers2012/Problem07_label03.yml	timeout	.558	prog	tests	740	inspect	900	880	390	4300	28	0	unknown	prog	tests	0	inspect		55.9	20.9	170	170	770		16000	0
eca-rers2012/Problem07_label04.yml	timeout	.512	prog	tests	729	inspect	900	870	390	4200	27	0	unknown	prog	tests	0	inspect		51.2	19.6	170	170	770		15000	0
eca-rers2012/Problem07_label05.yml	timeout	.573	prog	tests	899	inspect	900	880	390	5300	26	0	unknown	prog	tests	0	inspect		57.3	21.8	210	210	770		19000	0
eca-rers2012/Problem07_label06.yml	timeout	.523	prog	tests	728	inspect	900	880	390	4700	21	0	unknown	prog	tests	0	inspect		52.3	19.5	170	170	770		15000	0
eca-rers2012/Problem07_label07.yml	timeout	.530	prog	tests	693	inspect	900	870	390	4100	18	0	unknown	prog	tests	0	inspect		53.0	19.8	160	160	770		14000	0
eca-rers2012/Problem07_label08.yml	timeout	.564	prog	tests	887	inspect	900	870	390	5800	29	0	unknown	prog	tests	0	inspect		56.4	21.4	200	200	770		16000	0
eca-rers2012/Problem07_label09.yml	timeout	.551	prog	tests	822	inspect	900	880	390	4900	26	0	unknown	prog	tests	0	inspect		55.1	21.0	180	180	770		17000	0
eca-rers2012/Problem07_label10.yml	timeout	.589	prog	tests	992	inspect	900	880	390	5100	18	0	unknown	prog	tests	0	inspect		58.9	23.3	220	220	770		18000	0
eca-rers2012/Problem07_label11.yml	timeout	.559	prog	tests	885	inspect	900	880	390	5400	25	0	unknown	prog	tests	0	inspect		55.9	21.1	200	200	770		18000	0
eca-rers2012/Problem07_label12.yml	timeout	.573	prog	tests	929	inspect	900	880	390	4800	19	0	unknown	prog	tests	0	inspect		57.3	22.2	210	210	770		17000	0
eca-rers2012/Problem07_label13.yml	timeout	.548	prog	tests	880	inspect	900	880	390	5000	29	0	unknown	prog	tests	0	inspect		54.8	20.8	200	200	770		16000	0
eca-rers2012/Problem07_label14.yml	timeout	.567	prog	tests	955	inspect	900	880	390	6800	25	0	unknown	prog	tests	0	inspect		56.7	22.1	220	220	770		18000	0
eca-rers2012/Problem07_label15.yml	timeout	.598	prog	tests	1050	inspect	900	870	390	7200	19	0	true	prog	tests	1	inspect		59.8	23.8	240	240	770		22000	0
eca-rers2012/Problem07_label16.yml	timeout	.591	prog	tests	1201	inspect	900	870	390	8400	25	0	unknown	prog	tests	0	inspect		59.1	23.7	260	260	770		26000	0
eca-rers2012/Problem07_label17.yml	timeout	.597	prog	tests	1136	inspect	900	870	390	4700	18	0	unknown	prog	tests	0	inspect		59.7	24.1	250	250	770		22000	0
eca-rers2012/Problem07_label18.yml	timeout	.547	prog	tests	756	inspect	900	880	390	3200	27	.061	unknown	prog	tests	0	inspect		54.7	20.3	170	170	770		16000	0
eca-rers2012/Problem07_label19.yml	timeout	.571	prog	tests	903	inspect	900	870	390	5100	27	0	unknown	prog	tests	0	inspect		57.1	21.7	200	200	770		16000	0
eca-rers2012/Problem07_label20.yml	timeout	.545	prog	tests	773	inspect	900	880	390	5200	19	0	unknown	prog	tests	0	inspect		54.5	20.5	180	180	770		17000	0
eca-rers2012/Problem07_label21.yml	timeout	.578	prog	tests	955	inspect	900	880	390	5500	19	0	unknown	prog	tests	0	inspect		57.8	22.5	220	220	770		19000	0
eca-rers2012/Problem07_label22.yml	done	.0785	prog	tests	7	inspect	180	180	390	2100	26	.061	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		210	0
eca-rers2012/Problem07_label23.yml	timeout	.589	prog	tests	1059	inspect	900	870	390	6600	19	.061	unknown	prog	tests	0	inspect		58.9	23.6	240	250	770		19000	0
eca-rers2012/Problem07_label24.yml	timeout	.556	prog	tests	828	inspect	900	880	390	5000	27	0	unknown	prog	tests	0	inspect		55.6	20.7	190	190	770		17000	0
eca-rers2012/Problem07_label25.yml	timeout	.562	prog	tests	778	inspect	900	880	390	4600	27	0	unknown	prog	tests	0	inspect		56.2	21.0	180	180	770		14000	0
eca-rers2012/Problem07_label26.yml	timeout	.590	prog	tests	1030	inspect	900	870	390	5600	18	0	unknown	prog	tests	0	inspect		59.0	23.3	230	230	770		22000	0
eca-rers2012/Problem07_label27.yml	timeout	.562	prog	tests	921	inspect	900	880	390	4800	19	0	unknown	prog	tests	0	inspect		56.2	21.5	210	210	770		17000	0
eca-rers2012/Problem07_label28.yml	timeout	.575	prog	tests	950	inspect	900	870	390	4400	27	0	unknown	prog	tests	0	inspect		57.5	22.4	210	210	770		17000	0
eca-rers2012/Problem07_label29.yml	done	.0785	prog	tests	7	inspect	190	180	390	2400	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		200	0
eca-rers2012/Problem07_label30.yml	timeout	.562	prog	tests	930	inspect	900	880	390	4900	19	0	unknown	prog	tests	0	inspect		56.2	21.6	210	210	770		19000	0
eca-rers2012/Problem07_label31.yml	timeout	.568	prog	tests	937	inspect	900	870	390	6300	25	0	unknown	prog	tests	0	inspect		56.8	21.7	210	210	770		17000	0
eca-rers2012/Problem07_label32.yml	timeout	.577	prog	tests	1015	inspect	900	870	390	5000	26	0	unknown	prog	tests	0	inspect		57.7	22.6	230	230	770		20000	0
eca-rers2012/Problem07_label33.yml	timeout	.596	prog	tests	1093	inspect	900	880	390	5600	21	0	unknown	prog	tests	0	inspect		59.6	23.8	250	250	770		20000	0
eca-rers2012/Problem07_label34.yml	done	.0785	prog	tests	7	inspect	180	180	390	2100	19	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		200	0
eca-rers2012/Problem07_label35.yml	timeout	.541	prog	tests	764	inspect	900	880	390	5300	29	0	unknown	prog	tests	0	inspect		54.1	20.4	170	170	770		14000	0
eca-rers2012/Problem07_label36.yml	timeout	.573	prog	tests	992	inspect	900	870	390	5500	26	0	unknown	prog	tests	0	inspect		57.3	22.6	220	220	770		20000	0
eca-rers2012/Problem07_label37.yml	timeout	.561	prog	tests	878	inspect	900	880	390	5000	18	0	unknown	prog	tests	0	inspect		56.1	21.8	200	200	770		16000	0
eca-rers2012/Problem07_label38.yml	done	.0785	prog	tests	7	inspect	190	190	390	2000	26	0	unknown	prog	tests	0	inspect		7.85	12.5	17	17	770		240	0
eca-rers2012/Problem07_label39.yml	timeout	.557	prog	tests	931	inspect	900	870	390	4800	19	0	unknown	prog	tests	0	inspect		55.7	21.4	210	210	770		17000	0
eca-rers2012/Problem07_label40.yml	done	.0785	prog	tests	7	inspect	190	180	390	2300	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		130	0
eca-rers2012/Problem07_label41.yml	done	.0785	prog	tests	7	inspect	180	180	390	2000	17	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		210	0
eca-rers2012/Problem07_label42.yml	timeout	.553	prog	tests	875	inspect	900	870	390	4500	20	0	unknown	prog	tests	0	inspect		55.3	21.2	200	200	770		15000	0
eca-rers2012/Problem07_label43.yml	done	.0785	prog	tests	7	inspect	190	190	390	2000	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		210	0
eca-rers2012/Problem07_label44.yml	timeout	.573	prog	tests	926	inspect	900	870	390	5200	28	0	unknown	prog	tests	0	inspect		57.2	22.1	210	210	770		17000	0
eca-rers2012/Problem07_label45.yml	timeout	.581	prog	tests	860	inspect	900	880	390	5300	27	0	unknown	prog	tests	0	inspect		58.0	21.9	200	200	770		16000	0
eca-rers2012/Problem07_label46.yml	done	.0785	prog	tests	7	inspect	190	190	390	1900	26	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		200	0
eca-rers2012/Problem07_label47.yml	timeout	.575	prog	tests	965	inspect	900	880	390	5800	27	0	unknown	prog	tests	0	inspect		57.5	22.1	220	220	770		18000	0
eca-rers2012/Problem07_label48.yml	timeout	.565	prog	tests	945	inspect	900	880	390	5000	25	0	unknown	prog	tests	0	inspect		56.5	21.1	220	220	770		19000	0
eca-rers2012/Problem07_label49.yml	timeout	.574	prog	tests	907	inspect	900	880	390	4700	19	0	unknown	prog	tests	0	inspect		57.4	21.9	200	200	770		17000	0
eca-rers2012/Problem07_label50.yml	done	.0785	prog	tests	7	inspect	190	180	390	2300	20	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		140	0
eca-rers2012/Problem07_label51.yml	done	.0785	prog	tests	7	inspect	180	180	390	2300	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		130	0
eca-rers2012/Problem07_label52.yml	done	.0785	prog	tests	7	inspect	180	180	390	2600	18	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		190	0
eca-rers2012/Problem07_label53.yml	timeout	.538	prog	tests	774	inspect	900	870	390	6100	19	0	unknown	prog	tests	0	inspect		53.8	20.1	180	180	770		16000	0
eca-rers2012/Problem07_label54.yml	timeout	.565	prog	tests	790	inspect	900	880	390	4900	27	0	unknown	prog	tests	0	inspect		56.5	21.4	180	180	770		15000	0
eca-rers2012/Problem07_label55.yml	done	.0785	prog	tests	7	inspect	180	180	390	2300	26	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		200	0
eca-rers2012/Problem07_label56.yml	timeout	.596	prog	tests	1049	inspect	900	870	390	5300	26	0	unknown	prog	tests	0	inspect		59.6	23.9	230	230	770		21000	0
eca-rers2012/Problem07_label57.yml	timeout	.566	prog	tests	941	inspect	900	880	390	4900	19	0	unknown	prog	tests	0	inspect		56.6	21.7	210	210	770		17000	0
eca-rers2012/Problem07_label58.yml	done	.0785	prog	tests	7	inspect	190	190	390	2300	19	0	unknown	prog	tests	0	inspect		7.85	12.5	16	16	770		200	0
eca-rers2012/Problem07_label59.yml	timeout	.616	prog	tests	1286	inspect	900	870	390	6200	26	0	unknown	prog	tests	0	inspect		61.6	25.9	290	290	770		26000	0
eca-rers2012/Problem08_label00.yml	timeout	.474	prog	tests	511	inspect	900	880	760	7400	36	0	unknown	prog	tests	0	inspect		47.4	13.3	230	230	1600		21000	0
eca-rers2012/Problem08_label01.yml	timeout	.481	prog	tests	551	inspect	900	890	760	8400	50	0	unknown	prog	tests	0	inspect		48.1	13.4	250	250	1600		20000	0
eca-rers2012/Problem08_label02.yml	done	.0578	prog	tests	7	inspect	360	360	760	4700	34	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		350	0
eca-rers2012/Problem08_label03.yml	timeout	.457	prog	tests	452	inspect	900	890	760	6500	35	0	unknown	prog	tests	0	inspect		45.7	12.9	210	210	1600		17000	0
eca-rers2012/Problem08_label04.yml	done	.0578	prog	tests	7	inspect	360	360	760	4000	38	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		310	0
eca-rers2012/Problem08_label05.yml	timeout	.426	prog	tests	405	inspect	900	880	760	6200	34	0	unknown	prog	tests	0	inspect		42.6	12.4	190	190	1600		15000	0
eca-rers2012/Problem08_label06.yml	timeout	.499	prog	tests	664	inspect	900	890	760	6500	37	0	unknown	prog	tests	0	inspect		49.9	13.8	300	300	1600		25000	0
eca-rers2012/Problem08_label07.yml	timeout	.435	prog	tests	420	inspect	900	880	760	7000	36	0	unknown	prog	tests	0	inspect		43.5	12.6	200	200	1600		15000	0
eca-rers2012/Problem08_label08.yml	done	.0578	prog	tests	7	inspect	360	350	760	4000	39	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		270	0
eca-rers2012/Problem08_label09.yml	timeout	.418	prog	tests	374	inspect	900	890	760	6600	35	0	unknown	prog	tests	0	inspect		41.8	12.4	180	180	1600		14000	0
eca-rers2012/Problem08_label10.yml	timeout	.462	prog	tests	438	inspect	900	890	760	6300	35	0	unknown	prog	tests	0	inspect		46.2	13.0	200	200	1600		16000	0
eca-rers2012/Problem08_label11.yml	done	.0578	prog	tests	7	inspect	370	360	760	4300	34	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		340	0
eca-rers2012/Problem08_label12.yml	timeout	.448	prog	tests	381	inspect	900	890	760	6900	35	0	unknown	prog	tests	0	inspect		44.8	12.7	180	180	1600		14000	0
eca-rers2012/Problem08_label13.yml	done	.0578	prog	tests	7	inspect	360	350	760	4800	35	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		340	0
eca-rers2012/Problem08_label14.yml	done	.0578	prog	tests	7	inspect	360	360	760	4200	37	0	unknown	prog	tests	0	inspect		5.78	8.73	31	31	1600		200	0
eca-rers2012/Problem08_label15.yml	timeout	.418	prog	tests	327	inspect	900	890	760	6900	35	0	unknown	prog	tests	0	inspect		41.8	12.2	160	160	1600		12000	0
eca-rers2012/Problem08_label16.yml	timeout	.459	prog	tests	499	inspect	900	880	760	5400	34	0	unknown	prog	tests	0	inspect		45.9	13.1	230	230	1600		19000	0
eca-rers2012/Problem08_label17.yml	done	.0578	prog	tests	7	inspect	360	350	760	3800	34	0	unknown	prog	tests	0	inspect		5.78	8.73	32	33	1600		340	0
eca-rers2012/Problem08_label18.yml	timeout	.440	prog	tests	394	inspect	900	890	760	6200	34	0	unknown	prog	tests	0	inspect		44.0	12.4	190	190	1600		15000	0
eca-rers2012/Problem08_label19.yml	done	.0578	prog	tests	7	inspect	360	360	760	4400	37	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		340	0
eca-rers2012/Problem08_label20.yml	timeout	.434	prog	tests	379	inspect	900	890	760	6500	36	0	unknown	prog	tests	0	inspect		43.4	12.4	180	180	1600		15000	0
eca-rers2012/Problem08_label21.yml	timeout	.444	prog	tests	394	inspect	900	890	760	7000	38	0	unknown	prog	tests	0	inspect		44.4	12.4	190	190	1600		16000	0
eca-rers2012/Problem08_label22.yml	timeout	.483	prog	tests	521	inspect	900	880	760	6000	35	0	unknown	prog	tests	0	inspect		48.3	13.3	230	230	1600		22000	0
eca-rers2012/Problem08_label23.yml	timeout	.447	prog	tests	449	inspect	900	890	760	7200	35	0	unknown	prog	tests	0	inspect		44.7	12.7	210	210	1600		17000	0
eca-rers2012/Problem08_label24.yml	timeout	.441	prog	tests	449	inspect	900	880	760	6700	37	0	unknown	prog	tests	0	inspect		44.1	12.7	210	210	1600		15000	0
eca-rers2012/Problem08_label25.yml	timeout	.420	prog	tests	368	inspect	900	890	760	8500	36	0	unknown	prog	tests	0	inspect		42.0	12.3	170	170	1600		14000	0
eca-rers2012/Problem08_label26.yml	done	.0578	prog	tests	7	inspect	370	370	760	4300	34	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		390	0
eca-rers2012/Problem08_label27.yml	timeout	.472	prog	tests	506	inspect	900	890	760	7000	36	0	unknown	prog	tests	0	inspect		47.2	13.2	230	230	1600		19000	0
eca-rers2012/Problem08_label28.yml	timeout	.471	prog	tests	538	inspect	900	880	760	6600	36	.061	unknown	prog	tests	0	inspect		47.1	13.3	250	250	1600		22000	0
eca-rers2012/Problem08_label29.yml	timeout	.476	prog	tests	538	inspect	900	890	760	6400	36	0	unknown	prog	tests	0	inspect		47.6	13.4	250	250	1600		19000	0
eca-rers2012/Problem08_label30.yml	timeout	.490	prog	tests	580	inspect	900	890	760	5900	34	.061	unknown	prog	tests	0	inspect		49.0	13.7	260	260	1600		20000	0
eca-rers2012/Problem08_label31.yml	timeout	.486	prog	tests	510	inspect	900	890	760	7900	34	0	unknown	prog	tests	0	inspect		48.6	13.4	230	230	1600		22000	0
eca-rers2012/Problem08_label32.yml	timeout	.480	prog	tests	511	inspect	900	890	760	7000	47	0	unknown	prog	tests	0	inspect		48.0	13.4	230	230	1600		17000	0
eca-rers2012/Problem08_label33.yml	timeout	.480	prog	tests	522	inspect	900	890	760	6000	35	0	unknown	prog	tests	0	inspect		48.0	13.3	240	240	1600		20000	0
eca-rers2012/Problem08_label34.yml	timeout	.465	prog	tests	492	inspect	900	890	760	6500	35	0	unknown	prog	tests	0	inspect		46.5	13.2	220	230	1600		18000	0
eca-rers2012/Problem08_label35.yml	timeout	.473	prog	tests	484	inspect	900	890	760	6600	35	.061	unknown	prog	tests	0	inspect		47.3	13.1	230	230	1600		17000	0
eca-rers2012/Problem08_label36.yml	timeout	.437	prog	tests	375	inspect	900	890	760	6500	38	0	unknown	prog	tests	0	inspect		43.7	12.5	180	180	1600		15000	0
eca-rers2012/Problem08_label37.yml	timeout	.494	prog	tests	606	inspect	900	890	760	7300	35	0	unknown	prog	tests	0	inspect		49.4	13.9	270	270	1600		22000	0
eca-rers2012/Problem08_label38.yml	timeout	.438	prog	tests	386	inspect	900	890	760	6000	35	0	unknown	prog	tests	0	inspect		43.8	12.5	190	190	1600		15000	0
eca-rers2012/Problem08_label39.yml	timeout	.489	prog	tests	538	inspect	900	890	760	6200	36	0	unknown	prog	tests	0	inspect		48.9	13.4	250	250	1600		20000	0
eca-rers2012/Problem08_label40.yml	timeout	.481	prog	tests	536	inspect	900	890	760	6700	35	0	unknown	prog	tests	0	inspect		48.1	13.4	240	240	1600		19000	0
eca-rers2012/Problem08_label41.yml	timeout	.471	prog	tests	459	inspect	900	890	760	5900	35	0	unknown	prog	tests	0	inspect		47.1	13.1	210	210	1600		17000	0
eca-rers2012/Problem08_label42.yml	done	.0578	prog	tests	7	inspect	360	360	760	4700	34	0	unknown	prog	tests	0	inspect		5.78	8.73	31	31	1600		420	0
eca-rers2012/Problem08_label43.yml	timeout	.462	prog	tests	426	inspect	900	890	760	5900	38	0	unknown	prog	tests	0	inspect		46.2	12.8	200	200	1600		16000	0
eca-rers2012/Problem08_label44.yml	timeout	.481	prog	tests	511	inspect	900	890	760	6300	38	0	unknown	prog	tests	0	inspect		48.1	13.5	230	230	1600		18000	0
eca-rers2012/Problem08_label45.yml	timeout	.433	prog	tests	379	inspect	900	890	760	5600	35	0	unknown	prog	tests	0	inspect		43.3	12.3	180	180	1600		13000	0
eca-rers2012/Problem08_label46.yml	timeout	.456	prog	tests	470	inspect	900	890	760	6700	39	0	unknown	prog	tests	0	inspect		45.6	13.0	220	220	1600		18000	0
eca-rers2012/Problem08_label47.yml	done	.0578	prog	tests	7	inspect	350	350	760	5200	37	.061	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		440	0
eca-rers2012/Problem08_label48.yml	done	.0578	prog	tests	7	inspect	350	350	760	4800	37	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		300	0
eca-rers2012/Problem08_label49.yml	done	.0578	prog	tests	7	inspect	360	360	760	4900	37	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		360	0
eca-rers2012/Problem08_label50.yml	timeout	.460	prog	tests	424	inspect	900	890	760	5700	36	.061	unknown	prog	tests	0	inspect		46.0	13.0	200	200	1600		15000	0
eca-rers2012/Problem08_label51.yml	done	.0578	prog	tests	7	inspect	360	350	760	4400	37	0	unknown	prog	tests	0	inspect		5.78	8.73	33	33	1600		410	0
eca-rers2012/Problem08_label52.yml	timeout	.472	prog	tests	498	inspect	900	890	760	6100	36	0	unknown	prog	tests	0	inspect		47.2	13.2	220	220	1600		22000	0
eca-rers2012/Problem08_label53.yml	timeout	.437	prog	tests	350	inspect	900	890	760	7000	35	0	unknown	prog	tests	0	inspect		43.7	12.4	170	170	1600		13000	0
eca-rers2012/Problem08_label54.yml	timeout	.467	prog	tests	441	inspect	900	890	760	7400	54	0	unknown	prog	tests	0	inspect		46.7	13.0	210	210	1600		15000	0
eca-rers2012/Problem08_label55.yml	done	.0578	prog	tests	7	inspect	360	360	760	4600	36	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		250	0
eca-rers2012/Problem08_label56.yml	done	.0578	prog	tests	7	inspect	350	350	760	3900	34	0	unknown	prog	tests	0	inspect		5.78	8.73	31	31	1600		390	0
eca-rers2012/Problem08_label57.yml	done	.0578	prog	tests	7	inspect	350	350	760	4600	34	0	unknown	prog	tests	0	inspect		5.78	8.73	32	32	1600		320	0
eca-rers2012/Problem08_label58.yml	timeout	.447	prog	tests	425	inspect	900	890	760	7900	36	0	unknown	prog	tests	0	inspect		44.7	12.7	200	200	1600		16000	0
eca-rers2012/Problem08_label59.yml	done	.0578	prog	tests	7	inspect	360	360	760	4300	37	.061	unknown	prog	tests	0	inspect		5.78	8.73	31	31	1600		340	0
eca-rers2012/Problem09_label00.yml	timeout	.337	prog	tests	488	inspect	900	880	760	5000	46	0	unknown	prog	tests	0	inspect		33.7	10.8	250	250	1800		21000	0
eca-rers2012/Problem09_label01.yml	done	.0389	prog	tests	6	inspect	160	160	760	1700	43	0	unknown	prog	tests	0	inspect		3.89	3.91	37	37	1800		430	0
eca-rers2012/Problem09_label02.yml	done	.0389	prog	tests	6	inspect	160	160	760	1600	43	0	unknown	prog	tests	0	inspect		3.89	3.91	35	35	1800		370	0
eca-rers2012/Problem09_label03.yml	timeout	.374	prog	tests	528	inspect	900	880	760	5100	40	0	unknown	prog	tests	0	inspect		37.4	11.7	270	270	1800		21000	0
eca-rers2012/Problem09_label04.yml	timeout	.365	prog	tests	581	inspect	900	880	760	4900	39	0	unknown	prog	tests	0	inspect		36.5	11.8	290	300	1800		27000	0
eca-rers2012/Problem09_label05.yml	done	.0389	prog	tests	6	inspect	160	160	760	1700	43	0	unknown	prog	tests	0	inspect		3.89	3.91	35	35	1800		340	0
eca-rers2012/Problem09_label06.yml	done	.0389	prog	tests	6	inspect	160	160	760	1500	38	.061	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		280	0
eca-rers2012/Problem09_label07.yml	timeout	.363	prog	tests	576	inspect	900	880	760	4800	46	0	unknown	prog	tests	0	inspect		36.3	11.8	290	290	1800		24000	0
eca-rers2012/Problem09_label08.yml	done	.0389	prog	tests	6	inspect	160	160	760	1900	42	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		400	0
eca-rers2012/Problem09_label09.yml	timeout	.365	prog	tests	558	inspect	900	880	760	4800	46	.0041	unknown	prog	tests	0	inspect		36.5	11.5	280	280	1800		23000	0
eca-rers2012/Problem09_label10.yml	done	.0389	prog	tests	6	inspect	160	160	760	1700	43	0	unknown	prog	tests	0	inspect		3.89	3.91	39	39	1800		280	0
eca-rers2012/Problem09_label11.yml	timeout	.360	prog	tests	491	inspect	900	880	760	4200	38	0	unknown	prog	tests	0	inspect		36.0	11.5	250	250	1800		24000	0
eca-rers2012/Problem09_label12.yml	done	.0389	prog	tests	6	inspect	170	170	760	1700	34	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		420	0
eca-rers2012/Problem09_label13.yml	timeout	.354	prog	tests	520	inspect	900	880	760	5300	43	0	unknown	prog	tests	0	inspect		35.4	11.4	260	270	1800		21000	0
eca-rers2012/Problem09_label14.yml	timeout	.338	prog	tests	499	inspect	900	880	760	6700	40	0	unknown	prog	tests	0	inspect		33.8	11.0	260	260	1800		23000	0
eca-rers2012/Problem09_label15.yml	done	.0389	prog	tests	6	inspect	160	160	760	1500	43	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		320	0
eca-rers2012/Problem09_label16.yml	timeout	.362	prog	tests	497	inspect	900	880	760	4200	39	0	unknown	prog	tests	0	inspect		36.2	11.3	250	250	1800		21000	0
eca-rers2012/Problem09_label17.yml	timeout	.379	prog	tests	666	inspect	900	880	760	4300	44	0	unknown	prog	tests	0	inspect		37.9	12.2	330	330	1800		26000	0
eca-rers2012/Problem09_label18.yml	timeout	.365	prog	tests	496	inspect	900	880	760	4800	44	0	unknown	prog	tests	0	inspect		36.5	11.4	260	260	1800		21000	0
eca-rers2012/Problem09_label19.yml	timeout	.363	prog	tests	538	inspect	900	880	760	4500	44	0	unknown	prog	tests	0	inspect		36.3	11.6	280	280	1800		21000	0
eca-rers2012/Problem09_label20.yml	timeout	.359	prog	tests	544	inspect	900	880	760	4500	45	0	unknown	prog	tests	0	inspect		35.9	11.6	280	280	1800		21000	0
eca-rers2012/Problem09_label21.yml	timeout	.367	prog	tests	521	inspect	900	880	760	5300	46	0	unknown	prog	tests	0	inspect		36.7	11.5	270	270	1800		21000	0
eca-rers2012/Problem09_label22.yml	timeout	.334	prog	tests	431	inspect	900	880	760	5600	36	0	unknown	prog	tests	0	inspect		33.4	11.0	230	230	1800		18000	0
eca-rers2012/Problem09_label23.yml	timeout	.374	prog	tests	597	inspect	900	880	760	4400	43	0	unknown	prog	tests	0	inspect		37.4	12.1	300	300	1800		26000	0
eca-rers2012/Problem09_label24.yml	done	.0389	prog	tests	6	inspect	160	150	760	1500	43	0	unknown	prog	tests	0	inspect		3.89	3.91	37	37	1800		420	0
eca-rers2012/Problem09_label25.yml	timeout	.338	prog	tests	429	inspect	900	880	760	4600	46	0	unknown	prog	tests	0	inspect		33.8	10.8	220	220	1800		17000	0
eca-rers2012/Problem09_label26.yml	timeout	.375	prog	tests	648	inspect	900	880	760	5200	44	0	unknown	prog	tests	0	inspect		37.5	12.1	320	320	1800		26000	0
eca-rers2012/Problem09_label27.yml	done	.0389	prog	tests	6	inspect	160	160	760	1800	37	0	unknown	prog	tests	0	inspect		3.89	3.91	37	37	1800		410	0
eca-rers2012/Problem09_label28.yml	timeout	.375	prog	tests	577	inspect	900	880	760	4400	46	0	unknown	prog	tests	0	inspect		37.5	11.8	300	300	1800		26000	0
eca-rers2012/Problem09_label29.yml	timeout	.348	prog	tests	489	inspect	900	880	760	4900	45	0	unknown	prog	tests	0	inspect		34.8	11.3	250	250	1800		19000	0
eca-rers2012/Problem09_label30.yml	timeout	.373	prog	tests	593	inspect	900	880	760	5200	42	0	unknown	prog	tests	0	inspect		37.3	11.8	290	290	1800		26000	0
eca-rers2012/Problem09_label31.yml	done	.0389	prog	tests	6	inspect	170	170	760	1500	42	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		310	0
eca-rers2012/Problem09_label32.yml	timeout	.330	prog	tests	396	inspect	900	880	760	4100	35	0	unknown	prog	tests	0	inspect		33.0	10.7	210	210	1800		18000	0
eca-rers2012/Problem09_label33.yml	done	.0389	prog	tests	6	inspect	150	150	760	1500	43	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		400	0
eca-rers2012/Problem09_label34.yml	timeout	.368	prog	tests	612	inspect	900	880	760	5200	45	0	unknown	prog	tests	0	inspect		36.9	11.8	310	310	1800		29000	0
eca-rers2012/Problem09_label35.yml	done	.0389	prog	tests	6	inspect	170	170	760	1800	39	0	unknown	prog	tests	0	inspect		3.89	3.91	40	40	1800		260	0
eca-rers2012/Problem09_label36.yml	done	.0389	prog	tests	6	inspect	150	150	760	1800	34	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		430	0
eca-rers2012/Problem09_label37.yml	done	.0389	prog	tests	6	inspect	150	150	760	1800	36	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		370	0
eca-rers2012/Problem09_label38.yml	done	.0389	prog	tests	6	inspect	170	170	760	1700	43	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		390	0
eca-rers2012/Problem09_label39.yml	done	.0389	prog	tests	6	inspect	160	160	760	1600	34	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		260	0
eca-rers2012/Problem09_label40.yml	timeout	.354	prog	tests	506	inspect	900	880	760	3900	37	0	unknown	prog	tests	0	inspect		35.4	11.5	260	260	1800		22000	0
eca-rers2012/Problem09_label41.yml	timeout	.365	prog	tests	544	inspect	900	880	760	4100	46	0	unknown	prog	tests	0	inspect		36.5	11.5	280	280	1800		22000	0
eca-rers2012/Problem09_label42.yml	done	.0389	prog	tests	6	inspect	170	170	760	1500	41	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		290	0
eca-rers2012/Problem09_label43.yml	timeout	.375	prog	tests	571	inspect	900	880	760	5100	42	0	unknown	prog	tests	0	inspect		37.5	11.9	290	290	1800		25000	0
eca-rers2012/Problem09_label44.yml	done	.0389	prog	tests	6	inspect	160	160	760	1800	42	0	unknown	prog	tests	0	inspect		3.89	3.91	38	38	1800		410	0
eca-rers2012/Problem09_label45.yml	done	.0389	prog	tests	6	inspect	160	160	760	1600	43	0	unknown	prog	tests	0	inspect		3.89	3.91	40	40	1800		260	0
eca-rers2012/Problem09_label46.yml	timeout	.357	prog	tests	546	inspect	900	880	760	4300	46	0	unknown	prog	tests	0	inspect		35.7	11.4	280	280	1800		22000	0
eca-rers2012/Problem09_label47.yml	done	.0389	prog	tests	6	inspect	160	160	760	1800	34	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		400	0
eca-rers2012/Problem09_label48.yml	timeout	.362	prog	tests	557	inspect	900	880	760	4200	44	0	unknown	prog	tests	0	inspect		36.2	11.6	280	280	1800		24000	0
eca-rers2012/Problem09_label49.yml	timeout	.339	prog	tests	487	inspect	900	880	760	5000	42	0	unknown	prog	tests	0	inspect		33.9	11.1	250	250	1800		20000	0
eca-rers2012/Problem09_label50.yml	timeout	.355	prog	tests	478	inspect	900	880	760	4100	43	0	unknown	prog	tests	0	inspect		35.5	11.2	240	250	1800		19000	0
eca-rers2012/Problem09_label51.yml	timeout	.378	prog	tests	555	inspect	900	880	760	5600	58	.061	unknown	prog	tests	0	inspect		37.8	11.9	280	280	1800		25000	0
eca-rers2012/Problem09_label52.yml	done	.0389	prog	tests	6	inspect	160	150	760	1600	41	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		410	0
eca-rers2012/Problem09_label53.yml	timeout	.362	prog	tests	497	inspect	900	880	760	5100	39	0	unknown	prog	tests	0	inspect		36.2	11.4	250	250	1800		21000	0
eca-rers2012/Problem09_label54.yml	timeout	.374	prog	tests	642	inspect	900	880	760	7100	42	0	unknown	prog	tests	0	inspect		37.4	12.1	320	320	1800		27000	0
eca-rers2012/Problem09_label55.yml	timeout	.363	prog	tests	532	inspect	900	880	760	4500	37	0	unknown	prog	tests	0	inspect		36.3	11.5	270	270	1800		23000	0
eca-rers2012/Problem09_label56.yml	timeout	.349	prog	tests	486	inspect	900	880	760	4100	46	.061	unknown	prog	tests	0	inspect		34.9	11.2	250	250	1800		19000	0
eca-rers2012/Problem09_label57.yml	done	.0389	prog	tests	6	inspect	160	160	760	1600	35	0	unknown	prog	tests	0	inspect		3.89	3.91	36	36	1800		300	0
eca-rers2012/Problem09_label58.yml	timeout	.364	prog	tests	560	inspect	900	880	760	4500	35	0	unknown	prog	tests	0	inspect		36.4	11.6	280	280	1800		23000	0
eca-rers2012/Problem09_label59.yml	timeout	.370	prog	tests	541	inspect	900	880	760	5100	42	0	unknown	prog	tests	0	inspect		37.0	11.6	280	280	1800		22000	0
eca-rers2012/Problem10_label00.yml	done	.192	prog	tests	6	inspect	21	20	27	61	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.23	.22	30		.97	0
eca-rers2012/Problem10_label01.yml	timeout	.771	prog	tests	319	inspect	900	830	29	2700	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.0	30		32	0
eca-rers2012/Problem10_label02.yml	timeout	.77	prog	tests	322	inspect	900	820	30	4000	1.4	0	unknown	prog	tests	0	inspect		77.0	88.8	2.0	2.1	30		32	0
eca-rers2012/Problem10_label03.yml	timeout	.771	prog	tests	303	inspect	900	820	28	4900	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.1	30		30	0
eca-rers2012/Problem10_label04.yml	timeout	.771	prog	tests	337	inspect	900	820	30	3900	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.1	2.4	30		34	0
eca-rers2012/Problem10_label05.yml	done	.771	prog	tests	289	inspect	820	760	28	2400	1.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.8	1.9	30		29	0
eca-rers2012/Problem10_label06.yml	done	.192	prog	tests	6	inspect	19	18	27	78	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.27	.27	30		.97	0
eca-rers2012/Problem10_label07.yml	timeout	.771	prog	tests	285	inspect	900	830	30	3100	1.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.8	1.8	30		28	0
eca-rers2012/Problem10_label08.yml	timeout	.771	prog	tests	329	inspect	900	820	30	4000	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	2.3	30		33	0
eca-rers2012/Problem10_label09.yml	timeout	.770	prog	tests	350	inspect	900	830	30	3900	1.4	.061	unknown	prog	tests	0	inspect		77.0	89.0	2.2	2.3	30		35	0
eca-rers2012/Problem10_label10.yml	done	.192	prog	tests	6	inspect	27	25	27	58	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.31	30		.97	0
eca-rers2012/Problem10_label11.yml	timeout	.771	prog	tests	329	inspect	900	830	30	2400	1.3	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	2.3	30		33	0
eca-rers2012/Problem10_label12.yml	done	.192	prog	tests	6	inspect	14	13	28	68	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label13.yml	done	.201	prog	tests	7	inspect	20	19	27	45	.47	0	unknown	prog	tests	0	inspect		20.1	35.7	.28	.28	30		1.1	0
eca-rers2012/Problem10_label14.yml	done	.192	prog	tests	6	inspect	27	25	28	91	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label15.yml	timeout	.771	prog	tests	323	inspect	900	830	29	2800	1.4	0	true	prog	tests	1	inspect		77.1	89.3	1.8	1.7	30		32	0
eca-rers2012/Problem10_label16.yml	timeout	.771	prog	tests	312	inspect	900	830	29	3200	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	2.1	30		31	0
eca-rers2012/Problem10_label17.yml	timeout	.771	prog	tests	305	inspect	900	830	28	2600	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.2	30		30	0
eca-rers2012/Problem10_label18.yml	done	.192	prog	tests	6	inspect	26	24	28	71	.47	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.28	30		.97	0
eca-rers2012/Problem10_label19.yml	timeout	.771	prog	tests	367	inspect	900	820	30	4700	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.2	2.0	30		36	0
eca-rers2012/Problem10_label20.yml	done	.771	prog	tests	353	inspect	890	810	31	3900	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.3	2.4	30		35	0
eca-rers2012/Problem10_label21.yml	done	.192	prog	tests	6	inspect	16	15	27	53	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label22.yml	timeout	.771	prog	tests	306	inspect	900	830	28	2300	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.8	1.7	30		30	0
eca-rers2012/Problem10_label23.yml	done	.192	prog	tests	6	inspect	19	18	26	53	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.25	30		.97	0
eca-rers2012/Problem10_label24.yml	timeout	.771	prog	tests	303	inspect	900	830	28	2300	1.4	0	true	prog	tests	1	inspect		77.1	89.3	1.7	1.6	30		30	0
eca-rers2012/Problem10_label25.yml	done	.192	prog	tests	6	inspect	20	19	27	63	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.26	.25	30		.97	0
eca-rers2012/Problem10_label26.yml	timeout	.771	prog	tests	370	inspect	900	820	32	5300	1.4	0	true	prog	tests	1	inspect		77.1	89.3	2.3	2.8	30		37	0
eca-rers2012/Problem10_label27.yml	timeout	.771	prog	tests	315	inspect	900	830	29	2200	1.4	.061	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.0	30		31	0
eca-rers2012/Problem10_label28.yml	done	.192	prog	tests	6	inspect	25	23	27	74	.46	.061	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label29.yml	done	.192	prog	tests	6	inspect	19	17	28	77	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label30.yml	timeout	.771	prog	tests	317	inspect	900	830	28	2100	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	1.8	30		32	0
eca-rers2012/Problem10_label31.yml	done	.192	prog	tests	6	inspect	18	16	27	85	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.23	.23	30		.97	0
eca-rers2012/Problem10_label32.yml	timeout	.771	prog	tests	343	inspect	900	820	29	5500	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	2.2	30		34	0
eca-rers2012/Problem10_label33.yml	timeout	.771	prog	tests	315	inspect	900	830	29	2500	1.5	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	1.9	30		31	0
eca-rers2012/Problem10_label34.yml	done	.192	prog	tests	6	inspect	26	24	28	90	.47	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label35.yml	done	.192	prog	tests	6	inspect	26	24	26	64	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label36.yml	timeout	.771	prog	tests	318	inspect	900	830	29	3600	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.1	30		32	0
eca-rers2012/Problem10_label37.yml	timeout	.771	prog	tests	335	inspect	900	820	30	5000	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.1	2.3	30		33	0
eca-rers2012/Problem10_label38.yml	done	.192	prog	tests	6	inspect	24	23	27	74	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label39.yml	timeout	.771	prog	tests	326	inspect	900	820	31	5000	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.0	2.2	30		32	0
eca-rers2012/Problem10_label40.yml	done	.192	prog	tests	6	inspect	22	20	26	72	.45	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label41.yml	done	.192	prog	tests	6	inspect	28	26	28	81	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label42.yml	false(unreach-call)	.771	prog	tests	345	inspect	820	750	29	3500	1.2	0	true	prog	tests	1	inspect		77.1	89.3	2.2	2.2	30		34	0
eca-rers2012/Problem10_label43.yml	timeout	.771	prog	tests	314	inspect	900	830	28	2600	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	1.9	30		31	0
eca-rers2012/Problem10_label44.yml	timeout	.771	prog	tests	306	inspect	900	830	28	2400	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.9	2.2	30		30	0
eca-rers2012/Problem10_label45.yml	done	.192	prog	tests	6	inspect	20	18	27	38	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.26	.26	30		.97	0
eca-rers2012/Problem10_label46.yml	done	.192	prog	tests	6	inspect	19	17	28	100	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label47.yml	timeout	.771	prog	tests	322	inspect	900	830	29	2500	1.5	0	true	prog	tests	1	inspect		77.1	89.3	2.0	1.9	30		32	0
eca-rers2012/Problem10_label48.yml	false(unreach-call)	.771	prog	tests	327	inspect	830	760	29	1900	1.3	0	true	prog	tests	1	inspect		77.1	89.3	2.1	1.9	30		33	0
eca-rers2012/Problem10_label49.yml	timeout	.771	prog	tests	303	inspect	900	830	29	2200	1.4	.061	unknown	prog	tests	0	inspect		77.1	89.3	1.8	1.7	30		30	0
eca-rers2012/Problem10_label50.yml	timeout	.771	prog	tests	349	inspect	900	830	29	2600	1.5	0	true	prog	tests	1	inspect		77.1	89.3	2.2	2.4	30		35	0
eca-rers2012/Problem10_label51.yml	timeout	.771	prog	tests	349	inspect	900	830	32	3300	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.2	2.1	30		35	0
eca-rers2012/Problem10_label52.yml	done	.192	prog	tests	6	inspect	25	23	26	81	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.24	30		.97	0
eca-rers2012/Problem10_label53.yml	done	.192	prog	tests	6	inspect	17	16	27	100	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.24	30		.97	0
eca-rers2012/Problem10_label54.yml	done	.192	prog	tests	6	inspect	19	18	29	62	.47	0	unknown	prog	tests	0	inspect		19.2	35.4	.26	.26	30		.97	0
eca-rers2012/Problem10_label55.yml	done	.192	prog	tests	6	inspect	15	14	27	75	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.27	.27	30		.97	0
eca-rers2012/Problem10_label56.yml	timeout	.771	prog	tests	316	inspect	900	830	29	5000	1.4	.061	unknown	prog	tests	0	inspect		77.1	89.3	1.9	1.9	30		31	0
eca-rers2012/Problem10_label57.yml	done	.192	prog	tests	6	inspect	16	14	28	79	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.24	.24	30		.97	0
eca-rers2012/Problem10_label58.yml	done	.192	prog	tests	6	inspect	19	17	28	130	.46	0	unknown	prog	tests	0	inspect		19.2	35.4	.25	.25	30		.97	0
eca-rers2012/Problem10_label59.yml	timeout	.771	prog	tests	377	inspect	900	820	30	4000	1.4	0	unknown	prog	tests	0	inspect		77.1	89.3	2.4	2.5	30		37	0
eca-rers2012/Problem11_label00.yml	timeout	.633	prog	tests	276	inspect	900	820	47	4900	1.5	.061	true	prog	tests	1	inspect		63.3	61.9	2.1	2.5	44		46	0
eca-rers2012/Problem11_label01.yml	timeout	.636	prog	tests	275	inspect	900	830	47	2900	1.5	.061	unknown	prog	tests	0	inspect		63.6	62.0	2.1	2.5	44		46	0
eca-rers2012/Problem11_label02.yml	timeout	.634	prog	tests	282	inspect	900	830	47	2400	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.1	2.5	44		47	0
eca-rers2012/Problem11_label03.yml	timeout	.636	prog	tests	256	inspect	900	830	47	2300	1.5	0	unknown	prog	tests	0	inspect		63.6	62.0	2.0	2.2	44		43	0
eca-rers2012/Problem11_label04.yml	done	.150	prog	tests	7	inspect	24	22	46	92	.59	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.35	44		1.8	0
eca-rers2012/Problem11_label05.yml	timeout	.636	prog	tests	258	inspect	900	830	45	2300	1.5	0	unknown	prog	tests	0	inspect		63.6	62.0	2.0	2.0	44		43	0
eca-rers2012/Problem11_label06.yml	timeout	.634	prog	tests	264	inspect	900	830	45	2000	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.1	2.4	44		44	0
eca-rers2012/Problem11_label07.yml	timeout	.635	prog	tests	284	inspect	900	830	46	2600	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	2.2	2.2	44		47	0
eca-rers2012/Problem11_label08.yml	timeout	.636	prog	tests	302	inspect	900	830	47	3800	1.5	0	true	prog	tests	1	inspect		63.6	62.0	2.5	2.5	44		50	0
eca-rers2012/Problem11_label09.yml	timeout	.633	prog	tests	266	inspect	900	830	45	3000	1.6	0	unknown	prog	tests	0	inspect		63.3	62.0	2.3	2.2	44		44	0
eca-rers2012/Problem11_label10.yml	timeout	.634	prog	tests	261	inspect	900	830	47	2900	1.6	0	unknown	prog	tests	0	inspect		63.4	62.0	2.2	2.1	44		43	0
eca-rers2012/Problem11_label11.yml	timeout	.633	prog	tests	251	inspect	900	830	47	2600	1.5	0	unknown	prog	tests	0	inspect		63.3	62.0	1.9	2.1	44		42	0
eca-rers2012/Problem11_label12.yml	timeout	.635	prog	tests	272	inspect	900	830	47	3000	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	2.0	2.1	44		45	0
eca-rers2012/Problem11_label13.yml	timeout	.634	prog	tests	293	inspect	900	820	47	4100	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.2	2.7	44		49	0
eca-rers2012/Problem11_label14.yml	timeout	.637	prog	tests	280	inspect	900	830	46	2400	1.5	0	true	prog	tests	1	inspect		63.7	62.0	2.2	2.4	44		47	0
eca-rers2012/Problem11_label15.yml	timeout	.637	prog	tests	279	inspect	900	830	47	2800	1.5	0	true	prog	tests	1	inspect		63.7	62.0	2.2	2.2	44		46	0
eca-rers2012/Problem11_label16.yml	timeout	.637	prog	tests	310	inspect	900	820	46	4400	1.5	0	unknown	prog	tests	0	inspect		63.7	62.0	2.8	2.7	44		51	0
eca-rers2012/Problem11_label17.yml	timeout	.635	prog	tests	258	inspect	900	830	47	2200	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	2.0	2.5	44		43	0
eca-rers2012/Problem11_label18.yml	done	.150	prog	tests	7	inspect	20	19	47	95	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.36	.36	44		1.8	0
eca-rers2012/Problem11_label19.yml	done	.150	prog	tests	7	inspect	24	22	46	79	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.37	.37	44		1.8	0
eca-rers2012/Problem11_label20.yml	done	.150	prog	tests	7	inspect	14	13	48	72	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.41	.41	44		1.8	0
eca-rers2012/Problem11_label21.yml	timeout	.633	prog	tests	265	inspect	900	830	47	2800	1.5	0	unknown	prog	tests	0	inspect		63.3	61.9	2.1	2.0	44		44	0
eca-rers2012/Problem11_label22.yml	timeout	.636	prog	tests	276	inspect	900	830	47	2800	1.5	0	unknown	prog	tests	0	inspect		63.6	62.0	2.1	2.1	44		46	0
eca-rers2012/Problem11_label23.yml	done	.150	prog	tests	7	inspect	21	19	45	87	.59	0	unknown	prog	tests	0	inspect		15.0	26.1	.37	.36	44		1.8	0
eca-rers2012/Problem11_label24.yml	timeout	.634	prog	tests	246	inspect	900	830	47	2600	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	1.9	2.2	44		41	0
eca-rers2012/Problem11_label25.yml	timeout	.635	prog	tests	276	inspect	900	830	47	3700	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	2.1	2.2	44		46	0
eca-rers2012/Problem11_label26.yml	timeout	.635	prog	tests	286	inspect	900	830	47	3500	1.6	0	unknown	prog	tests	0	inspect		63.5	62.0	2.1	2.6	44		48	0
eca-rers2012/Problem11_label27.yml	done	.150	prog	tests	7	inspect	24	23	47	82	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.34	.36	44		1.8	0
eca-rers2012/Problem11_label28.yml	timeout	.636	prog	tests	271	inspect	900	830	47	2700	1.6	0	unknown	prog	tests	0	inspect		63.6	62.0	2.1	1.9	44		45	0
eca-rers2012/Problem11_label29.yml	timeout	.635	prog	tests	290	inspect	900	830	47	3600	1.6	0	true	prog	tests	1	inspect		63.5	62.0	2.3	2.5	44		48	0
eca-rers2012/Problem11_label30.yml	timeout	.635	prog	tests	278	inspect	900	830	47	3500	1.5	0	unknown	prog	tests	0	inspect		63.5	61.9	2.1	2.0	44		46	0
eca-rers2012/Problem11_label31.yml	timeout	.634	prog	tests	304	inspect	900	830	47	3600	1.5	0	true	prog	tests	1	inspect		63.4	61.9	2.3	2.5	44		50	0
eca-rers2012/Problem11_label32.yml	timeout	.636	prog	tests	279	inspect	900	820	47	3500	1.6	0	unknown	prog	tests	0	inspect		63.6	62.0	2.2	2.5	44		46	0
eca-rers2012/Problem11_label33.yml	timeout	.633	prog	tests	280	inspect	900	820	47	3500	1.5	0	unknown	prog	tests	0	inspect		63.3	62.0	2.1	2.1	44		46	0
eca-rers2012/Problem11_label34.yml	done	.150	prog	tests	7	inspect	28	26	47	80	.59	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.35	44		1.8	0
eca-rers2012/Problem11_label35.yml	timeout	.636	prog	tests	300	inspect	900	820	47	3700	1.5	.061	unknown	prog	tests	0	inspect		63.6	62.0	2.2	2.3	44		50	0
eca-rers2012/Problem11_label36.yml	timeout	.637	prog	tests	264	inspect	900	830	47	2500	1.5	0	true	prog	tests	1	inspect		63.7	62.0	2.0	1.9	44		44	0
eca-rers2012/Problem11_label37.yml	timeout	.634	prog	tests	267	inspect	900	830	47	2400	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.0	2.0	44		44	0
eca-rers2012/Problem11_label38.yml	timeout	.632	prog	tests	272	inspect	900	830	46	2700	1.6	0	unknown	prog	tests	0	inspect		63.2	62.0	2.1	2.0	44		45	0
eca-rers2012/Problem11_label39.yml	timeout	.637	prog	tests	259	inspect	900	820	47	3700	1.5	0	true	prog	tests	1	inspect		63.7	62.0	2.0	2.0	44		43	0
eca-rers2012/Problem11_label40.yml	timeout	.634	prog	tests	261	inspect	900	830	46	3100	1.6	0	unknown	prog	tests	0	inspect		63.4	62.0	2.0	1.9	44		43	0
eca-rers2012/Problem11_label41.yml	timeout	.636	prog	tests	251	inspect	900	830	47	2000	1.5	0	unknown	prog	tests	0	inspect		63.6	62.0	1.9	1.9	44		42	0
eca-rers2012/Problem11_label42.yml	done	.150	prog	tests	7	inspect	28	26	47	79	.59	.061	unknown	prog	tests	0	inspect		15.0	26.1	.36	.36	44		1.8	0
eca-rers2012/Problem11_label43.yml	timeout	.637	prog	tests	260	inspect	900	830	46	2500	1.5	0	true	prog	tests	1	inspect		63.7	62.0	2.0	2.2	44		43	0
eca-rers2012/Problem11_label44.yml	timeout	.634	prog	tests	286	inspect	900	830	47	2900	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.2	2.2	44		48	0
eca-rers2012/Problem11_label45.yml	done	.150	prog	tests	7	inspect	20	19	47	100	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.34	44		1.8	0
eca-rers2012/Problem11_label46.yml	timeout	.636	prog	tests	259	inspect	900	830	45	2500	1.5	0	unknown	prog	tests	0	inspect		63.6	62.0	2.0	2.4	44		43	0
eca-rers2012/Problem11_label47.yml	timeout	.634	prog	tests	284	inspect	900	830	47	2700	1.6	.061	unknown	prog	tests	0	inspect		63.4	62.0	2.2	2.8	44		47	0
eca-rers2012/Problem11_label48.yml	timeout	.635	prog	tests	250	inspect	900	830	47	2900	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	1.9	2.2	44		42	0
eca-rers2012/Problem11_label49.yml	done	.150	prog	tests	7	inspect	21	20	47	78	.60	.061	unknown	prog	tests	0	inspect		15.0	26.1	.35	.35	44		1.8	0
eca-rers2012/Problem11_label50.yml	timeout	.634	prog	tests	269	inspect	900	830	47	3700	1.5	0	unknown	prog	tests	0	inspect		63.4	62.0	2.0	2.3	44		45	0
eca-rers2012/Problem11_label51.yml	timeout	.636	prog	tests	304	inspect	900	830	47	3900	1.4	0	true	prog	tests	1	inspect		63.6	62.0	2.3	2.3	44		50	0
eca-rers2012/Problem11_label52.yml	done	.150	prog	tests	7	inspect	24	22	47	82	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.36	.36	44		1.8	0
eca-rers2012/Problem11_label53.yml	timeout	.633	prog	tests	276	inspect	900	830	47	2500	1.5	0	unknown	prog	tests	0	inspect		63.3	62.0	2.1	2.2	44		46	0
eca-rers2012/Problem11_label54.yml	timeout	.636	prog	tests	288	inspect	900	820	47	3600	1.5	0	unknown	prog	tests	0	inspect		63.6	61.9	2.1	2.5	44		48	0
eca-rers2012/Problem11_label55.yml	timeout	.637	prog	tests	276	inspect	900	820	47	3900	1.5	0	unknown	prog	tests	0	inspect		63.7	62.0	2.1	2.2	44		46	0
eca-rers2012/Problem11_label56.yml	timeout	.635	prog	tests	255	inspect	900	830	47	2400	1.5	0	unknown	prog	tests	0	inspect		63.5	62.0	2.0	2.0	44		42	0
eca-rers2012/Problem11_label57.yml	done	.150	prog	tests	7	inspect	31	29	47	85	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.35	44		1.8	0
eca-rers2012/Problem11_label58.yml	done	.150	prog	tests	7	inspect	27	25	47	85	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.35	44		1.8	0
eca-rers2012/Problem11_label59.yml	done	.150	prog	tests	7	inspect	25	23	47	88	.60	0	unknown	prog	tests	0	inspect		15.0	26.1	.35	.38	44		1.8	0
eca-rers2012/Problem12_label00.yml	timeout	.884	prog	tests	1072	inspect	900	840	110	2600	2.6	0	true	prog	tests	1	inspect		88.4	93.4	17	20	100		690	0
eca-rers2012/Problem12_label01.yml	done	.0993	prog	tests	7	inspect	14	13	110	95	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.0	99		9.1	0
eca-rers2012/Problem12_label02.yml	timeout	.897	prog	tests	1201	inspect	900	840	110	3800	2.6	0	unknown	prog	tests	0	inspect		89.7	98.0	19	25	100		780	0
eca-rers2012/Problem12_label03.yml	timeout	.890	prog	tests	1092	inspect	900	840	110	3200	2.5	0	true	prog	tests	1	inspect		89.0	95.5	18	20	100		710	0
eca-rers2012/Problem12_label04.yml	timeout	.898	prog	tests	1218	inspect	900	840	110	3800	2.5	0	unknown	prog	tests	0	inspect		89.8	98.2	21	21	100		790	0
eca-rers2012/Problem12_label05.yml	timeout	.895	prog	tests	1154	inspect	900	830	110	3700	2.8	0	unknown	prog	tests	0	inspect		89.5	97.5	19	23	100		750	0
eca-rers2012/Problem12_label06.yml	timeout	.892	prog	tests	1101	inspect	900	840	110	2300	2.7	0	true	prog	tests	1	inspect		89.2	97.5	17	17	100		710	0
eca-rers2012/Problem12_label07.yml	done	.0993	prog	tests	7	inspect	19	17	110	110	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.0	99		9.1	0
eca-rers2012/Problem12_label08.yml	timeout	.897	prog	tests	1233	inspect	900	830	110	4800	2.6	0	true	prog	tests	1	inspect		89.7	98.7	20	21	100		800	0
eca-rers2012/Problem12_label09.yml	timeout	.869	prog	tests	933	inspect	900	840	110	2700	2.7	0	unknown	prog	tests	0	inspect		86.9	88.7	15	19	100		600	0
eca-rers2012/Problem12_label10.yml	timeout	.895	prog	tests	1207	inspect	900	830	110	3300	2.5	0	unknown	prog	tests	0	inspect		89.5	97.8	19	19	100		780	0
eca-rers2012/Problem12_label11.yml	timeout	.888	prog	tests	1054	inspect	900	840	110	2400	2.6	0	unknown	prog	tests	0	inspect		88.8	96.7	17	19	100		680	0
eca-rers2012/Problem12_label12.yml	timeout	.885	prog	tests	981	inspect	900	840	110	2600	2.6	0	unknown	prog	tests	0	inspect		88.5	94.8	16	20	100		630	0
eca-rers2012/Problem12_label13.yml	done	.0993	prog	tests	7	inspect	16	15	110	98	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.0	99		7.7	0
eca-rers2012/Problem12_label14.yml	timeout	.892	prog	tests	1004	inspect	900	840	110	2500	2.7	0	unknown	prog	tests	0	inspect		89.2	97.1	16	20	100		650	0
eca-rers2012/Problem12_label15.yml	timeout	.898	prog	tests	1280	inspect	900	830	110	4400	2.6	.061	unknown	prog	tests	0	inspect		89.8	98.3	21	24	100		830	0
eca-rers2012/Problem12_label16.yml	done	.0993	prog	tests	7	inspect	28	27	110	100	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		9.0	0
eca-rers2012/Problem12_label17.yml	done	.0993	prog	tests	7	inspect	16	15	110	120	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.0	99		7.7	0
eca-rers2012/Problem12_label18.yml	done	.0993	prog	tests	7	inspect	18	17	110	91	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.0	99		9.1	0
eca-rers2012/Problem12_label19.yml	timeout	.871	prog	tests	879	inspect	900	840	110	2700	2.5	.061	true	prog	tests	1	inspect		87.1	88.8	14	14	100		570	0
eca-rers2012/Problem12_label20.yml	timeout	.895	prog	tests	1244	inspect	900	830	110	5000	2.5	0	true	prog	tests	1	inspect		89.5	98.1	20	26	100		810	0
eca-rers2012/Problem12_label21.yml	timeout	.897	prog	tests	1241	inspect	900	830	110	4000	2.7	0	true	prog	tests	1	inspect		89.7	98.4	20	23	100		800	0
eca-rers2012/Problem12_label22.yml	timeout	.898	prog	tests	1302	inspect	900	830	110	4400	2.8	0	unknown	prog	tests	0	inspect		89.8	98.4	20	24	100		840	0
eca-rers2012/Problem12_label23.yml	timeout	.892	prog	tests	1004	inspect	900	840	110	2800	2.6	0	unknown	prog	tests	0	inspect		89.2	96.5	16	19	100		650	0
eca-rers2012/Problem12_label24.yml	timeout	.892	prog	tests	1155	inspect	900	840	110	2500	2.5	0	unknown	prog	tests	0	inspect		89.2	96.4	19	23	100		750	0
eca-rers2012/Problem12_label25.yml	timeout	.896	prog	tests	1261	inspect	900	830	110	3500	2.6	0	true	prog	tests	1	inspect		89.6	98.2	20	22	100		810	0
eca-rers2012/Problem12_label26.yml	timeout	.892	prog	tests	1078	inspect	900	840	110	2800	2.8	0	unknown	prog	tests	0	inspect		89.2	97.9	17	20	100		700	0
eca-rers2012/Problem12_label27.yml	timeout	.898	prog	tests	1193	inspect	900	800	110	6700	2.5	0	unknown	prog	tests	0	inspect		89.8	98.9	19	20	100		770	0
eca-rers2012/Problem12_label28.yml	timeout	.823	prog	tests	758	inspect	900	840	110	2900	2.5	0	true	prog	tests	1	inspect		82.3	76.2	12	14	100		490	0
eca-rers2012/Problem12_label29.yml	timeout	.872	prog	tests	868	inspect	900	840	110	2300	2.7	0	unknown	prog	tests	0	inspect		87.2	90.3	14	16	100		560	0
eca-rers2012/Problem12_label30.yml	done	.0993	prog	tests	7	inspect	18	17	110	91	1.5	.061	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	100		6.1	0
eca-rers2012/Problem12_label31.yml	done	.0993	prog	tests	7	inspect	23	22	110	91	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		8.2	0
eca-rers2012/Problem12_label32.yml	timeout	.899	prog	tests	1302	inspect	900	830	110	4800	2.6	0	unknown	prog	tests	0	inspect		89.9	98.8	20	22	100		840	0
eca-rers2012/Problem12_label33.yml	timeout	.899	prog	tests	1265	inspect	900	830	110	3100	2.6	0	unknown	prog	tests	0	inspect		89.9	99.0	20	20	100		820	0
eca-rers2012/Problem12_label34.yml	timeout	.889	prog	tests	1040	inspect	900	840	110	2600	2.6	0	true	prog	tests	1	inspect		88.9	95.8	17	16	100		670	0
eca-rers2012/Problem12_label35.yml	done	.0993	prog	tests	7	inspect	23	22	110	93	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		8.7	0
eca-rers2012/Problem12_label36.yml	timeout	.849	prog	tests	811	inspect	900	840	110	3000	2.5	0	unknown	prog	tests	0	inspect		84.9	83.5	13	15	100		520	0
eca-rers2012/Problem12_label37.yml	timeout	.894	prog	tests	1068	inspect	900	840	110	3400	2.5	.061	true	prog	tests	1	inspect		89.4	97.9	18	21	100		690	0
eca-rers2012/Problem12_label38.yml	done	.0993	prog	tests	7	inspect	23	21	110	99	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.0	99		8.0	0
eca-rers2012/Problem12_label39.yml	timeout	.888	prog	tests	1091	inspect	900	840	110	2800	2.5	0	true	prog	tests	1	inspect		88.8	96.9	17	19	100		700	0
eca-rers2012/Problem12_label40.yml	done	.0993	prog	tests	7	inspect	22	21	110	97	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		8.5	0
eca-rers2012/Problem12_label41.yml	timeout	.886	prog	tests	997	inspect	900	840	110	3000	2.5	0	unknown	prog	tests	0	inspect		88.6	94.5	16	16	100		640	0
eca-rers2012/Problem12_label42.yml	timeout	.887	prog	tests	1001	inspect	900	840	110	2400	2.4	0	true	prog	tests	1	inspect		88.7	96.2	16	17	100		650	0
eca-rers2012/Problem12_label43.yml	done	.0993	prog	tests	7	inspect	20	19	110	100	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.1	99		8.2	0
eca-rers2012/Problem12_label44.yml	timeout	.895	prog	tests	1101	inspect	900	840	110	2500	2.5	0	unknown	prog	tests	0	inspect		89.5	97.3	18	17	100		710	0
eca-rers2012/Problem12_label45.yml	timeout	.877	prog	tests	941	inspect	900	840	110	2300	2.6	0	unknown	prog	tests	0	inspect		87.7	92.2	15	16	100		610	0
eca-rers2012/Problem12_label46.yml	timeout	.894	prog	tests	1065	inspect	900	840	110	2700	2.7	0	unknown	prog	tests	0	inspect		89.4	97.1	17	22	100		690	0
eca-rers2012/Problem12_label47.yml	timeout	.892	prog	tests	1126	inspect	900	840	110	3100	2.4	0	unknown	prog	tests	0	inspect		89.2	98.3	18	20	100		730	0
eca-rers2012/Problem12_label48.yml	done	.0993	prog	tests	7	inspect	23	22	110	110	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	100		7.7	0
eca-rers2012/Problem12_label49.yml	done	.0993	prog	tests	7	inspect	23	22	110	100	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.1	99		9.1	0
eca-rers2012/Problem12_label50.yml	timeout	.885	prog	tests	1144	inspect	900	840	110	2700	2.7	0	unknown	prog	tests	0	inspect		88.5	94.2	18	17	100		740	0
eca-rers2012/Problem12_label51.yml	done	.0993	prog	tests	7	inspect	16	15	110	100	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		8.3	0
eca-rers2012/Problem12_label52.yml	timeout	.899	prog	tests	1175	inspect	900	830	110	4400	2.6	0	true	prog	tests	1	inspect		89.9	98.8	19	22	100		760	0
eca-rers2012/Problem12_label53.yml	timeout	.886	prog	tests	1021	inspect	900	840	110	2900	2.6	0	unknown	prog	tests	0	inspect		88.6	94.8	16	21	100		660	0
eca-rers2012/Problem12_label54.yml	done	.0993	prog	tests	7	inspect	23	21	110	89	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		7.7	0
eca-rers2012/Problem12_label55.yml	done	.0993	prog	tests	7	inspect	24	22	110	94	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.1	1.1	99		7.7	0
eca-rers2012/Problem12_label56.yml	done	.0993	prog	tests	7	inspect	21	20	110	86	1.5	0	unknown	prog	tests	0	inspect		9.93	18.5	1.0	1.1	99		9.1	0
eca-rers2012/Problem12_label57.yml	timeout	.892	prog	tests	1130	inspect	900	840	110	2900	2.8	0	unknown	prog	tests	0	inspect		89.2	96.9	18	18	100		730	0
eca-rers2012/Problem12_label58.yml	timeout	.898	prog	tests	1281	inspect	900	830	110	4800	2.6	0	unknown	prog	tests	0	inspect		89.8	98.2	21	20	100		830	0
eca-rers2012/Problem12_label59.yml	timeout	.881	prog	tests	933	inspect	900	840	110	2900	2.6	0	unknown	prog	tests	0	inspect		88.1	94.0	15	16	100		600	0
eca-rers2012/Problem13_label00.yml	timeout	.730	prog	tests	820	inspect	900	840	140	2400	2.9	0	unknown	prog	tests	0	inspect		73.0	60.3	15	15	120		690	0
eca-rers2012/Problem13_label01.yml	done	.106	prog	tests	6	inspect	21	20	140	120	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.2	1.2	120		8.5	0
eca-rers2012/Problem13_label02.yml	done	.106	prog	tests	6	inspect	15	15	140	94	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		10	0
eca-rers2012/Problem13_label03.yml	timeout	.735	prog	tests	901	inspect	900	830	140	3500	3.0	0	unknown	prog	tests	0	inspect		73.5	61.5	17	17	120		730	0
eca-rers2012/Problem13_label04.yml	timeout	.732	prog	tests	841	inspect	900	840	140	2400	3.0	0	true	prog	tests	1	inspect		73.2	60.4	16	18	120		710	0
eca-rers2012/Problem13_label05.yml	timeout	.735	prog	tests	930	inspect	900	840	140	2900	3.1	0	unknown	prog	tests	0	inspect		73.5	61.3	17	18	120		790	0
eca-rers2012/Problem13_label06.yml	timeout	.737	prog	tests	1058	inspect	900	840	140	3700	3.1	0	true	prog	tests	1	inspect		73.7	61.7	19	23	120		830	0
eca-rers2012/Problem13_label07.yml	done	.106	prog	tests	6	inspect	15	14	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.4	0
eca-rers2012/Problem13_label08.yml	timeout	.719	prog	tests	756	inspect	900	840	140	2600	3.1	0	unknown	prog	tests	0	inspect		71.9	57.0	14	17	120		630	0
eca-rers2012/Problem13_label09.yml	timeout	.737	prog	tests	967	inspect	900	840	140	3700	3.0	0	unknown	prog	tests	0	inspect		73.7	61.5	18	21	120		820	0
eca-rers2012/Problem13_label10.yml	done	.106	prog	tests	6	inspect	15	14	140	82	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		7.0	0
eca-rers2012/Problem13_label11.yml	timeout	.731	prog	tests	818	inspect	900	840	140	3100	3.1	0	true	prog	tests	1	inspect		73.1	60.2	15	17	120		650	0
eca-rers2012/Problem13_label12.yml	timeout	.738	prog	tests	1052	inspect	900	840	140	4400	2.9	0	true	prog	tests	1	inspect		73.8	61.9	19	22	120		840	0
eca-rers2012/Problem13_label13.yml	timeout	.737	prog	tests	1080	inspect	900	810	140	7600	3.0	0	unknown	prog	tests	0	inspect		73.7	61.7	20	23	120		870	0
eca-rers2012/Problem13_label14.yml	done	.113	prog	tests	7	inspect	11	11	140	220	1.8	0	unknown	prog	tests	0	inspect		11.3	16.8	1.3	1.3	120		9.8	0
eca-rers2012/Problem13_label15.yml	timeout	.737	prog	tests	1001	inspect	900	840	140	4100	3.0	0	unknown	prog	tests	0	inspect		73.7	61.8	18	24	120		810	0
eca-rers2012/Problem13_label16.yml	timeout	.736	prog	tests	838	inspect	900	840	140	2900	2.7	.061	true	prog	tests	1	inspect		73.6	61.4	16	17	120		700	0
eca-rers2012/Problem13_label17.yml	timeout	.714	prog	tests	761	inspect	900	840	140	2600	3.1	0	unknown	prog	tests	0	inspect		71.4	56.2	14	15	120		650	0
eca-rers2012/Problem13_label18.yml	timeout	.735	prog	tests	918	inspect	900	840	140	4000	3.0	0	unknown	prog	tests	0	inspect		73.5	60.8	17	19	120		730	0
eca-rers2012/Problem13_label19.yml	done	.113	prog	tests	7	inspect	24	23	140	100	2.0	0	unknown	prog	tests	0	inspect		11.3	16.8	1.3	1.3	120		9.3	0
eca-rers2012/Problem13_label20.yml	timeout	.730	prog	tests	792	inspect	900	840	140	2600	3.1	0	unknown	prog	tests	0	inspect		73.0	59.8	15	17	120		670	0
eca-rers2012/Problem13_label21.yml	timeout	.736	prog	tests	1018	inspect	900	840	140	3700	3.1	0	true	prog	tests	1	inspect		73.6	61.6	19	19	120		800	0
eca-rers2012/Problem13_label22.yml	timeout	.728	prog	tests	961	inspect	900	840	140	3900	2.9	0	unknown	prog	tests	0	inspect		72.8	59.5	17	20	120		790	0
eca-rers2012/Problem13_label23.yml	timeout	.73	prog	tests	830	inspect	900	840	140	2400	2.8	0	true	prog	tests	1	inspect		73.0	59.8	15	18	120		670	0
eca-rers2012/Problem13_label24.yml	timeout	.733	prog	tests	856	inspect	900	840	140	2700	3.0	0	true	prog	tests	1	inspect		73.2	60.7	16	16	120		690	0
eca-rers2012/Problem13_label25.yml	timeout	.734	prog	tests	898	inspect	900	840	140	3000	2.9	0	true	prog	tests	1	inspect		73.4	61.1	17	20	120		760	0
eca-rers2012/Problem13_label26.yml	timeout	.727	prog	tests	743	inspect	900	840	140	2200	3.0	0	unknown	prog	tests	0	inspect		72.7	58.8	14	13	120		620	0
eca-rers2012/Problem13_label27.yml	done	.113	prog	tests	7	inspect	26	24	140	130	2.0	0	unknown	prog	tests	0	inspect		11.3	16.8	1.3	1.3	120		11	0
eca-rers2012/Problem13_label28.yml	done	.106	prog	tests	6	inspect	23	22	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.2	1.3	120		10	0
eca-rers2012/Problem13_label29.yml	done	.106	prog	tests	6	inspect	15	14	140	120	1.8	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.2	0
eca-rers2012/Problem13_label30.yml	timeout	.735	prog	tests	867	inspect	900	840	140	3000	2.9	0	true	prog	tests	1	inspect		73.5	60.6	16	19	120		720	0
eca-rers2012/Problem13_label31.yml	timeout	.731	prog	tests	819	inspect	900	840	140	3000	3.1	0	unknown	prog	tests	0	inspect		73.1	60.1	15	19	120		700	0
eca-rers2012/Problem13_label32.yml	done	.106	prog	tests	6	inspect	22	21	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		10	0
eca-rers2012/Problem13_label33.yml	done	.106	prog	tests	6	inspect	9.6	9.2	140	79	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		8.5	0
eca-rers2012/Problem13_label34.yml	done	.106	prog	tests	6	inspect	25	23	140	120	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		5.0	0
eca-rers2012/Problem13_label35.yml	timeout	.738	prog	tests	990	inspect	900	830	140	3500	3.0	.061	true	prog	tests	1	inspect		73.8	61.7	19	20	120		790	0
eca-rers2012/Problem13_label36.yml	timeout	.737	prog	tests	1013	inspect	900	830	140	3900	3.1	0	true	prog	tests	1	inspect		73.7	61.7	19	20	120		800	0
eca-rers2012/Problem13_label37.yml	done	.106	prog	tests	6	inspect	18	17	140	92	1.8	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.1	0
eca-rers2012/Problem13_label38.yml	done	.106	prog	tests	6	inspect	19	18	140	97	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.0	0
eca-rers2012/Problem13_label39.yml	done	.106	prog	tests	6	inspect	14	14	140	88	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.8	0
eca-rers2012/Problem13_label40.yml	timeout	.738	prog	tests	1068	inspect	900	830	140	4100	3.1	.061	true	prog	tests	1	inspect		73.8	61.6	20	24	120		870	0
eca-rers2012/Problem13_label41.yml	done	.106	prog	tests	6	inspect	24	23	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		8.9	0
eca-rers2012/Problem13_label42.yml	done	.106	prog	tests	6	inspect	24	23	140	110	1.8	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.4	0
eca-rers2012/Problem13_label43.yml	timeout	.730	prog	tests	860	inspect	900	840	140	3700	2.9	0	true	prog	tests	1	inspect		73.0	59.9	17	18	120		680	0
eca-rers2012/Problem13_label44.yml	done	.106	prog	tests	6	inspect	15	14	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		8.4	0
eca-rers2012/Problem13_label45.yml	timeout	.735	prog	tests	957	inspect	900	830	140	5000	3.1	0	true	prog	tests	1	inspect		73.5	61.3	18	23	120		760	0
eca-rers2012/Problem13_label46.yml	done	.106	prog	tests	6	inspect	22	21	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		8.5	0
eca-rers2012/Problem13_label47.yml	timeout	.725	prog	tests	840	inspect	900	840	140	2700	3.1	0	unknown	prog	tests	0	inspect		72.5	59.0	16	16	120		660	0
eca-rers2012/Problem13_label48.yml	done	.106	prog	tests	6	inspect	21	20	140	110	1.9	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		9.9	0
eca-rers2012/Problem13_label49.yml	done	.113	prog	tests	7	inspect	14	13	140	140	2.0	0	unknown	prog	tests	0	inspect		11.3	16.8	1.4	1.4	120		9.2	0
eca-rers2012/Problem13_label50.yml	timeout	.723	prog	tests	786	inspect	900	840	140	2800	2.8	0	unknown	prog	tests	0	inspect		72.3	58.5	15	18	120		670	0
eca-rers2012/Problem13_label51.yml	timeout	.737	prog	tests	894	inspect	900	840	140	3200	2.9	0	true	prog	tests	1	inspect		73.7	61.9	17	19	120		750	0
eca-rers2012/Problem13_label52.yml	timeout	.736	prog	tests	1005	inspect	900	830	140	3800	2.9	0	unknown	prog	tests	0	inspect		73.6	61.3	18	20	120		830	0
eca-rers2012/Problem13_label53.yml	timeout	.735	prog	tests	880	inspect	900	840	140	2600	2.9	0	unknown	prog	tests	0	inspect		73.5	61.1	16	17	120		740	0
eca-rers2012/Problem13_label54.yml	timeout	.737	prog	tests	1008	inspect	900	830	140	3300	3.1	0	true	prog	tests	1	inspect		73.7	61.7	18	18	120		790	0
eca-rers2012/Problem13_label55.yml	done	.106	prog	tests	6	inspect	14	13	140	110	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.2	1.2	120		9.8	0
eca-rers2012/Problem13_label56.yml	done	.106	prog	tests	6	inspect	17	16	140	96	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		10	0
eca-rers2012/Problem13_label57.yml	done	.106	prog	tests	6	inspect	23	21	140	110	1.8	0	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		6.2	0
eca-rers2012/Problem13_label58.yml	done	.106	prog	tests	6	inspect	27	26	140	120	2.0	0	unknown	prog	tests	0	inspect		10.6	16.8	1.4	1.4	120		9.9	0
eca-rers2012/Problem13_label59.yml	done	.106	prog	tests	6	inspect	18	16	140	120	2.0	.061	unknown	prog	tests	0	inspect		10.6	16.8	1.3	1.3	120		8.4	0
eca-rers2012/Problem15_label00.yml	done	.129	prog	tests	7	inspect	21	19	62	110	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.52	.53	64		2.8	0
eca-rers2012/Problem15_label01.yml	timeout	.659	prog	tests	314	inspect	900	830	62	3800	1.6	0	unknown	prog	tests	0	inspect		65.9	60.5	3.0	3.5	64		81	0
eca-rers2012/Problem15_label02.yml	timeout	.657	prog	tests	300	inspect	900	830	62	2800	1.7	.061	true	prog	tests	1	inspect		65.7	60.2	2.8	2.9	64		77	0
eca-rers2012/Problem15_label03.yml	timeout	.659	prog	tests	295	inspect	900	830	62	2300	1.7	.061	true	prog	tests	1	inspect		65.9	60.8	2.9	2.8	64		76	0
eca-rers2012/Problem15_label04.yml	timeout	.657	prog	tests	291	inspect	900	830	62	2700	1.6	0	unknown	prog	tests	0	inspect		65.8	60.2	2.8	2.9	64		74	0
eca-rers2012/Problem15_label05.yml	timeout	.658	prog	tests	286	inspect	900	830	62	2200	1.7	0	unknown	prog	tests	0	inspect		65.8	60.8	2.7	3.2	64		73	0
eca-rers2012/Problem15_label06.yml	timeout	.659	prog	tests	284	inspect	900	830	62	4300	1.7	0	unknown	prog	tests	0	inspect		65.9	60.8	2.6	2.5	64		73	0
eca-rers2012/Problem15_label07.yml	timeout	.658	prog	tests	307	inspect	900	830	62	3700	1.6	0	true	prog	tests	1	inspect		65.8	60.2	2.9	2.8	64		79	0
eca-rers2012/Problem15_label08.yml	done	.132	prog	tests	8	inspect	26	24	63	83	.72	.061	unknown	prog	tests	0	inspect		13.2	21.4	.53	.53	64		3.0	0
eca-rers2012/Problem15_label09.yml	timeout	.660	prog	tests	312	inspect	900	820	62	4400	1.7	.061	true	prog	tests	1	inspect		66.0	60.8	2.9	2.8	64		80	0
eca-rers2012/Problem15_label10.yml	done	.129	prog	tests	7	inspect	21	20	62	100	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.58	.58	63		3.1	0
eca-rers2012/Problem15_label11.yml	timeout	.659	prog	tests	305	inspect	900	830	62	4100	1.6	0	unknown	prog	tests	0	inspect		65.9	60.8	2.8	2.8	64		78	0
eca-rers2012/Problem15_label12.yml	timeout	.648	prog	tests	255	inspect	900	830	61	2500	1.7	.061	unknown	prog	tests	0	inspect		64.8	59.6	2.4	3.2	64		65	0
eca-rers2012/Problem15_label13.yml	done	.129	prog	tests	7	inspect	29	26	62	61	.72	0	unknown	prog	tests	0	inspect		12.9	21.3	.51	.51	63		2.9	0
eca-rers2012/Problem15_label14.yml	done	.129	prog	tests	7	inspect	22	20	62	110	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.50	.50	64		2.9	0
eca-rers2012/Problem15_label15.yml	timeout	.659	prog	tests	280	inspect	900	830	62	2700	1.6	0	true	prog	tests	1	inspect		65.9	60.8	2.8	3.0	64		72	0
eca-rers2012/Problem15_label16.yml	timeout	.659	prog	tests	320	inspect	900	830	61	2900	1.7	.061	unknown	prog	tests	0	inspect		65.9	60.8	2.9	3.2	64		82	0
eca-rers2012/Problem15_label17.yml	timeout	.658	prog	tests	287	inspect	900	830	62	3200	1.7	0	unknown	prog	tests	0	inspect		65.8	60.8	2.8	2.6	64		74	0
eca-rers2012/Problem15_label19.yml	timeout	.658	prog	tests	262	inspect	900	830	62	2300	1.7	0	unknown	prog	tests	0	inspect		65.8	60.5	2.5	2.8	64		67	0
eca-rers2012/Problem15_label20.yml	done	.129	prog	tests	7	inspect	20	18	62	120	.72	0	unknown	prog	tests	0	inspect		12.9	21.3	.49	.49	64		3.1	0
eca-rers2012/Problem15_label21.yml	done	.159	prog	tests	12	inspect	38	35	61	110	.71	.061	unknown	prog	tests	0	inspect		15.9	22.2	.55	.64	64		4.0	0
eca-rers2012/Problem15_label22.yml	timeout	.66	prog	tests	298	inspect	900	830	62	3800	1.7	0	true	prog	tests	1	inspect		66.0	60.8	3.0	3.2	64		76	0
eca-rers2012/Problem15_label23.yml	done	.129	prog	tests	7	inspect	26	24	61	84	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.49	.49	63		2.8	0
eca-rers2012/Problem15_label24.yml	done	.157	prog	tests	10	inspect	31	28	62	120	.71	0	unknown	prog	tests	0	inspect		15.7	21.6	.57	.58	63		3.5	0
eca-rers2012/Problem15_label25.yml	done	.129	prog	tests	7	inspect	24	22	62	78	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.52	.53	64		3.1	0
eca-rers2012/Problem15_label26.yml	done	.132	prog	tests	8	inspect	18	17	62	110	.71	0	unknown	prog	tests	0	inspect		13.2	21.4	.52	.52	64		3.0	0
eca-rers2012/Problem15_label27.yml	timeout	.659	prog	tests	272	inspect	900	830	62	2500	1.6	0	unknown	prog	tests	0	inspect		65.9	60.8	2.6	2.6	64		70	0
eca-rers2012/Problem15_label28.yml	timeout	.652	prog	tests	279	inspect	900	830	62	2300	1.7	0	unknown	prog	tests	0	inspect		65.2	60.1	2.6	2.7	64		71	0
eca-rers2012/Problem15_label29.yml	timeout	.657	prog	tests	301	inspect	900	830	62	2500	1.7	0	true	prog	tests	1	inspect		65.7	60.8	2.8	3.3	64		77	0
eca-rers2012/Problem15_label30.yml	timeout	.656	prog	tests	251	inspect	900	830	62	2100	1.7	0	true	prog	tests	1	inspect		65.6	60.8	2.5	2.8	64		65	0
eca-rers2012/Problem15_label31.yml	done	.129	prog	tests	7	inspect	24	22	61	85	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.51	.53	64		3.1	0
eca-rers2012/Problem15_label32.yml	timeout	.657	prog	tests	292	inspect	900	840	62	2400	1.6	0	unknown	prog	tests	0	inspect		65.7	60.5	2.7	2.6	64		75	0
eca-rers2012/Problem15_label33.yml	timeout	.659	prog	tests	343	inspect	900	830	62	4200	1.7	0	true	prog	tests	1	inspect		65.9	60.8	3.4	3.3	64		88	0
eca-rers2012/Problem15_label34.yml	timeout	.658	prog	tests	313	inspect	900	830	62	3100	1.7	0	true	prog	tests	1	inspect		65.8	60.8	3.0	2.8	64		80	0
eca-rers2012/Problem15_label35.yml	timeout	.658	prog	tests	305	inspect	900	830	62	2800	1.6	0	unknown	prog	tests	0	inspect		65.8	60.5	2.9	3.2	64		78	0
eca-rers2012/Problem15_label36.yml	done	.132	prog	tests	8	inspect	27	25	62	85	.71	0	unknown	prog	tests	0	inspect		13.2	21.4	.55	.54	64		3.0	0
eca-rers2012/Problem15_label37.yml	timeout	.653	prog	tests	246	inspect	900	830	62	3100	1.7	0	true	prog	tests	1	inspect		65.3	59.9	2.4	2.5	64		63	0
eca-rers2012/Problem15_label38.yml	timeout	.654	prog	tests	270	inspect	900	830	62	2300	1.6	0	true	prog	tests	1	inspect		65.4	59.5	2.6	2.5	64		69	0
eca-rers2012/Problem15_label39.yml	timeout	.652	prog	tests	254	inspect	900	830	62	2600	1.7	0	true	prog	tests	1	inspect		65.2	59.3	2.5	2.8	64		65	0
eca-rers2012/Problem15_label40.yml	timeout	.656	prog	tests	269	inspect	900	830	62	2600	1.7	0	true	prog	tests	1	inspect		65.6	60.5	2.7	3.0	64		69	0
eca-rers2012/Problem15_label41.yml	timeout	.654	prog	tests	294	inspect	900	830	62	2400	1.7	0	true	prog	tests	1	inspect		65.4	59.7	2.8	3.1	64		76	0
eca-rers2012/Problem15_label42.yml	timeout	.658	prog	tests	312	inspect	900	830	62	3700	1.6	.061	unknown	prog	tests	0	inspect		65.8	60.5	2.9	3.2	64		80	0
eca-rers2012/Problem15_label43.yml	done	.129	prog	tests	7	inspect	30	28	62	110	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.51	.53	64		3.1	0
eca-rers2012/Problem15_label44.yml	done	.129	prog	tests	7	inspect	23	22	61	88	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.51	.52	63		3.1	0
eca-rers2012/Problem15_label45.yml	done	.129	prog	tests	7	inspect	29	27	63	85	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.50	.50	64		2.9	0
eca-rers2012/Problem15_label46.yml	timeout	.659	prog	tests	258	inspect	900	830	63	2700	1.7	0	unknown	prog	tests	0	inspect		65.9	60.8	2.5	2.8	64		66	0
eca-rers2012/Problem15_label47.yml	timeout	.654	prog	tests	294	inspect	900	830	62	2900	1.7	0	true	prog	tests	1	inspect		65.4	59.6	3.0	2.8	64		75	0
eca-rers2012/Problem15_label48.yml	timeout	.660	prog	tests	354	inspect	900	800	62	6800	1.7	0	true	prog	tests	1	inspect		66.0	60.8	3.4	3.3	64		91	0
eca-rers2012/Problem15_label49.yml	timeout	.655	prog	tests	281	inspect	900	830	62	2100	1.7	.061	unknown	prog	tests	0	inspect		65.5	59.9	2.7	3.1	64		72	0
eca-rers2012/Problem15_label50.yml	timeout	.653	prog	tests	276	inspect	900	830	62	2700	1.6	0	true	prog	tests	1	inspect		65.3	60.1	2.7	2.7	64		71	0
eca-rers2012/Problem15_label51.yml	done	.132	prog	tests	8	inspect	27	25	62	85	.71	.061	unknown	prog	tests	0	inspect		13.2	21.4	.52	.51	64		3.0	0
eca-rers2012/Problem15_label52.yml	timeout	.66	prog	tests	280	inspect	900	830	62	2100	1.6	0	unknown	prog	tests	0	inspect		66.0	60.8	2.7	3.1	64		72	0
eca-rers2012/Problem15_label53.yml	timeout	.658	prog	tests	310	inspect	900	830	63	3000	1.7	.061	unknown	prog	tests	0	inspect		65.8	60.8	2.9	2.8	64		79	0
eca-rers2012/Problem15_label54.yml	done	.129	prog	tests	7	inspect	19	18	62	99	.72	0	unknown	prog	tests	0	inspect		12.9	21.3	.50	.50	63		3.1	0
eca-rers2012/Problem15_label55.yml	timeout	.658	prog	tests	283	inspect	900	820	62	4000	1.7	0	unknown	prog	tests	0	inspect		65.8	60.8	2.6	2.5	64		73	0
eca-rers2012/Problem15_label56.yml	done	.129	prog	tests	7	inspect	20	18	62	110	.71	0	unknown	prog	tests	0	inspect		12.9	21.3	.50	.51	63		2.9	0
eca-rers2012/Problem15_label57.yml	timeout	.650	prog	tests	267	inspect	900	830	62	3200	1.7	0	unknown	prog	tests	0	inspect		65.0	59.3	2.5	2.8	64		68	0
eca-rers2012/Problem15_label58.yml	timeout	.659	prog	tests	300	inspect	900	820	63	4600	1.7	0	unknown	prog	tests	0	inspect		65.9	60.8	2.8	3.3	64		77	0
eca-rers2012/Problem15_label59.yml	timeout	.657	prog	tests	267	inspect	900	830	62	1700	1.7	0	unknown	prog	tests	0	inspect		65.7	60.2	2.5	2.5	64		69	0
eca-rers2012/Problem16_label00.yml	done	.0992	prog	tests	7	inspect	25	23	52	97	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.48	.48	52		2.6	0
eca-rers2012/Problem16_label01.yml	timeout	.659	prog	tests	218	inspect	900	830	52	2300	1.7	0	unknown	prog	tests	0	inspect		65.9	67.9	2.0	2.5	52		51	0
eca-rers2012/Problem16_label02.yml	timeout	.646	prog	tests	222	inspect	900	830	52	3000	1.6	0	unknown	prog	tests	0	inspect		64.6	68.5	2.1	2.6	52		52	0
eca-rers2012/Problem16_label03.yml	done	.0992	prog	tests	7	inspect	15	14	52	77	.69	0	unknown	prog	tests	0	inspect		9.92	18.7	.44	.44	52		2.5	0
eca-rers2012/Problem16_label04.yml	timeout	.611	prog	tests	198	inspect	900	830	53	2600	1.6	0	unknown	prog	tests	0	inspect		61.1	63.6	1.8	2.0	52		46	0
eca-rers2012/Problem16_label05.yml	done	.0992	prog	tests	7	inspect	17	16	52	110	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.46	.46	52		2.5	0
eca-rers2012/Problem16_label06.yml	timeout	.570	prog	tests	201	inspect	900	830	52	2200	1.6	0	unknown	prog	tests	0	inspect		57.0	59.8	2.0	2.1	52		47	0
eca-rers2012/Problem16_label07.yml	timeout	.587	prog	tests	229	inspect	900	820	52	4600	1.7	0	unknown	prog	tests	0	inspect		58.6	62.5	2.1	2.0	52		53	0
eca-rers2012/Problem16_label08.yml	timeout	.694	prog	tests	239	inspect	900	830	52	4100	1.5	0	unknown	prog	tests	0	inspect		69.4	72.4	2.2	2.6	52		56	0
eca-rers2012/Problem16_label09.yml	timeout	.669	prog	tests	237	inspect	900	830	52	1700	1.6	0	unknown	prog	tests	0	inspect		66.9	69.2	2.1	2.2	52		56	0
eca-rers2012/Problem16_label10.yml	timeout	.652	prog	tests	232	inspect	900	830	52	4000	1.6	0	unknown	prog	tests	0	inspect		65.2	65.7	2.1	2.0	52		54	0
eca-rers2012/Problem16_label11.yml	timeout	.663	prog	tests	262	inspect	900	830	52	4000	1.7	0	unknown	prog	tests	0	inspect		66.3	70.3	2.3	2.6	52		61	0
eca-rers2012/Problem16_label12.yml	timeout	.604	prog	tests	198	inspect	900	830	52	2400	1.5	0	unknown	prog	tests	0	inspect		60.4	60.5	1.8	1.9	52		46	0
eca-rers2012/Problem16_label13.yml	timeout	.666	prog	tests	234	inspect	900	830	52	3700	1.6	0	unknown	prog	tests	0	inspect		66.6	71.9	2.0	2.1	52		55	0
eca-rers2012/Problem16_label14.yml	done	.0992	prog	tests	7	inspect	21	20	52	68	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.45	.45	52		2.5	0
eca-rers2012/Problem16_label15.yml	timeout	.631	prog	tests	217	inspect	900	830	52	4300	1.6	.061	unknown	prog	tests	0	inspect		63.1	66.5	2.0	2.4	52		51	0
eca-rers2012/Problem16_label16.yml	timeout	.600	prog	tests	183	inspect	900	830	52	2900	1.6	0	unknown	prog	tests	0	inspect		60.0	61.4	1.8	2.1	52		43	0
eca-rers2012/Problem16_label17.yml	done	.0992	prog	tests	7	inspect	30	28	52	110	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.46	.47	52		2.6	0
eca-rers2012/Problem16_label18.yml	timeout	.616	prog	tests	218	inspect	900	820	52	3700	1.5	0	unknown	prog	tests	0	inspect		61.6	68.3	2.0	1.9	52		51	0
eca-rers2012/Problem16_label19.yml	timeout	.564	prog	tests	190	inspect	900	830	52	2400	1.6	.061	unknown	prog	tests	0	inspect		56.4	59.3	1.8	2.1	52		44	0
eca-rers2012/Problem16_label20.yml	done	.0992	prog	tests	7	inspect	18	17	52	80	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.44	.46	52		2.6	0
eca-rers2012/Problem16_label21.yml	timeout	.608	prog	tests	202	inspect	900	830	52	2900	1.7	0	unknown	prog	tests	0	inspect		60.8	61.8	1.9	1.8	52		47	0
eca-rers2012/Problem16_label22.yml	done	.120	prog	tests	9	inspect	26	24	53	110	.70	0	unknown	prog	tests	0	inspect		12.0	19.1	.46	.46	52		3.0	0
eca-rers2012/Problem16_label23.yml	timeout	.576	prog	tests	197	inspect	900	830	52	2400	1.6	0	unknown	prog	tests	0	inspect		57.6	60.0	1.9	1.9	52		46	0
eca-rers2012/Problem16_label24.yml	timeout	.680	prog	tests	282	inspect	900	830	52	4300	1.6	0	unknown	prog	tests	0	inspect		68.0	71.1	2.5	3.0	52		66	0
eca-rers2012/Problem16_label25.yml	timeout	.645	prog	tests	225	inspect	900	830	52	2500	1.6	0	unknown	prog	tests	0	inspect		64.5	68.2	2.1	2.2	52		53	0
eca-rers2012/Problem16_label26.yml	timeout	.579	prog	tests	197	inspect	900	830	52	4400	1.6	0	unknown	prog	tests	0	inspect		57.9	59.8	1.9	2.0	52		46	0
eca-rers2012/Problem16_label27.yml	timeout	.568	prog	tests	183	inspect	900	830	52	2200	1.6	0	unknown	prog	tests	0	inspect		56.8	54.7	1.8	1.8	52		43	0
eca-rers2012/Problem16_label28.yml	timeout	.670	prog	tests	231	inspect	900	830	52	2200	1.6	0	unknown	prog	tests	0	inspect		67.0	68.9	2.2	2.3	52		54	0
eca-rers2012/Problem16_label29.yml	timeout	.604	prog	tests	207	inspect	900	830	52	2500	1.6	0	unknown	prog	tests	0	inspect		60.4	63.5	2.0	2.3	52		49	0
eca-rers2012/Problem16_label30.yml	timeout	.620	prog	tests	193	inspect	900	830	52	2300	1.6	0	unknown	prog	tests	0	inspect		62.0	64.0	1.8	2.2	52		45	0
eca-rers2012/Problem16_label31.yml	timeout	.591	prog	tests	195	inspect	900	830	52	2300	1.6	0	unknown	prog	tests	0	inspect		59.1	62.2	1.9	2.0	52		46	0
eca-rers2012/Problem16_label32.yml	done	.154	prog	tests	9	inspect	26	24	52	74	.70	0	unknown	prog	tests	0	inspect		15.4	23.7	.45	.45	52		3.1	0
eca-rers2012/Problem16_label33.yml	timeout	.665	prog	tests	250	inspect	900	830	52	3800	1.7	0	unknown	prog	tests	0	inspect		66.5	67.2	2.3	2.7	52		59	0
eca-rers2012/Problem16_label34.yml	timeout	.545	prog	tests	201	inspect	900	830	52	4600	1.5	0	unknown	prog	tests	0	inspect		54.5	56.9	1.9	1.8	52		47	0
eca-rers2012/Problem16_label35.yml	done	.147	prog	tests	11	inspect	36	33	52	130	.70	0	unknown	prog	tests	0	inspect		14.7	22.7	.48	.51	51		3.4	0
eca-rers2012/Problem16_label36.yml	done	.0992	prog	tests	7	inspect	26	24	52	79	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.46	.45	52		2.5	0
eca-rers2012/Problem16_label37.yml	timeout	.672	prog	tests	235	inspect	900	830	52	4000	1.6	0	unknown	prog	tests	0	inspect		67.2	72.8	2.2	2.3	52		55	0
eca-rers2012/Problem16_label38.yml	timeout	.567	prog	tests	177	inspect	900	830	52	3200	1.6	0	unknown	prog	tests	0	inspect		56.7	59.3	1.7	1.9	52		41	0
eca-rers2012/Problem16_label39.yml	timeout	.647	prog	tests	210	inspect	900	830	52	1800	1.7	0	unknown	prog	tests	0	inspect		64.7	67.7	2.0	2.1	52		49	0
eca-rers2012/Problem16_label40.yml	done	.0992	prog	tests	7	inspect	18	17	52	89	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.43	.43	52		2.6	0
eca-rers2012/Problem16_label41.yml	timeout	.675	prog	tests	254	inspect	900	830	52	3100	1.6	0	unknown	prog	tests	0	inspect		67.5	69.1	2.3	2.3	52		60	0
eca-rers2012/Problem16_label42.yml	done	.0992	prog	tests	7	inspect	23	21	52	84	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.44	.44	52		2.6	0
eca-rers2012/Problem16_label43.yml	timeout	.548	prog	tests	168	inspect	900	830	52	2400	1.6	0	unknown	prog	tests	0	inspect		54.8	52.5	1.7	2.0	52		40	0
eca-rers2012/Problem16_label44.yml	timeout	.578	prog	tests	199	inspect	900	830	52	2900	1.6	0	unknown	prog	tests	0	inspect		57.8	61.8	1.9	1.8	52		47	0
eca-rers2012/Problem16_label45.yml	timeout	.677	prog	tests	277	inspect	900	830	52	3300	1.6	0	unknown	prog	tests	0	inspect		67.7	68.7	2.5	3.0	52		65	0
eca-rers2012/Problem16_label46.yml	done	.0992	prog	tests	7	inspect	17	16	52	75	.70	.061	unknown	prog	tests	0	inspect		9.92	18.7	.43	.43	52		2.6	0
eca-rers2012/Problem16_label47.yml	timeout	.607	prog	tests	206	inspect	900	830	52	2500	1.6	0	unknown	prog	tests	0	inspect		60.7	66.9	1.9	2.2	52		48	0
eca-rers2012/Problem16_label48.yml	timeout	.577	prog	tests	199	inspect	900	830	52	2600	1.6	0	unknown	prog	tests	0	inspect		57.7	60.7	1.8	2.0	52		47	0
eca-rers2012/Problem16_label49.yml	done	.113	prog	tests	8	inspect	30	27	52	110	.70	0	unknown	prog	tests	0	inspect		11.3	18.8	.44	.44	52		2.9	0
eca-rers2012/Problem16_label50.yml	done	.0992	prog	tests	7	inspect	27	25	52	110	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.46	.46	51		2.5	0
eca-rers2012/Problem16_label51.yml	timeout	.593	prog	tests	189	inspect	900	830	52	2600	1.6	0	unknown	prog	tests	0	inspect		59.3	60.3	1.8	2.2	52		44	0
eca-rers2012/Problem16_label52.yml	done	.0992	prog	tests	7	inspect	23	21	52	79	.70	.061	unknown	prog	tests	0	inspect		9.92	18.7	.44	.46	52		2.5	0
eca-rers2012/Problem16_label53.yml	timeout	.554	prog	tests	186	inspect	900	830	52	3600	1.7	0	unknown	prog	tests	0	inspect		55.4	57.1	1.9	2.0	52		44	0
eca-rers2012/Problem16_label54.yml	done	.113	prog	tests	8	inspect	30	27	52	100	.70	0	unknown	prog	tests	0	inspect		11.3	18.8	.44	.44	52		2.7	0
eca-rers2012/Problem16_label55.yml	done	.113	prog	tests	8	inspect	26	24	52	84	.70	0	unknown	prog	tests	0	inspect		11.3	18.8	.45	.47	52		2.7	0
eca-rers2012/Problem16_label56.yml	done	.0992	prog	tests	7	inspect	18	17	52	78	.70	0	unknown	prog	tests	0	inspect		9.92	18.7	.43	.47	51		2.5	0
eca-rers2012/Problem16_label57.yml	timeout	.614	prog	tests	210	inspect	900	830	52	3100	1.6	0	unknown	prog	tests	0	inspect		61.4	63.9	2.0	2.3	52		49	0
eca-rers2012/Problem16_label58.yml	timeout	.649	prog	tests	213	inspect	900	830	52	3700	1.6	0	unknown	prog	tests	0	inspect		64.9	60.9	2.0	2.3	52		50	0
eca-rers2012/Problem16_label59.yml	done	.113	prog	tests	8	inspect	24	22	52	110	.70	0	unknown	prog	tests	0	inspect		11.3	18.8	.45	.45	51		2.9	0
eca-rers2012/Problem17_label00.yml	timeout	.691	prog	tests	430	inspect	900	820	93	4900	2.0	0	unknown	prog	tests	0	inspect		69.1	61.0	5.1	5.0	81		170	0
eca-rers2012/Problem17_label01.yml	timeout	.691	prog	tests	396	inspect	900	830	92	2100	2.0	0	unknown	prog	tests	0	inspect		69.1	61.2	4.7	5.0	81		160	0
eca-rers2012/Problem17_label02.yml	done	.113	prog	tests	7	inspect	30	27	94	120	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.74	.74	81		5.4	0
eca-rers2012/Problem17_label03.yml	timeout	.692	prog	tests	386	inspect	900	840	92	2300	2.0	0	unknown	prog	tests	0	inspect		69.2	61.3	4.5	5.1	81		150	0
eca-rers2012/Problem17_label04.yml	timeout	.694	prog	tests	459	inspect	900	800	94	6700	2.1	0	true	prog	tests	1	inspect		69.4	61.5	5.4	5.2	81		180	0
eca-rers2012/Problem17_label05.yml	timeout	.591	prog	tests	342	inspect	900	840	93	2600	2.0	.061	unknown	prog	tests	0	inspect		59.0	44.5	4.2	4.8	81		140	0
eca-rers2012/Problem17_label06.yml	timeout	.695	prog	tests	402	inspect	900	820	94	4600	2.0	0	unknown	prog	tests	0	inspect		69.5	61.5	4.6	4.5	81		160	0
eca-rers2012/Problem17_label07.yml	done	.113	prog	tests	7	inspect	19	18	93	87	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.71	.74	80		5.4	0
eca-rers2012/Problem17_label08.yml	timeout	.695	prog	tests	438	inspect	900	830	92	3200	2.0	0	unknown	prog	tests	0	inspect		69.5	61.5	5.3	5.9	81		180	0
eca-rers2012/Problem17_label09.yml	timeout	.690	prog	tests	407	inspect	900	830	93	2400	2.0	0	true	prog	tests	1	inspect		69.0	61.0	4.9	5.3	81		160	0
eca-rers2012/Problem17_label10.yml	timeout	.586	prog	tests	356	inspect	900	830	93	4700	2.0	0	unknown	prog	tests	0	inspect		58.6	44.3	4.4	5.1	81		140	0
eca-rers2012/Problem17_label11.yml	done	.113	prog	tests	7	inspect	24	22	92	130	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.73	.73	81		4.7	0
eca-rers2012/Problem17_label12.yml	timeout	.690	prog	tests	377	inspect	900	830	93	3200	2.0	0	unknown	prog	tests	0	inspect		69.0	61.2	4.5	5.6	81		150	0
eca-rers2012/Problem17_label13.yml	done	.117	prog	tests	8	inspect	13	12	93	59	1.0	0	unknown	prog	tests	0	inspect		11.7	20.7	.72	.71	80		5.1	0
eca-rers2012/Problem17_label14.yml	done	.113	prog	tests	7	inspect	12	11	93	79	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.70	.70	80		5.4	0
eca-rers2012/Problem17_label15.yml	timeout	.693	prog	tests	417	inspect	900	830	93	2500	2.0	.061	unknown	prog	tests	0	inspect		69.3	61.5	5.0	5.9	81		170	0
eca-rers2012/Problem17_label16.yml	timeout	.687	prog	tests	431	inspect	900	830	93	2300	2.0	0	true	prog	tests	1	inspect		68.7	60.3	5.2	6.2	81		170	0
eca-rers2012/Problem17_label17.yml	timeout	.689	prog	tests	381	inspect	900	830	93	2400	2.0	0	unknown	prog	tests	0	inspect		68.9	61.1	4.6	5.7	81		150	0
eca-rers2012/Problem17_label18.yml	done	.113	prog	tests	7	inspect	18	16	93	110	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.71	.71	80		4.9	0
eca-rers2012/Problem17_label19.yml	timeout	.693	prog	tests	397	inspect	900	830	92	3100	2.0	0	unknown	prog	tests	0	inspect		69.3	61.5	4.8	5.5	81		160	0
eca-rers2012/Problem17_label20.yml	timeout	.692	prog	tests	383	inspect	900	830	93	2100	2.0	0	true	prog	tests	1	inspect		69.2	61.1	4.6	5.5	81		150	0
eca-rers2012/Problem17_label21.yml	timeout	.692	prog	tests	426	inspect	900	830	93	3100	2.0	0	unknown	prog	tests	0	inspect		69.2	61.5	4.9	4.8	81		170	0
eca-rers2012/Problem17_label22.yml	timeout	.693	prog	tests	399	inspect	900	830	92	2400	2.0	0	unknown	prog	tests	0	inspect		69.3	61.0	4.6	5.0	81		160	0
eca-rers2012/Problem17_label23.yml	timeout	.694	prog	tests	406	inspect	900	830	93	4000	2.1	0	true	prog	tests	1	inspect		69.4	61.5	4.9	5.9	81		160	0
eca-rers2012/Problem17_label24.yml	timeout	.685	prog	tests	399	inspect	900	840	92	2700	2.0	0	unknown	prog	tests	0	inspect		68.5	60.1	4.8	5.5	81		160	0
eca-rers2012/Problem17_label25.yml	done	.113	prog	tests	7	inspect	18	17	93	88	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.74	.75	80		5.1	0
eca-rers2012/Problem17_label26.yml	timeout	.693	prog	tests	368	inspect	900	830	93	2400	2.0	0	true	prog	tests	1	inspect		69.3	61.5	4.5	5.1	81		150	0
eca-rers2012/Problem17_label27.yml	done	.117	prog	tests	8	inspect	14	13	93	97	1.0	0	unknown	prog	tests	0	inspect		11.7	20.7	.83	.83	80		5.8	0
eca-rers2012/Problem17_label28.yml	done	.113	prog	tests	7	inspect	26	25	94	95	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.77	.77	80		4.6	0
eca-rers2012/Problem17_label29.yml	timeout	.692	prog	tests	445	inspect	900	830	93	4000	2.1	0	unknown	prog	tests	0	inspect		69.2	61.5	5.2	6.2	81		180	0
eca-rers2012/Problem17_label30.yml	done	.113	prog	tests	7	inspect	19	18	94	94	1.0	.061	unknown	prog	tests	0	inspect		11.3	20.6	.75	.79	80		5.2	0
eca-rers2012/Problem17_label31.yml	timeout	.694	prog	tests	489	inspect	900	830	93	3200	2.0	0	true	prog	tests	1	inspect		69.4	61.5	5.8	6.7	81		200	0
eca-rers2012/Problem17_label32.yml	timeout	.694	prog	tests	406	inspect	900	840	92	2000	2.0	0	unknown	prog	tests	0	inspect		69.4	61.5	4.9	5.9	81		160	0
eca-rers2012/Problem17_label33.yml	done	.113	prog	tests	7	inspect	18	17	93	120	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.72	.72	80		5.4	0
eca-rers2012/Problem17_label34.yml	timeout	.693	prog	tests	413	inspect	900	840	94	2900	2.0	0	true	prog	tests	1	inspect		69.2	61.1	4.9	4.7	81		170	0
eca-rers2012/Problem17_label35.yml	timeout	.693	prog	tests	442	inspect	900	830	92	4000	2.0	0	true	prog	tests	1	inspect		69.3	61.3	5.2	6.4	81		180	0
eca-rers2012/Problem17_label36.yml	timeout	.587	prog	tests	339	inspect	900	840	93	3100	2.0	0	unknown	prog	tests	0	inspect		58.7	44.3	4.1	4.7	80		140	0
eca-rers2012/Problem17_label37.yml	done	.113	prog	tests	7	inspect	13	12	93	76	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.74	.77	81		5.1	0
eca-rers2012/Problem17_label38.yml	timeout	.693	prog	tests	490	inspect	900	830	93	3600	2.1	0	unknown	prog	tests	0	inspect		69.3	61.2	5.9	5.8	81		200	0
eca-rers2012/Problem17_label39.yml	timeout	.695	prog	tests	433	inspect	900	830	94	2800	2.0	0	unknown	prog	tests	0	inspect		69.5	61.5	5.0	4.9	81		170	0
eca-rers2012/Problem17_label40.yml	timeout	.694	prog	tests	428	inspect	900	830	93	3900	1.9	0	true	prog	tests	1	inspect		69.4	61.3	5.0	5.4	81		170	0
eca-rers2012/Problem17_label41.yml	timeout	.693	prog	tests	447	inspect	900	830	93	2800	2.0	0	unknown	prog	tests	0	inspect		69.3	61.3	5.2	5.2	81		180	0
eca-rers2012/Problem17_label42.yml	done	.113	prog	tests	7	inspect	20	19	92	95	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.73	.72	81		5.4	0
eca-rers2012/Problem17_label43.yml	done	.113	prog	tests	7	inspect	13	12	93	90	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.74	.78	80		5.4	0
eca-rers2012/Problem17_label44.yml	timeout	.694	prog	tests	383	inspect	900	830	93	2900	2.0	0	unknown	prog	tests	0	inspect		69.4	61.5	4.6	5.4	81		150	0
eca-rers2012/Problem17_label45.yml	done	.113	prog	tests	7	inspect	13	12	92	75	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.74	.74	80		4.7	0
eca-rers2012/Problem17_label46.yml	timeout	.694	prog	tests	432	inspect	900	840	94	2800	1.9	0	true	prog	tests	1	inspect		69.4	61.2	5.1	4.9	81		170	0
eca-rers2012/Problem17_label47.yml	timeout	.694	prog	tests	450	inspect	900	830	93	3700	2.0	0	unknown	prog	tests	0	inspect		69.4	61.5	5.2	5.1	81		180	0
eca-rers2012/Problem17_label48.yml	done	.113	prog	tests	7	inspect	20	19	92	100	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.76	.76	80		4.7	0
eca-rers2012/Problem17_label49.yml	timeout	.688	prog	tests	362	inspect	900	830	92	2300	2.0	0	true	prog	tests	1	inspect		68.8	60.4	4.6	5.1	81		150	0
eca-rers2012/Problem17_label50.yml	timeout	.694	prog	tests	445	inspect	900	830	93	4700	2.0	0	true	prog	tests	1	inspect		69.4	61.3	5.3	6.0	81		180	0
eca-rers2012/Problem17_label51.yml	timeout	.695	prog	tests	441	inspect	900	830	93	4100	2.0	0	unknown	prog	tests	0	inspect		69.5	61.5	5.1	6.1	81		180	0
eca-rers2012/Problem17_label52.yml	timeout	.692	prog	tests	365	inspect	900	840	94	3000	1.9	0	true	prog	tests	1	inspect		69.2	61.3	4.4	5.0	81		150	0
eca-rers2012/Problem17_label53.yml	timeout	.695	prog	tests	419	inspect	900	830	93	3000	2.0	0	true	prog	tests	1	inspect		69.5	61.5	5.1	5.6	81		170	0
eca-rers2012/Problem17_label54.yml	timeout	.694	prog	tests	397	inspect	900	830	93	2700	2.0	0	true	prog	tests	1	inspect		69.4	61.5	4.9	5.7	81		160	0
eca-rers2012/Problem17_label55.yml	done	.113	prog	tests	7	inspect	23	22	93	82	1.0	0	unknown	prog	tests	0	inspect		11.3	20.6	.73	.73	80		5.4	0
eca-rers2012/Problem17_label56.yml	timeout	.693	prog	tests	374	inspect	900	840	93	2700	2.0	0	unknown	prog	tests	0	inspect		69.3	61.3	4.5	5.3	81		150	0
eca-rers2012/Problem17_label57.yml	timeout	.587	prog	tests	364	inspect	900	840	93	2900	2.0	0	unknown	prog	tests	0	inspect		58.7	44.3	4.4	5.2	81		150	0
eca-rers2012/Problem17_label58.yml	timeout	.691	prog	tests	392	inspect	900	830	92	2900	2.0	0	unknown	prog	tests	0	inspect		69.1	61.3	4.9	5.1	81		160	0
eca-rers2012/Problem17_label59.yml	timeout	.695	prog	tests	426	inspect	900	840	93	2300	2.0	0	unknown	prog	tests	0	inspect		69.5	61.5	5.2	5.7	81		170	0
eca-rers2012/Problem18_label00.yml	done	.126	prog	tests	8	inspect	28	26	77	100	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.76	.75	76		6.0	0
eca-rers2012/Problem18_label01.yml	done	.126	prog	tests	8	inspect	20	18	77	85	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.75	.75	75		6.1	0
eca-rers2012/Problem18_label02.yml	done	.121	prog	tests	7	inspect	19	18	75	100	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.83	.85	75		5.5	0
eca-rers2012/Problem18_label03.yml	done	.126	prog	tests	8	inspect	19	17	77	79	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.77	.77	75		6.7	0
eca-rers2012/Problem18_label04.yml	timeout	.841	prog	tests	587	inspect	900	830	77	3800	2.2	0	unknown	prog	tests	0	inspect		84.1	74.9	8.0	7.8	76		290	0
eca-rers2012/Problem18_label05.yml	timeout	.812	prog	tests	468	inspect	900	840	77	2400	2.2	0	unknown	prog	tests	0	inspect		81.2	68.3	6.4	7.8	76		230	0
eca-rers2012/Problem18_label06.yml	done	.126	prog	tests	8	inspect	26	24	77	110	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.80	.83	75		7.0	0
eca-rers2012/Problem18_label07.yml	done	.126	prog	tests	8	inspect	19	17	77	120	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.76	.76	76		7.0	0
eca-rers2012/Problem18_label08.yml	done	.121	prog	tests	7	inspect	18	17	77	96	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.78	.78	76		5.5	0
eca-rers2012/Problem18_label09.yml	done	.121	prog	tests	7	inspect	26	24	77	88	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.79	.80	76		6.1	0
eca-rers2012/Problem18_label10.yml	timeout	.782	prog	tests	510	inspect	900	830	76	3800	2.2	0	unknown	prog	tests	0	inspect		78.2	61.0	7.0	7.9	76		250	0
eca-rers2012/Problem18_label11.yml	done	.121	prog	tests	7	inspect	13	12	76	110	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.77	.78	76		6.5	0
eca-rers2012/Problem18_label12.yml	done	.126	prog	tests	8	inspect	30	28	77	110	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.78	.81	76		6.9	0
eca-rers2012/Problem18_label13.yml	done	.121	prog	tests	7	inspect	25	23	77	81	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.80	.80	76		5.5	0
eca-rers2012/Problem18_label14.yml	done	.126	prog	tests	8	inspect	26	24	77	85	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.76	.78	76		6.6	0
eca-rers2012/Problem18_label15.yml	timeout	.843	prog	tests	548	inspect	900	840	77	3000	2.0	0	unknown	prog	tests	0	inspect		84.3	77.5	7.5	7.7	76		270	0
eca-rers2012/Problem18_label16.yml	timeout	.828	prog	tests	540	inspect	900	840	77	2600	2.2	0	unknown	prog	tests	0	inspect		82.8	72.9	7.3	8.0	76		260	0
eca-rers2012/Problem18_label17.yml	done	.126	prog	tests	8	inspect	19	18	77	100	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.81	.81	76		7.0	0
eca-rers2012/Problem18_label18.yml	done	.121	prog	tests	7	inspect	21	20	77	78	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.76	.76	76		5.5	0
eca-rers2012/Problem18_label19.yml	timeout	.768	prog	tests	452	inspect	900	840	77	2800	2.1	0	unknown	prog	tests	0	inspect		76.8	60.8	6.1	7.7	76		220	0
eca-rers2012/Problem18_label20.yml	done	.121	prog	tests	7	inspect	18	16	76	120	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.82	.82	75		5.6	0
eca-rers2012/Problem18_label21.yml	done	.121	prog	tests	7	inspect	18	17	77	120	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.79	.79	76		5.6	0
eca-rers2012/Problem18_label22.yml	timeout	.813	prog	tests	454	inspect	900	840	77	2900	2.1	0	unknown	prog	tests	0	inspect		81.3	70.7	6.6	6.6	76		220	0
eca-rers2012/Problem18_label23.yml	timeout	.767	prog	tests	485	inspect	900	840	77	2100	2.1	0	unknown	prog	tests	0	inspect		76.7	61.7	6.5	7.2	76		240	0
eca-rers2012/Problem18_label24.yml	done	.121	prog	tests	7	inspect	19	17	77	74	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.77	.80	76		6.2	0
eca-rers2012/Problem18_label25.yml	done	.121	prog	tests	7	inspect	18	17	77	52	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.77	.80	76		6.3	0
eca-rers2012/Problem18_label26.yml	done	.126	prog	tests	8	inspect	25	23	75	150	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.78	.77	76		7.0	0
eca-rers2012/Problem18_label27.yml	done	.121	prog	tests	7	inspect	19	18	77	79	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.79	.79	76		5.9	0
eca-rers2012/Problem18_label28.yml	done	.121	prog	tests	7	inspect	26	24	75	77	1.1	.061	unknown	prog	tests	0	inspect		12.1	19.7	.80	.80	76		5.9	0
eca-rers2012/Problem18_label29.yml	done	.126	prog	tests	8	inspect	20	18	77	120	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.77	.79	76		6.1	0
eca-rers2012/Problem18_label30.yml	timeout	.81	prog	tests	441	inspect	900	840	77	3100	2.1	.061	unknown	prog	tests	0	inspect		81.0	68.1	6.0	7.6	76		210	0
eca-rers2012/Problem18_label31.yml	done	.126	prog	tests	8	inspect	38	35	77	150	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.78	.82	76		6.8	0
eca-rers2012/Problem18_label32.yml	done	.126	prog	tests	8	inspect	21	20	77	90	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.80	.80	75		7.0	0
eca-rers2012/Problem18_label33.yml	timeout	.805	prog	tests	499	inspect	900	840	77	2300	2.2	0	true	prog	tests	1	inspect		80.5	67.5	6.8	6.7	76		240	0
eca-rers2012/Problem18_label34.yml	timeout	.808	prog	tests	489	inspect	900	840	77	2300	2.2	.061	unknown	prog	tests	0	inspect		80.8	68.8	6.6	7.5	76		240	0
eca-rers2012/Problem18_label35.yml	done	.121	prog	tests	7	inspect	22	21	77	120	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.83	.83	76		5.5	0
eca-rers2012/Problem18_label36.yml	timeout	.836	prog	tests	577	inspect	900	840	77	2700	2.2	0	true	prog	tests	1	inspect		83.6	75.6	8.1	7.9	76		280	0
eca-rers2012/Problem18_label37.yml	done	.121	prog	tests	7	inspect	19	18	77	85	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.80	.83	76		6.1	0
eca-rers2012/Problem18_label38.yml	done	.126	prog	tests	8	inspect	19	18	77	100	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.81	.81	76		7.0	0
eca-rers2012/Problem18_label39.yml	done	.126	prog	tests	8	inspect	26	24	77	80	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.79	.78	75		6.4	0
eca-rers2012/Problem18_label40.yml	timeout	.784	prog	tests	507	inspect	900	830	77	3900	2.2	.061	unknown	prog	tests	0	inspect		78.4	65.6	6.9	8.5	76		250	0
eca-rers2012/Problem18_label41.yml	done	.145	prog	tests	10	inspect	12	11	75	110	1.1	0	unknown	prog	tests	0	inspect		14.5	20.7	.80	.80	75		7.9	0
eca-rers2012/Problem18_label42.yml	done	.121	prog	tests	7	inspect	19	18	77	95	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.75	.75	76		6.5	0
eca-rers2012/Problem18_label43.yml	done	.121	prog	tests	7	inspect	17	16	75	85	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.76	.76	76		5.6	0
eca-rers2012/Problem18_label44.yml	done	.130	prog	tests	11	inspect	50	46	77	190	1.1	0	unknown	prog	tests	0	inspect		13.0	20.0	.82	.86	75		8.4	0
eca-rers2012/Problem18_label45.yml	done	.121	prog	tests	7	inspect	17	16	77	110	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.76	.80	76		5.9	0
eca-rers2012/Problem18_label46.yml	done	.121	prog	tests	7	inspect	23	22	77	99	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.78	.81	75		5.5	0
eca-rers2012/Problem18_label47.yml	timeout	.768	prog	tests	477	inspect	900	830	77	4200	2.1	0	unknown	prog	tests	0	inspect		76.8	61.8	6.3	6.2	76		230	0
eca-rers2012/Problem18_label48.yml	done	.145	prog	tests	10	inspect	32	29	77	110	1.1	0	unknown	prog	tests	0	inspect		14.5	20.8	.78	.78	76		7.8	0
eca-rers2012/Problem18_label49.yml	timeout	.858	prog	tests	615	inspect	900	830	77	3900	2.2	0	true	prog	tests	1	inspect		85.8	80.3	8.4	8.3	76		300	0
eca-rers2012/Problem18_label50.yml	timeout	.831	prog	tests	509	inspect	900	840	75	2000	2.2	0	unknown	prog	tests	0	inspect		83.1	73.7	6.9	7.3	76		250	0
eca-rers2012/Problem18_label51.yml	timeout	.863	prog	tests	614	inspect	900	830	77	4600	2.1	0	unknown	prog	tests	0	inspect		86.3	82.4	8.3	9.3	76		300	0
eca-rers2012/Problem18_label52.yml	done	.126	prog	tests	8	inspect	23	21	77	93	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.75	.75	76		7.0	0
eca-rers2012/Problem18_label53.yml	timeout	.822	prog	tests	458	inspect	900	840	77	2700	2.2	.061	unknown	prog	tests	0	inspect		82.2	71.5	6.6	6.5	76		220	0
eca-rers2012/Problem18_label54.yml	done	.145	prog	tests	10	inspect	33	31	76	110	1.1	0	unknown	prog	tests	0	inspect		14.5	20.7	.81	.85	76		7.1	0
eca-rers2012/Problem18_label55.yml	done	.126	prog	tests	8	inspect	31	28	77	100	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.81	.83	76		6.7	0
eca-rers2012/Problem18_label56.yml	done	.126	prog	tests	8	inspect	23	21	77	88	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.83	.83	76		6.8	0
eca-rers2012/Problem18_label57.yml	done	.121	prog	tests	7	inspect	23	21	77	94	1.1	0	unknown	prog	tests	0	inspect		12.1	19.7	.77	.77	76		5.8	0
eca-rers2012/Problem18_label58.yml	timeout	.789	prog	tests	450	inspect	900	840	77	2900	2.1	0	unknown	prog	tests	0	inspect		79.0	63.8	6.2	6.0	76		220	0
eca-rers2012/Problem18_label59.yml	done	.126	prog	tests	8	inspect	28	26	77	110	1.1	0	unknown	prog	tests	0	inspect		12.6	19.8	.79	.79	76		6.0	0
eca-rers2012/Problem19_label00.yml	timeout	.561	prog	tests	297	inspect	900	840	170	3300	4.4	.061	unknown	prog	tests	0	inspect		56.1	32.0	8.7	8.7	160		480	0
eca-rers2012/Problem19_label01.yml	done	.110	prog	tests	7	inspect	28	26	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.8	1.8	160		21	0
eca-rers2012/Problem19_label02.yml	timeout	.529	prog	tests	278	inspect	900	840	170	2500	3.5	0	unknown	prog	tests	0	inspect		52.9	29.5	8.2	8.3	160		370	0
eca-rers2012/Problem19_label03.yml	done	.110	prog	tests	7	inspect	19	18	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		14	0
eca-rers2012/Problem19_label04.yml	timeout	.633	prog	tests	588	inspect	900	830	160	3900	4.4	0	unknown	prog	tests	0	inspect		63.3	45.0	16	18	160		880	0
eca-rers2012/Problem19_label05.yml	done	.110	prog	tests	8	inspect	23	22	170	150	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	2.0	160		21	0
eca-rers2012/Problem19_label06.yml	done	.119	prog	tests	10	inspect	24	23	170	140	3.4	0	unknown	prog	tests	0	inspect		11.9	17.2	2.0	2.0	160		21	0
eca-rers2012/Problem19_label07.yml	timeout	.633	prog	tests	576	inspect	900	830	170	4100	4.4	0	unknown	prog	tests	0	inspect		63.3	43.3	15	17	160		980	0
eca-rers2012/Problem19_label08.yml	done	.207	prog	tests	21	inspect	53	49	170	230	2.9	0	unknown	prog	tests	0	inspect		20.7	17.7	2.2	2.3	160		32	0
eca-rers2012/Problem19_label09.yml	timeout	.566	prog	tests	283	inspect	900	840	170	2900	3.9	0	unknown	prog	tests	0	inspect		56.6	32.4	8.3	9.5	160		450	0
eca-rers2012/Problem19_label10.yml	done	.160	prog	tests	17	inspect	38	35	160	280	3.4	0	unknown	prog	tests	0	inspect		16.0	17.6	2.1	2.2	160		36	0
eca-rers2012/Problem19_label11.yml	done	.110	prog	tests	7	inspect	21	20	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		19	0
eca-rers2012/Problem19_label12.yml	timeout	.607	prog	tests	471	inspect	900	830	170	4400	4.4	0	unknown	prog	tests	0	inspect		60.7	38.7	13	14	160		640	0
eca-rers2012/Problem19_label13.yml	timeout	.556	prog	tests	323	inspect	900	840	170	2400	4.3	0	unknown	prog	tests	0	inspect		55.6	32.7	9.1	10	160		500	0
eca-rers2012/Problem19_label14.yml	timeout	.576	prog	tests	401	inspect	900	840	170	3000	3.8	0	unknown	prog	tests	0	inspect		57.5	36.3	11	14	160		580	0
eca-rers2012/Problem19_label15.yml	timeout	.591	prog	tests	372	inspect	900	830	160	3900	4.4	0	unknown	prog	tests	0	inspect		59.1	36.1	11	11	160		490	0
eca-rers2012/Problem19_label16.yml	done	.110	prog	tests	7	inspect	22	21	170	130	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		20	0
eca-rers2012/Problem19_label17.yml	timeout	.574	prog	tests	326	inspect	900	840	170	2600	4.3	0	unknown	prog	tests	0	inspect		57.4	34.1	9.5	9.3	160		410	0
eca-rers2012/Problem19_label18.yml	timeout	.574	prog	tests	428	inspect	900	840	170	3300	4.4	0	unknown	prog	tests	0	inspect		57.4	35.9	12	13	160		630	0
eca-rers2012/Problem19_label19.yml	timeout	.549	prog	tests	321	inspect	900	840	170	2800	4.3	0	unknown	prog	tests	0	inspect		54.9	32.5	9.5	9.6	160		460	0
eca-rers2012/Problem19_label20.yml	done	.110	prog	tests	7	inspect	28	26	170	130	2.9	0	unknown	prog	tests	0	inspect		11.0	17.2	2.0	2.0	160		16	0
eca-rers2012/Problem19_label21.yml	timeout	.560	prog	tests	348	inspect	900	840	170	2600	3.9	0	unknown	prog	tests	0	inspect		56.0	33.2	9.7	9.6	160		460	0
eca-rers2012/Problem19_label22.yml	done	.110	prog	tests	7	inspect	20	19	160	160	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		15	0
eca-rers2012/Problem19_label23.yml	done	.110	prog	tests	8	inspect	23	21	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		19	0
eca-rers2012/Problem19_label24.yml	timeout	.578	prog	tests	406	inspect	900	830	170	4000	3.9	.061	unknown	prog	tests	0	inspect		57.8	35.7	11	11	160		650	0
eca-rers2012/Problem19_label25.yml	timeout	.642	prog	tests	561	inspect	900	830	170	3600	4.4	0	unknown	prog	tests	0	inspect		64.2	45.3	15	15	160		880	0
eca-rers2012/Problem19_label26.yml	timeout	.581	prog	tests	335	inspect	900	840	170	3200	4.3	0	unknown	prog	tests	0	inspect		58.1	34.6	9.5	10	160		570	0
eca-rers2012/Problem19_label27.yml	timeout	.606	prog	tests	453	inspect	900	830	170	3500	4.4	0	true	prog	tests	1	inspect		60.6	39.5	13	14	160		590	0
eca-rers2012/Problem19_label28.yml	done	.110	prog	tests	7	inspect	20	19	170	110	2.9	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		19	0
eca-rers2012/Problem19_label29.yml	timeout	.552	prog	tests	302	inspect	900	840	170	2700	4.4	0	true	prog	tests	1	inspect		55.2	33.1	9.0	9.5	160		390	0
eca-rers2012/Problem19_label30.yml	done	.110	prog	tests	7	inspect	29	27	170	140	2.9	0	unknown	prog	tests	0	inspect		11.0	17.2	2.0	2.0	160		15	0
eca-rers2012/Problem19_label31.yml	done	.122	prog	tests	11	inspect	59	55	170	220	3.4	0	unknown	prog	tests	0	inspect		12.2	17.3	2.0	2.0	160		21	0
eca-rers2012/Problem19_label32.yml	timeout	.546	prog	tests	330	inspect	900	840	170	2800	4.4	0	unknown	prog	tests	0	inspect		54.6	31.5	9.2	9.5	160		550	0
eca-rers2012/Problem19_label33.yml	timeout	.568	prog	tests	356	inspect	900	840	170	2900	4.4	0	unknown	prog	tests	0	inspect		56.8	34.4	10	12	160		510	0
eca-rers2012/Problem19_label34.yml	timeout	.582	prog	tests	350	inspect	900	840	170	3800	4.3	0	unknown	prog	tests	0	inspect		58.2	35.0	9.8	10	160		600	0
eca-rers2012/Problem19_label35.yml	timeout	.565	prog	tests	299	inspect	900	840	170	1900	2.9	0	unknown	prog	tests	0	inspect		56.5	33.0	8.7	9.6	160		490	0
eca-rers2012/Problem19_label36.yml	timeout	.530	prog	tests	272	inspect	900	840	170	2200	4.4	0	unknown	prog	tests	0	inspect		53.0	31.2	7.9	7.8	160		460	0
eca-rers2012/Problem19_label37.yml	timeout	.596	prog	tests	466	inspect	900	830	170	4400	4.4	0	unknown	prog	tests	0	inspect		59.6	38.6	13	15	160		710	0
eca-rers2012/Problem19_label38.yml	timeout	.570	prog	tests	383	inspect	900	830	170	3700	4.4	0	unknown	prog	tests	0	inspect		57.0	34.0	11	11	160		510	0
eca-rers2012/Problem19_label39.yml	done	.142	prog	tests	10	inspect	20	19	170	150	1.9	0	unknown	prog	tests	0	inspect		14.2	17.3	1.9	2.0	160		24	0
eca-rers2012/Problem19_label40.yml	done	.110	prog	tests	8	inspect	27	26	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		15	0
eca-rers2012/Problem19_label41.yml	timeout	.595	prog	tests	446	inspect	900	830	170	3900	4.4	0	unknown	prog	tests	0	inspect		59.5	38.4	12	14	160		650	0
eca-rers2012/Problem19_label42.yml	timeout	.592	prog	tests	386	inspect	900	830	170	3400	4.4	0	unknown	prog	tests	0	inspect		59.2	37.2	11	13	160		540	0
eca-rers2012/Problem19_label43.yml	timeout	.627	prog	tests	609	inspect	900	840	170	4700	4.4	0	true	prog	tests	1	inspect		62.7	42.0	16	18	160		830	0
eca-rers2012/Problem19_label44.yml	timeout	.554	prog	tests	293	inspect	900	840	170	2300	4.4	.061	unknown	prog	tests	0	inspect		55.4	32.5	8.6	8.5	160		500	0
eca-rers2012/Problem19_label45.yml	timeout	.605	prog	tests	509	inspect	900	840	170	3500	4.4	0	unknown	prog	tests	0	inspect		60.5	39.6	14	15	160		760	0
eca-rers2012/Problem19_label46.yml	done	.122	prog	tests	11	inspect	42	39	170	220	3.4	0	unknown	prog	tests	0	inspect		12.2	17.3	2.0	2.0	160		27	0
eca-rers2012/Problem19_label47.yml	done	.110	prog	tests	7	inspect	21	19	170	130	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		21	0
eca-rers2012/Problem19_label48.yml	done	.110	prog	tests	7	inspect	25	23	170	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		19	0
eca-rers2012/Problem19_label49.yml	timeout	.579	prog	tests	335	inspect	900	840	170	3300	4.4	0	unknown	prog	tests	0	inspect		57.9	34.8	9.3	9.2	160		520	0
eca-rers2012/Problem19_label50.yml	timeout	.587	prog	tests	435	inspect	900	830	170	4100	4.4	0	true	prog	tests	1	inspect		58.7	35.4	12	14	160		680	0
eca-rers2012/Problem19_label51.yml	done	.110	prog	tests	7	inspect	22	21	170	150	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	2.0	2.0	160		19	0
eca-rers2012/Problem19_label52.yml	timeout	.509	prog	tests	250	inspect	900	840	170	3000	4.4	0	unknown	prog	tests	0	inspect		50.9	29.1	7.5	8.6	160		390	0
eca-rers2012/Problem19_label53.yml	timeout	.585	prog	tests	431	inspect	900	840	170	2700	4.4	0	unknown	prog	tests	0	inspect		58.5	35.4	12	13	160		670	0
eca-rers2012/Problem19_label54.yml	timeout	.596	prog	tests	457	inspect	900	830	170	4000	4.4	0	unknown	prog	tests	0	inspect		59.6	38.3	13	14	160		640	0
eca-rers2012/Problem19_label55.yml	timeout	.595	prog	tests	469	inspect	900	830	170	4700	4.3	0	unknown	prog	tests	0	inspect		59.5	37.8	13	15	160		710	0
eca-rers2012/Problem19_label56.yml	timeout	.560	prog	tests	317	inspect	900	840	170	2200	3.8	0	unknown	prog	tests	0	inspect		56.0	32.2	9.1	11	160		500	0
eca-rers2012/Problem19_label57.yml	done	.110	prog	tests	7	inspect	27	26	160	140	3.4	0	unknown	prog	tests	0	inspect		11.0	17.2	1.9	1.9	160		14	0
eca-rers2012/Problem19_label58.yml	timeout	.599	prog	tests	479	inspect	900	840	170	4500	4.3	0	true	prog	tests	1	inspect		59.9	37.6	13	16	160		730	0
eca-rers2012/Problem19_label59.yml	done	.119	prog	tests	10	inspect	32	30	170	140	3.4	0	unknown	prog	tests	0	inspect		11.9	17.2	2.0	2.0	160		21	0
eca-programs/Problem101_label00.yml	timeout	.557	prog	tests	874	inspect	900	880	390	4700	18	0	unknown	prog	tests	0	inspect		55.7	20.6	200	200	770		16000	0
eca-programs/Problem101_label01.yml	done	.0883	prog	tests	8	inspect	190	190	390	2100	18	.061	unknown	prog	tests	0	inspect		8.83	14.0	15	15	770		250	0
eca-programs/Problem101_label02.yml	timeout	.571	prog	tests	1090	inspect	900	870	390	7000	27	0	unknown	prog	tests	0	inspect		57.1	21.1	240	240	770		23000	0
eca-programs/Problem101_label03.yml	timeout	.584	prog	tests	940	inspect	900	880	390	4800	27	0	unknown	prog	tests	0	inspect		58.4	21.7	210	210	770		19000	0
eca-programs/Problem101_label04.yml	timeout	.544	prog	tests	807	inspect	900	880	390	5000	18	0	unknown	prog	tests	0	inspect		54.4	20.1	180	180	770		14000	0
eca-programs/Problem101_label05.yml	timeout	.549	prog	tests	869	inspect	900	880	390	4200	18	0	unknown	prog	tests	0	inspect		54.9	19.6	200	200	770		18000	0
eca-programs/Problem101_label06.yml	timeout	.547	prog	tests	771	inspect	900	870	390	4500	18	0	unknown	prog	tests	0	inspect		54.7	19.9	170	170	770		16000	0
eca-programs/Problem101_label07.yml	timeout	.576	prog	tests	932	inspect	900	880	390	4900	27	0	unknown	prog	tests	0	inspect		57.6	21.5	210	210	770		17000	0
eca-programs/Problem101_label08.yml	timeout	.584	prog	tests	1032	inspect	900	870	390	4200	27	0	unknown	prog	tests	0	inspect		58.4	22.2	230	230	770		20000	0
eca-programs/Problem101_label09.yml	timeout	.580	prog	tests	952	inspect	900	870	390	5400	19	.061	unknown	prog	tests	0	inspect		58.0	21.4	210	210	770		18000	0
eca-programs/Problem101_label10.yml	done	.0883	prog	tests	8	inspect	190	190	390	1800	18	.061	unknown	prog	tests	0	inspect		8.83	14.0	16	16	770		220	0
eca-programs/Problem101_label11.yml	timeout	.540	prog	tests	913	inspect	900	880	390	4700	21	0	unknown	prog	tests	0	inspect		54.0	19.1	210	210	770		18000	0
eca-programs/Problem101_label12.yml	timeout	.506	prog	tests	670	inspect	900	880	390	4900	27	0	unknown	prog	tests	0	inspect		50.6	18.1	150	150	770		12000	0
eca-programs/Problem101_label13.yml	timeout	.568	prog	tests	893	inspect	900	870	390	4400	19	0	unknown	prog	tests	0	inspect		56.8	21.2	200	200	770		17000	0
eca-programs/Problem101_label14.yml	timeout	.553	prog	tests	842	inspect	900	870	390	4400	19	0	unknown	prog	tests	0	inspect		55.3	19.9	190	190	770		18000	0
eca-programs/Problem101_label15.yml	timeout	.586	prog	tests	1042	inspect	900	870	390	5500	19	0	unknown	prog	tests	0	inspect		58.6	22.1	230	230	770		20000	0
eca-programs/Problem101_label16.yml	done	.0883	prog	tests	8	inspect	180	180	390	2300	26	0	unknown	prog	tests	0	inspect		8.83	14.0	16	16	770		200	0
eca-programs/Problem101_label17.yml	timeout	.553	prog	tests	853	inspect	900	880	390	4800	19	0	unknown	prog	tests	0	inspect		55.3	20.4	190	190	770		16000	0
eca-programs/Problem101_label18.yml	done	.0883	prog	tests	8	inspect	200	190	390	2100	26	0	unknown	prog	tests	0	inspect		8.83	14.0	16	16	770		160	0
eca-programs/Problem101_label19.yml	timeout	.558	prog	tests	915	inspect	900	870	390	4700	27	0	unknown	prog	tests	0	inspect		55.8	21.1	210	210	770		16000	0
eca-programs/Problem101_label20.yml	timeout	.593	prog	tests	1051	inspect	900	880	390	5000	26	0	unknown	prog	tests	0	inspect		59.3	22.9	240	240	770		19000	0
eca-programs/Problem101_label21.yml	timeout	.589	prog	tests	1049	inspect	900	870	390	4900	29	0	unknown	prog	tests	0	inspect		58.9	22.7	230	230	770		19000	0
eca-programs/Problem101_label22.yml	timeout	.569	prog	tests	828	inspect	900	870	390	4300	29	0	unknown	prog	tests	0	inspect		56.9	20.8	190	190	770		15000	0
eca-programs/Problem101_label23.yml	timeout	.570	prog	tests	925	inspect	900	870	390	4900	17	0	unknown	prog	tests	0	inspect		57.0	21.2	210	210	770		18000	0
eca-programs/Problem102_label00.yml	timeout	.499	prog	tests	572	inspect	900	890	760	7500	35	0	unknown	prog	tests	0	inspect		49.9	13.5	260	260	1600		21000	0
eca-programs/Problem102_label01.yml	timeout	.463	prog	tests	512	inspect	900	880	760	6100	37	0	unknown	prog	tests	0	inspect		46.3	12.9	230	230	1600		19000	0
eca-programs/Problem102_label02.yml	timeout	.434	prog	tests	376	inspect	900	890	760	7600	35	0	unknown	prog	tests	0	inspect		43.4	12.4	180	180	1600		14000	0
eca-programs/Problem102_label03.yml	timeout	.467	prog	tests	501	inspect	900	890	760	6900	38	0	unknown	prog	tests	0	inspect		46.7	12.8	230	230	1600		18000	0
eca-programs/Problem102_label04.yml	timeout	.469	prog	tests	494	inspect	900	890	760	6100	38	0	unknown	prog	tests	0	inspect		46.9	13.0	220	220	1600		20000	0
eca-programs/Problem102_label05.yml	timeout	.487	prog	tests	594	inspect	900	890	760	6600	35	0	unknown	prog	tests	0	inspect		48.8	13.4	270	270	1600		21000	0
eca-programs/Problem102_label06.yml	timeout	.465	prog	tests	545	inspect	900	880	760	6300	35	0	unknown	prog	tests	0	inspect		46.5	12.9	250	250	1600		20000	0
eca-programs/Problem102_label07.yml	done	.0719	prog	tests	8	inspect	370	370	760	3900	34	0	unknown	prog	tests	0	inspect		7.19	10.9	33	33	1600		470	0
eca-programs/Problem102_label08.yml	timeout	.432	prog	tests	390	inspect	900	880	760	7200	34	0	unknown	prog	tests	0	inspect		43.2	12.1	180	180	1600		14000	0
eca-programs/Problem102_label09.yml	done	.0719	prog	tests	8	inspect	360	360	760	3900	35	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		240	0
eca-programs/Problem102_label10.yml	timeout	.480	prog	tests	621	inspect	900	880	760	6900	38	0	unknown	prog	tests	0	inspect		48.0	13.2	280	280	1600		25000	0
eca-programs/Problem102_label11.yml	timeout	.462	prog	tests	473	inspect	900	890	760	6900	37	0	unknown	prog	tests	0	inspect		46.2	12.6	210	210	1600		17000	0
eca-programs/Problem102_label12.yml	timeout	.479	prog	tests	563	inspect	900	890	760	5900	36	.061	unknown	prog	tests	0	inspect		47.9	12.9	250	250	1600		20000	0
eca-programs/Problem102_label13.yml	timeout	.451	prog	tests	450	inspect	900	890	760	6600	38	0	unknown	prog	tests	0	inspect		45.1	12.5	210	210	1600		16000	0
eca-programs/Problem102_label14.yml	timeout	.490	prog	tests	587	inspect	900	890	760	6500	36	0	unknown	prog	tests	0	inspect		49.0	13.2	260	260	1600		25000	0
eca-programs/Problem102_label15.yml	timeout	.446	prog	tests	397	inspect	900	890	760	6700	54	0	unknown	prog	tests	0	inspect		44.6	12.5	190	190	1600		15000	0
eca-programs/Problem102_label16.yml	timeout	.472	prog	tests	495	inspect	900	890	760	6300	51	.061	unknown	prog	tests	0	inspect		47.2	12.9	230	230	1600		18000	0
eca-programs/Problem102_label17.yml	timeout	.487	prog	tests	561	inspect	900	890	760	8300	34	0	unknown	prog	tests	0	inspect		48.7	13.2	250	250	1600		22000	0
eca-programs/Problem102_label18.yml	timeout	.448	prog	tests	425	inspect	900	890	760	6800	38	0	unknown	prog	tests	0	inspect		44.8	12.5	200	200	1600		17000	0
eca-programs/Problem102_label19.yml	timeout	.430	prog	tests	408	inspect	900	880	760	6600	36	0	unknown	prog	tests	0	inspect		43.0	12.2	190	190	1600		16000	0
eca-programs/Problem102_label20.yml	done	.0719	prog	tests	8	inspect	370	370	760	3600	34	0	unknown	prog	tests	0	inspect		7.19	10.9	33	33	1600		480	0
eca-programs/Problem102_label21.yml	done	.0719	prog	tests	8	inspect	380	370	760	4000	34	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		370	0
eca-programs/Problem102_label22.yml	timeout	.482	prog	tests	504	inspect	900	890	760	7100	52	0	unknown	prog	tests	0	inspect		48.2	13.1	230	230	1600		18000	0
eca-programs/Problem102_label23.yml	timeout	.474	prog	tests	469	inspect	900	890	760	5200	35	0	unknown	prog	tests	0	inspect		47.4	13.0	210	210	1600		17000	0
eca-programs/Problem102_label24.yml	timeout	.504	prog	tests	694	inspect	900	880	760	10000	35	0	unknown	prog	tests	0	inspect		50.4	13.7	310	310	1600		26000	0
eca-programs/Problem102_label25.yml	done	.0719	prog	tests	8	inspect	370	370	760	4300	36	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		450	0
eca-programs/Problem102_label26.yml	timeout	.449	prog	tests	452	inspect	900	890	760	6300	36	0	unknown	prog	tests	0	inspect		44.9	12.5	210	210	1600		18000	0
eca-programs/Problem102_label27.yml	timeout	.469	prog	tests	483	inspect	900	890	760	5900	36	0	unknown	prog	tests	0	inspect		46.9	13.0	220	220	1600		18000	0
eca-programs/Problem102_label28.yml	timeout	.465	prog	tests	453	inspect	900	880	760	6100	35	0	unknown	prog	tests	0	inspect		46.5	12.8	210	210	1600		16000	0
eca-programs/Problem102_label29.yml	timeout	.492	prog	tests	570	inspect	900	880	760	10000	35	0	unknown	prog	tests	0	inspect		49.2	13.1	260	260	1600		20000	0
eca-programs/Problem102_label30.yml	timeout	.499	prog	tests	645	inspect	900	880	760	8100	39	0	unknown	prog	tests	0	inspect		49.9	13.4	290	290	1600		23000	0
eca-programs/Problem102_label31.yml	done	.0719	prog	tests	8	inspect	360	360	760	4400	34	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		440	0
eca-programs/Problem102_label32.yml	timeout	.469	prog	tests	442	inspect	900	890	760	6600	35	0	unknown	prog	tests	0	inspect		46.9	12.9	210	210	1600		17000	0
eca-programs/Problem102_label33.yml	timeout	.482	prog	tests	592	inspect	900	890	760	6000	38	0	unknown	prog	tests	0	inspect		48.2	13.3	260	260	1600		22000	0
eca-programs/Problem102_label34.yml	done	.0719	prog	tests	8	inspect	360	360	760	4000	34	0	unknown	prog	tests	0	inspect		7.19	10.9	33	34	1600		260	0
eca-programs/Problem102_label35.yml	timeout	.467	prog	tests	447	inspect	900	890	760	6000	36	0	unknown	prog	tests	0	inspect		46.7	12.9	210	210	1600		17000	0
eca-programs/Problem102_label36.yml	done	.0719	prog	tests	8	inspect	360	360	760	4600	34	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		280	0
eca-programs/Problem102_label37.yml	timeout	.464	prog	tests	439	inspect	900	890	760	5500	36	0	unknown	prog	tests	0	inspect		46.4	12.7	200	200	1600		15000	0
eca-programs/Problem102_label38.yml	timeout	.497	prog	tests	591	inspect	900	890	760	8100	35	0	unknown	prog	tests	0	inspect		49.7	13.5	270	270	1600		23000	0
eca-programs/Problem102_label39.yml	done	.0719	prog	tests	8	inspect	360	360	760	4500	34	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		300	0
eca-programs/Problem102_label40.yml	timeout	.515	prog	tests	617	inspect	900	890	760	5700	36	0	unknown	prog	tests	0	inspect		51.5	14.0	280	280	1600		22000	0
eca-programs/Problem102_label41.yml	timeout	.469	prog	tests	526	inspect	900	890	760	6800	50	0	unknown	prog	tests	0	inspect		46.9	12.9	240	240	1600		19000	0
eca-programs/Problem102_label42.yml	timeout	.440	prog	tests	410	inspect	900	890	760	5900	36	0	unknown	prog	tests	0	inspect		44.0	12.5	190	190	1600		16000	0
eca-programs/Problem102_label43.yml	timeout	.438	prog	tests	423	inspect	900	890	760	6700	35	0	unknown	prog	tests	0	inspect		43.8	12.3	200	200	1600		15000	0
eca-programs/Problem102_label44.yml	timeout	.457	prog	tests	435	inspect	900	890	760	6600	37	0	unknown	prog	tests	0	inspect		45.7	12.7	200	200	1600		16000	0
eca-programs/Problem102_label45.yml	timeout	.458	prog	tests	543	inspect	900	880	760	7000	35	0	unknown	prog	tests	0	inspect		45.8	12.7	240	240	1600		22000	0
eca-programs/Problem102_label46.yml	timeout	.426	prog	tests	388	inspect	900	890	760	7300	36	0	unknown	prog	tests	0	inspect		42.6	12.2	180	180	1600		14000	0
eca-programs/Problem102_label47.yml	timeout	.422	prog	tests	366	inspect	900	880	760	8100	34	0	unknown	prog	tests	0	inspect		42.2	12.3	170	170	1600		14000	0
eca-programs/Problem102_label48.yml	timeout	.444	prog	tests	438	inspect	900	890	760	5200	35	0	unknown	prog	tests	0	inspect		44.4	12.5	200	200	1600		16000	0
eca-programs/Problem102_label49.yml	timeout	.469	prog	tests	467	inspect	900	890	760	6100	36	0	unknown	prog	tests	0	inspect		46.9	13.1	220	220	1600		17000	0
eca-programs/Problem102_label50.yml	timeout	.491	prog	tests	647	inspect	900	880	760	5900	35	0	unknown	prog	tests	0	inspect		49.1	13.2	300	300	1600		26000	0
eca-programs/Problem102_label51.yml	done	.0719	prog	tests	8	inspect	360	360	760	4100	34	0	unknown	prog	tests	0	inspect		7.19	10.9	32	32	1600		300	0
eca-programs/Problem102_label52.yml	timeout	.435	prog	tests	393	inspect	900	890	760	7100	36	0	unknown	prog	tests	0	inspect		43.5	12.5	190	190	1600		15000	0
eca-programs/Problem102_label53.yml	timeout	.463	prog	tests	454	inspect	900	890	760	6700	35	0	unknown	prog	tests	0	inspect		46.3	12.7	210	210	1600		19000	0
eca-programs/Problem102_label54.yml	timeout	.464	prog	tests	476	inspect	900	880	760	7300	38	0	unknown	prog	tests	0	inspect		46.4	12.7	220	220	1600		18000	0
eca-programs/Problem102_label55.yml	timeout	.466	prog	tests	467	inspect	900	890	760	6500	34	0	unknown	prog	tests	0	inspect		46.6	12.8	210	210	1600		17000	0
eca-programs/Problem102_label56.yml	timeout	.460	prog	tests	483	inspect	900	890	760	6100	51	0	unknown	prog	tests	0	inspect		46.0	12.9	220	220	1600		17000	0
eca-programs/Problem102_label57.yml	timeout	.413	prog	tests	390	inspect	900	880	760	5700	37	0	unknown	prog	tests	0	inspect		41.3	12.4	180	180	1600		14000	0
eca-programs/Problem102_label58.yml	timeout	.412	prog	tests	328	inspect	900	880	760	5700	39	0	unknown	prog	tests	0	inspect		41.2	12.1	160	160	1600		12000	0
eca-programs/Problem102_label59.yml	timeout	.445	prog	tests	476	inspect	900	890	760	6600	34	0	unknown	prog	tests	0	inspect		44.5	12.2	220	220	1600		17000	0
eca-programs/Problem103_label32.yml	done	.087	prog	tests	7	inspect	150	150	760	1800	45	0	unknown	prog	tests	0	inspect		8.70	9.24	38	38	1800		420	0
eca-programs/Problem103_label35.yml	timeout	.346	prog	tests	478	inspect	900	880	760	3900	49	0	unknown	prog	tests	0	inspect		34.6	10.9	250	250	1800		21000	0
eca-programs/Problem103_label40.yml	timeout	.361	prog	tests	546	inspect	900	880	760	5200	40	0	unknown	prog	tests	0	inspect		36.1	11.3	270	270	1800		23000	0
eca-programs/Problem103_label41.yml	done	.087	prog	tests	7	inspect	150	150	760	1600	39	0	unknown	prog	tests	0	inspect		8.70	9.24	36	36	1800		260	0
eca-programs/Problem103_label42.yml	timeout	.380	prog	tests	663	inspect	900	880	760	6300	46	0	unknown	prog	tests	0	inspect		38.0	11.7	330	330	1800		31000	0
eca-programs/Problem103_label43.yml	timeout	.381	prog	tests	620	inspect	900	880	760	4400	44	0	unknown	prog	tests	0	inspect		38.1	11.9	320	320	1800		25000	0
eca-programs/Problem103_label44.yml	done	.087	prog	tests	7	inspect	160	160	760	1700	51	0	unknown	prog	tests	0	inspect		8.70	9.24	36	36	1800		320	0
eca-programs/Problem103_label45.yml	timeout	.364	prog	tests	540	inspect	900	880	760	5200	46	.061	unknown	prog	tests	0	inspect		36.4	11.3	260	260	1800		26000	0
eca-programs/Problem103_label46.yml	done	.087	prog	tests	7	inspect	160	160	760	1700	41	.061	unknown	prog	tests	0	inspect		8.70	9.24	37	37	1800		450	0
eca-programs/Problem103_label47.yml	timeout	.361	prog	tests	638	inspect	900	880	760	4700	44	0	unknown	prog	tests	0	inspect		36.1	11.2	320	320	1800		25000	0
eca-programs/Problem103_label48.yml	done	.087	prog	tests	7	inspect	160	160	760	1700	48	0	unknown	prog	tests	0	inspect		8.70	9.24	37	37	1800		430	0
eca-programs/Problem103_label49.yml	timeout	.359	prog	tests	611	inspect	900	880	760	4600	40	0	unknown	prog	tests	0	inspect		35.9	11.2	300	310	1800		26000	0
eca-programs/Problem103_label50.yml	timeout	.373	prog	tests	633	inspect	900	880	760	4900	44	0	unknown	prog	tests	0	inspect		37.3	11.7	310	310	1800		31000	0
eca-programs/Problem103_label51.yml	timeout	.380	prog	tests	662	inspect	900	880	760	4200	44	0	unknown	prog	tests	0	inspect		38.0	11.8	330	330	1800		27000	0
eca-programs/Problem103_label52.yml	timeout	.352	prog	tests	543	inspect	900	880	760	4300	39	0	unknown	prog	tests	0	inspect		35.2	10.9	270	270	1800		24000	0
eca-programs/Problem103_label53.yml	timeout	.355	prog	tests	498	inspect	900	890	760	4900	43	0	unknown	prog	tests	0	inspect		35.5	11.0	260	260	1800		20000	0
eca-programs/Problem103_label54.yml	timeout	.348	prog	tests	480	inspect	900	880	760	4600	38	0	unknown	prog	tests	0	inspect		34.8	10.9	250	250	1800		20000	0
eca-programs/Problem103_label55.yml	timeout	.350	prog	tests	533	inspect	900	880	760	4200	46	0	unknown	prog	tests	0	inspect		35.0	10.9	270	270	1800		23000	0
eca-programs/Problem103_label56.yml	done	.087	prog	tests	7	inspect	170	170	760	1600	42	0	unknown	prog	tests	0	inspect		8.70	9.24	38	38	1800		450	0
eca-programs/Problem103_label57.yml	done	.087	prog	tests	7	inspect	170	170	760	1800	36	0	unknown	prog	tests	0	inspect		8.70	9.24	37	37	1800		370	0
eca-programs/Problem103_label58.yml	done	.087	prog	tests	7	inspect	150	150	760	1900	35	0	unknown	prog	tests	0	inspect		8.70	9.24	36	36	1800		450	0
eca-programs/Problem103_label59.yml	done	.087	prog	tests	7	inspect	160	160	760	2000	39	0	unknown	prog	tests	0	inspect		8.70	9.24	39	39	1800		460	0
sv-benchmarks/c/	status	score	program	test-suite	TS size	inspect test-suite	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	program	test-suite	TS size	inspect test-suite	cov	branch cov (%)	line cov (%)	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
total	1046	466					670000	630000	260000	3100000	12000	4.6	1046						46600	39600	56000	56000	470000		4300000	0
Run set	fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA