verifuzz.2019-02-06_0717.results.test-comp19_prop-coverage-branches.ReachSafety-ECA.xml.bz2.merged.xml.bz2

Benchmark	VeriFuzz												TBF Test-Suite Validator
Tool	VeriFuzz 1.0.1												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-06 07:17:17 CET												2019-02-06 14:51:38 CET
Run set	verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options	--testcomp												--verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/verifuzz.2019-02-06_0717.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	error	.480	prog	tests	136	inspect	890	900	280	11000	2.7	0	unknown	prog	tests	0	inspect		48.0	54.5	1.6	1.6	58		37	0
eca-rers2012/Problem03_label01.yml	error	.473	prog	tests	138	inspect	890	900	280	9600	2.8	0	unknown	prog	tests	0	inspect		47.3	54.5	1.7	1.7	57		37	0
eca-rers2012/Problem03_label02.yml	error	.477	prog	tests	130	inspect	890	900	280	11000	2.4	0	unknown	prog	tests	0	inspect		47.7	54.4	1.5	1.5	58		35	0
eca-rers2012/Problem03_label03.yml	error	.482	prog	tests	126	inspect	890	900	290	12000	2.3	0	unknown	prog	tests	0	inspect		48.2	54.6	1.4	1.4	58		34	0
eca-rers2012/Problem03_label04.yml	error	.477	prog	tests	143	inspect	890	900	280	11000	2.7	0	unknown	prog	tests	0	inspect		47.7	54.5	1.6	1.5	58		38	0
eca-rers2012/Problem03_label05.yml	error	.479	prog	tests	132	inspect	890	900	290	10000	2.8	0	unknown	prog	tests	0	inspect		47.9	54.6	1.5	1.4	58		36	0
eca-rers2012/Problem03_label06.yml	error	.471	prog	tests	132	inspect	890	900	280	12000	2.6	0	unknown	prog	tests	0	inspect		47.1	54.4	1.6	1.6	57		36	0
eca-rers2012/Problem03_label07.yml	error	.469	prog	tests	138	inspect	890	900	280	10000	2.5	0	unknown	prog	tests	0	inspect		46.9	54.3	1.6	1.5	57		37	0
eca-rers2012/Problem03_label08.yml	error	.480	prog	tests	135	inspect	890	900	260	12000	2.5	0	unknown	prog	tests	0	inspect		48.0	54.6	1.5	1.5	58		37	0
eca-rers2012/Problem03_label09.yml	error	.476	prog	tests	130	inspect	890	900	280	11000	50	0	true	prog	tests	1	inspect		47.6	54.6	1.6	1.5	58		35	0
eca-rers2012/Problem03_label10.yml	error	.478	prog	tests	136	inspect	890	900	290	12000	2.7	0	unknown	prog	tests	0	inspect		47.8	54.6	1.5	1.4	58		37	0
eca-rers2012/Problem03_label11.yml	error	.483	prog	tests	137	inspect	890	900	280	12000	2.5	0	unknown	prog	tests	0	inspect		48.3	54.6	1.6	1.7	58		37	0
eca-rers2012/Problem03_label12.yml	error	.476	prog	tests	140	inspect	890	900	280	11000	2.6	0	unknown	prog	tests	0	inspect		47.6	54.6	1.6	1.5	58		38	0
eca-rers2012/Problem03_label13.yml	error	.474	prog	tests	129	inspect	890	900	290	11000	110	0	true	prog	tests	1	inspect		47.4	54.5	1.5	1.5	58		35	0
eca-rers2012/Problem03_label14.yml	error	.473	prog	tests	145	inspect	890	900	260	13000	2.7	0	unknown	prog	tests	0	inspect		47.3	54.4	1.7	1.6	58		39	0
eca-rers2012/Problem03_label15.yml	error	.475	prog	tests	134	inspect	880	900	280	10000	2.6	0	unknown	prog	tests	0	inspect		47.5	54.6	1.6	1.6	58		36	0
eca-rers2012/Problem03_label16.yml	error	.475	prog	tests	136	inspect	890	900	290	11000	2.5	0	unknown	prog	tests	0	inspect		47.5	54.5	1.5	1.5	57		37	0
eca-rers2012/Problem03_label17.yml	error	.473	prog	tests	142	inspect	890	900	270	12000	2.7	0	unknown	prog	tests	0	inspect		47.3	54.4	1.6	1.5	58		38	0
eca-rers2012/Problem03_label18.yml	error	.477	prog	tests	128	inspect	890	900	290	13000	2.5	0	unknown	prog	tests	0	inspect		47.7	54.6	1.5	1.5	58		34	0
eca-rers2012/Problem03_label19.yml	error	.472	prog	tests	137	inspect	890	900	280	9600	2.8	0	unknown	prog	tests	0	inspect		47.2	54.4	1.6	1.6	58		37	0
eca-rers2012/Problem03_label20.yml	error	.478	prog	tests	123	inspect	890	900	290	10000	2.3	0	unknown	prog	tests	0	inspect		47.8	54.4	1.4	1.3	58		33	0
eca-rers2012/Problem03_label21.yml	error	.475	prog	tests	128	inspect	890	900	270	10000	2.4	0	unknown	prog	tests	0	inspect		47.5	54.5	1.4	1.3	58		34	0
eca-rers2012/Problem03_label22.yml	error	.477	prog	tests	132	inspect	890	900	290	13000	2.5	0	unknown	prog	tests	0	inspect		47.7	54.5	1.5	1.6	58		35	0
eca-rers2012/Problem03_label23.yml	error	.475	prog	tests	126	inspect	890	900	280	13000	2.5	0	unknown	prog	tests	0	inspect		47.5	54.4	1.5	1.6	58		34	0
eca-rers2012/Problem03_label24.yml	error	.482	prog	tests	144	inspect	890	900	290	11000	2.6	0	unknown	prog	tests	0	inspect		48.2	54.6	1.6	1.5	57		39	0
eca-rers2012/Problem03_label25.yml	error	.475	prog	tests	131	inspect	890	900	290	11000	2.4	0	unknown	prog	tests	0	inspect		47.5	54.5	1.5	1.5	58		34	0
eca-rers2012/Problem03_label26.yml	error	.479	prog	tests	130	inspect	890	900	280	11000	340	0	true	prog	tests	1	inspect		47.9	54.5	1.5	1.4	58		35	0
eca-rers2012/Problem03_label27.yml	error	.471	prog	tests	143	inspect	890	900	290	11000	120	0	true	prog	tests	1	inspect		47.1	54.4	1.7	1.8	58		38	0
eca-rers2012/Problem03_label28.yml	error	.479	prog	tests	144	inspect	890	900	280	11000	210	0	true	prog	tests	1	inspect		47.9	54.6	1.6	1.6	58		39	0
eca-rers2012/Problem03_label29.yml	error	.474	prog	tests	136	inspect	880	900	290	10000	2.5	0	unknown	prog	tests	0	inspect		47.4	54.5	1.6	1.6	58		37	0
eca-rers2012/Problem03_label30.yml	error	.476	prog	tests	135	inspect	890	900	280	11000	2.6	0	unknown	prog	tests	0	inspect		47.6	54.5	1.5	1.4	58		36	0
eca-rers2012/Problem03_label31.yml	error	.470	prog	tests	131	inspect	890	900	270	10000	170	0	true	prog	tests	1	inspect		47.0	54.4	1.6	1.6	58		35	0
eca-rers2012/Problem03_label32.yml	error	.472	prog	tests	135	inspect	890	900	280	11000	2.1	0	unknown	prog	tests	0	inspect		47.2	54.5	1.6	1.8	58		36	0
eca-rers2012/Problem03_label33.yml	error	.479	prog	tests	136	inspect	890	900	280	9600	2.5	0	unknown	prog	tests	0	inspect		47.9	54.6	1.6	1.5	58		37	0
eca-rers2012/Problem03_label34.yml	error	.477	prog	tests	142	inspect	890	900	280	12000	2.8	0	unknown	prog	tests	0	inspect		47.7	54.4	1.7	1.6	58		38	0
eca-rers2012/Problem03_label35.yml	error	.480	prog	tests	133	inspect	890	900	300	13000	58	0	true	prog	tests	1	inspect		48.0	54.6	1.5	1.4	58		36	0
eca-rers2012/Problem03_label36.yml	error	.473	prog	tests	141	inspect	890	900	290	11000	2.5	0	unknown	prog	tests	0	inspect		47.3	54.5	1.6	1.5	58		38	0
eca-rers2012/Problem03_label37.yml	error	.475	prog	tests	135	inspect	890	900	280	11000	520	0	true	prog	tests	1	inspect		47.5	54.5	1.5	1.4	58		36	0
eca-rers2012/Problem03_label38.yml	error	.476	prog	tests	141	inspect	890	900	280	13000	2.7	0	unknown	prog	tests	0	inspect		47.6	54.4	1.6	1.7	58		38	0
eca-rers2012/Problem03_label39.yml	error	.479	prog	tests	131	inspect	890	900	280	12000	68	0	true	prog	tests	1	inspect		47.9	54.6	1.5	1.4	58		35	0
eca-rers2012/Problem03_label40.yml	error	.475	prog	tests	130	inspect	890	900	270	13000	2.4	0	unknown	prog	tests	0	inspect		47.5	54.4	1.5	1.5	58		35	0
eca-rers2012/Problem03_label41.yml	error	.479	prog	tests	141	inspect	890	900	290	14000	2.3	0	unknown	prog	tests	0	inspect		47.9	54.5	1.6	1.5	58		38	0
eca-rers2012/Problem03_label42.yml	error	.479	prog	tests	134	inspect	890	900	270	12000	2.4	0	unknown	prog	tests	0	inspect		47.9	54.5	1.5	1.5	58		36	0
eca-rers2012/Problem03_label43.yml	error	.484	prog	tests	135	inspect	890	900	290	11000	260	0	true	prog	tests	1	inspect		48.4	54.6	1.5	1.5	58		36	0
eca-rers2012/Problem03_label44.yml	error	.480	prog	tests	126	inspect	890	900	280	11000	2.3	0	unknown	prog	tests	0	inspect		48.0	54.5	1.4	1.4	58		34	0
eca-rers2012/Problem03_label45.yml	error	.473	prog	tests	121	inspect	890	900	290	11000	64	0	true	prog	tests	1	inspect		47.3	54.4	1.4	1.4	58		33	0
eca-rers2012/Problem03_label46.yml	error	.47	prog	tests	136	inspect	890	900	270	14000	2.6	0	unknown	prog	tests	0	inspect		47.0	54.4	1.5	1.5	57		36	0
eca-rers2012/Problem03_label47.yml	error	.469	prog	tests	137	inspect	890	900	270	11000	2.5	0	unknown	prog	tests	0	inspect		46.9	54.4	1.7	1.8	58		37	0
eca-rers2012/Problem03_label48.yml	error	.472	prog	tests	142	inspect	890	900	280	13000	2.5	0	unknown	prog	tests	0	inspect		47.2	54.3	1.6	1.5	58		38	0
eca-rers2012/Problem03_label49.yml	error	.480	prog	tests	128	inspect	890	900	280	10000	2.5	0	unknown	prog	tests	0	inspect		48.0	54.6	1.4	1.4	58		34	0
eca-rers2012/Problem03_label50.yml	error	.470	prog	tests	131	inspect	890	900	280	10000	180	0	true	prog	tests	1	inspect		47.0	54.3	1.5	1.5	57		35	0
eca-rers2012/Problem03_label51.yml	error	.480	prog	tests	137	inspect	890	900	290	14000	2.5	0	unknown	prog	tests	0	inspect		48.0	54.6	1.6	1.6	58		37	0
eca-rers2012/Problem03_label52.yml	error	.474	prog	tests	141	inspect	890	900	280	13000	140	0	true	prog	tests	1	inspect		47.4	54.4	1.6	1.6	58		38	0
eca-rers2012/Problem03_label53.yml	error	.475	prog	tests	128	inspect	890	900	300	14000	2.7	0	unknown	prog	tests	0	inspect		47.5	54.4	1.5	1.4	58		35	0
eca-rers2012/Problem03_label54.yml	error	.475	prog	tests	137	inspect	890	900	280	12000	2.5	0	unknown	prog	tests	0	inspect		47.5	54.4	1.5	1.5	58		37	0
eca-rers2012/Problem03_label55.yml	error	.476	prog	tests	134	inspect	890	900	280	8700	2.3	0	unknown	prog	tests	0	inspect		47.6	54.4	1.5	1.4	58		36	0
eca-rers2012/Problem03_label56.yml	error	.480	prog	tests	136	inspect	890	900	280	11000	2.5	0	unknown	prog	tests	0	inspect		48.0	54.6	1.6	1.6	58		37	0
eca-rers2012/Problem03_label57.yml	error	.468	prog	tests	134	inspect	890	900	260	13000	2.1	0	unknown	prog	tests	0	inspect		46.8	54.2	1.5	1.7	58		36	0
eca-rers2012/Problem03_label58.yml	error	.480	prog	tests	141	inspect	890	900	300	11000	2.1	0	unknown	prog	tests	0	inspect		48.0	54.5	1.6	1.7	57		38	0
eca-rers2012/Problem03_label59.yml	error	.480	prog	tests	129	inspect	890	900	270	13000	2.5	0	unknown	prog	tests	0	inspect		48.0	54.6	1.5	1.5	58		35	0
eca-rers2012/Problem04_label00.yml	error	.806	prog	tests	788	inspect	890	900	340	11000	6.9	0	unknown	prog	tests	0	inspect		80.6	98.4	15	17	110		620	0
eca-rers2012/Problem04_label01.yml	error	.802	prog	tests	792	inspect	890	900	350	13000	7.1	0	unknown	prog	tests	0	inspect		80.2	98.3	15	14	110		610	0
eca-rers2012/Problem04_label02.yml	error	.804	prog	tests	798	inspect	890	900	360	11000	7.1	0	unknown	prog	tests	0	inspect		80.4	98.3	15	15	110		600	0
eca-rers2012/Problem04_label03.yml	error	.804	prog	tests	796	inspect	890	900	350	10000	6.9	0	unknown	prog	tests	0	inspect		80.4	98.3	15	17	110		600	0
eca-rers2012/Problem04_label04.yml	error	.802	prog	tests	787	inspect	890	900	360	11000	18	0	true	prog	tests	1	inspect		80.2	98.3	14	14	110		610	0
eca-rers2012/Problem04_label05.yml	error	.805	prog	tests	803	inspect	890	900	360	10000	6.9	0	unknown	prog	tests	0	inspect		80.5	98.4	15	15	110		610	0
eca-rers2012/Problem04_label06.yml	error	.803	prog	tests	781	inspect	890	900	360	12000	14	0	true	prog	tests	1	inspect		80.3	98.3	14	14	110		610	0
eca-rers2012/Problem04_label07.yml	error	.806	prog	tests	801	inspect	890	900	340	14000	7.2	0	unknown	prog	tests	0	inspect		80.6	98.4	15	14	110		620	0
eca-rers2012/Problem04_label08.yml	error	.805	prog	tests	776	inspect	890	900	360	12000	7.5	0	unknown	prog	tests	0	inspect		80.5	98.3	15	14	110		580	0
eca-rers2012/Problem04_label09.yml	error	.804	prog	tests	796	inspect	890	900	360	11000	14	0	true	prog	tests	1	inspect		80.4	98.3	15	15	110		590	0
eca-rers2012/Problem04_label10.yml	error	.802	prog	tests	808	inspect	890	900	350	12000	7.2	0	unknown	prog	tests	0	inspect		80.2	98.2	15	15	110		630	0
eca-rers2012/Problem04_label13.yml	error	.805	prog	tests	808	inspect	890	900	350	9800	18	0	true	prog	tests	1	inspect		80.5	98.3	16	15	110		620	0
eca-rers2012/Problem04_label15.yml	error	.805	prog	tests	777	inspect	890	900	350	11000	12	0	true	prog	tests	1	inspect		80.5	98.3	14	14	110		610	0
eca-rers2012/Problem04_label16.yml	error	.804	prog	tests	790	inspect	890	900	350	11000	7.5	0	unknown	prog	tests	0	inspect		80.4	98.4	15	15	110		620	0
eca-rers2012/Problem04_label18.yml	error	.805	prog	tests	788	inspect	890	900	350	13000	12	0	true	prog	tests	1	inspect		80.5	98.3	15	14	110		620	0
eca-rers2012/Problem04_label19.yml	error	.805	prog	tests	781	inspect	890	900	340	13000	17	0	true	prog	tests	1	inspect		80.5	98.3	15	16	110		590	0
eca-rers2012/Problem04_label21.yml	error	.804	prog	tests	775	inspect	890	900	340	12000	6.9	0	unknown	prog	tests	0	inspect		80.4	98.2	15	14	110		580	0
eca-rers2012/Problem04_label22.yml	error	.804	prog	tests	784	inspect	890	900	340	12000	6.5	0	unknown	prog	tests	0	inspect		80.4	98.3	14	14	110		610	0
eca-rers2012/Problem04_label25.yml	error	.803	prog	tests	815	inspect	890	900	360	13000	7.7	0	unknown	prog	tests	0	inspect		80.3	98.2	15	15	110		610	0
eca-rers2012/Problem04_label26.yml	error	.807	prog	tests	775	inspect	890	900	370	11000	15	0	true	prog	tests	1	inspect		80.7	98.4	15	16	110		590	0
eca-rers2012/Problem04_label28.yml	error	.803	prog	tests	807	inspect	890	900	340	11000	7.1	0	unknown	prog	tests	0	inspect		80.3	98.2	15	14	110		640	0
eca-rers2012/Problem04_label30.yml	error	.803	prog	tests	790	inspect	890	900	330	11000	6.4	0	unknown	prog	tests	0	inspect		80.3	98.4	15	15	110		600	0
eca-rers2012/Problem04_label31.yml	error	.804	prog	tests	790	inspect	890	900	350	10000	16	0	true	prog	tests	1	inspect		80.4	98.3	15	15	110		590	0
eca-rers2012/Problem04_label32.yml	error	.803	prog	tests	792	inspect	890	900	350	11000	19	0	true	prog	tests	1	inspect		80.3	98.3	15	15	110		610	0
eca-rers2012/Problem04_label33.yml	error	.804	prog	tests	795	inspect	890	900	350	11000	7.6	0	unknown	prog	tests	0	inspect		80.5	98.3	15	14	110		620	0
eca-rers2012/Problem04_label34.yml	error	.804	prog	tests	794	inspect	890	900	360	10000	6.9	0	unknown	prog	tests	0	inspect		80.4	98.4	15	17	110		600	0
eca-rers2012/Problem04_label35.yml	error	.802	prog	tests	803	inspect	890	900	350	9500	14	0	true	prog	tests	1	inspect		80.2	98.3	15	16	110		600	0
eca-rers2012/Problem04_label38.yml	error	.806	prog	tests	783	inspect	890	900	350	11000	11	0	true	prog	tests	1	inspect		80.6	98.4	15	16	110		590	0
eca-rers2012/Problem04_label39.yml	error	.805	prog	tests	807	inspect	890	900	340	11000	15	0	true	prog	tests	1	inspect		80.5	98.3	15	14	110		630	0
eca-rers2012/Problem04_label41.yml	error	.806	prog	tests	784	inspect	890	900	360	11000	7.0	0	unknown	prog	tests	0	inspect		80.6	98.4	15	16	110		580	0
eca-rers2012/Problem04_label45.yml	error	.804	prog	tests	819	inspect	890	900	350	12000	17	0	true	prog	tests	1	inspect		80.4	98.4	16	16	110		620	0
eca-rers2012/Problem04_label47.yml	error	.805	prog	tests	803	inspect	890	900	350	11000	7.1	0	unknown	prog	tests	0	inspect		80.5	98.3	15	15	110		610	0
eca-rers2012/Problem04_label48.yml	error	.803	prog	tests	763	inspect	890	900	350	14000	6.9	0	unknown	prog	tests	0	inspect		80.3	98.3	15	17	110		570	0
eca-rers2012/Problem04_label50.yml	error	.806	prog	tests	782	inspect	890	900	360	12000	7.0	0	unknown	prog	tests	0	inspect		80.6	98.4	15	16	110		580	0
eca-rers2012/Problem04_label51.yml	error	.802	prog	tests	791	inspect	890	900	350	12000	6.5	0	unknown	prog	tests	0	inspect		80.2	98.2	15	15	110		590	0
eca-rers2012/Problem04_label52.yml	error	.804	prog	tests	760	inspect	890	900	350	13000	9.6	0	true	prog	tests	1	inspect		80.4	98.3	15	15	110		570	0
eca-rers2012/Problem04_label53.yml	error	.804	prog	tests	788	inspect	890	900	350	11000	7.1	0	unknown	prog	tests	0	inspect		80.4	98.3	15	14	110		600	0
eca-rers2012/Problem04_label54.yml	error	.806	prog	tests	790	inspect	890	900	350	11000	7.3	0	unknown	prog	tests	0	inspect		80.6	98.4	15	15	110		600	0
eca-rers2012/Problem04_label55.yml	error	.806	prog	tests	781	inspect	890	900	350	10000	18	0	true	prog	tests	1	inspect		80.6	98.4	15	15	110		600	0
eca-rers2012/Problem04_label56.yml	error	.806	prog	tests	790	inspect	890	900	350	10000	6.9	0	unknown	prog	tests	0	inspect		80.6	98.4	15	15	110		600	0
eca-rers2012/Problem04_label59.yml	error	.802	prog	tests	775	inspect	890	900	340	9700	7.1	0	unknown	prog	tests	0	inspect		80.2	98.2	14	14	110		580	0
eca-rers2012/Problem05_label00.yml	error	.681	prog	tests	998	inspect	900	900	480	11000	14	0	true	prog	tests	1	inspect		68.1	57.5	32	32	180		2300	0
eca-rers2012/Problem05_label01.yml	error	.681	prog	tests	1029	inspect	900	900	490	12000	15	0	true	prog	tests	1	inspect		68.1	57.5	34	36	180		1900	0
eca-rers2012/Problem05_label02.yml	error	.680	prog	tests	1003	inspect	900	900	480	11000	14	0	unknown	prog	tests	0	inspect		68.0	57.4	33	33	180		1800	0
eca-rers2012/Problem05_label03.yml	error	.680	prog	tests	996	inspect	890	900	480	11000	11	0	unknown	prog	tests	0	inspect		68.0	57.4	32	32	180		2400	0
eca-rers2012/Problem05_label04.yml	error	.681	prog	tests	1018	inspect	890	900	480	11000	12	0	unknown	prog	tests	0	inspect		68.1	57.5	33	33	180		2300	0
eca-rers2012/Problem05_label05.yml	error	.681	prog	tests	1009	inspect	900	900	480	13000	11	0	unknown	prog	tests	0	inspect		68.1	57.5	34	34	180		1900	0
eca-rers2012/Problem05_label06.yml	error	.680	prog	tests	1038	inspect	900	900	490	13000	14	0	unknown	prog	tests	0	inspect		68.0	57.4	34	34	180		2100	0
eca-rers2012/Problem05_label07.yml	error	.678	prog	tests	1008	inspect	900	900	490	13000	10	0	unknown	prog	tests	0	inspect		67.8	57.4	33	33	180		1900	0
eca-rers2012/Problem05_label08.yml	error	.679	prog	tests	1019	inspect	900	900	480	13000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	35	41	180		2100	0
eca-rers2012/Problem05_label09.yml	error	.679	prog	tests	1002	inspect	900	900	480	13000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	34	36	180		1900	0
eca-rers2012/Problem05_label10.yml	error	.680	prog	tests	1007	inspect	900	900	480	10000	11	0	unknown	prog	tests	0	inspect		68.0	57.5	34	35	180		1900	0
eca-rers2012/Problem05_label11.yml	error	.680	prog	tests	1021	inspect	900	900	490	12000	16	0	true	prog	tests	1	inspect		68.0	57.4	34	34	180		1900	0
eca-rers2012/Problem05_label12.yml	error	.679	prog	tests	1018	inspect	900	900	480	14000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	33	33	180		1900	0
eca-rers2012/Problem05_label13.yml	error	.680	prog	tests	969	inspect	900	900	480	11000	17	0	true	prog	tests	1	inspect		68.0	57.5	33	33	180		1900	0
eca-rers2012/Problem05_label14.yml	error	.679	prog	tests	1008	inspect	900	900	480	11000	14	0	unknown	prog	tests	0	inspect		67.9	57.4	34	35	180		1900	0
eca-rers2012/Problem05_label15.yml	error	.682	prog	tests	1009	inspect	900	900	480	11000	15	0	true	prog	tests	1	inspect		68.2	57.5	33	32	180		2300	0
eca-rers2012/Problem05_label16.yml	error	.680	prog	tests	1006	inspect	900	900	510	10000	12	0	unknown	prog	tests	0	inspect		68.0	57.5	33	33	180		1800	0
eca-rers2012/Problem05_label17.yml	error	.681	prog	tests	1006	inspect	890	900	480	11000	12	0	unknown	prog	tests	0	inspect		68.1	57.4	33	34	180		1800	0
eca-rers2012/Problem05_label18.yml	error	.681	prog	tests	1026	inspect	900	900	490	14000	19	0	true	prog	tests	1	inspect		68.1	57.5	34	36	180		2000	0
eca-rers2012/Problem05_label19.yml	error	.679	prog	tests	978	inspect	890	900	480	11000	14	0	unknown	prog	tests	0	inspect		67.9	57.4	32	32	180		2200	0
eca-rers2012/Problem05_label20.yml	error	.681	prog	tests	1003	inspect	900	900	480	11000	12	0	unknown	prog	tests	0	inspect		68.1	57.5	33	33	180		1700	0
eca-rers2012/Problem05_label21.yml	error	.680	prog	tests	993	inspect	890	900	480	13000	14	0	unknown	prog	tests	0	inspect		68.0	57.4	34	35	180		2000	0
eca-rers2012/Problem05_label22.yml	error	.68	prog	tests	1027	inspect	900	900	480	13000	12	0	unknown	prog	tests	0	inspect		68.0	57.4	35	35	180		2000	0
eca-rers2012/Problem05_label23.yml	error	.679	prog	tests	999	inspect	900	900	490	13000	9.8	0	unknown	prog	tests	0	inspect		67.9	57.4	34	36	180		1800	0
eca-rers2012/Problem05_label24.yml	error	.680	prog	tests	994	inspect	900	900	500	11000	16	0	true	prog	tests	1	inspect		68.0	57.4	33	33	180		2100	0
eca-rers2012/Problem05_label25.yml	error	.679	prog	tests	1008	inspect	890	900	490	9600	12	0	unknown	prog	tests	0	inspect		67.9	57.4	33	33	180		1900	0
eca-rers2012/Problem05_label26.yml	error	.680	prog	tests	1036	inspect	890	900	480	11000	14	0	true	prog	tests	1	inspect		68.0	57.4	35	35	180		1900	0
eca-rers2012/Problem05_label27.yml	error	.680	prog	tests	982	inspect	900	900	490	10000	11	0	unknown	prog	tests	0	inspect		68.0	57.4	32	32	180		2100	0
eca-rers2012/Problem05_label28.yml	error	.678	prog	tests	1012	inspect	900	900	490	10000	12	0	unknown	prog	tests	0	inspect		67.8	57.4	34	37	180		2000	0
eca-rers2012/Problem05_label29.yml	error	.680	prog	tests	1037	inspect	900	900	500	12000	14	0	unknown	prog	tests	0	inspect		68.0	57.5	34	34	180		2300	0
eca-rers2012/Problem05_label30.yml	error	.679	prog	tests	953	inspect	900	900	480	11000	15	0	true	prog	tests	1	inspect		67.9	57.4	32	32	180		1800	0
eca-rers2012/Problem05_label31.yml	error	.681	prog	tests	976	inspect	900	900	480	13000	11	0	unknown	prog	tests	0	inspect		68.1	57.4	33	33	180		1800	0
eca-rers2012/Problem05_label32.yml	error	.679	prog	tests	1031	inspect	890	900	500	11000	16	0	true	prog	tests	1	inspect		67.9	57.4	34	35	180		2200	0
eca-rers2012/Problem05_label33.yml	error	.679	prog	tests	991	inspect	890	900	490	11000	18	0	true	prog	tests	1	inspect		67.9	57.4	33	32	180		2100	0
eca-rers2012/Problem05_label34.yml	error	.680	prog	tests	996	inspect	890	900	480	13000	12	0	unknown	prog	tests	0	inspect		68.0	57.5	32	32	180		2300	0
eca-rers2012/Problem05_label35.yml	error	.679	prog	tests	1003	inspect	900	900	490	14000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	33	35	180		1900	0
eca-rers2012/Problem05_label36.yml	error	.680	prog	tests	1039	inspect	900	900	480	13000	15	0	true	prog	tests	1	inspect		68.0	57.4	35	38	180		2000	0
eca-rers2012/Problem05_label37.yml	error	.679	prog	tests	1025	inspect	900	900	470	11000	15	0	true	prog	tests	1	inspect		67.9	57.4	35	36	180		1900	0
eca-rers2012/Problem05_label38.yml	error	.679	prog	tests	988	inspect	900	900	490	11000	17	0	true	prog	tests	1	inspect		67.9	57.4	33	33	180		1900	0
eca-rers2012/Problem05_label39.yml	error	.680	prog	tests	1005	inspect	900	900	480	11000	15	0	true	prog	tests	1	inspect		68.0	57.4	34	33	180		2000	0
eca-rers2012/Problem05_label40.yml	error	.679	prog	tests	1017	inspect	900	900	490	13000	13	0	true	prog	tests	1	inspect		67.9	57.4	34	34	180		2300	0
eca-rers2012/Problem05_label41.yml	error	.679	prog	tests	1000	inspect	900	900	490	12000	18	0	true	prog	tests	1	inspect		67.9	57.4	33	32	180		2200	0
eca-rers2012/Problem05_label42.yml	error	.679	prog	tests	1002	inspect	900	900	490	10000	12	0	unknown	prog	tests	0	inspect		68.0	57.4	32	32	180		2400	0
eca-rers2012/Problem05_label43.yml	error	.680	prog	tests	1023	inspect	900	900	490	10000	12	0	unknown	prog	tests	0	inspect		68.0	57.4	34	33	180		2100	0
eca-rers2012/Problem05_label44.yml	error	.679	prog	tests	1003	inspect	890	900	480	11000	14	0	true	prog	tests	1	inspect		67.9	57.4	37	38	180		1900	0
eca-rers2012/Problem05_label45.yml	error	.680	prog	tests	976	inspect	890	900	490	9500	11	0	unknown	prog	tests	0	inspect		68.0	57.4	32	32	180		1800	0
eca-rers2012/Problem05_label46.yml	error	.681	prog	tests	1032	inspect	890	900	480	13000	13	0	unknown	prog	tests	0	inspect		68.1	57.5	35	41	180		2100	0
eca-rers2012/Problem05_label47.yml	error	.679	prog	tests	1008	inspect	900	900	480	12000	15	0	true	prog	tests	1	inspect		67.9	57.4	34	37	180		2100	.0041
eca-rers2012/Problem05_label48.yml	error	.679	prog	tests	1016	inspect	890	900	480	13000	16	0	true	prog	tests	1	inspect		67.9	57.5	34	35	180		2000	0
eca-rers2012/Problem05_label49.yml	error	.679	prog	tests	995	inspect	890	900	480	11000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	33	34	180		1800	0
eca-rers2012/Problem05_label50.yml	error	.679	prog	tests	999	inspect	890	900	480	11000	12	0	unknown	prog	tests	0	inspect		67.9	57.4	34	34	180		1900	0
eca-rers2012/Problem05_label51.yml	error	.676	prog	tests	997	inspect	900	900	480	11000	15	0	true	prog	tests	1	inspect		67.6	57.4	34	38	180		2000	0
eca-rers2012/Problem05_label52.yml	error	.680	prog	tests	1002	inspect	900	900	490	11000	11	0	unknown	prog	tests	0	inspect		68.0	57.4	32	32	180		2400	0
eca-rers2012/Problem05_label53.yml	error	.680	prog	tests	1019	inspect	900	900	490	10000	12	0	unknown	prog	tests	0	inspect		68.0	57.4	34	34	180		2000	0
eca-rers2012/Problem05_label54.yml	error	.680	prog	tests	1033	inspect	900	900	480	14000	12	0	unknown	prog	tests	0	inspect		68.0	57.4	34	33	180		2300	0
eca-rers2012/Problem05_label55.yml	error	.678	prog	tests	994	inspect	900	900	490	11000	15	0	true	prog	tests	1	inspect		67.8	57.4	33	33	180		2000	0
eca-rers2012/Problem05_label56.yml	error	.679	prog	tests	1009	inspect	900	900	480	11000	14	0	unknown	prog	tests	0	inspect		67.9	57.4	34	34	180		2000	0
eca-rers2012/Problem05_label57.yml	error	.682	prog	tests	1004	inspect	900	900	490	11000	15	0	true	prog	tests	1	inspect		68.2	57.5	34	35	180		2300	0
eca-rers2012/Problem05_label58.yml	error	.679	prog	tests	997	inspect	900	900	480	12000	17	0	true	prog	tests	1	inspect		68.0	57.4	33	35	180		1800	0
eca-rers2012/Problem05_label59.yml	error	.678	prog	tests	952	inspect	890	900	470	11000	11	0	unknown	prog	tests	0	inspect		67.8	57.4	31	31	180		2000	0
eca-rers2012/Problem06_label00.yml	error	.590	prog	tests	1070	inspect	890	900	470	11000	40	0	true	prog	tests	1	inspect		59.0	56.9	33	36	180		1800	0
eca-rers2012/Problem06_label01.yml	error	.589	prog	tests	1020	inspect	890	900	460	11000	22	0	true	prog	tests	1	inspect		58.9	56.9	31	33	180		1500	0
eca-rers2012/Problem06_label02.yml	error	.590	prog	tests	1069	inspect	890	900	460	13000	33	0	true	prog	tests	1	inspect		59.0	56.9	33	35	180		1800	0
eca-rers2012/Problem06_label03.yml	error	.590	prog	tests	1037	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		59.0	56.9	30	30	180		1800	0
eca-rers2012/Problem06_label04.yml	error	.590	prog	tests	1059	inspect	890	900	450	13000	25	0	true	prog	tests	1	inspect		59.0	56.9	32	34	180		1800	0
eca-rers2012/Problem06_label05.yml	error	.590	prog	tests	1073	inspect	890	900	480	13000	24	0	true	prog	tests	1	inspect		59.0	56.9	33	36	180		1600	0
eca-rers2012/Problem06_label06.yml	error	.591	prog	tests	1028	inspect	890	900	470	11000	10	0	unknown	prog	tests	0	inspect		59.1	56.9	31	33	180		1600	0
eca-rers2012/Problem06_label07.yml	error	.590	prog	tests	1025	inspect	890	900	460	10000	12	0	unknown	prog	tests	0	inspect		59.0	56.9	30	29	180		2000	0
eca-rers2012/Problem06_label08.yml	error	.591	prog	tests	1057	inspect	890	900	470	12000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	31	30	180		2100	0
eca-rers2012/Problem06_label09.yml	error	.591	prog	tests	1065	inspect	890	900	470	11000	31	0	true	prog	tests	1	inspect		59.1	56.9	32	32	180		1700	0
eca-rers2012/Problem06_label10.yml	error	.590	prog	tests	1003	inspect	890	900	470	11000	23	0	true	prog	tests	1	inspect		59.0	56.9	30	32	180		1500	0
eca-rers2012/Problem06_label11.yml	error	.59	prog	tests	1044	inspect	890	900	460	11000	22	0	true	prog	tests	1	inspect		59.0	56.9	31	32	180		1700	0
eca-rers2012/Problem06_label12.yml	error	.591	prog	tests	1001	inspect	890	900	460	12000	28	0	true	prog	tests	1	inspect		59.1	56.9	30	29	180		1400	0
eca-rers2012/Problem06_label13.yml	error	.591	prog	tests	1051	inspect	890	900	470	12000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	32	35	180		1500	0
eca-rers2012/Problem06_label14.yml	error	.591	prog	tests	1088	inspect	890	900	460	13000	12	0	unknown	prog	tests	0	inspect		59.1	56.9	34	38	180		1800	0
eca-rers2012/Problem06_label15.yml	error	.590	prog	tests	1009	inspect	890	900	470	10000	31	0	true	prog	tests	1	inspect		59.0	56.9	31	31	180		1700	0
eca-rers2012/Problem06_label16.yml	error	.591	prog	tests	1069	inspect	890	900	460	12000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	32	32	180		1600	0
eca-rers2012/Problem06_label17.yml	error	.591	prog	tests	1054	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	32	36	180		1600	0
eca-rers2012/Problem06_label18.yml	error	.589	prog	tests	1040	inspect	890	900	470	11000	11	0	unknown	prog	tests	0	inspect		58.9	56.9	31	32	180		1600	0
eca-rers2012/Problem06_label19.yml	error	.590	prog	tests	1067	inspect	890	900	470	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	32	34	180		1700	0
eca-rers2012/Problem06_label20.yml	error	.589	prog	tests	1051	inspect	890	900	450	13000	27	0	true	prog	tests	1	inspect		58.9	56.9	31	30	180		2000	0
eca-rers2012/Problem06_label21.yml	error	.591	prog	tests	1020	inspect	890	900	470	13000	24	0	true	prog	tests	1	inspect		59.1	56.9	30	31	180		1600	0
eca-rers2012/Problem06_label22.yml	error	.592	prog	tests	1069	inspect	890	900	450	11000	11	0	unknown	prog	tests	0	inspect		59.2	56.9	32	33	180		1800	0
eca-rers2012/Problem06_label23.yml	error	.591	prog	tests	1049	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	31	32	180		2100	0
eca-rers2012/Problem06_label24.yml	error	.591	prog	tests	1066	inspect	890	900	460	11000	31	0	true	prog	tests	1	inspect		59.1	56.9	31	31	180		1900	0
eca-rers2012/Problem06_label25.yml	error	.591	prog	tests	1034	inspect	890	900	470	10000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	30	30	180		2000	0
eca-rers2012/Problem06_label26.yml	error	.591	prog	tests	1042	inspect	890	900	460	14000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	31	31	180		2000	0
eca-rers2012/Problem06_label27.yml	error	.590	prog	tests	1054	inspect	900	900	470	11000	31	0	true	prog	tests	1	inspect		59.0	56.9	31	30	180		2100	0
eca-rers2012/Problem06_label28.yml	error	.591	prog	tests	1047	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	31	31	180		1700	0
eca-rers2012/Problem06_label29.yml	error	.591	prog	tests	1052	inspect	890	900	460	13000	24	0	true	prog	tests	1	inspect		59.1	56.9	32	37	180		1700	0
eca-rers2012/Problem06_label30.yml	error	.592	prog	tests	1073	inspect	890	900	470	10000	11	0	unknown	prog	tests	0	inspect		59.2	56.9	31	31	180		2100	0
eca-rers2012/Problem06_label31.yml	error	.590	prog	tests	1073	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	33	34	180		1700	0
eca-rers2012/Problem06_label32.yml	error	.590	prog	tests	1056	inspect	890	900	450	10000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	31	30	180		2000	0
eca-rers2012/Problem06_label33.yml	error	.590	prog	tests	1080	inspect	890	900	460	13000	36	0	true	prog	tests	1	inspect		59.0	56.9	33	33	180		1700	0
eca-rers2012/Problem06_label34.yml	error	.591	prog	tests	1079	inspect	890	900	470	11000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	33	35	180		1800	0
eca-rers2012/Problem06_label35.yml	error	.591	prog	tests	1037	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	32	35	180		1700	0
eca-rers2012/Problem06_label36.yml	error	.592	prog	tests	1074	inspect	890	900	470	10000	40	0	true	prog	tests	1	inspect		59.2	56.9	33	38	180		1700	0
eca-rers2012/Problem06_label37.yml	error	.591	prog	tests	1078	inspect	890	900	450	11000	27	0	true	prog	tests	1	inspect		59.1	56.9	32	33	180		1800	0
eca-rers2012/Problem06_label38.yml	error	.592	prog	tests	1066	inspect	890	900	470	12000	34	0	true	prog	tests	1	inspect		59.1	56.9	33	39	180		1800	0
eca-rers2012/Problem06_label39.yml	error	.590	prog	tests	1066	inspect	890	900	460	10000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	32	31	180		2000	0
eca-rers2012/Problem06_label40.yml	error	.590	prog	tests	1062	inspect	890	900	470	12000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	33	36	180		1800	0
eca-rers2012/Problem06_label41.yml	error	.591	prog	tests	1050	inspect	890	900	450	11000	12	0	unknown	prog	tests	0	inspect		59.1	56.9	31	31	180		1800	0
eca-rers2012/Problem06_label42.yml	error	.590	prog	tests	1045	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	32	33	180		1900	0
eca-rers2012/Problem06_label43.yml	error	.591	prog	tests	1069	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		59.0	56.9	32	36	180		1800	0
eca-rers2012/Problem06_label44.yml	error	.591	prog	tests	978	inspect	890	900	460	13000	24	0	true	prog	tests	1	inspect		59.0	56.9	30	29	180		1800	0
eca-rers2012/Problem06_label45.yml	error	.591	prog	tests	1030	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		59.1	56.9	31	32	180		2000	0
eca-rers2012/Problem06_label46.yml	error	.592	prog	tests	1056	inspect	900	900	470	12000	12	0	unknown	prog	tests	0	inspect		59.2	56.9	31	31	180		2000	0
eca-rers2012/Problem06_label47.yml	error	.591	prog	tests	1043	inspect	890	900	460	11000	28	0	true	prog	tests	1	inspect		59.0	56.9	33	33	180		1600	0
eca-rers2012/Problem06_label48.yml	error	.590	prog	tests	1067	inspect	890	900	470	12000	32	0	true	prog	tests	1	inspect		59.0	56.9	31	31	180		1900	0
eca-rers2012/Problem06_label49.yml	error	.590	prog	tests	1047	inspect	890	900	470	12000	9.7	0	unknown	prog	tests	0	inspect		59.0	56.9	32	33	180		1600	0
eca-rers2012/Problem06_label50.yml	error	.590	prog	tests	996	inspect	890	900	460	14000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	29	29	180		1900	0
eca-rers2012/Problem06_label51.yml	error	.591	prog	tests	1081	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	31	31	180		2100	0
eca-rers2012/Problem06_label52.yml	error	.590	prog	tests	1065	inspect	890	900	450	9800	11	0	unknown	prog	tests	0	inspect		59.0	56.9	33	32	180		1700	0
eca-rers2012/Problem06_label53.yml	error	.591	prog	tests	1048	inspect	890	900	450	10000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	31	31	180		1600	0
eca-rers2012/Problem06_label54.yml	error	.591	prog	tests	1058	inspect	890	900	470	12000	12	0	unknown	prog	tests	0	inspect		59.1	56.9	31	30	180		2000	0
eca-rers2012/Problem06_label55.yml	error	.590	prog	tests	1048	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.0	56.9	31	32	180		1700	0
eca-rers2012/Problem06_label56.yml	error	.589	prog	tests	987	inspect	890	900	480	11000	20	0	true	prog	tests	1	inspect		58.9	56.9	30	30	180		1600	0
eca-rers2012/Problem06_label57.yml	error	.591	prog	tests	1066	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		59.1	56.9	33	34	180		1700	0
eca-rers2012/Problem06_label58.yml	error	.591	prog	tests	1057	inspect	890	900	460	10000	27	0	true	prog	tests	1	inspect		59.0	56.9	31	30	180		2100	0
eca-rers2012/Problem06_label59.yml	error	.59	prog	tests	1051	inspect	890	900	460	14000	22	0	true	prog	tests	1	inspect		59.0	56.9	32	33	180		1700	0
eca-rers2012/Problem07_label00.yml	timeout	.876	prog	tests	7532	inspect	900	890	2600	11000	68	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label01.yml	timeout	.876	prog	tests	7568	inspect	900	890	2600	11000	83	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label02.yml	timeout	.876	prog	tests	7583	inspect	900	890	2500	11000	67	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label03.yml	timeout	.876	prog	tests	7631	inspect	900	890	2600	11000	66	0	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label04.yml	timeout	.876	prog	tests	7609	inspect	900	890	2500	11000	68	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label05.yml	timeout	.876	prog	tests	7595	inspect	900	890	2600	13000	73	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		160000	0
eca-rers2012/Problem07_label06.yml	timeout	.875	prog	tests	7614	inspect	900	890	2500	12000	69	0	true	prog	tests	1	inspect		87.5	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label07.yml	timeout	.875	prog	tests	7629	inspect	900	890	2600	12000	68	.0082	true	prog	tests	1	inspect		87.5	99.6	1700	1700	770		140000	0
eca-rers2012/Problem07_label08.yml	timeout	.876	prog	tests	7502	inspect	900	890	2600	10000	70	.0082	unknown	prog	tests	0	inspect		87.6	99.8	1600	1600	770		160000	0
eca-rers2012/Problem07_label09.yml	timeout	.876	prog	tests	7553	inspect	900	890	2600	11000	76	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label10.yml	timeout	.876	prog	tests	7539	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		150000	0
eca-rers2012/Problem07_label11.yml	timeout	.876	prog	tests	7554	inspect	900	890	2500	10000	68	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label12.yml	timeout	.876	prog	tests	7595	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label13.yml	timeout	.875	prog	tests	7586	inspect	900	890	2600	13000	69	.0082	unknown	prog	tests	0	inspect		87.5	99.6	1700	1700	770		160000	0
eca-rers2012/Problem07_label14.yml	timeout	.876	prog	tests	7621	inspect	900	890	2600	13000	67	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label15.yml	timeout	.876	prog	tests	7509	inspect	900	890	2500	10000	67	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label16.yml	timeout	.876	prog	tests	7637	inspect	900	890	2500	11000	67	0	unknown	prog	tests	0	inspect		87.6	99.6	1700	1700	770		140000	0
eca-rers2012/Problem07_label17.yml	timeout	.876	prog	tests	7606	inspect	900	890	2600	13000	66	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label18.yml	timeout	.876	prog	tests	7603	inspect	900	890	2700	12000	65	0	true	prog	tests	1	inspect		87.6	99.6	1700	1700	770		170000	0
eca-rers2012/Problem07_label19.yml	timeout	.876	prog	tests	7560	inspect	900	890	2600	12000	69	0	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label20.yml	timeout	.876	prog	tests	7554	inspect	900	890	2600	11000	71	.0082	true	prog	tests	1	inspect		87.6	99.8	1700	1700	770		150000	0
eca-rers2012/Problem07_label21.yml	timeout	.876	prog	tests	7599	inspect	900	890	2600	14000	65	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label22.yml	timeout	.876	prog	tests	7573	inspect	900	890	2600	9500	67	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label23.yml	timeout	.875	prog	tests	7592	inspect	900	890	2600	13000	68	0	true	prog	tests	1	inspect		87.5	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label24.yml	timeout	.876	prog	tests	7632	inspect	900	890	2500	12000	70	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label25.yml	timeout	.876	prog	tests	7652	inspect	900	890	2600	12000	74	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label26.yml	timeout	.876	prog	tests	7610	inspect	900	890	2600	11000	69	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1800	770		130000	0
eca-rers2012/Problem07_label27.yml	timeout	.876	prog	tests	7547	inspect	900	890	2500	11000	65	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label28.yml	timeout	.876	prog	tests	7621	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.6	1700	1700	770		160000	0
eca-rers2012/Problem07_label29.yml	timeout	.876	prog	tests	7537	inspect	900	890	2600	11000	69	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label30.yml	timeout	.876	prog	tests	7524	inspect	900	890	2600	10000	67	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label31.yml	timeout	.876	prog	tests	7557	inspect	900	890	2600	10000	69	0	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	.0041
eca-rers2012/Problem07_label32.yml	timeout	.876	prog	tests	7661	inspect	900	890	2600	14000	65	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label33.yml	timeout	.876	prog	tests	7607	inspect	900	890	2600	11000	70	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label34.yml	timeout	.876	prog	tests	7534	inspect	900	890	2600	11000	68	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label35.yml	timeout	.876	prog	tests	7593	inspect	900	890	2600	11000	65	0	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label36.yml	timeout	.876	prog	tests	7571	inspect	900	890	2600	10000	68	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label37.yml	timeout	.876	prog	tests	7630	inspect	900	890	2600	12000	69	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label38.yml	timeout	.875	prog	tests	7595	inspect	900	890	2600	10000	65	.0082	unknown	prog	tests	0	inspect		87.5	99.6	1700	1700	770		150000	0
eca-rers2012/Problem07_label39.yml	timeout	.875	prog	tests	7631	inspect	900	890	2600	11000	70	0	true	prog	tests	1	inspect		87.5	99.7	1700	1700	770		150000	0
eca-rers2012/Problem07_label40.yml	timeout	.876	prog	tests	7557	inspect	900	890	2600	12000	82	0	true	prog	tests	1	inspect		87.6	99.7	1600	1600	770		160000	0
eca-rers2012/Problem07_label41.yml	timeout	.876	prog	tests	7552	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label42.yml	timeout	.876	prog	tests	7603	inspect	900	890	2600	14000	64	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label43.yml	timeout	.875	prog	tests	7600	inspect	900	890	2500	11000	68	0	unknown	prog	tests	0	inspect		87.5	99.7	1700	1700	770		160000	0
eca-rers2012/Problem07_label44.yml	timeout	.876	prog	tests	7613	inspect	900	890	2600	10000	70	.0041	true	prog	tests	1	inspect		87.6	99.6	1700	1700	770		130000	0
eca-rers2012/Problem07_label45.yml	timeout	.876	prog	tests	7619	inspect	900	890	2600	10000	66	0	unknown	prog	tests	0	inspect		87.6	99.6	1700	1700	770		150000	0
eca-rers2012/Problem07_label46.yml	timeout	.875	prog	tests	7574	inspect	900	890	2600	11000	68	.0041	true	prog	tests	1	inspect		87.5	99.6	1700	1700	770		140000	0
eca-rers2012/Problem07_label47.yml	timeout	.876	prog	tests	7603	inspect	900	890	2600	9900	69	0	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label48.yml	timeout	.875	prog	tests	7623	inspect	900	890	2600	12000	69	0	true	prog	tests	1	inspect		87.5	99.6	1700	1700	770		160000	0
eca-rers2012/Problem07_label49.yml	timeout	.876	prog	tests	7604	inspect	900	890	2500	10000	70	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label50.yml	timeout	.876	prog	tests	7644	inspect	900	890	2600	12000	69	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label51.yml	timeout	.876	prog	tests	7516	inspect	900	890	2600	10000	68	.0041	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label52.yml	timeout	.876	prog	tests	7569	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label53.yml	timeout	.876	prog	tests	7554	inspect	900	890	2600	9700	68	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		140000	0
eca-rers2012/Problem07_label54.yml	timeout	.876	prog	tests	7604	inspect	900	890	2500	10000	68	0	unknown	prog	tests	0	inspect		87.6	99.6	1700	1700	770		150000	0
eca-rers2012/Problem07_label55.yml	timeout	.875	prog	tests	7558	inspect	900	890	2600	10000	66	.0082	unknown	prog	tests	0	inspect		87.5	99.7	1600	1600	770		160000	0
eca-rers2012/Problem07_label56.yml	timeout	.876	prog	tests	7636	inspect	900	890	2600	11000	69	0	unknown	prog	tests	0	inspect		87.6	99.6	1700	1700	770		150000	0
eca-rers2012/Problem07_label57.yml	timeout	.875	prog	tests	7598	inspect	900	890	2600	11000	67	0	unknown	prog	tests	0	inspect		87.5	99.6	1700	1700	770		140000	0
eca-rers2012/Problem07_label58.yml	timeout	.876	prog	tests	7595	inspect	900	890	2600	14000	68	.0082	true	prog	tests	1	inspect		87.6	99.7	1700	1700	770		130000	0
eca-rers2012/Problem07_label59.yml	timeout	.876	prog	tests	7576	inspect	900	890	2600	12000	68	.0082	unknown	prog	tests	0	inspect		87.6	99.7	1700	1700	770		170000	0
eca-rers2012/Problem08_label00.yml	timeout	.805	prog	tests	7773	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		320000	0
eca-rers2012/Problem08_label01.yml	timeout	.805	prog	tests	7767	inspect	900	880	2500	11000	120	0	true	prog	tests	1	inspect		80.5	58.5	3300	3300	1600		310000	0
eca-rers2012/Problem08_label02.yml	timeout	.805	prog	tests	7745	inspect	900	880	2500	13000	110	0	true	prog	tests	1	inspect		80.5	58.6	3400	3400	1600		270000	0
eca-rers2012/Problem08_label03.yml	timeout	.805	prog	tests	7647	inspect	900	880	2500	10000	100	.0082	unknown	prog	tests	0	inspect		80.5	58.4	3200	3200	1600		320000	0
eca-rers2012/Problem08_label04.yml	timeout	.804	prog	tests	7698	inspect	900	880	2500	13000	110	.0082	true	prog	tests	1	inspect		80.4	58.5	3200	3200	1600		330000	0
eca-rers2012/Problem08_label05.yml	timeout	.805	prog	tests	7734	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label06.yml	timeout	.805	prog	tests	7722	inspect	900	880	2500	9900	110	.0082	true	prog	tests	1	inspect		80.5	58.6	3200	3200	1600		340000	0
eca-rers2012/Problem08_label07.yml	timeout	.805	prog	tests	7684	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		80.5	58.4	3300	3300	1600		270000	0
eca-rers2012/Problem08_label08.yml	timeout	.805	prog	tests	7721	inspect	900	880	2500	9500	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3200	3200	1600		300000	0
eca-rers2012/Problem08_label09.yml	timeout	.805	prog	tests	7728	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label10.yml	timeout	.805	prog	tests	7780	inspect	900	880	2500	10000	110	0	true	prog	tests	1	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label11.yml	timeout	.804	prog	tests	7738	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3200	3200	1600		320000	0
eca-rers2012/Problem08_label12.yml	timeout	.805	prog	tests	7606	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		80.5	58.4	3200	3200	1600		270000	0
eca-rers2012/Problem08_label13.yml	timeout	.805	prog	tests	7732	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		80.5	58.6	3200	3200	1600		320000	0
eca-rers2012/Problem08_label14.yml	timeout	.805	prog	tests	7712	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label15.yml	timeout	.805	prog	tests	7772	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		80.5	58.4	3300	3300	1600		280000	0
eca-rers2012/Problem08_label16.yml	timeout	.804	prog	tests	7694	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		80.5	58.3	3200	3200	1600		340000	0
eca-rers2012/Problem08_label17.yml	timeout	.804	prog	tests	7669	inspect	900	880	2500	14000	110	.0082	unknown	prog	tests	0	inspect		80.4	58.4	3200	3200	1600		320000	0
eca-rers2012/Problem08_label18.yml	timeout	.805	prog	tests	7698	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.5	3200	3200	1600		320000	0
eca-rers2012/Problem08_label19.yml	timeout	.805	prog	tests	7709	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		80.5	58.4	3300	3300	1600		270000	0
eca-rers2012/Problem08_label20.yml	timeout	.805	prog	tests	7744	inspect	900	880	2500	13000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label21.yml	timeout	.805	prog	tests	7764	inspect	900	880	2500	9600	110	0	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label22.yml	timeout	.805	prog	tests	7661	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		80.5	58.5	3200	3200	1600		320000	0
eca-rers2012/Problem08_label23.yml	timeout	.805	prog	tests	7781	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label24.yml	timeout	.805	prog	tests	7724	inspect	900	880	2500	13000	110	.0041	true	prog	tests	1	inspect		80.5	58.4	3300	3300	1600		280000	0
eca-rers2012/Problem08_label25.yml	timeout	.804	prog	tests	7613	inspect	900	880	2500	13000	110	0	true	prog	tests	1	inspect		80.4	58.4	3300	3300	1600		270000	0
eca-rers2012/Problem08_label26.yml	timeout	.805	prog	tests	7744	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		80.5	58.6	3200	3200	1600		300000	0
eca-rers2012/Problem08_label27.yml	timeout	.805	prog	tests	7726	inspect	900	880	2500	12000	120	.0041	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		340000	0
eca-rers2012/Problem08_label28.yml	timeout	.805	prog	tests	7703	inspect	900	880	2500	10000	110	.0082	true	prog	tests	1	inspect		80.5	58.5	3200	3200	1600		320000	0
eca-rers2012/Problem08_label29.yml	timeout	.805	prog	tests	7730	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label30.yml	timeout	.805	prog	tests	7752	inspect	900	880	2500	13000	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label31.yml	timeout	.805	prog	tests	7607	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3200	3200	1600		340000	0
eca-rers2012/Problem08_label32.yml	timeout	.804	prog	tests	7726	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		80.4	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label33.yml	timeout	.805	prog	tests	7695	inspect	900	880	2500	11000	110	.0041	unknown	prog	tests	0	inspect		80.5	58.5	3200	3200	1600		310000	0
eca-rers2012/Problem08_label34.yml	timeout	.806	prog	tests	7800	inspect	900	880	2500	13000	110	.0041	true	prog	tests	1	inspect		80.6	58.7	3400	3400	1600		280000	0
eca-rers2012/Problem08_label35.yml	timeout	.805	prog	tests	7795	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		80.5	58.7	3300	3300	1600		280000	0
eca-rers2012/Problem08_label36.yml	timeout	.805	prog	tests	7753	inspect	900	880	2500	11000	120	0	unknown	prog	tests	0	inspect		80.5	58.7	3200	3200	1600		340000	0
eca-rers2012/Problem08_label37.yml	timeout	.805	prog	tests	7727	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		80.5	58.6	3300	3300	1600		270000	0
eca-rers2012/Problem08_label38.yml	timeout	.805	prog	tests	7741	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label39.yml	timeout	.805	prog	tests	7735	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label40.yml	timeout	.804	prog	tests	7772	inspect	900	880	2500	9300	110	0	unknown	prog	tests	0	inspect		80.5	58.4	3300	3300	1600		290000	0
eca-rers2012/Problem08_label41.yml	timeout	.805	prog	tests	7758	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		300000	0
eca-rers2012/Problem08_label42.yml	timeout	.805	prog	tests	7800	inspect	900	880	2500	9500	110	.0082	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		270000	0
eca-rers2012/Problem08_label43.yml	timeout	.805	prog	tests	7667	inspect	900	880	2500	12000	120	0	true	prog	tests	1	inspect		80.5	58.6	3200	3200	1600		290000	0
eca-rers2012/Problem08_label44.yml	timeout	.805	prog	tests	7780	inspect	900	880	2500	10000	110	.0041	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label45.yml	timeout	.804	prog	tests	7772	inspect	900	880	2500	9800	110	.0041	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		270000	0
eca-rers2012/Problem08_label46.yml	timeout	.805	prog	tests	7710	inspect	900	880	2500	10000	110	0	true	prog	tests	1	inspect		80.5	58.6	3300	3300	1600		270000	0
eca-rers2012/Problem08_label47.yml	timeout	.805	prog	tests	7689	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		80.5	58.5	3200	3200	1600		270000	0
eca-rers2012/Problem08_label48.yml	timeout	.805	prog	tests	7708	inspect	900	880	2500	12000	110	.0082	true	prog	tests	1	inspect		80.5	58.4	3300	3300	1600		340000	0
eca-rers2012/Problem08_label49.yml	timeout	.805	prog	tests	7748	inspect	900	880	2500	12000	110	0	true	prog	tests	1	inspect		80.5	58.6	3300	3300	1600		280000	0
eca-rers2012/Problem08_label50.yml	timeout	.804	prog	tests	7730	inspect	900	880	2500	10000	110	0	true	prog	tests	1	inspect		80.4	58.5	3200	3200	1600		300000	0
eca-rers2012/Problem08_label51.yml	timeout	.804	prog	tests	7771	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		80.4	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label52.yml	timeout	.806	prog	tests	7746	inspect	900	880	2500	9600	110	0	unknown	prog	tests	0	inspect		80.6	58.6	3300	3300	1600		270000	0
eca-rers2012/Problem08_label53.yml	timeout	.805	prog	tests	7727	inspect	900	880	2500	11000	110	.0041	unknown	prog	tests	0	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem08_label54.yml	timeout	.805	prog	tests	7679	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		80.5	58.4	3300	3300	1600		270000	0
eca-rers2012/Problem08_label55.yml	timeout	.805	prog	tests	7706	inspect	900	880	2500	10000	120	.0082	true	prog	tests	1	inspect		80.5	58.3	3300	3300	1600		270000	0
eca-rers2012/Problem08_label56.yml	timeout	.805	prog	tests	7716	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		80.5	58.6	3300	3300	1600		300000	0
eca-rers2012/Problem08_label57.yml	timeout	.805	prog	tests	7687	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.5	58.4	3300	3300	1600		270000	0
eca-rers2012/Problem08_label58.yml	timeout	.806	prog	tests	7858	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		80.6	58.8	3400	3400	1600		290000	0
eca-rers2012/Problem08_label59.yml	timeout	.805	prog	tests	7757	inspect	900	880	2500	12000	110	.0082	true	prog	tests	1	inspect		80.5	58.5	3300	3300	1600		280000	0
eca-rers2012/Problem09_label00.yml	timeout	.575	prog	tests	5928	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		57.5	43.3	2800	2800	1800		230000	0
eca-rers2012/Problem09_label01.yml	timeout	.576	prog	tests	5948	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		57.6	43.4	2700	2700	1800		220000	0
eca-rers2012/Problem09_label02.yml	timeout	.576	prog	tests	5907	inspect	900	880	2800	9400	100	0	unknown	prog	tests	0	inspect		57.6	43.5	2700	2700	1800		270000	0
eca-rers2012/Problem09_label03.yml	timeout	.574	prog	tests	5879	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.4	43.0	2800	2800	1800		230000	0
eca-rers2012/Problem09_label04.yml	timeout	.575	prog	tests	5856	inspect	900	880	2800	9900	100	.0041	unknown	prog	tests	0	inspect		57.5	43.3	2700	2700	1800		240000	0
eca-rers2012/Problem09_label05.yml	timeout	.573	prog	tests	5783	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.3	42.8	2700	2700	1800		230000	0
eca-rers2012/Problem09_label06.yml	timeout	.576	prog	tests	5964	inspect	900	880	2800	10000	100	.0041	unknown	prog	tests	0	inspect		57.6	43.6	2800	2800	1800		230000	0
eca-rers2012/Problem09_label07.yml	timeout	.577	prog	tests	5971	inspect	900	880	2800	10000	99	.0041	unknown	prog	tests	0	inspect		57.7	43.8	2800	2800	1800		240000	0
eca-rers2012/Problem09_label08.yml	timeout	.574	prog	tests	5902	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.4	43.2	2700	2700	1800		270000	0
eca-rers2012/Problem09_label09.yml	timeout	.575	prog	tests	5834	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		57.5	43.1	2700	2700	1800		250000	0
eca-rers2012/Problem09_label10.yml	timeout	.578	prog	tests	6083	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.8	44.0	2800	2800	1800		240000	0
eca-rers2012/Problem09_label11.yml	timeout	.578	prog	tests	5992	inspect	900	880	2800	9800	98	0	unknown	prog	tests	0	inspect		57.8	43.9	2800	2800	1800		230000	0
eca-rers2012/Problem09_label12.yml	timeout	.577	prog	tests	5958	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		57.7	43.5	2800	2800	1800		270000	0
eca-rers2012/Problem09_label13.yml	timeout	.574	prog	tests	5861	inspect	900	880	2800	12000	120	0	unknown	prog	tests	0	inspect		57.4	43.1	2700	2700	1800		230000	0
eca-rers2012/Problem09_label14.yml	timeout	.576	prog	tests	5951	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.6	43.6	2700	2700	1800		230000	0
eca-rers2012/Problem09_label15.yml	timeout	.576	prog	tests	5917	inspect	900	880	2800	10000	110	0	unknown	prog	tests	0	inspect		57.6	43.4	2800	2800	1800		240000	0
eca-rers2012/Problem09_label16.yml	timeout	.576	prog	tests	5869	inspect	900	880	2800	11000	110	.0041	unknown	prog	tests	0	inspect		57.6	43.3	2700	2700	1800		220000	0
eca-rers2012/Problem09_label17.yml	timeout	.576	prog	tests	5903	inspect	900	880	2800	10000	100	0	unknown	prog	tests	0	inspect		57.6	43.5	2800	2800	1800		240000	0
eca-rers2012/Problem09_label18.yml	timeout	.577	prog	tests	5988	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.7	43.7	2800	2800	1800		230000	0
eca-rers2012/Problem09_label19.yml	timeout	.579	prog	tests	6110	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.9	44.2	2900	2900	1800		240000	0
eca-rers2012/Problem09_label20.yml	timeout	.577	prog	tests	6011	inspect	900	880	2800	10000	110	0	unknown	prog	tests	0	inspect		57.7	43.6	2800	2800	1800		250000	0
eca-rers2012/Problem09_label21.yml	timeout	.575	prog	tests	5915	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		57.5	43.2	2800	2800	1800		240000	0
eca-rers2012/Problem09_label22.yml	timeout	.574	prog	tests	5831	inspect	900	880	2800	12000	110	.0041	unknown	prog	tests	0	inspect		57.4	42.9	2700	2700	1800		230000	0
eca-rers2012/Problem09_label23.yml	timeout	.575	prog	tests	5926	inspect	900	880	2800	12000	110	0	unknown	prog	tests	0	inspect		57.5	43.4	2800	2800	1800		230000	0
eca-rers2012/Problem09_label24.yml	timeout	.575	prog	tests	5901	inspect	900	880	2800	10000	100	0	unknown	prog	tests	0	inspect		57.5	43.3	2800	2800	1800		230000	0
eca-rers2012/Problem09_label25.yml	timeout	.578	prog	tests	5980	inspect	900	880	2800	12000	99	.0041	unknown	prog	tests	0	inspect		57.8	43.9	2700	2700	1800		250000	0
eca-rers2012/Problem09_label26.yml	timeout	.576	prog	tests	5956	inspect	900	880	2800	12000	98	0	unknown	prog	tests	0	inspect		57.6	43.4	2700	2700	1800		230000	0
eca-rers2012/Problem09_label27.yml	timeout	.574	prog	tests	5865	inspect	900	880	2800	12000	98	.0041	unknown	prog	tests	0	inspect		57.4	43.2	2800	2800	1800		230000	0
eca-rers2012/Problem09_label28.yml	timeout	.576	prog	tests	6010	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		57.6	43.6	2800	2800	1800		290000	0
eca-rers2012/Problem09_label29.yml	timeout	.576	prog	tests	5941	inspect	900	880	2800	13000	99	.0041	unknown	prog	tests	0	inspect		57.5	43.5	2800	2800	1800		260000	0
eca-rers2012/Problem09_label30.yml	timeout	.575	prog	tests	5881	inspect	900	880	2800	11000	110	.0041	unknown	prog	tests	0	inspect		57.5	43.1	2700	2700	1800		270000	0
eca-rers2012/Problem09_label31.yml	timeout	.577	prog	tests	6023	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.7	44.1	2800	2800	1800		240000	0
eca-rers2012/Problem09_label32.yml	timeout	.576	prog	tests	5980	inspect	900	880	2800	9400	98	.0041	unknown	prog	tests	0	inspect		57.6	43.7	2700	2700	1800		280000	0
eca-rers2012/Problem09_label33.yml	timeout	.575	prog	tests	5803	inspect	900	880	2800	13000	100	0	unknown	prog	tests	0	inspect		57.5	43.1	2700	2700	1800		240000	0
eca-rers2012/Problem09_label34.yml	timeout	.576	prog	tests	5933	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		57.6	43.4	2700	2700	1800		280000	0
eca-rers2012/Problem09_label35.yml	timeout	.577	prog	tests	6030	inspect	900	880	2800	9700	100	.0041	unknown	prog	tests	0	inspect		57.7	43.8	2800	2800	1800		260000	0
eca-rers2012/Problem09_label36.yml	timeout	.576	prog	tests	5895	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.6	43.5	2700	2700	1800		270000	0
eca-rers2012/Problem09_label37.yml	timeout	.574	prog	tests	5849	inspect	900	880	2800	11000	98	.0041	unknown	prog	tests	0	inspect		57.4	43.2	2700	2700	1800		270000	0
eca-rers2012/Problem09_label38.yml	timeout	.577	prog	tests	5971	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.7	43.9	2800	2800	1800		230000	0
eca-rers2012/Problem09_label39.yml	timeout	.577	prog	tests	5985	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.7	43.5	2800	2800	1800		240000	0
eca-rers2012/Problem09_label40.yml	timeout	.576	prog	tests	5976	inspect	900	880	2800	11000	110	.0041	unknown	prog	tests	0	inspect		57.6	43.6	2700	2700	1800		280000	0
eca-rers2012/Problem09_label41.yml	timeout	.574	prog	tests	5885	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		57.4	43.4	2700	2700	1800		230000	0
eca-rers2012/Problem09_label42.yml	timeout	.575	prog	tests	5806	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		57.5	43.1	2700	2700	1800		250000	0
eca-rers2012/Problem09_label43.yml	timeout	.576	prog	tests	6021	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		57.6	43.6	2800	2800	1800		230000	0
eca-rers2012/Problem09_label44.yml	timeout	.575	prog	tests	5860	inspect	900	880	2800	12000	98	.0041	unknown	prog	tests	0	inspect		57.5	43.2	2700	2700	1800		250000	0
eca-rers2012/Problem09_label45.yml	timeout	.575	prog	tests	5916	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		57.5	43.4	2800	2800	1800		290000	0
eca-rers2012/Problem09_label46.yml	timeout	.577	prog	tests	6046	inspect	900	880	2800	12000	99	.0041	unknown	prog	tests	0	inspect		57.7	43.9	2800	2800	1800		240000	0
eca-rers2012/Problem09_label47.yml	timeout	.576	prog	tests	5969	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.6	43.6	2700	2700	1800		280000	0
eca-rers2012/Problem09_label48.yml	timeout	.575	prog	tests	5967	inspect	900	880	2800	10000	100	.0041	unknown	prog	tests	0	inspect		57.5	43.5	2800	2800	1800		230000	0
eca-rers2012/Problem09_label49.yml	timeout	.575	prog	tests	5933	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.5	43.4	2800	2800	1800		240000	0
eca-rers2012/Problem09_label50.yml	timeout	.576	prog	tests	5911	inspect	900	880	2800	10000	98	0	unknown	prog	tests	0	inspect		57.6	43.6	2800	2800	1800		260000	0
eca-rers2012/Problem09_label51.yml	timeout	.575	prog	tests	5933	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		57.5	43.4	2800	2800	1800		260000	0
eca-rers2012/Problem09_label52.yml	timeout	.575	prog	tests	5880	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.5	43.3	2700	2700	1800		270000	0
eca-rers2012/Problem09_label53.yml	timeout	.575	prog	tests	5873	inspect	900	880	2800	11000	98	0	unknown	prog	tests	0	inspect		57.5	43.2	2700	2700	1800		250000	0
eca-rers2012/Problem09_label54.yml	timeout	.574	prog	tests	5879	inspect	900	880	2800	10000	100	.0041	unknown	prog	tests	0	inspect		57.4	43.1	2700	2700	1800		230000	0
eca-rers2012/Problem09_label55.yml	timeout	.575	prog	tests	5979	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		57.5	43.5	2800	2800	1800		260000	0
eca-rers2012/Problem09_label56.yml	timeout	.574	prog	tests	5813	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		57.4	43.0	2700	2700	1800		230000	0
eca-rers2012/Problem09_label57.yml	timeout	.575	prog	tests	5888	inspect	900	880	2800	8300	100	0	unknown	prog	tests	0	inspect		57.5	43.4	2700	2700	1800		220000	0
eca-rers2012/Problem09_label58.yml	timeout	.578	prog	tests	5990	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		57.8	44.0	2800	2800	1800		240000	0
eca-rers2012/Problem09_label59.yml	timeout	.577	prog	tests	5982	inspect	900	880	2800	10000	100	0	unknown	prog	tests	0	inspect		57.7	43.8	2800	2800	1800		230000	0
eca-rers2012/Problem10_label00.yml	error	.771	prog	tests	185	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label01.yml	error	.769	prog	tests	203	inspect	880	900	200	10000	2.6	0	unknown	prog	tests	0	inspect		76.9	88.8	1.3	1.1	30		20	0
eca-rers2012/Problem10_label02.yml	error	.770	prog	tests	191	inspect	890	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.2	30		19	0
eca-rers2012/Problem10_label03.yml	error	.769	prog	tests	186	inspect	880	900	190	11000	2.6	0	unknown	prog	tests	0	inspect		76.9	88.6	1.3	1.2	30		19	0
eca-rers2012/Problem10_label04.yml	error	.769	prog	tests	192	inspect	880	900	190	11000	2.5	0	unknown	prog	tests	0	inspect		76.9	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label05.yml	error	.771	prog	tests	169	inspect	880	900	180	11000	2.2	0	unknown	prog	tests	0	inspect		77.1	89.3	1.1	1.0	30		17	0
eca-rers2012/Problem10_label06.yml	error	.770	prog	tests	188	inspect	890	900	200	11000	2.2	0	unknown	prog	tests	0	inspect		77.0	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label07.yml	error	.768	prog	tests	185	inspect	880	900	190	12000	2.3	0	unknown	prog	tests	0	inspect		76.8	89.0	1.2	1.2	30		19	0
eca-rers2012/Problem10_label08.yml	error	.770	prog	tests	194	inspect	880	900	200	11000	2.4	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label09.yml	error	.769	prog	tests	182	inspect	890	900	190	12000	2.4	0	unknown	prog	tests	0	inspect		76.9	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label10.yml	error	.771	prog	tests	182	inspect	890	900	190	11000	2.4	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.2	30		18	0
eca-rers2012/Problem10_label11.yml	error	.770	prog	tests	179	inspect	890	900	200	13000	2.0	0	unknown	prog	tests	0	inspect		77.0	88.6	1.2	1.1	30		18	0
eca-rers2012/Problem10_label12.yml	error	.769	prog	tests	179	inspect	880	900	200	11000	460	0	true	prog	tests	1	inspect		76.9	89.3	1.2	1.2	30		18	0
eca-rers2012/Problem10_label13.yml	error	.771	prog	tests	189	inspect	880	900	190	10000	2.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.2	30		19	0
eca-rers2012/Problem10_label14.yml	error	.770	prog	tests	183	inspect	880	900	190	11000	2.4	0	unknown	prog	tests	0	inspect		77.0	89.3	1.2	1.1	30		18	0
eca-rers2012/Problem10_label15.yml	error	.77	prog	tests	194	inspect	890	900	190	11000	800	0	true	prog	tests	1	inspect		77.0	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label16.yml	error	.770	prog	tests	177	inspect	880	900	200	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label17.yml	error	.770	prog	tests	178	inspect	880	900	190	11000	2.2	0	unknown	prog	tests	0	inspect		77.0	88.8	1.2	1.3	30		18	0
eca-rers2012/Problem10_label18.yml	error	.770	prog	tests	174	inspect	880	900	180	13000	1.9	0	unknown	prog	tests	0	inspect		77.0	89.0	1.1	1.0	30		17	0
eca-rers2012/Problem10_label19.yml	error	.768	prog	tests	179	inspect	880	900	200	12000	2.2	0	unknown	prog	tests	0	inspect		76.8	89.0	1.1	1.0	30		18	0
eca-rers2012/Problem10_label20.yml	error	.77	prog	tests	177	inspect	880	900	190	11000	2.2	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label21.yml	error	.770	prog	tests	187	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label22.yml	error	.77	prog	tests	188	inspect	880	900	190	8700	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label23.yml	error	.770	prog	tests	179	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label24.yml	error	.769	prog	tests	192	inspect	880	900	190	12000	350	0	true	prog	tests	1	inspect		76.9	89.3	1.3	1.2	30		19	0
eca-rers2012/Problem10_label25.yml	error	.770	prog	tests	189	inspect	890	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.2	30		19	0
eca-rers2012/Problem10_label26.yml	error	.771	prog	tests	187	inspect	880	900	190	9600	800	0	true	prog	tests	1	inspect		77.1	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label27.yml	error	.768	prog	tests	175	inspect	880	900	190	12000	2.4	0	unknown	prog	tests	0	inspect		76.8	89.0	1.1	1.1	30		18	0
eca-rers2012/Problem10_label28.yml	error	.767	prog	tests	171	inspect	880	900	190	13000	250	0	true	prog	tests	1	inspect		76.7	88.8	1.2	1.1	30		17	0
eca-rers2012/Problem10_label29.yml	error	.767	prog	tests	190	inspect	880	900	190	11000	530	0	true	prog	tests	1	inspect		76.7	89.0	1.2	1.2	30		19	0
eca-rers2012/Problem10_label30.yml	error	.77	prog	tests	188	inspect	880	900	190	12000	2.4	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label31.yml	error	.768	prog	tests	182	inspect	890	900	190	11000	2.4	0	unknown	prog	tests	0	inspect		76.8	88.6	1.2	1.2	30		18	0
eca-rers2012/Problem10_label32.yml	error	.768	prog	tests	187	inspect	880	900	190	11000	2.6	0	unknown	prog	tests	0	inspect		76.8	88.6	1.2	1.1	30		19	0
eca-rers2012/Problem10_label33.yml	error	.770	prog	tests	181	inspect	880	900	190	12000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.1	1.0	30		18	0
eca-rers2012/Problem10_label34.yml	error	.77	prog	tests	170	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	88.8	1.1	1.0	30		17	0
eca-rers2012/Problem10_label35.yml	error	.770	prog	tests	181	inspect	880	900	200	11000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.2	30		18	0
eca-rers2012/Problem10_label36.yml	error	.770	prog	tests	196	inspect	890	900	190	12000	2.7	0	unknown	prog	tests	0	inspect		77.0	89.3	1.3	1.3	30		20	0
eca-rers2012/Problem10_label37.yml	error	.771	prog	tests	195	inspect	880	900	200	12000	2.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.1	30		20	0
eca-rers2012/Problem10_label38.yml	error	.770	prog	tests	186	inspect	880	900	190	11000	2.0	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label39.yml	error	.767	prog	tests	191	inspect	880	900	200	12000	2.1	0	unknown	prog	tests	0	inspect		76.7	88.8	1.2	1.3	30		19	0
eca-rers2012/Problem10_label40.yml	error	.771	prog	tests	187	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label41.yml	error	.769	prog	tests	190	inspect	880	900	190	11000	1700	0	true	prog	tests	1	inspect		76.9	89.3	1.3	1.4	30		19	0
eca-rers2012/Problem10_label42.yml	error	.769	prog	tests	182	inspect	880	900	190	12000	1800	0	true	prog	tests	1	inspect		76.9	88.6	1.2	1.1	30		18	0
eca-rers2012/Problem10_label43.yml	error	.77	prog	tests	182	inspect	890	900	190	13000	2.2	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label44.yml	error	.77	prog	tests	181	inspect	880	900	190	10000	2.3	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label45.yml	error	.771	prog	tests	181	inspect	880	900	190	11000	2.2	0	unknown	prog	tests	0	inspect		77.1	89.3	1.1	1.1	30		18	0
eca-rers2012/Problem10_label46.yml	error	.770	prog	tests	180	inspect	880	900	190	11000	1200	0	true	prog	tests	1	inspect		77.0	89.3	1.1	1.0	30		18	0
eca-rers2012/Problem10_label47.yml	error	.770	prog	tests	186	inspect	890	900	200	14000	590	0	true	prog	tests	1	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label48.yml	error	.770	prog	tests	185	inspect	880	900	190	11000	100	0	true	prog	tests	1	inspect		77.0	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem10_label49.yml	error	.769	prog	tests	176	inspect	880	900	190	12000	2.4	0	unknown	prog	tests	0	inspect		76.9	89.0	1.1	1.0	30		18	0
eca-rers2012/Problem10_label50.yml	error	.770	prog	tests	183	inspect	880	900	190	11000	490	0	true	prog	tests	1	inspect		77.0	89.0	1.2	1.1	30		18	0
eca-rers2012/Problem10_label51.yml	error	.771	prog	tests	180	inspect	880	900	190	10000	2.6	0	unknown	prog	tests	0	inspect		77.1	89.3	1.2	1.1	30		18	0
eca-rers2012/Problem10_label52.yml	error	.769	prog	tests	185	inspect	880	900	190	13000	2.5	0	unknown	prog	tests	0	inspect		76.9	88.8	1.2	1.2	30		19	0
eca-rers2012/Problem10_label53.yml	error	.770	prog	tests	181	inspect	880	900	200	12000	2.2	0	unknown	prog	tests	0	inspect		77.0	89.0	1.2	1.2	30		18	0
eca-rers2012/Problem10_label54.yml	error	.767	prog	tests	186	inspect	890	900	200	10000	2.2	0	unknown	prog	tests	0	inspect		76.7	89.3	1.2	1.4	30		19	0
eca-rers2012/Problem10_label55.yml	error	.768	prog	tests	185	inspect	890	900	200	12000	980	0	true	prog	tests	1	inspect		76.8	89.3	1.2	1.1	30		19	0
eca-rers2012/Problem10_label56.yml	error	.769	prog	tests	192	inspect	880	900	200	11000	2.7	0	unknown	prog	tests	0	inspect		76.9	89.0	1.3	1.3	30		19	0
eca-rers2012/Problem10_label57.yml	error	.770	prog	tests	167	inspect	880	900	190	11000	240	0	true	prog	tests	1	inspect		77.0	89.3	1.1	1.0	30		17	0
eca-rers2012/Problem10_label58.yml	error	.769	prog	tests	175	inspect	880	900	190	13000	1300	0	true	prog	tests	1	inspect		76.9	88.6	1.1	1.0	30		18	0
eca-rers2012/Problem10_label59.yml	error	.769	prog	tests	189	inspect	880	900	190	11000	2.3	0	unknown	prog	tests	0	inspect		76.9	89.0	1.2	1.1	30		19	0
eca-rers2012/Problem11_label00.yml	error	.629	prog	tests	130	inspect	890	900	230	11000	410	0	true	prog	tests	1	inspect		62.9	62.0	1.2	1.2	44		22	0
eca-rers2012/Problem11_label01.yml	error	.633	prog	tests	125	inspect	880	900	230	11000	1.8	0	unknown	prog	tests	0	inspect		63.3	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label02.yml	error	.629	prog	tests	119	inspect	890	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		62.9	62.0	1.1	1.3	44		20	0
eca-rers2012/Problem11_label03.yml	error	.634	prog	tests	126	inspect	880	900	230	11000	2.3	0	unknown	prog	tests	0	inspect		63.4	61.9	1.1	1.0	44		21	0
eca-rers2012/Problem11_label04.yml	error	.628	prog	tests	124	inspect	880	900	240	12000	2.1	0	unknown	prog	tests	0	inspect		62.8	61.6	1.1	1.0	44		21	0
eca-rers2012/Problem11_label05.yml	error	.629	prog	tests	131	inspect	880	900	230	14000	2.3	0	unknown	prog	tests	0	inspect		62.9	61.9	1.2	1.1	44		22	0
eca-rers2012/Problem11_label06.yml	error	.634	prog	tests	127	inspect	880	900	240	9600	2.2	0	unknown	prog	tests	0	inspect		63.4	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label07.yml	error	.629	prog	tests	128	inspect	880	900	230	13000	2.2	0	unknown	prog	tests	0	inspect		62.9	62.0	1.1	1.1	44		22	0
eca-rers2012/Problem11_label08.yml	error	.628	prog	tests	128	inspect	880	900	230	11000	1600	0	true	prog	tests	1	inspect		62.8	62.0	1.1	1.1	44		22	0
eca-rers2012/Problem11_label09.yml	error	.633	prog	tests	121	inspect	880	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		63.3	62.0	1.0	.94	44		20	0
eca-rers2012/Problem11_label10.yml	error	.628	prog	tests	127	inspect	880	900	240	13000	2.1	0	unknown	prog	tests	0	inspect		62.8	61.9	1.2	1.1	44		21	0
eca-rers2012/Problem11_label11.yml	error	.628	prog	tests	115	inspect	880	900	230	13000	2.0	0	unknown	prog	tests	0	inspect		62.8	62.0	.97	.91	44		19	0
eca-rers2012/Problem11_label12.yml	error	.634	prog	tests	134	inspect	880	900	230	12000	2.3	0	unknown	prog	tests	0	inspect		63.4	61.9	1.2	1.2	44		23	0
eca-rers2012/Problem11_label13.yml	error	.635	prog	tests	128	inspect	880	900	230	10000	2.2	0	unknown	prog	tests	0	inspect		63.5	61.9	1.1	1.1	44		22	0
eca-rers2012/Problem11_label14.yml	error	.631	prog	tests	125	inspect	880	900	230	11000	3600	0	true	prog	tests	1	inspect		63.1	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label15.yml	error	.627	prog	tests	126	inspect	890	900	230	12000	1600	0	true	prog	tests	1	inspect		62.7	62.0	1.3	1.2	44		21	0
eca-rers2012/Problem11_label16.yml	error	.629	prog	tests	126	inspect	890	900	230	13000	1.9	0	unknown	prog	tests	0	inspect		62.9	62.0	1.2	1.2	44		21	0
eca-rers2012/Problem11_label17.yml	error	.628	prog	tests	120	inspect	880	900	230	11000	2.0	0	unknown	prog	tests	0	inspect		62.8	61.7	1.1	1.1	44		20	0
eca-rers2012/Problem11_label18.yml	error	.630	prog	tests	135	inspect	880	900	230	12000	2.2	0	unknown	prog	tests	0	inspect		63.0	61.9	1.2	1.2	44		23	0
eca-rers2012/Problem11_label19.yml	error	.626	prog	tests	128	inspect	890	900	230	10000	1.9	0	unknown	prog	tests	0	inspect		62.6	62.0	1.1	1.1	44		22	0
eca-rers2012/Problem11_label20.yml	error	.630	prog	tests	136	inspect	880	900	230	12000	230	0	true	prog	tests	1	inspect		63.0	61.9	1.2	1.2	44		23	0
eca-rers2012/Problem11_label21.yml	error	.632	prog	tests	124	inspect	880	900	230	13000	2.1	0	unknown	prog	tests	0	inspect		63.2	62.0	1.0	.97	44		21	0
eca-rers2012/Problem11_label22.yml	error	.630	prog	tests	122	inspect	880	900	240	10000	2.0	0	unknown	prog	tests	0	inspect		63.0	61.9	1.1	1.0	44		21	0
eca-rers2012/Problem11_label23.yml	error	.635	prog	tests	130	inspect	890	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		63.5	62.0	1.1	1.1	44		22	0
eca-rers2012/Problem11_label24.yml	error	.627	prog	tests	125	inspect	880	900	230	13000	2.2	0	unknown	prog	tests	0	inspect		62.7	61.7	1.1	1.1	44		21	0
eca-rers2012/Problem11_label25.yml	error	.629	prog	tests	124	inspect	890	900	230	11000	2.2	0	unknown	prog	tests	0	inspect		62.9	61.7	1.0	1.0	44		21	0
eca-rers2012/Problem11_label26.yml	error	.629	prog	tests	124	inspect	880	900	240	11000	2.2	0	unknown	prog	tests	0	inspect		62.9	61.9	1.1	1.0	44		21	0
eca-rers2012/Problem11_label27.yml	error	.636	prog	tests	130	inspect	890	900	230	9800	2.3	0	unknown	prog	tests	0	inspect		63.6	61.9	1.1	1.1	44		22	0
eca-rers2012/Problem11_label28.yml	error	.635	prog	tests	126	inspect	880	900	230	10000	2.2	0	unknown	prog	tests	0	inspect		63.5	62.0	1.1	1.2	44		21	0
eca-rers2012/Problem11_label29.yml	error	.631	prog	tests	131	inspect	890	900	230	10000	690	0	true	prog	tests	1	inspect		63.1	62.0	1.2	1.1	44		22	0
eca-rers2012/Problem11_label30.yml	error	.630	prog	tests	123	inspect	880	900	240	12000	2.2	0	unknown	prog	tests	0	inspect		63.0	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label31.yml	error	.632	prog	tests	122	inspect	890	900	230	11000	270	0	true	prog	tests	1	inspect		63.2	61.7	1.1	1.0	44		21	0
eca-rers2012/Problem11_label32.yml	error	.631	prog	tests	127	inspect	880	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		63.1	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label33.yml	error	.628	prog	tests	125	inspect	880	900	240	14000	2.0	0	unknown	prog	tests	0	inspect		62.8	61.9	1.1	1.0	44		21	0
eca-rers2012/Problem11_label34.yml	error	.630	prog	tests	120	inspect	880	900	240	11000	220	0	true	prog	tests	1	inspect		63.0	61.9	1.1	1.0	44		20	0
eca-rers2012/Problem11_label35.yml	error	.632	prog	tests	120	inspect	880	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		63.2	61.9	1.1	.99	44		20	0
eca-rers2012/Problem11_label36.yml	error	.628	prog	tests	124	inspect	880	900	240	11000	410	0	true	prog	tests	1	inspect		62.8	62.0	1.1	1.1	44		21	0
eca-rers2012/Problem11_label37.yml	error	.628	prog	tests	133	inspect	880	900	230	10000	2.2	0	unknown	prog	tests	0	inspect		62.8	61.9	1.1	1.0	44		22	0
eca-rers2012/Problem11_label38.yml	error	.630	prog	tests	123	inspect	880	900	230	11000	2.1	0	unknown	prog	tests	0	inspect		63.0	62.0	1.1	1.3	44		21	0
eca-rers2012/Problem11_label39.yml	error	.636	prog	tests	130	inspect	880	900	240	12000	190	0	true	prog	tests	1	inspect		63.6	62.0	1.2	1.3	44		22	0
eca-rers2012/Problem11_label40.yml	error	.631	prog	tests	130	inspect	890	900	230	13000	2.2	0	unknown	prog	tests	0	inspect		63.1	61.9	1.1	1.1	44		22	0
eca-rers2012/Problem11_label41.yml	error	.634	prog	tests	125	inspect	890	900	250	9700	2.2	0	unknown	prog	tests	0	inspect		63.4	61.9	1.1	1.1	44		21	0
eca-rers2012/Problem11_label42.yml	error	.630	prog	tests	126	inspect	880	900	230	11000	3500	0	true	prog	tests	1	inspect		63.0	62.0	1.1	1.1	44		21	0
eca-rers2012/Problem11_label43.yml	error	.632	prog	tests	120	inspect	880	900	220	9700	440	0	true	prog	tests	1	inspect		63.2	62.0	1.1	1.0	44		20	0
eca-rers2012/Problem11_label44.yml	error	.634	prog	tests	124	inspect	890	900	230	10000	2.1	0	unknown	prog	tests	0	inspect		63.4	61.9	1.0	.98	44		21	0
eca-rers2012/Problem11_label45.yml	error	.627	prog	tests	125	inspect	880	900	240	11000	2.0	0	unknown	prog	tests	0	inspect		62.7	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label46.yml	error	.628	prog	tests	135	inspect	880	900	230	11000	2.2	0	unknown	prog	tests	0	inspect		62.8	62.0	1.2	1.2	44		23	0
eca-rers2012/Problem11_label47.yml	error	.630	prog	tests	121	inspect	880	900	240	11000	1.9	0	unknown	prog	tests	0	inspect		63.0	61.7	1.0	.94	44		20	0
eca-rers2012/Problem11_label48.yml	error	.630	prog	tests	130	inspect	880	900	240	11000	2.1	0	unknown	prog	tests	0	inspect		63.0	61.9	1.1	.99	44		22	0
eca-rers2012/Problem11_label49.yml	error	.634	prog	tests	123	inspect	880	900	230	13000	810	0	true	prog	tests	1	inspect		63.4	62.0	1.0	.98	44		21	0
eca-rers2012/Problem11_label50.yml	error	.629	prog	tests	122	inspect	880	900	230	12000	2.0	0	unknown	prog	tests	0	inspect		62.9	61.9	1.1	1.3	44		21	0
eca-rers2012/Problem11_label51.yml	error	.629	prog	tests	124	inspect	880	900	240	10000	1900	0	true	prog	tests	1	inspect		62.9	61.6	1.1	1.0	44		21	0
eca-rers2012/Problem11_label52.yml	error	.628	prog	tests	126	inspect	880	900	240	13000	2.2	0	unknown	prog	tests	0	inspect		62.8	62.0	1.1	1.1	44		21	0
eca-rers2012/Problem11_label53.yml	error	.629	prog	tests	123	inspect	890	900	240	10000	1.9	0	unknown	prog	tests	0	inspect		62.9	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem11_label54.yml	error	.626	prog	tests	125	inspect	880	900	230	12000	2.2	0	unknown	prog	tests	0	inspect		62.6	61.6	1.1	1.0	44		21	0
eca-rers2012/Problem11_label55.yml	error	.636	prog	tests	129	inspect	880	900	240	11000	2.2	0	unknown	prog	tests	0	inspect		63.6	61.7	1.1	1.0	44		22	0
eca-rers2012/Problem11_label56.yml	error	.632	prog	tests	129	inspect	880	900	240	12000	2.1	0	unknown	prog	tests	0	inspect		63.2	62.0	1.1	1.0	44		22	0
eca-rers2012/Problem11_label57.yml	error	.634	prog	tests	128	inspect	880	900	240	11000	2.2	0	unknown	prog	tests	0	inspect		63.4	62.0	1.1	1.1	44		22	0
eca-rers2012/Problem11_label58.yml	error	.634	prog	tests	121	inspect	880	900	230	12000	720	0	true	prog	tests	1	inspect		63.4	62.0	1.1	1.0	44		20	0
eca-rers2012/Problem11_label59.yml	error	.630	prog	tests	127	inspect	880	900	240	9500	2.2	0	unknown	prog	tests	0	inspect		63.0	62.0	1.1	1.0	44		21	0
eca-rers2012/Problem12_label00.yml	error	.897	prog	tests	1218	inspect	890	900	320	11000	50	0	true	prog	tests	1	inspect		89.7	99.1	18	18	100		790	0
eca-rers2012/Problem12_label01.yml	error	.896	prog	tests	1235	inspect	890	900	330	11000	9.0	0	unknown	prog	tests	0	inspect		89.6	99.1	19	20	100		800	0
eca-rers2012/Problem12_label02.yml	error	.898	prog	tests	1187	inspect	890	900	320	9800	8.8	0	unknown	prog	tests	0	inspect		89.8	99.1	19	18	100		770	0
eca-rers2012/Problem12_label03.yml	error	.897	prog	tests	1192	inspect	890	900	310	13000	34	0	true	prog	tests	1	inspect		89.7	99.1	19	19	100		770	0
eca-rers2012/Problem12_label04.yml	error	.898	prog	tests	1192	inspect	890	900	310	12000	8.8	0	unknown	prog	tests	0	inspect		89.8	99.1	18	18	100		770	0
eca-rers2012/Problem12_label05.yml	error	.897	prog	tests	1236	inspect	890	900	310	12000	9.2	0	unknown	prog	tests	0	inspect		89.7	99.1	20	20	100		800	0
eca-rers2012/Problem12_label06.yml	error	.897	prog	tests	1193	inspect	890	900	310	10000	59	0	true	prog	tests	1	inspect		89.7	99.1	18	18	100		770	0
eca-rers2012/Problem12_label07.yml	error	.898	prog	tests	1256	inspect	890	900	320	11000	64	0	true	prog	tests	1	inspect		89.8	99.1	19	19	100		810	0
eca-rers2012/Problem12_label08.yml	error	.897	prog	tests	1188	inspect	890	900	320	13000	85	0	true	prog	tests	1	inspect		89.7	99.1	19	18	100		770	0
eca-rers2012/Problem12_label09.yml	error	.898	prog	tests	1226	inspect	890	900	320	11000	9.4	0	unknown	prog	tests	0	inspect		89.8	99.0	19	20	100		790	0
eca-rers2012/Problem12_label10.yml	error	.897	prog	tests	1207	inspect	890	900	320	11000	32	0	true	prog	tests	1	inspect		89.7	99.1	19	18	100		780	0
eca-rers2012/Problem12_label11.yml	error	.897	prog	tests	1240	inspect	890	900	320	13000	9.2	0	unknown	prog	tests	0	inspect		89.7	99.1	20	20	100		800	0
eca-rers2012/Problem12_label12.yml	error	.897	prog	tests	1185	inspect	890	900	320	11000	8.7	0	unknown	prog	tests	0	inspect		89.7	99.1	18	18	100		770	0
eca-rers2012/Problem12_label13.yml	error	.898	prog	tests	1187	inspect	890	900	320	11000	88	0	true	prog	tests	1	inspect		89.8	99.1	18	18	100		770	0
eca-rers2012/Problem12_label14.yml	error	.898	prog	tests	1222	inspect	890	900	320	11000	9.4	0	unknown	prog	tests	0	inspect		89.8	99.1	18	18	100		790	0
eca-rers2012/Problem12_label15.yml	error	.897	prog	tests	1117	inspect	890	900	330	11000	8.5	0	unknown	prog	tests	0	inspect		89.7	99.1	18	17	100		720	0
eca-rers2012/Problem12_label16.yml	error	.897	prog	tests	1165	inspect	890	900	310	10000	8.7	0	unknown	prog	tests	0	inspect		89.7	99.0	18	18	100		750	0
eca-rers2012/Problem12_label17.yml	error	.898	prog	tests	1167	inspect	890	900	320	13000	8.6	0	unknown	prog	tests	0	inspect		89.8	99.0	18	18	100		760	0
eca-rers2012/Problem12_label18.yml	error	.898	prog	tests	1231	inspect	890	900	320	12000	9.0	0	unknown	prog	tests	0	inspect		89.8	99.0	19	18	100		800	0
eca-rers2012/Problem12_label19.yml	error	.897	prog	tests	1164	inspect	890	900	320	12000	52	0	true	prog	tests	1	inspect		89.7	99.0	19	19	100		750	0
eca-rers2012/Problem12_label20.yml	error	.897	prog	tests	1175	inspect	890	900	320	11000	32	0	true	prog	tests	1	inspect		89.8	99.0	18	17	100		760	0
eca-rers2012/Problem12_label21.yml	error	.897	prog	tests	1205	inspect	890	900	310	11000	70	0	true	prog	tests	1	inspect		89.7	99.1	19	22	100		780	0
eca-rers2012/Problem12_label22.yml	error	.898	prog	tests	1210	inspect	890	900	310	12000	8.9	0	unknown	prog	tests	0	inspect		89.8	99.0	19	20	100		780	0
eca-rers2012/Problem12_label23.yml	error	.898	prog	tests	1137	inspect	890	900	330	10000	8.6	0	unknown	prog	tests	0	inspect		89.8	99.1	18	18	100		740	0
eca-rers2012/Problem12_label24.yml	error	.897	prog	tests	1225	inspect	890	900	320	13000	8.9	0	unknown	prog	tests	0	inspect		89.7	99.1	19	19	100		790	0
eca-rers2012/Problem12_label25.yml	error	.897	prog	tests	1202	inspect	890	900	320	12000	40	0	true	prog	tests	1	inspect		89.7	99.1	19	19	100		780	0
eca-rers2012/Problem12_label26.yml	error	.898	prog	tests	1219	inspect	890	900	330	11000	9.0	0	unknown	prog	tests	0	inspect		89.8	99.1	19	20	100		790	0
eca-rers2012/Problem12_label27.yml	error	.897	prog	tests	1126	inspect	890	900	320	10000	8.4	0	unknown	prog	tests	0	inspect		89.7	99.1	17	17	100		730	0
eca-rers2012/Problem12_label28.yml	error	.896	prog	tests	1239	inspect	890	900	310	13000	120	0	true	prog	tests	1	inspect		89.6	99.1	20	23	100		800	0
eca-rers2012/Problem12_label29.yml	error	.897	prog	tests	1168	inspect	890	900	320	13000	8.7	0	unknown	prog	tests	0	inspect		89.7	99.1	18	18	100		760	0
eca-rers2012/Problem12_label30.yml	error	.897	prog	tests	1196	inspect	890	900	330	12000	62	0	true	prog	tests	1	inspect		89.7	99.1	19	19	100		780	0
eca-rers2012/Problem12_label31.yml	error	.898	prog	tests	1213	inspect	890	900	320	10000	8.9	0	unknown	prog	tests	0	inspect		89.8	99.1	18	18	100		790	0
eca-rers2012/Problem12_label32.yml	error	.897	prog	tests	1143	inspect	890	900	330	11000	8.6	0	unknown	prog	tests	0	inspect		89.7	99.1	18	18	100		740	0
eca-rers2012/Problem12_label33.yml	error	.897	prog	tests	1202	inspect	890	900	310	11000	8.9	0	unknown	prog	tests	0	inspect		89.7	99.1	19	23	100		780	0
eca-rers2012/Problem12_label34.yml	error	.897	prog	tests	1134	inspect	890	900	320	11000	46	0	true	prog	tests	1	inspect		89.7	99.0	19	19	100		740	0
eca-rers2012/Problem12_label35.yml	error	.898	prog	tests	1184	inspect	890	900	320	8700	46	0	true	prog	tests	1	inspect		89.8	99.0	19	20	100		770	0
eca-rers2012/Problem12_label36.yml	error	.898	prog	tests	1166	inspect	890	900	320	12000	8.7	0	unknown	prog	tests	0	inspect		89.8	99.1	18	19	100		750	0
eca-rers2012/Problem12_label37.yml	error	.897	prog	tests	1175	inspect	890	900	320	13000	46	0	true	prog	tests	1	inspect		89.7	99.1	18	19	100		760	0
eca-rers2012/Problem12_label38.yml	error	.897	prog	tests	1219	inspect	890	900	310	10000	54	0	true	prog	tests	1	inspect		89.7	99.1	19	19	100		790	0
eca-rers2012/Problem12_label39.yml	error	.897	prog	tests	1158	inspect	890	900	320	11000	73	0	true	prog	tests	1	inspect		89.7	99.1	18	19	100		750	0
eca-rers2012/Problem12_label40.yml	error	.897	prog	tests	1192	inspect	890	900	330	11000	67	0	true	prog	tests	1	inspect		89.7	99.1	19	19	100		770	0
eca-rers2012/Problem12_label41.yml	error	.898	prog	tests	1212	inspect	890	900	340	11000	9.2	0	unknown	prog	tests	0	inspect		89.8	99.1	20	24	100		790	0
eca-rers2012/Problem12_label42.yml	error	.897	prog	tests	1116	inspect	890	900	310	9600	120	0	true	prog	tests	1	inspect		89.8	99.1	18	18	100		720	0
eca-rers2012/Problem12_label43.yml	error	.897	prog	tests	1179	inspect	890	900	320	10000	8.6	0	unknown	prog	tests	0	inspect		89.7	99.1	19	21	100		760	0
eca-rers2012/Problem12_label44.yml	error	.898	prog	tests	1124	inspect	890	900	320	10000	8.5	0	unknown	prog	tests	0	inspect		89.8	99.1	17	18	100		730	0
eca-rers2012/Problem12_label45.yml	error	.897	prog	tests	1237	inspect	890	900	320	10000	9.1	0	unknown	prog	tests	0	inspect		89.7	99.1	19	18	100		800	0
eca-rers2012/Problem12_label46.yml	error	.897	prog	tests	1220	inspect	890	900	320	11000	9.2	0	unknown	prog	tests	0	inspect		89.7	99.1	19	21	100		790	0
eca-rers2012/Problem12_label47.yml	error	.897	prog	tests	1210	inspect	890	900	320	11000	9.3	0	unknown	prog	tests	0	inspect		89.7	99.0	19	19	100		780	0
eca-rers2012/Problem12_label48.yml	error	.897	prog	tests	1195	inspect	890	900	330	11000	160	0	true	prog	tests	1	inspect		89.7	99.1	18	18	100		770	0
eca-rers2012/Problem12_label49.yml	error	.897	prog	tests	1219	inspect	890	900	320	10000	8.8	0	unknown	prog	tests	0	inspect		89.7	99.1	18	18	100		790	0
eca-rers2012/Problem12_label50.yml	error	.897	prog	tests	1207	inspect	890	900	320	12000	34	0	true	prog	tests	1	inspect		89.7	99.0	19	18	100		780	0
eca-rers2012/Problem12_label51.yml	error	.897	prog	tests	1145	inspect	890	900	320	12000	180	0	true	prog	tests	1	inspect		89.7	99.1	18	17	100		740	0
eca-rers2012/Problem12_label52.yml	error	.898	prog	tests	1121	inspect	890	900	320	13000	63	0	true	prog	tests	1	inspect		89.8	99.1	18	21	100		730	0
eca-rers2012/Problem12_label53.yml	error	.897	prog	tests	1190	inspect	890	900	310	12000	9.2	0	unknown	prog	tests	0	inspect		89.7	99.1	18	18	100		770	0
eca-rers2012/Problem12_label54.yml	error	.896	prog	tests	1216	inspect	890	900	310	13000	9.3	0	unknown	prog	tests	0	inspect		89.6	99.1	20	19	100		790	0
eca-rers2012/Problem12_label55.yml	error	.897	prog	tests	1193	inspect	890	900	310	12000	47	0	true	prog	tests	1	inspect		89.7	99.1	19	18	100		770	0
eca-rers2012/Problem12_label56.yml	error	.898	prog	tests	1139	inspect	890	900	320	11000	8.6	0	unknown	prog	tests	0	inspect		89.8	99.1	18	18	100		740	0
eca-rers2012/Problem12_label57.yml	error	.895	prog	tests	1172	inspect	890	900	320	13000	8.7	0	unknown	prog	tests	0	inspect		89.5	99.1	19	19	100		760	0
eca-rers2012/Problem12_label58.yml	error	.897	prog	tests	1202	inspect	890	900	320	11000	8.8	0	unknown	prog	tests	0	inspect		89.7	99.1	19	19	100		780	0
eca-rers2012/Problem12_label59.yml	error	.897	prog	tests	1183	inspect	890	900	320	11000	8.7	0	unknown	prog	tests	0	inspect		89.7	99.1	19	21	100		770	0
eca-rers2012/Problem13_label00.yml	error	.738	prog	tests	894	inspect	890	900	430	13000	8.2	0	unknown	prog	tests	0	inspect		73.8	61.9	16	16	120		730	0
eca-rers2012/Problem13_label01.yml	error	.736	prog	tests	902	inspect	890	900	430	12000	8.9	0	unknown	prog	tests	0	inspect		73.6	61.9	16	17	120		730	0
eca-rers2012/Problem13_label02.yml	error	.736	prog	tests	890	inspect	890	900	430	11000	8.2	0	unknown	prog	tests	0	inspect		73.6	61.9	16	15	120		740	0
eca-rers2012/Problem13_label03.yml	error	.737	prog	tests	865	inspect	890	900	430	9700	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	15	15	120		730	0
eca-rers2012/Problem13_label04.yml	error	.736	prog	tests	881	inspect	890	900	420	14000	80	0	true	prog	tests	1	inspect		73.6	61.9	15	15	120		750	0
eca-rers2012/Problem13_label05.yml	error	.737	prog	tests	894	inspect	890	900	430	12000	9.1	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		720	0
eca-rers2012/Problem13_label06.yml	error	.736	prog	tests	927	inspect	890	900	430	11000	340	0	true	prog	tests	1	inspect		73.6	61.9	16	16	120		780	0
eca-rers2012/Problem13_label07.yml	error	.736	prog	tests	901	inspect	890	900	430	9800	83	0	true	prog	tests	1	inspect		73.6	61.9	16	17	120		710	0
eca-rers2012/Problem13_label08.yml	error	.736	prog	tests	918	inspect	890	900	420	9600	8.3	0	unknown	prog	tests	0	inspect		73.6	61.9	16	16	120		780	0
eca-rers2012/Problem13_label09.yml	error	.737	prog	tests	893	inspect	890	900	430	10000	7.9	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		700	0
eca-rers2012/Problem13_label10.yml	error	.737	prog	tests	880	inspect	890	900	420	10000	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	16	17	120		690	0
eca-rers2012/Problem13_label11.yml	error	.737	prog	tests	909	inspect	890	900	430	11000	95	0	true	prog	tests	1	inspect		73.7	61.9	17	17	120		730	0
eca-rers2012/Problem13_label12.yml	error	.737	prog	tests	860	inspect	890	900	320	12000	200	0	true	prog	tests	1	inspect		73.7	61.9	17	17	120		680	0
eca-rers2012/Problem13_label13.yml	error	.736	prog	tests	901	inspect	890	900	430	10000	8.1	0	unknown	prog	tests	0	inspect		73.6	61.9	16	17	120		710	0
eca-rers2012/Problem13_label14.yml	error	.737	prog	tests	916	inspect	890	900	420	11000	8.7	0	unknown	prog	tests	0	inspect		73.7	61.9	17	20	120		760	0
eca-rers2012/Problem13_label15.yml	error	.737	prog	tests	896	inspect	890	900	420	10000	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		710	0
eca-rers2012/Problem13_label16.yml	error	.736	prog	tests	903	inspect	890	900	430	13000	54	0	true	prog	tests	1	inspect		73.6	61.9	16	16	120		720	0
eca-rers2012/Problem13_label17.yml	error	.737	prog	tests	855	inspect	890	900	430	11000	8.9	0	unknown	prog	tests	0	inspect		73.7	61.9	16	15	120		680	0
eca-rers2012/Problem13_label18.yml	error	.737	prog	tests	906	inspect	890	900	430	14000	9.0	0	unknown	prog	tests	0	inspect		73.7	61.8	17	20	120		710	0
eca-rers2012/Problem13_label19.yml	error	.737	prog	tests	890	inspect	890	900	440	11000	68	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		750	0
eca-rers2012/Problem13_label20.yml	error	.737	prog	tests	861	inspect	890	900	430	12000	8.8	0	unknown	prog	tests	0	inspect		73.7	61.9	16	17	120		680	0
eca-rers2012/Problem13_label21.yml	error	.736	prog	tests	879	inspect	890	900	420	10000	58	0	true	prog	tests	1	inspect		73.6	61.9	16	16	120		690	0
eca-rers2012/Problem13_label22.yml	error	.737	prog	tests	837	inspect	890	900	420	10000	7.9	0	unknown	prog	tests	0	inspect		73.7	61.9	15	15	120		670	0
eca-rers2012/Problem13_label23.yml	error	.737	prog	tests	881	inspect	890	900	430	9800	59	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		690	0
eca-rers2012/Problem13_label24.yml	error	.738	prog	tests	872	inspect	890	900	420	11000	570	0	true	prog	tests	1	inspect		73.8	61.9	16	16	120		690	0
eca-rers2012/Problem13_label25.yml	error	.737	prog	tests	904	inspect	890	900	430	11000	140	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		720	0
eca-rers2012/Problem13_label26.yml	error	.737	prog	tests	838	inspect	890	900	430	13000	8.8	0	unknown	prog	tests	0	inspect		73.7	61.9	15	17	120		660	0
eca-rers2012/Problem13_label27.yml	error	.738	prog	tests	861	inspect	890	900	420	11000	8.5	0	unknown	prog	tests	0	inspect		73.8	61.9	15	15	120		710	0
eca-rers2012/Problem13_label28.yml	error	.738	prog	tests	887	inspect	890	900	430	12000	160	0	true	prog	tests	1	inspect		73.8	61.9	16	16	120		710	0
eca-rers2012/Problem13_label29.yml	error	.736	prog	tests	896	inspect	890	900	430	13000	140	0	true	prog	tests	1	inspect		73.6	61.9	16	18	120		710	0
eca-rers2012/Problem13_label30.yml	error	.737	prog	tests	874	inspect	890	900	420	11000	51	0	true	prog	tests	1	inspect		73.7	61.9	15	15	120		740	0
eca-rers2012/Problem13_label31.yml	error	.737	prog	tests	923	inspect	890	900	430	13000	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		770	0
eca-rers2012/Problem13_label32.yml	error	.737	prog	tests	891	inspect	890	900	420	11000	190	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		710	0
eca-rers2012/Problem13_label33.yml	error	.737	prog	tests	907	inspect	890	900	420	11000	8.3	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		770	0
eca-rers2012/Problem13_label34.yml	error	.735	prog	tests	866	inspect	890	900	430	12000	8.1	0	unknown	prog	tests	0	inspect		73.5	61.9	16	16	120		700	0
eca-rers2012/Problem13_label35.yml	error	.737	prog	tests	904	inspect	890	900	420	11000	45	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		770	0
eca-rers2012/Problem13_label36.yml	error	.737	prog	tests	902	inspect	890	900	420	10000	310	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		760	0
eca-rers2012/Problem13_label37.yml	error	.737	prog	tests	895	inspect	890	900	440	13000	8.2	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		700	0
eca-rers2012/Problem13_label38.yml	error	.736	prog	tests	901	inspect	890	900	440	10000	8.0	0	unknown	prog	tests	0	inspect		73.6	61.9	16	16	120		720	0
eca-rers2012/Problem13_label39.yml	error	.738	prog	tests	930	inspect	890	900	430	11000	8.4	0	unknown	prog	tests	0	inspect		73.8	61.9	17	17	120		720	0
eca-rers2012/Problem13_label40.yml	error	.737	prog	tests	890	inspect	890	900	430	11000	650	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		710	0
eca-rers2012/Problem13_label41.yml	error	.737	prog	tests	877	inspect	890	900	440	10000	8.2	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		680	0
eca-rers2012/Problem13_label42.yml	error	.737	prog	tests	893	inspect	890	900	430	11000	8.0	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		750	0
eca-rers2012/Problem13_label43.yml	error	.736	prog	tests	853	inspect	890	900	410	12000	61	0	true	prog	tests	1	inspect		73.6	61.9	15	15	120		710	0
eca-rers2012/Problem13_label44.yml	error	.737	prog	tests	876	inspect	890	900	420	13000	55	0	true	prog	tests	1	inspect		73.7	61.9	15	15	120		740	0
eca-rers2012/Problem13_label45.yml	error	.737	prog	tests	907	inspect	890	900	420	10000	200	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		740	0
eca-rers2012/Problem13_label46.yml	error	.738	prog	tests	895	inspect	890	900	440	10000	8.2	0	unknown	prog	tests	0	inspect		73.8	61.9	16	17	120		700	0
eca-rers2012/Problem13_label47.yml	error	.738	prog	tests	864	inspect	890	900	420	12000	8.9	0	unknown	prog	tests	0	inspect		73.8	61.9	15	15	120		730	0
eca-rers2012/Problem13_label48.yml	error	.736	prog	tests	887	inspect	890	900	420	11000	500	0	true	prog	tests	1	inspect		73.6	61.9	16	16	120		730	0
eca-rers2012/Problem13_label49.yml	error	.737	prog	tests	881	inspect	890	900	430	11000	8.2	0	unknown	prog	tests	0	inspect		73.7	61.9	16	15	120		710	0
eca-rers2012/Problem13_label50.yml	error	.737	prog	tests	904	inspect	890	900	420	12000	9.0	0	unknown	prog	tests	0	inspect		73.7	61.9	17	18	120		770	0
eca-rers2012/Problem13_label51.yml	error	.737	prog	tests	900	inspect	890	900	430	8700	53	0	true	prog	tests	1	inspect		73.7	61.9	17	18	120		720	0
eca-rers2012/Problem13_label52.yml	error	.737	prog	tests	871	inspect	890	900	430	12000	8.9	0	unknown	prog	tests	0	inspect		73.7	61.9	15	15	120		740	0
eca-rers2012/Problem13_label53.yml	error	.737	prog	tests	836	inspect	890	900	420	12000	7.9	0	unknown	prog	tests	0	inspect		73.7	61.9	15	15	120		650	0
eca-rers2012/Problem13_label54.yml	error	.737	prog	tests	845	inspect	890	900	430	11000	65	0	true	prog	tests	1	inspect		73.7	61.9	15	15	120		670	0
eca-rers2012/Problem13_label55.yml	error	.737	prog	tests	907	inspect	890	900	430	9800	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	17	18	120		770	0
eca-rers2012/Problem13_label56.yml	error	.736	prog	tests	869	inspect	890	900	420	13000	8.9	0	unknown	prog	tests	0	inspect		73.6	61.9	16	18	120		710	0
eca-rers2012/Problem13_label57.yml	error	.737	prog	tests	873	inspect	890	900	430	11000	8.0	0	unknown	prog	tests	0	inspect		73.7	61.9	15	15	120		740	0
eca-rers2012/Problem13_label58.yml	error	.737	prog	tests	875	inspect	890	900	430	10000	60	0	true	prog	tests	1	inspect		73.7	61.9	16	16	120		680	0
eca-rers2012/Problem13_label59.yml	error	.737	prog	tests	882	inspect	890	900	430	12000	8.1	0	unknown	prog	tests	0	inspect		73.7	61.9	16	16	120		690	0
eca-rers2012/Problem15_label00.yml	error	.647	prog	tests	203	inspect	890	900	280	9800	130	0	true	prog	tests	1	inspect		64.7	60.8	2.0	1.9	64		52	0
eca-rers2012/Problem15_label01.yml	error	.654	prog	tests	210	inspect	890	900	290	12000	3.2	0	unknown	prog	tests	0	inspect		65.4	60.8	2.1	1.9	64		54	0
eca-rers2012/Problem15_label02.yml	error	.650	prog	tests	209	inspect	880	900	270	12000	140	0	true	prog	tests	1	inspect		65.0	60.8	2.1	2.3	64		54	0
eca-rers2012/Problem15_label03.yml	error	.648	prog	tests	200	inspect	890	900	270	12000	140	0	true	prog	tests	1	inspect		64.8	60.7	1.9	1.8	64		51	0
eca-rers2012/Problem15_label04.yml	error	.652	prog	tests	211	inspect	890	900	280	10000	3.0	0	unknown	prog	tests	0	inspect		65.2	60.6	2.0	1.9	64		55	0
eca-rers2012/Problem15_label05.yml	error	.648	prog	tests	207	inspect	890	900	270	11000	3.2	0	unknown	prog	tests	0	inspect		64.8	60.8	2.0	2.4	64		53	0
eca-rers2012/Problem15_label06.yml	error	.651	prog	tests	202	inspect	880	900	280	10000	3.2	0	unknown	prog	tests	0	inspect		65.1	60.6	2.0	2.5	64		52	0
eca-rers2012/Problem15_label07.yml	error	.655	prog	tests	218	inspect	890	900	280	14000	110	0	true	prog	tests	1	inspect		65.5	60.8	2.1	2.0	64		56	0
eca-rers2012/Problem15_label08.yml	error	.651	prog	tests	210	inspect	890	900	270	11000	3.0	0	unknown	prog	tests	0	inspect		65.1	60.7	2.2	2.1	64		53	0
eca-rers2012/Problem15_label09.yml	error	.645	prog	tests	218	inspect	890	900	280	9600	170	0	true	prog	tests	1	inspect		64.5	60.5	2.2	2.1	64		56	0
eca-rers2012/Problem15_label10.yml	error	.655	prog	tests	207	inspect	880	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		65.5	60.8	2.0	1.9	64		53	0
eca-rers2012/Problem15_label11.yml	error	.650	prog	tests	209	inspect	880	900	280	13000	3.1	0	unknown	prog	tests	0	inspect		65.0	60.8	2.0	1.9	63		54	0
eca-rers2012/Problem15_label12.yml	error	.647	prog	tests	206	inspect	880	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		64.8	60.8	1.9	1.8	64		53	0
eca-rers2012/Problem15_label13.yml	error	.647	prog	tests	196	inspect	890	900	270	11000	3.0	0	unknown	prog	tests	0	inspect		64.7	60.7	2.0	1.9	64		50	0
eca-rers2012/Problem15_label14.yml	error	.649	prog	tests	210	inspect	890	900	300	11000	180	0	true	prog	tests	1	inspect		64.9	60.6	2.1	2.0	64		54	0
eca-rers2012/Problem15_label15.yml	error	.654	prog	tests	203	inspect	890	900	290	11000	160	0	true	prog	tests	1	inspect		65.4	60.7	2.1	2.3	64		52	0
eca-rers2012/Problem15_label16.yml	error	.648	prog	tests	204	inspect	880	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		64.8	60.8	2.0	2.4	64		52	0
eca-rers2012/Problem15_label17.yml	error	.650	prog	tests	210	inspect	890	900	290	13000	3.2	0	unknown	prog	tests	0	inspect		65.0	60.8	2.0	1.9	64		54	0
eca-rers2012/Problem15_label19.yml	error	.652	prog	tests	212	inspect	880	900	270	11000	2.9	0	unknown	prog	tests	0	inspect		65.2	60.8	2.1	2.0	64		54	0
eca-rers2012/Problem15_label20.yml	error	.650	prog	tests	211	inspect	880	900	270	10000	3.1	0	unknown	prog	tests	0	inspect		65.0	60.7	2.1	2.3	64		54	0
eca-rers2012/Problem15_label21.yml	error	.646	prog	tests	203	inspect	890	900	270	11000	3.2	0	unknown	prog	tests	0	inspect		64.6	60.6	2.0	1.9	63		51	0
eca-rers2012/Problem15_label22.yml	error	.653	prog	tests	205	inspect	880	900	270	11000	62	0	true	prog	tests	1	inspect		65.3	60.8	2.0	2.0	64		52	0
eca-rers2012/Problem15_label23.yml	error	.652	prog	tests	218	inspect	880	900	280	11000	150	0	true	prog	tests	1	inspect		65.2	60.6	2.1	1.9	64		56	0
eca-rers2012/Problem15_label24.yml	error	.651	prog	tests	206	inspect	890	900	270	11000	3.1	0	unknown	prog	tests	0	inspect		65.1	60.8	1.9	1.8	64		53	0
eca-rers2012/Problem15_label25.yml	error	.651	prog	tests	203	inspect	890	900	290	13000	250	0	true	prog	tests	1	inspect		65.1	60.8	1.9	1.8	64		52	0
eca-rers2012/Problem15_label26.yml	error	.65	prog	tests	209	inspect	890	900	270	13000	3.0	0	unknown	prog	tests	0	inspect		65.0	60.8	1.9	1.8	64		54	0
eca-rers2012/Problem15_label27.yml	error	.652	prog	tests	203	inspect	890	900	280	11000	2.9	0	unknown	prog	tests	0	inspect		65.2	60.8	1.9	1.8	64		52	0
eca-rers2012/Problem15_label28.yml	error	.650	prog	tests	207	inspect	890	900	280	13000	3.0	0	unknown	prog	tests	0	inspect		65.0	60.8	1.9	1.8	64		53	0
eca-rers2012/Problem15_label29.yml	error	.646	prog	tests	202	inspect	890	900	270	13000	140	0	true	prog	tests	1	inspect		64.6	60.7	2.1	2.0	63		52	0
eca-rers2012/Problem15_label30.yml	error	.650	prog	tests	206	inspect	880	900	280	12000	81	0	true	prog	tests	1	inspect		65.0	60.8	2.1	2.0	64		53	0
eca-rers2012/Problem15_label31.yml	error	.654	prog	tests	213	inspect	880	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		65.4	60.7	2.0	1.9	64		55	0
eca-rers2012/Problem15_label32.yml	error	.658	prog	tests	204	inspect	880	900	270	11000	3.1	0	unknown	prog	tests	0	inspect		65.8	60.8	2.0	1.9	64		53	0
eca-rers2012/Problem15_label33.yml	error	.656	prog	tests	210	inspect	880	900	290	11000	160	0	true	prog	tests	1	inspect		65.6	60.8	2.0	1.9	64		54	0
eca-rers2012/Problem15_label34.yml	error	.650	prog	tests	216	inspect	880	900	270	11000	210	0	true	prog	tests	1	inspect		65.0	60.6	2.2	2.2	64		56	0
eca-rers2012/Problem15_label35.yml	error	.649	prog	tests	207	inspect	890	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		64.9	60.6	2.0	1.9	64		53	0
eca-rers2012/Problem15_label36.yml	error	.651	prog	tests	216	inspect	880	900	270	12000	3.1	0	unknown	prog	tests	0	inspect		65.1	60.8	2.0	1.9	64		56	0
eca-rers2012/Problem15_label37.yml	error	.652	prog	tests	206	inspect	890	900	280	13000	72	0	true	prog	tests	1	inspect		65.2	60.8	2.0	1.9	64		53	0
eca-rers2012/Problem15_label38.yml	error	.652	prog	tests	212	inspect	880	900	270	11000	300	0	true	prog	tests	1	inspect		65.2	60.8	2.1	2.0	64		55	0
eca-rers2012/Problem15_label39.yml	error	.648	prog	tests	205	inspect	890	900	280	14000	180	0	true	prog	tests	1	inspect		64.8	60.7	2.0	1.9	64		53	0
eca-rers2012/Problem15_label40.yml	error	.651	prog	tests	207	inspect	890	900	300	13000	86	0	true	prog	tests	1	inspect		65.1	60.6	2.1	2.0	64		53	0
eca-rers2012/Problem15_label41.yml	error	.650	prog	tests	214	inspect	890	900	280	13000	240	0	true	prog	tests	1	inspect		65.0	60.8	2.2	2.2	64		55	0
eca-rers2012/Problem15_label42.yml	error	.649	prog	tests	209	inspect	890	900	270	11000	3.2	0	unknown	prog	tests	0	inspect		64.9	60.6	2.0	2.1	64		54	0
eca-rers2012/Problem15_label43.yml	error	.646	prog	tests	213	inspect	880	900	270	10000	3.1	0	unknown	prog	tests	0	inspect		64.6	60.8	2.0	1.9	64		55	0
eca-rers2012/Problem15_label44.yml	error	.654	prog	tests	205	inspect	880	900	280	13000	3.3	0	unknown	prog	tests	0	inspect		65.4	60.8	2.0	2.1	64		53	0
eca-rers2012/Problem15_label45.yml	error	.645	prog	tests	202	inspect	890	900	270	12000	91	0	true	prog	tests	1	inspect		64.5	60.7	2.0	1.9	64		52	0
eca-rers2012/Problem15_label46.yml	error	.654	prog	tests	216	inspect	890	900	280	11000	3.1	0	unknown	prog	tests	0	inspect		65.4	60.6	2.1	2.2	64		56	0
eca-rers2012/Problem15_label47.yml	error	.647	prog	tests	206	inspect	890	900	280	10000	220	0	true	prog	tests	1	inspect		64.7	60.8	2.1	2.3	64		53	0
eca-rers2012/Problem15_label48.yml	error	.651	prog	tests	209	inspect	890	900	280	12000	120	0	true	prog	tests	1	inspect		65.1	60.8	2.0	2.0	64		54	0
eca-rers2012/Problem15_label49.yml	error	.653	prog	tests	209	inspect	890	900	270	10000	3.0	0	unknown	prog	tests	0	inspect		65.3	60.8	2.0	2.0	64		54	0
eca-rers2012/Problem15_label50.yml	error	.648	prog	tests	207	inspect	880	900	270	12000	160	0	true	prog	tests	1	inspect		64.8	60.8	2.1	2.1	64		53	0
eca-rers2012/Problem15_label51.yml	error	.650	prog	tests	214	inspect	890	900	290	12000	150	0	true	prog	tests	1	inspect		65.0	60.5	2.2	2.1	64		55	0
eca-rers2012/Problem15_label52.yml	error	.651	prog	tests	216	inspect	890	900	270	11000	3.2	0	unknown	prog	tests	0	inspect		65.1	60.6	2.0	1.9	64		56	0
eca-rers2012/Problem15_label53.yml	error	.651	prog	tests	210	inspect	890	900	270	10000	2.9	0	unknown	prog	tests	0	inspect		65.1	60.8	2.0	1.9	64		54	0
eca-rers2012/Problem15_label54.yml	error	.647	prog	tests	208	inspect	890	900	280	11000	3.0	0	unknown	prog	tests	0	inspect		64.7	60.7	2.0	1.9	64		54	0
eca-rers2012/Problem15_label55.yml	error	.656	prog	tests	207	inspect	890	900	270	12000	3.1	0	unknown	prog	tests	0	inspect		65.6	60.8	2.0	1.9	64		53	0
eca-rers2012/Problem15_label56.yml	error	.651	prog	tests	208	inspect	890	900	290	10000	2.9	0	unknown	prog	tests	0	inspect		65.1	60.8	2.0	2.0	64		54	0
eca-rers2012/Problem15_label57.yml	error	.652	prog	tests	206	inspect	890	900	270	11000	3.0	0	unknown	prog	tests	0	inspect		65.2	60.6	2.0	1.9	64		53	0
eca-rers2012/Problem15_label58.yml	error	.651	prog	tests	212	inspect	890	900	280	10000	3.0	0	unknown	prog	tests	0	inspect		65.1	60.8	2.0	1.9	64		55	0
eca-rers2012/Problem15_label59.yml	error	.649	prog	tests	211	inspect	890	900	270	11000	3.0	0	unknown	prog	tests	0	inspect		64.9	60.8	2.0	1.9	64		54	0
eca-rers2012/Problem16_label00.yml	error	.800	prog	tests	313	inspect	890	900	280	13000	19	0	true	prog	tests	1	inspect		80.0	97.2	2.8	3.1	52		74	0
eca-rers2012/Problem16_label01.yml	error	.799	prog	tests	314	inspect	880	900	270	11000	38	0	true	prog	tests	1	inspect		79.9	97.0	2.7	2.6	52		74	0
eca-rers2012/Problem16_label02.yml	error	.801	prog	tests	314	inspect	880	900	270	10000	3.4	0	unknown	prog	tests	0	inspect		80.1	97.0	2.8	2.7	52		74	0
eca-rers2012/Problem16_label03.yml	error	.804	prog	tests	322	inspect	890	900	270	13000	19	0	true	prog	tests	1	inspect		80.4	97.2	2.9	2.8	52		76	0
eca-rers2012/Problem16_label04.yml	error	.800	prog	tests	317	inspect	890	900	270	12000	56	0	true	prog	tests	1	inspect		80.0	97.0	2.7	2.5	52		75	0
eca-rers2012/Problem16_label05.yml	error	.797	prog	tests	321	inspect	890	900	260	12000	17	0	true	prog	tests	1	inspect		79.7	97.1	2.8	2.7	52		75	0
eca-rers2012/Problem16_label06.yml	error	.800	prog	tests	316	inspect	890	900	270	11000	16	0	true	prog	tests	1	inspect		80.0	97.0	2.8	2.7	52		74	0
eca-rers2012/Problem16_label07.yml	error	.803	prog	tests	321	inspect	880	900	270	13000	3.7	0	unknown	prog	tests	0	inspect		80.3	96.9	2.7	2.6	52		75	0
eca-rers2012/Problem16_label08.yml	error	.801	prog	tests	319	inspect	890	900	270	10000	25	0	true	prog	tests	1	inspect		80.1	97.0	2.9	2.8	52		75	0
eca-rers2012/Problem16_label09.yml	error	.807	prog	tests	303	inspect	880	900	260	12000	3.3	0	unknown	prog	tests	0	inspect		80.7	97.3	2.5	2.4	52		71	0
eca-rers2012/Problem16_label10.yml	error	.800	prog	tests	323	inspect	890	900	270	13000	3.4	0	unknown	prog	tests	0	inspect		80.0	96.9	2.7	2.6	52		76	0
eca-rers2012/Problem16_label11.yml	error	.796	prog	tests	325	inspect	890	900	260	11000	3.4	0	unknown	prog	tests	0	inspect		79.6	96.9	2.8	3.0	52		76	0
eca-rers2012/Problem16_label12.yml	error	.800	prog	tests	312	inspect	890	900	270	13000	3.2	0	unknown	prog	tests	0	inspect		80.0	96.9	2.7	2.6	52		73	0
eca-rers2012/Problem16_label13.yml	error	.801	prog	tests	310	inspect	880	900	280	11000	3.6	0	unknown	prog	tests	0	inspect		80.1	97.1	2.8	2.9	52		73	0
eca-rers2012/Problem16_label14.yml	error	.802	prog	tests	313	inspect	890	900	280	11000	14	0	true	prog	tests	1	inspect		80.2	97.2	2.6	2.5	52		73	0
eca-rers2012/Problem16_label15.yml	error	.804	prog	tests	318	inspect	890	900	280	11000	33	0	true	prog	tests	1	inspect		80.5	97.1	2.8	2.6	52		75	0
eca-rers2012/Problem16_label16.yml	error	.800	prog	tests	318	inspect	890	900	270	12000	3.6	0	unknown	prog	tests	0	inspect		80.0	97.1	2.8	2.6	52		75	0
eca-rers2012/Problem16_label17.yml	error	.802	prog	tests	322	inspect	890	900	260	13000	3.3	0	unknown	prog	tests	0	inspect		80.2	97.1	2.7	2.5	52		76	0
eca-rers2012/Problem16_label18.yml	error	.808	prog	tests	319	inspect	880	900	270	13000	18	0	true	prog	tests	1	inspect		80.8	96.9	2.8	2.8	52		75	0
eca-rers2012/Problem16_label19.yml	error	.802	prog	tests	310	inspect	890	900	270	11000	3.6	0	unknown	prog	tests	0	inspect		80.2	97.2	2.8	2.9	52		73	0
eca-rers2012/Problem16_label20.yml	error	.798	prog	tests	315	inspect	880	900	270	13000	23	0	true	prog	tests	1	inspect		79.8	96.7	2.9	2.7	52		74	0
eca-rers2012/Problem16_label21.yml	error	.801	prog	tests	317	inspect	890	900	270	12000	3.6	0	unknown	prog	tests	0	inspect		80.1	97.2	2.7	2.5	52		75	0
eca-rers2012/Problem16_label22.yml	error	.801	prog	tests	317	inspect	890	900	280	10000	16	0	true	prog	tests	1	inspect		80.1	96.9	2.7	2.5	52		75	0
eca-rers2012/Problem16_label23.yml	error	.803	prog	tests	327	inspect	890	900	270	11000	3.4	0	unknown	prog	tests	0	inspect		80.3	96.9	2.7	2.6	52		77	0
eca-rers2012/Problem16_label24.yml	error	.802	prog	tests	317	inspect	890	900	270	11000	3.6	0	unknown	prog	tests	0	inspect		80.2	97.2	2.8	3.0	52		75	0
eca-rers2012/Problem16_label25.yml	error	.803	prog	tests	312	inspect	880	900	270	12000	3.4	0	unknown	prog	tests	0	inspect		80.3	97.4	2.7	2.5	52		73	0
eca-rers2012/Problem16_label26.yml	error	.803	prog	tests	326	inspect	880	900	270	13000	3.2	0	unknown	prog	tests	0	inspect		80.3	97.1	2.7	2.6	52		77	0
eca-rers2012/Problem16_label27.yml	error	.802	prog	tests	324	inspect	890	900	270	11000	15	0	true	prog	tests	1	inspect		80.2	97.1	3.0	2.9	52		76	0
eca-rers2012/Problem16_label28.yml	error	.801	prog	tests	312	inspect	890	900	270	11000	3.5	0	unknown	prog	tests	0	inspect		80.1	97.2	2.7	2.6	52		73	0
eca-rers2012/Problem16_label29.yml	error	.800	prog	tests	316	inspect	890	900	270	11000	3.5	0	unknown	prog	tests	0	inspect		80.0	96.9	2.7	2.5	52		74	0
eca-rers2012/Problem16_label30.yml	error	.804	prog	tests	318	inspect	890	900	270	11000	17	0	true	prog	tests	1	inspect		80.4	97.1	2.9	2.7	52		75	0
eca-rers2012/Problem16_label31.yml	error	.806	prog	tests	322	inspect	890	900	270	10000	16	0	true	prog	tests	1	inspect		80.6	97.1	2.9	2.8	52		76	0
eca-rers2012/Problem16_label32.yml	error	.802	prog	tests	321	inspect	890	900	280	12000	3.6	0	unknown	prog	tests	0	inspect		80.2	97.2	2.9	2.7	52		75	0
eca-rers2012/Problem16_label33.yml	error	.801	prog	tests	324	inspect	890	900	260	13000	24	0	true	prog	tests	1	inspect		80.1	97.3	2.9	2.7	52		76	0
eca-rers2012/Problem16_label34.yml	error	.805	prog	tests	312	inspect	880	900	270	10000	3.3	0	unknown	prog	tests	0	inspect		80.5	97.2	2.8	3.0	52		74	0
eca-rers2012/Problem16_label35.yml	error	.801	prog	tests	317	inspect	880	900	270	10000	3.8	0	unknown	prog	tests	0	inspect		80.1	97.0	2.8	2.6	52		75	0
eca-rers2012/Problem16_label36.yml	error	.804	prog	tests	314	inspect	890	900	270	10000	3.1	0	unknown	prog	tests	0	inspect		80.5	97.0	2.7	2.6	52		74	0
eca-rers2012/Problem16_label37.yml	error	.805	prog	tests	314	inspect	880	900	280	14000	28	0	true	prog	tests	1	inspect		80.5	97.1	2.9	3.2	52		74	0
eca-rers2012/Problem16_label38.yml	error	.801	prog	tests	314	inspect	890	900	280	11000	22	0	true	prog	tests	1	inspect		80.1	97.0	2.7	2.5	52		74	0
eca-rers2012/Problem16_label39.yml	error	.800	prog	tests	310	inspect	880	900	270	10000	3.4	0	unknown	prog	tests	0	inspect		80.0	96.9	2.7	2.6	52		73	0
eca-rers2012/Problem16_label40.yml	error	.800	prog	tests	315	inspect	890	900	280	12000	3.5	0	unknown	prog	tests	0	inspect		80.0	97.1	2.9	2.9	51		74	0
eca-rers2012/Problem16_label41.yml	error	.800	prog	tests	328	inspect	880	900	280	10000	54	0	true	prog	tests	1	inspect		80.0	96.9	2.8	2.6	52		77	0
eca-rers2012/Problem16_label42.yml	error	.800	prog	tests	317	inspect	890	900	270	11000	3.3	0	unknown	prog	tests	0	inspect		80.0	97.0	2.8	2.6	52		74	0
eca-rers2012/Problem16_label43.yml	error	.800	prog	tests	312	inspect	890	900	260	11000	20	0	true	prog	tests	1	inspect		80.0	97.2	2.8	3.1	52		73	0
eca-rers2012/Problem16_label44.yml	error	.799	prog	tests	322	inspect	890	900	270	11000	43	0	true	prog	tests	1	inspect		79.9	97.2	2.9	2.7	52		75	0
eca-rers2012/Problem16_label45.yml	error	.801	prog	tests	330	inspect	890	900	270	12000	3.6	0	unknown	prog	tests	0	inspect		80.1	97.2	2.8	2.9	52		78	0
eca-rers2012/Problem16_label46.yml	error	.799	prog	tests	315	inspect	880	900	270	11000	19	0	true	prog	tests	1	inspect		79.9	97.1	2.9	2.7	52		74	0
eca-rers2012/Problem16_label47.yml	error	.802	prog	tests	320	inspect	890	900	280	13000	3.4	0	unknown	prog	tests	0	inspect		80.2	97.2	2.8	2.7	52		75	0
eca-rers2012/Problem16_label48.yml	error	.799	prog	tests	318	inspect	890	900	280	11000	3.5	0	unknown	prog	tests	0	inspect		79.9	97.0	2.7	2.5	52		75	0
eca-rers2012/Problem16_label49.yml	error	.800	prog	tests	324	inspect	890	900	260	11000	3.5	0	unknown	prog	tests	0	inspect		80.0	97.0	2.9	2.7	52		76	0
eca-rers2012/Problem16_label50.yml	error	.798	prog	tests	317	inspect	880	900	280	11000	3.3	0	unknown	prog	tests	0	inspect		79.8	96.8	2.8	2.7	52		74	0
eca-rers2012/Problem16_label51.yml	error	.798	prog	tests	331	inspect	890	900	260	13000	28	0	true	prog	tests	1	inspect		79.8	96.9	2.8	2.6	52		78	0
eca-rers2012/Problem16_label52.yml	error	.804	prog	tests	321	inspect	890	900	270	13000	57	0	true	prog	tests	1	inspect		80.4	97.3	2.8	2.6	52		75	0
eca-rers2012/Problem16_label53.yml	error	.805	prog	tests	305	inspect	890	900	280	12000	3.4	0	unknown	prog	tests	0	inspect		80.5	97.3	2.6	2.4	52		72	0
eca-rers2012/Problem16_label54.yml	error	.801	prog	tests	303	inspect	890	900	260	10000	34	0	true	prog	tests	1	inspect		80.1	96.9	2.8	2.7	52		71	0
eca-rers2012/Problem16_label55.yml	error	.801	prog	tests	333	inspect	890	900	280	12000	3.7	0	unknown	prog	tests	0	inspect		80.1	97.1	2.9	3.2	52		78	0
eca-rers2012/Problem16_label56.yml	error	.802	prog	tests	323	inspect	890	900	270	10000	3.3	0	unknown	prog	tests	0	inspect		80.2	97.2	2.8	2.7	52		76	0
eca-rers2012/Problem16_label57.yml	error	.800	prog	tests	309	inspect	890	900	260	13000	3.7	0	unknown	prog	tests	0	inspect		80.0	97.0	2.8	2.6	52		73	0
eca-rers2012/Problem16_label58.yml	error	.802	prog	tests	318	inspect	880	900	280	12000	3.4	0	unknown	prog	tests	0	inspect		80.2	97.1	2.7	2.5	52		75	0
eca-rers2012/Problem16_label59.yml	error	.802	prog	tests	319	inspect	890	900	270	13000	3.5	0	unknown	prog	tests	0	inspect		80.2	96.9	2.7	2.6	52		75	0
eca-rers2012/Problem17_label00.yml	error	.689	prog	tests	367	inspect	890	900	310	10000	4.5	0	unknown	prog	tests	0	inspect		68.9	61.4	4.4	4.2	80		150	0
eca-rers2012/Problem17_label01.yml	error	.691	prog	tests	376	inspect	890	900	300	14000	4.6	0	unknown	prog	tests	0	inspect		69.1	61.4	4.3	4.1	81		150	0
eca-rers2012/Problem17_label02.yml	error	.691	prog	tests	369	inspect	890	900	310	12000	4.5	0	unknown	prog	tests	0	inspect		69.1	61.4	4.2	4.0	81		150	0
eca-rers2012/Problem17_label03.yml	error	.693	prog	tests	378	inspect	890	900	310	12000	4.6	0	unknown	prog	tests	0	inspect		69.3	61.4	4.4	4.3	81		150	0
eca-rers2012/Problem17_label04.yml	error	.689	prog	tests	380	inspect	890	900	310	9800	61	0	true	prog	tests	1	inspect		68.9	61.3	4.3	4.1	81		150	0
eca-rers2012/Problem17_label05.yml	error	.692	prog	tests	377	inspect	890	900	310	11000	4.5	0	unknown	prog	tests	0	inspect		69.2	61.3	4.5	4.8	81		150	0
eca-rers2012/Problem17_label06.yml	error	.689	prog	tests	371	inspect	890	900	320	11000	4.7	0	unknown	prog	tests	0	inspect		68.9	61.4	4.2	4.0	81		150	0
eca-rers2012/Problem17_label07.yml	error	.691	prog	tests	384	inspect	890	900	310	12000	140	0	true	prog	tests	1	inspect		69.1	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label08.yml	error	.69	prog	tests	371	inspect	880	900	310	11000	4.3	0	unknown	prog	tests	0	inspect		69.0	61.3	4.3	4.1	81		150	0
eca-rers2012/Problem17_label09.yml	error	.688	prog	tests	380	inspect	890	900	320	11000	110	0	true	prog	tests	1	inspect		68.8	61.3	4.6	4.7	81		150	0
eca-rers2012/Problem17_label10.yml	error	.690	prog	tests	381	inspect	890	900	310	11000	4.7	0	unknown	prog	tests	0	inspect		69.0	61.4	4.5	5.4	81		150	0
eca-rers2012/Problem17_label11.yml	error	.691	prog	tests	392	inspect	890	900	320	9700	4.8	0	unknown	prog	tests	0	inspect		69.1	61.3	4.9	5.3	81		160	0
eca-rers2012/Problem17_label12.yml	error	.690	prog	tests	374	inspect	890	900	300	12000	4.6	0	unknown	prog	tests	0	inspect		69.0	61.3	4.4	4.2	81		150	0
eca-rers2012/Problem17_label13.yml	error	.692	prog	tests	374	inspect	890	900	310	13000	210	0	true	prog	tests	1	inspect		69.2	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label14.yml	error	.686	prog	tests	374	inspect	880	900	310	11000	4.5	0	unknown	prog	tests	0	inspect		68.6	61.3	5.3	5.2	81		150	0
eca-rers2012/Problem17_label15.yml	error	.688	prog	tests	384	inspect	890	900	320	11000	4.7	0	unknown	prog	tests	0	inspect		68.8	61.4	4.3	4.1	81		150	0
eca-rers2012/Problem17_label16.yml	error	.687	prog	tests	371	inspect	890	900	320	11000	270	0	true	prog	tests	1	inspect		68.7	61.2	4.4	4.4	81		150	0
eca-rers2012/Problem17_label17.yml	error	.69	prog	tests	391	inspect	890	900	310	10000	4.8	0	unknown	prog	tests	0	inspect		69.0	61.4	4.6	4.4	81		160	0
eca-rers2012/Problem17_label18.yml	error	.688	prog	tests	361	inspect	890	900	320	11000	4.7	0	unknown	prog	tests	0	inspect		68.8	61.2	4.3	4.1	81		150	0
eca-rers2012/Problem17_label19.yml	error	.691	prog	tests	368	inspect	890	900	310	9800	4.4	0	unknown	prog	tests	0	inspect		69.1	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label20.yml	error	.691	prog	tests	381	inspect	890	900	320	11000	200	0	true	prog	tests	1	inspect		69.1	61.4	4.5	4.3	81		150	0
eca-rers2012/Problem17_label21.yml	error	.687	prog	tests	376	inspect	890	900	300	12000	4.4	0	unknown	prog	tests	0	inspect		68.7	61.3	4.4	4.2	81		150	0
eca-rers2012/Problem17_label22.yml	error	.691	prog	tests	372	inspect	890	900	310	11000	4.6	0	unknown	prog	tests	0	inspect		69.1	61.3	4.5	4.6	81		150	0
eca-rers2012/Problem17_label23.yml	error	.687	prog	tests	387	inspect	890	900	300	11000	72	0	true	prog	tests	1	inspect		68.7	61.2	4.8	4.9	81		160	0
eca-rers2012/Problem17_label24.yml	error	.690	prog	tests	361	inspect	890	900	320	10000	4.6	0	unknown	prog	tests	0	inspect		69.0	61.4	4.2	4.3	81		150	0
eca-rers2012/Problem17_label25.yml	error	.688	prog	tests	384	inspect	890	900	300	11000	320	0	true	prog	tests	1	inspect		68.8	61.2	4.5	4.4	81		150	0
eca-rers2012/Problem17_label26.yml	error	.689	prog	tests	376	inspect	890	900	310	12000	170	0	true	prog	tests	1	inspect		68.9	61.2	4.5	4.3	81		150	0
eca-rers2012/Problem17_label27.yml	error	.687	prog	tests	386	inspect	890	900	310	10000	4.7	0	unknown	prog	tests	0	inspect		68.7	61.3	4.3	4.1	81		150	0
eca-rers2012/Problem17_label28.yml	error	.690	prog	tests	370	inspect	890	900	300	13000	4.5	0	unknown	prog	tests	0	inspect		69.0	61.3	4.2	4.0	81		150	0
eca-rers2012/Problem17_label29.yml	error	.691	prog	tests	369	inspect	890	900	310	11000	4.5	0	unknown	prog	tests	0	inspect		69.1	61.4	4.4	4.7	81		150	0
eca-rers2012/Problem17_label30.yml	error	.689	prog	tests	386	inspect	890	900	300	12000	220	0	true	prog	tests	1	inspect		68.9	61.3	4.6	5.1	81		150	0
eca-rers2012/Problem17_label31.yml	error	.690	prog	tests	381	inspect	890	900	310	10000	140	0	true	prog	tests	1	inspect		69.0	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label32.yml	error	.691	prog	tests	386	inspect	890	900	310	13000	4.6	0	unknown	prog	tests	0	inspect		69.1	61.4	4.5	4.4	81		160	0
eca-rers2012/Problem17_label33.yml	error	.694	prog	tests	376	inspect	890	900	300	11000	54	0	true	prog	tests	1	inspect		69.4	61.5	4.5	5.2	81		150	0
eca-rers2012/Problem17_label34.yml	error	.688	prog	tests	362	inspect	890	900	310	12000	65	0	true	prog	tests	1	inspect		68.8	61.4	4.5	4.9	81		150	0
eca-rers2012/Problem17_label35.yml	error	.690	prog	tests	378	inspect	890	900	310	12000	140	0	true	prog	tests	1	inspect		69.0	61.3	4.5	4.4	81		150	0
eca-rers2012/Problem17_label36.yml	error	.689	prog	tests	377	inspect	890	900	320	10000	4.7	0	unknown	prog	tests	0	inspect		68.9	61.4	4.3	4.5	81		150	0
eca-rers2012/Problem17_label37.yml	error	.691	prog	tests	373	inspect	890	900	300	13000	69	0	true	prog	tests	1	inspect		69.1	61.5	4.4	4.6	81		150	0
eca-rers2012/Problem17_label38.yml	error	.687	prog	tests	373	inspect	890	900	310	11000	4.6	0	unknown	prog	tests	0	inspect		68.7	61.3	4.3	4.1	81		150	0
eca-rers2012/Problem17_label39.yml	error	.690	prog	tests	363	inspect	890	900	320	11000	4.5	0	unknown	prog	tests	0	inspect		69.0	61.4	4.5	4.7	81		150	0
eca-rers2012/Problem17_label40.yml	error	.691	prog	tests	384	inspect	890	900	320	14000	260	0	true	prog	tests	1	inspect		69.1	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label41.yml	error	.691	prog	tests	382	inspect	890	900	310	10000	4.5	0	unknown	prog	tests	0	inspect		69.1	61.3	4.5	4.7	81		150	0
eca-rers2012/Problem17_label42.yml	error	.692	prog	tests	366	inspect	890	900	300	10000	4.6	0	unknown	prog	tests	0	inspect		69.2	61.4	4.1	3.9	81		150	0
eca-rers2012/Problem17_label43.yml	error	.690	prog	tests	386	inspect	890	900	310	14000	4.7	0	unknown	prog	tests	0	inspect		69.0	61.3	4.6	4.5	81		150	0
eca-rers2012/Problem17_label44.yml	error	.687	prog	tests	375	inspect	890	900	320	11000	4.7	0	unknown	prog	tests	0	inspect		68.7	61.3	4.3	4.1	81		150	0
eca-rers2012/Problem17_label45.yml	error	.690	prog	tests	376	inspect	890	900	310	11000	4.6	0	unknown	prog	tests	0	inspect		69.0	61.4	4.4	4.4	81		150	0
eca-rers2012/Problem17_label46.yml	error	.692	prog	tests	381	inspect	890	900	320	11000	90	0	true	prog	tests	1	inspect		69.2	61.4	4.4	4.3	81		150	0
eca-rers2012/Problem17_label47.yml	error	.690	prog	tests	389	inspect	890	900	300	9800	4.6	0	unknown	prog	tests	0	inspect		69.0	61.3	4.5	4.8	81		160	0
eca-rers2012/Problem17_label48.yml	error	.692	prog	tests	388	inspect	890	900	310	11000	4.6	0	unknown	prog	tests	0	inspect		69.2	61.3	4.4	4.2	81		150	0
eca-rers2012/Problem17_label49.yml	error	.690	prog	tests	373	inspect	890	900	330	11000	68	0	true	prog	tests	1	inspect		69.0	61.5	4.3	4.1	81		150	0
eca-rers2012/Problem17_label50.yml	error	.690	prog	tests	374	inspect	890	900	300	11000	140	0	true	prog	tests	1	inspect		69.0	61.4	4.5	4.4	81		150	0
eca-rers2012/Problem17_label51.yml	error	.687	prog	tests	385	inspect	890	900	300	13000	4.7	0	unknown	prog	tests	0	inspect		68.7	61.3	4.4	4.3	81		150	0
eca-rers2012/Problem17_label52.yml	error	.688	prog	tests	383	inspect	890	900	310	11000	90	0	true	prog	tests	1	inspect		68.8	61.4	4.4	4.2	81		150	0
eca-rers2012/Problem17_label53.yml	error	.690	prog	tests	372	inspect	890	900	310	10000	180	0	true	prog	tests	1	inspect		69.0	61.5	4.5	4.3	81		150	0
eca-rers2012/Problem17_label54.yml	error	.690	prog	tests	391	inspect	890	900	310	11000	110	0	true	prog	tests	1	inspect		69.0	61.4	4.5	4.3	81		160	0
eca-rers2012/Problem17_label55.yml	error	.689	prog	tests	374	inspect	890	900	320	11000	85	0	true	prog	tests	1	inspect		68.9	61.5	4.3	4.2	81		150	0
eca-rers2012/Problem17_label56.yml	error	.691	prog	tests	386	inspect	890	900	310	10000	4.7	0	unknown	prog	tests	0	inspect		69.1	61.4	4.3	4.2	81		160	0
eca-rers2012/Problem17_label57.yml	error	.689	prog	tests	389	inspect	890	900	310	12000	69	0	true	prog	tests	1	inspect		68.9	61.2	4.8	4.7	81		160	0
eca-rers2012/Problem17_label58.yml	error	.691	prog	tests	384	inspect	890	900	330	11000	4.4	0	unknown	prog	tests	0	inspect		69.1	61.4	4.5	4.3	81		150	0
eca-rers2012/Problem17_label59.yml	error	.687	prog	tests	392	inspect	890	900	320	12000	4.5	0	unknown	prog	tests	0	inspect		68.7	61.3	4.7	5.2	81		160	0
eca-rers2012/Problem18_label00.yml	error	.907	prog	tests	768	inspect	890	900	310	12000	11	0	true	prog	tests	1	inspect		90.7	98.7	9.9	9.6	76		370	0
eca-rers2012/Problem18_label01.yml	error	.910	prog	tests	835	inspect	890	900	320	11000	16	0	true	prog	tests	1	inspect		91.0	98.8	11	10	76		410	0
eca-rers2012/Problem18_label02.yml	error	.909	prog	tests	770	inspect	890	900	320	11000	6.5	0	unknown	prog	tests	0	inspect		90.9	98.8	9.9	11	76		370	0
eca-rers2012/Problem18_label03.yml	error	.910	prog	tests	844	inspect	890	900	320	9800	27	0	true	prog	tests	1	inspect		91.0	98.9	11	11	76		410	0
eca-rers2012/Problem18_label04.yml	error	.909	prog	tests	826	inspect	890	900	310	12000	6.7	0	unknown	prog	tests	0	inspect		90.9	98.8	11	11	76		400	0
eca-rers2012/Problem18_label05.yml	error	.907	prog	tests	793	inspect	890	900	310	13000	6.5	0	unknown	prog	tests	0	inspect		90.7	98.8	10	10	76		380	0
eca-rers2012/Problem18_label06.yml	error	.908	prog	tests	811	inspect	890	900	320	11000	16	0	true	prog	tests	1	inspect		90.8	98.9	11	11	76		390	0
eca-rers2012/Problem18_label07.yml	error	.910	prog	tests	819	inspect	890	900	310	12000	6.5	0	unknown	prog	tests	0	inspect		91.0	98.9	11	11	76		400	0
eca-rers2012/Problem18_label08.yml	error	.908	prog	tests	784	inspect	890	900	310	12000	29	0	true	prog	tests	1	inspect		90.8	98.8	9.7	9.4	76		380	0
eca-rers2012/Problem18_label09.yml	error	.908	prog	tests	758	inspect	890	900	320	11000	15	0	true	prog	tests	1	inspect		90.8	98.9	9.4	9.1	76		370	0
eca-rers2012/Problem18_label10.yml	error	.909	prog	tests	830	inspect	890	900	310	11000	17	0	true	prog	tests	1	inspect		90.9	98.8	11	11	76		400	0
eca-rers2012/Problem18_label11.yml	error	.909	prog	tests	867	inspect	890	900	310	13000	6.7	0	unknown	prog	tests	0	inspect		90.9	98.8	11	10	76		420	0
eca-rers2012/Problem18_label12.yml	error	.910	prog	tests	841	inspect	890	900	310	12000	14	0	true	prog	tests	1	inspect		91.0	98.9	11	12	76		410	0
eca-rers2012/Problem18_label13.yml	error	.910	prog	tests	796	inspect	890	900	320	11000	6.5	0	unknown	prog	tests	0	inspect		91.0	98.8	10	10	76		390	0
eca-rers2012/Problem18_label14.yml	error	.910	prog	tests	853	inspect	890	900	310	11000	6.7	0	unknown	prog	tests	0	inspect		91.0	98.9	11	10	76		410	0
eca-rers2012/Problem18_label15.yml	error	.908	prog	tests	813	inspect	890	900	310	11000	6.7	0	unknown	prog	tests	0	inspect		90.8	98.7	10	9.7	76		390	0
eca-rers2012/Problem18_label16.yml	error	.909	prog	tests	803	inspect	890	900	320	14000	6.6	0	unknown	prog	tests	0	inspect		90.9	98.8	10	10	76		390	0
eca-rers2012/Problem18_label17.yml	error	.910	prog	tests	811	inspect	890	900	310	9700	6.6	0	unknown	prog	tests	0	inspect		91.0	98.9	10	10	76		390	0
eca-rers2012/Problem18_label18.yml	error	.912	prog	tests	841	inspect	890	900	310	11000	6.8	0	unknown	prog	tests	0	inspect		91.2	98.9	11	11	76		410	0
eca-rers2012/Problem18_label19.yml	error	.910	prog	tests	807	inspect	890	900	310	11000	25	0	true	prog	tests	1	inspect		91.0	98.8	10	9.9	76		390	0
eca-rers2012/Problem18_label20.yml	error	.909	prog	tests	810	inspect	890	900	300	11000	16	0	true	prog	tests	1	inspect		90.9	98.8	10	9.8	76		390	0
eca-rers2012/Problem18_label21.yml	error	.911	prog	tests	798	inspect	890	900	310	11000	6.2	0	unknown	prog	tests	0	inspect		91.1	98.9	10	10	76		390	0
eca-rers2012/Problem18_label22.yml	error	.908	prog	tests	764	inspect	890	900	310	11000	6.5	0	unknown	prog	tests	0	inspect		90.8	98.8	9.8	9.5	76		370	0
eca-rers2012/Problem18_label23.yml	error	.909	prog	tests	754	inspect	890	900	320	12000	6.4	0	unknown	prog	tests	0	inspect		90.9	98.9	9.3	8.9	76		370	0
eca-rers2012/Problem18_label24.yml	error	.911	prog	tests	831	inspect	890	900	310	11000	6.6	0	unknown	prog	tests	0	inspect		91.1	98.8	10	9.9	76		400	0
eca-rers2012/Problem18_label25.yml	error	.908	prog	tests	819	inspect	890	900	310	13000	17	0	true	prog	tests	1	inspect		90.8	98.8	11	13	76		400	0
eca-rers2012/Problem18_label26.yml	error	.910	prog	tests	834	inspect	890	900	320	11000	6.8	0	unknown	prog	tests	0	inspect		91.0	98.9	11	10	76		410	0
eca-rers2012/Problem18_label27.yml	error	.910	prog	tests	838	inspect	890	900	320	13000	21	0	true	prog	tests	1	inspect		91.0	98.9	10	10	76		410	0
eca-rers2012/Problem18_label28.yml	error	.910	prog	tests	802	inspect	890	900	310	11000	6.6	0	unknown	prog	tests	0	inspect		91.0	98.8	10	9.8	76		390	0
eca-rers2012/Problem18_label29.yml	error	.909	prog	tests	865	inspect	890	900	310	14000	6.8	0	unknown	prog	tests	0	inspect		90.9	98.8	11	11	76		420	0
eca-rers2012/Problem18_label30.yml	error	.907	prog	tests	827	inspect	890	900	310	11000	6.5	0	unknown	prog	tests	0	inspect		90.8	98.8	10	9.8	76		400	0
eca-rers2012/Problem18_label31.yml	error	.906	prog	tests	840	inspect	890	900	320	10000	16	0	true	prog	tests	1	inspect		90.6	98.7	11	12	76		410	0
eca-rers2012/Problem18_label32.yml	error	.908	prog	tests	812	inspect	890	900	310	12000	15	0	true	prog	tests	1	inspect		90.8	98.8	11	11	76		390	0
eca-rers2012/Problem18_label33.yml	error	.911	prog	tests	846	inspect	890	900	310	11000	18	0	true	prog	tests	1	inspect		91.1	98.9	11	11	76		410	0
eca-rers2012/Problem18_label34.yml	error	.909	prog	tests	825	inspect	890	900	310	11000	19	0	true	prog	tests	1	inspect		90.9	98.7	10	10	76		400	0
eca-rers2012/Problem18_label35.yml	error	.909	prog	tests	782	inspect	890	900	320	10000	22	0	true	prog	tests	1	inspect		90.9	98.9	10	11	76		380	0
eca-rers2012/Problem18_label36.yml	error	.910	prog	tests	831	inspect	890	900	300	10000	21	0	true	prog	tests	1	inspect		91.0	98.9	10	10	76		400	0
eca-rers2012/Problem18_label37.yml	error	.908	prog	tests	829	inspect	890	900	310	13000	6.7	0	unknown	prog	tests	0	inspect		90.8	98.8	11	11	76		400	0
eca-rers2012/Problem18_label38.yml	error	.910	prog	tests	809	inspect	890	900	330	9700	15	0	true	prog	tests	1	inspect		91.0	98.9	10	9.6	76		390	0
eca-rers2012/Problem18_label39.yml	error	.907	prog	tests	746	inspect	890	900	300	10000	23	0	true	prog	tests	1	inspect		90.7	98.8	9.8	9.6	76		360	0
eca-rers2012/Problem18_label40.yml	error	.909	prog	tests	827	inspect	890	900	310	12000	6.7	0	unknown	prog	tests	0	inspect		90.9	98.8	10	10	76		400	0
eca-rers2012/Problem18_label41.yml	error	.911	prog	tests	790	inspect	890	900	310	12000	6.4	0	unknown	prog	tests	0	inspect		91.1	98.9	9.7	9.4	76		380	0
eca-rers2012/Problem18_label42.yml	error	.910	prog	tests	847	inspect	890	900	320	10000	6.8	0	unknown	prog	tests	0	inspect		91.0	98.9	11	11	76		410	0
eca-rers2012/Problem18_label43.yml	error	.909	prog	tests	812	inspect	890	900	320	11000	6.5	0	unknown	prog	tests	0	inspect		90.9	98.8	10	11	76		390	0
eca-rers2012/Problem18_label44.yml	error	.910	prog	tests	804	inspect	890	900	320	13000	6.5	0	unknown	prog	tests	0	inspect		91.0	98.8	10	11	76		390	0
eca-rers2012/Problem18_label45.yml	error	.909	prog	tests	819	inspect	890	900	340	13000	15	0	true	prog	tests	1	inspect		90.9	98.9	11	13	76		400	0
eca-rers2012/Problem18_label46.yml	error	.910	prog	tests	834	inspect	890	900	320	11000	6.6	0	unknown	prog	tests	0	inspect		91.0	98.9	11	11	76		410	0
eca-rers2012/Problem18_label47.yml	error	.907	prog	tests	798	inspect	890	900	320	11000	6.5	0	unknown	prog	tests	0	inspect		90.7	98.8	10	11	76		390	0
eca-rers2012/Problem18_label48.yml	error	.908	prog	tests	826	inspect	890	900	310	13000	6.7	0	unknown	prog	tests	0	inspect		90.8	98.8	11	11	76		400	0
eca-rers2012/Problem18_label49.yml	error	.909	prog	tests	807	inspect	890	900	310	12000	20	0	true	prog	tests	1	inspect		90.9	98.9	10	12	76		390	0
eca-rers2012/Problem18_label50.yml	error	.908	prog	tests	834	inspect	890	900	310	11000	6.5	0	unknown	prog	tests	0	inspect		90.8	98.8	11	10	76		410	0
eca-rers2012/Problem18_label51.yml	error	.909	prog	tests	834	inspect	890	900	300	11000	6.5	0	unknown	prog	tests	0	inspect		90.9	98.9	10	9.9	76		410	0
eca-rers2012/Problem18_label52.yml	error	.908	prog	tests	740	inspect	890	900	300	12000	15	0	true	prog	tests	1	inspect		90.8	98.9	10	12	76		360	0
eca-rers2012/Problem18_label53.yml	error	.910	prog	tests	833	inspect	890	900	310	14000	6.6	0	unknown	prog	tests	0	inspect		91.0	98.9	10	9.9	76		400	0
eca-rers2012/Problem18_label54.yml	error	.908	prog	tests	748	inspect	890	900	310	12000	6.1	0	unknown	prog	tests	0	inspect		90.8	98.8	9.5	9.2	76		360	0
eca-rers2012/Problem18_label55.yml	error	.908	prog	tests	854	inspect	890	900	320	14000	15	0	true	prog	tests	1	inspect		90.8	98.8	11	11	76		410	0
eca-rers2012/Problem18_label56.yml	error	.907	prog	tests	773	inspect	890	900	320	11000	6.5	0	unknown	prog	tests	0	inspect		90.7	98.8	9.8	9.5	76		370	0
eca-rers2012/Problem18_label57.yml	error	.908	prog	tests	803	inspect	890	900	310	13000	17	0	true	prog	tests	1	inspect		90.8	98.9	11	11	76		390	0
eca-rers2012/Problem18_label58.yml	error	.910	prog	tests	813	inspect	890	900	310	11000	6.5	0	unknown	prog	tests	0	inspect		91.0	98.8	11	12	76		390	0
eca-rers2012/Problem18_label59.yml	error	.908	prog	tests	829	inspect	890	900	320	11000	6.7	0	unknown	prog	tests	0	inspect		90.8	98.8	11	11	76		400	0
eca-rers2012/Problem19_label00.yml	error	.695	prog	tests	899	inspect	890	900	460	10000	11	0	unknown	prog	tests	0	inspect		69.5	58.3	23	22	160		1400	0
eca-rers2012/Problem19_label01.yml	error	.694	prog	tests	924	inspect	890	900	460	10000	10	0	unknown	prog	tests	0	inspect		69.4	58.3	23	22	160		1500	0
eca-rers2012/Problem19_label02.yml	error	.695	prog	tests	928	inspect	890	900	460	12000	11	0	unknown	prog	tests	0	inspect		69.5	58.3	23	24	160		1300	0
eca-rers2012/Problem19_label03.yml	error	.694	prog	tests	908	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		69.4	58.3	22	22	160		1500	0
eca-rers2012/Problem19_label04.yml	error	.693	prog	tests	878	inspect	890	900	460	11000	10	0	unknown	prog	tests	0	inspect		69.3	58.3	22	22	160		1400	0
eca-rers2012/Problem19_label05.yml	error	.695	prog	tests	938	inspect	890	900	460	11000	9.2	0	unknown	prog	tests	0	inspect		69.5	58.4	24	24	160		1300	0
eca-rers2012/Problem19_label06.yml	error	.695	prog	tests	891	inspect	890	900	460	10000	10	0	unknown	prog	tests	0	inspect		69.5	58.3	23	23	160		1300	0
eca-rers2012/Problem19_label07.yml	error	.694	prog	tests	926	inspect	890	900	450	13000	12	0	unknown	prog	tests	0	inspect		69.4	58.3	24	23	160		1400	0
eca-rers2012/Problem19_label08.yml	error	.693	prog	tests	965	inspect	890	900	460	10000	11	0	unknown	prog	tests	0	inspect		69.3	58.3	24	25	160		1700	0
eca-rers2012/Problem19_label09.yml	error	.694	prog	tests	950	inspect	890	900	460	11000	13	0	unknown	prog	tests	0	inspect		69.4	58.4	24	23	160		1300	0
eca-rers2012/Problem19_label10.yml	error	.695	prog	tests	897	inspect	890	900	470	11000	17	0	true	prog	tests	1	inspect		69.5	58.3	23	23	160		1300	0
eca-rers2012/Problem19_label11.yml	error	.693	prog	tests	916	inspect	890	900	460	12000	22	0	true	prog	tests	1	inspect		69.3	58.3	23	24	160		1600	0
eca-rers2012/Problem19_label12.yml	error	.694	prog	tests	930	inspect	890	900	460	13000	11	0	unknown	prog	tests	0	inspect		69.4	58.4	23	23	160		1400	0
eca-rers2012/Problem19_label13.yml	error	.694	prog	tests	915	inspect	890	900	450	11000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	22	160		1500	0
eca-rers2012/Problem19_label14.yml	error	.693	prog	tests	880	inspect	890	900	460	12000	18	0	true	prog	tests	1	inspect		69.3	58.3	22	23	160		1200	0
eca-rers2012/Problem19_label15.yml	error	.694	prog	tests	877	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		69.4	58.3	21	21	160		1500	0
eca-rers2012/Problem19_label16.yml	error	.693	prog	tests	923	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		69.3	58.3	22	22	160		1600	0
eca-rers2012/Problem19_label17.yml	error	.695	prog	tests	924	inspect	890	900	460	9700	17	0	true	prog	tests	1	inspect		69.5	58.3	24	26	160		1300	0
eca-rers2012/Problem19_label18.yml	error	.696	prog	tests	970	inspect	890	900	460	12000	16	0	true	prog	tests	1	inspect		69.6	58.3	24	24	160		1400	0
eca-rers2012/Problem19_label19.yml	error	.695	prog	tests	872	inspect	890	900	460	11000	16	0	true	prog	tests	1	inspect		69.5	58.3	22	22	160		1400	0
eca-rers2012/Problem19_label20.yml	error	.695	prog	tests	807	inspect	890	900	460	11000	10	0	unknown	prog	tests	0	inspect		69.5	58.3	21	21	160		1200	0
eca-rers2012/Problem19_label21.yml	error	.693	prog	tests	894	inspect	890	900	460	11000	20	0	true	prog	tests	1	inspect		69.3	58.3	22	22	160		1500	0
eca-rers2012/Problem19_label22.yml	error	.695	prog	tests	946	inspect	890	900	470	13000	17	0	true	prog	tests	1	inspect		69.5	58.3	24	23	160		1500	0
eca-rers2012/Problem19_label23.yml	error	.694	prog	tests	885	inspect	890	900	470	12000	10	0	unknown	prog	tests	0	inspect		69.4	58.3	22	21	160		1500	0
eca-rers2012/Problem19_label24.yml	error	.695	prog	tests	807	inspect	890	900	470	12000	10	0	unknown	prog	tests	0	inspect		69.5	58.4	21	22	160		1200	0
eca-rers2012/Problem19_label25.yml	error	.695	prog	tests	935	inspect	890	900	450	13000	11	0	unknown	prog	tests	0	inspect		69.5	58.3	24	26	160		1300	0
eca-rers2012/Problem19_label26.yml	error	.694	prog	tests	936	inspect	890	900	460	11000	20	0	true	prog	tests	1	inspect		69.4	58.3	24	23	160		1400	0
eca-rers2012/Problem19_label27.yml	error	.695	prog	tests	911	inspect	890	900	460	11000	22	0	true	prog	tests	1	inspect		69.5	58.3	23	22	160		1500	0
eca-rers2012/Problem19_label28.yml	error	.695	prog	tests	918	inspect	890	900	460	11000	18	0	true	prog	tests	1	inspect		69.5	58.3	23	23	160		1500	0
eca-rers2012/Problem19_label29.yml	error	.694	prog	tests	856	inspect	890	900	460	13000	15	0	true	prog	tests	1	inspect		69.4	58.3	22	23	160		1200	0
eca-rers2012/Problem19_label30.yml	error	.693	prog	tests	938	inspect	890	900	460	14000	11	0	unknown	prog	tests	0	inspect		69.3	58.3	24	29	160		1400	0
eca-rers2012/Problem19_label31.yml	error	.694	prog	tests	896	inspect	890	900	460	14000	16	0	true	prog	tests	1	inspect		69.4	58.3	23	23	160		1200	0
eca-rers2012/Problem19_label32.yml	error	.693	prog	tests	921	inspect	890	900	450	11000	21	0	true	prog	tests	1	inspect		69.3	58.3	23	24	160		1400	0
eca-rers2012/Problem19_label33.yml	error	.694	prog	tests	909	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	24	160		1200	0
eca-rers2012/Problem19_label34.yml	error	.694	prog	tests	940	inspect	890	900	460	13000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	24	23	160		1500	0
eca-rers2012/Problem19_label35.yml	error	.693	prog	tests	892	inspect	890	900	460	14000	11	0	unknown	prog	tests	0	inspect		69.3	58.4	23	23	160		1300	0
eca-rers2012/Problem19_label36.yml	error	.695	prog	tests	877	inspect	890	900	460	10000	10	0	unknown	prog	tests	0	inspect		69.5	58.3	23	24	160		1400	0
eca-rers2012/Problem19_label37.yml	error	.694	prog	tests	926	inspect	890	900	460	12000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	22	160		1500	0
eca-rers2012/Problem19_label38.yml	error	.694	prog	tests	915	inspect	890	900	450	11000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	25	160		1200	0
eca-rers2012/Problem19_label39.yml	error	.694	prog	tests	907	inspect	890	900	470	11000	12	0	unknown	prog	tests	0	inspect		69.4	58.4	23	24	160		1300	0
eca-rers2012/Problem19_label40.yml	error	.694	prog	tests	932	inspect	890	900	470	12000	9.3	0	unknown	prog	tests	0	inspect		69.4	58.3	24	25	160		1300	0
eca-rers2012/Problem19_label41.yml	error	.693	prog	tests	832	inspect	890	900	450	11000	15	0	true	prog	tests	1	inspect		69.3	58.3	22	24	160		1400	0
eca-rers2012/Problem19_label42.yml	error	.693	prog	tests	868	inspect	890	900	460	12000	16	0	true	prog	tests	1	inspect		69.3	58.3	22	23	160		1500	0
eca-rers2012/Problem19_label43.yml	error	.694	prog	tests	847	inspect	890	900	470	10000	15	0	true	prog	tests	1	inspect		69.4	58.3	21	21	160		1200	0
eca-rers2012/Problem19_label44.yml	error	.695	prog	tests	812	inspect	890	900	470	13000	12	0	unknown	prog	tests	0	inspect		69.5	58.4	21	23	160		1100	0
eca-rers2012/Problem19_label45.yml	error	.693	prog	tests	927	inspect	890	900	460	12000	12	0	unknown	prog	tests	0	inspect		69.3	58.3	24	25	160		1300	0
eca-rers2012/Problem19_label46.yml	error	.694	prog	tests	918	inspect	890	900	460	12000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	23	160		1400	0
eca-rers2012/Problem19_label47.yml	error	.693	prog	tests	928	inspect	890	900	460	13000	17	0	true	prog	tests	1	inspect		69.3	58.3	23	23	160		1500	0
eca-rers2012/Problem19_label48.yml	error	.693	prog	tests	797	inspect	890	900	460	11000	10	0	unknown	prog	tests	0	inspect		69.3	58.3	20	19	160		1400	0
eca-rers2012/Problem19_label49.yml	error	.694	prog	tests	934	inspect	890	900	460	11000	12	0	unknown	prog	tests	0	inspect		69.4	58.3	24	23	160		1300	0
eca-rers2012/Problem19_label50.yml	error	.693	prog	tests	875	inspect	890	900	490	12000	16	0	true	prog	tests	1	inspect		69.3	58.3	22	23	160		1200	0
eca-rers2012/Problem19_label51.yml	error	.694	prog	tests	890	inspect	890	900	460	12000	24	0	true	prog	tests	1	inspect		69.4	58.3	23	24	160		1200	0
eca-rers2012/Problem19_label52.yml	error	.694	prog	tests	840	inspect	890	900	470	11000	10	0	unknown	prog	tests	0	inspect		69.4	58.3	21	21	160		1100	0
eca-rers2012/Problem19_label53.yml	error	.694	prog	tests	948	inspect	890	900	460	11000	24	0	true	prog	tests	1	inspect		69.4	58.4	24	23	160		1600	0
eca-rers2012/Problem19_label54.yml	error	.695	prog	tests	930	inspect	890	900	460	13000	11	0	unknown	prog	tests	0	inspect		69.5	58.3	23	23	160		1200	0
eca-rers2012/Problem19_label55.yml	error	.696	prog	tests	820	inspect	890	900	460	13000	15	0	true	prog	tests	1	inspect		69.6	58.4	21	21	160		1000	0
eca-rers2012/Problem19_label56.yml	error	.695	prog	tests	939	inspect	890	900	460	11000	11	0	unknown	prog	tests	0	inspect		69.5	58.3	24	23	160		1400	0
eca-rers2012/Problem19_label57.yml	error	.694	prog	tests	905	inspect	890	900	460	13000	11	0	unknown	prog	tests	0	inspect		69.4	58.3	23	25	160		1300	0
eca-rers2012/Problem19_label58.yml	error	.695	prog	tests	934	inspect	890	900	460	13000	17	0	true	prog	tests	1	inspect		69.5	58.3	23	23	160		1600	0
eca-rers2012/Problem19_label59.yml	error	.695	prog	tests	943	inspect	890	900	450	13000	19	0	true	prog	tests	1	inspect		69.5	58.3	24	24	160		1200	0
eca-programs/Problem101_label00.yml	timeout	.882	prog	tests	7145	inspect	900	890	2600	11000	67	.0082	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		150000	0
eca-programs/Problem101_label01.yml	timeout	.882	prog	tests	7159	inspect	900	890	2500	11000	68	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label02.yml	timeout	.882	prog	tests	7159	inspect	900	890	2600	10000	65	.0082	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label03.yml	timeout	.882	prog	tests	7127	inspect	900	890	2600	13000	64	0	true	prog	tests	1	inspect		88.2	99.8	1600	1600	770		130000	0
eca-programs/Problem101_label04.yml	timeout	.882	prog	tests	7104	inspect	900	890	2600	11000	66	.0041	true	prog	tests	1	inspect		88.2	99.8	1600	1600	770		130000	0
eca-programs/Problem101_label05.yml	timeout	.882	prog	tests	7108	inspect	900	890	2600	12000	66	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label06.yml	timeout	.882	prog	tests	7172	inspect	900	890	2600	11000	72	.0082	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label07.yml	timeout	.882	prog	tests	7194	inspect	900	890	2500	11000	68	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label08.yml	timeout	.883	prog	tests	7209	inspect	900	890	2500	12000	66	0	true	prog	tests	1	inspect		88.3	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label09.yml	timeout	.882	prog	tests	7193	inspect	900	890	2600	10000	69	.0082	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label10.yml	timeout	.882	prog	tests	7124	inspect	900	890	2600	13000	67	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label11.yml	timeout	.882	prog	tests	7124	inspect	900	890	2500	12000	66	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		150000	0
eca-programs/Problem101_label12.yml	timeout	.882	prog	tests	7110	inspect	900	890	2600	12000	66	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label13.yml	timeout	.882	prog	tests	7088	inspect	900	890	2600	12000	65	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label14.yml	timeout	.882	prog	tests	7110	inspect	900	890	2600	11000	81	0	true	prog	tests	1	inspect		88.2	99.8	1600	1600	770		130000	0
eca-programs/Problem101_label15.yml	timeout	.882	prog	tests	7140	inspect	900	890	2600	10000	63	.0082	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label16.yml	timeout	.882	prog	tests	7220	inspect	900	890	2500	11000	67	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label17.yml	timeout	.881	prog	tests	7107	inspect	900	890	2500	11000	80	.0041	true	prog	tests	1	inspect		88.1	99.8	1600	1600	770		130000	0
eca-programs/Problem101_label18.yml	timeout	.882	prog	tests	7115	inspect	900	890	2600	10000	67	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		160000	0
eca-programs/Problem101_label19.yml	timeout	.882	prog	tests	7099	inspect	900	890	2600	11000	77	0	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		160000	0
eca-programs/Problem101_label20.yml	timeout	.882	prog	tests	7160	inspect	900	890	2600	10000	65	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		130000	0
eca-programs/Problem101_label21.yml	timeout	.882	prog	tests	7191	inspect	900	890	2600	10000	73	0	true	prog	tests	1	inspect		88.2	99.8	1600	1700	770		130000	0
eca-programs/Problem101_label22.yml	timeout	.882	prog	tests	7127	inspect	900	890	2600	11000	67	.0041	true	prog	tests	1	inspect		88.2	99.9	1600	1600	770		120000	0
eca-programs/Problem101_label23.yml	timeout	.881	prog	tests	7135	inspect	900	890	2500	11000	66	.0082	true	prog	tests	1	inspect		88.1	99.9	1600	1600	770		130000	0
eca-programs/Problem102_label00.yml	timeout	.812	prog	tests	7205	inspect	900	880	2500	11000	100	.0041	unknown	prog	tests	0	inspect		81.2	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label01.yml	timeout	.813	prog	tests	7170	inspect	900	880	2500	10000	110	0	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		260000	0
eca-programs/Problem102_label02.yml	timeout	.813	prog	tests	7222	inspect	900	880	2500	11000	110	.0041	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label03.yml	timeout	.813	prog	tests	7130	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.0	3100	3100	1600		250000	0
eca-programs/Problem102_label04.yml	timeout	.813	prog	tests	7220	inspect	900	880	2500	9300	110	.0082	true	prog	tests	1	inspect		81.3	59.2	3100	3100	1600		260000	0
eca-programs/Problem102_label05.yml	timeout	.812	prog	tests	7108	inspect	900	880	2500	14000	100	0	true	prog	tests	1	inspect		81.2	59.0	3000	3000	1600		270000	0
eca-programs/Problem102_label06.yml	timeout	.812	prog	tests	7135	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.2	59.0	3000	3000	1600		250000	0
eca-programs/Problem102_label07.yml	timeout	.813	prog	tests	7179	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		260000	0
eca-programs/Problem102_label08.yml	timeout	.812	prog	tests	7206	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		81.2	59.1	3200	3200	1600		250000	0
eca-programs/Problem102_label09.yml	timeout	.813	prog	tests	7129	inspect	900	880	2500	9200	100	.0041	unknown	prog	tests	0	inspect		81.3	59.1	3100	3100	1600		280000	0
eca-programs/Problem102_label10.yml	timeout	.813	prog	tests	7178	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		81.3	59.1	3000	3000	1600		280000	0
eca-programs/Problem102_label11.yml	timeout	.813	prog	tests	7222	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		81.3	59.2	3100	3100	1600		260000	0
eca-programs/Problem102_label12.yml	timeout	.813	prog	tests	7201	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		81.3	59.1	3100	3100	1600		270000	0
eca-programs/Problem102_label13.yml	timeout	.813	prog	tests	7180	inspect	900	880	2500	10000	100	.0041	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label14.yml	timeout	.813	prog	tests	7129	inspect	900	880	2500	11000	120	0	unknown	prog	tests	0	inspect		81.3	59.1	3000	3000	1600		280000	0
eca-programs/Problem102_label15.yml	timeout	.813	prog	tests	7172	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		81.3	59.1	3000	3000	1600		310000	0
eca-programs/Problem102_label16.yml	timeout	.813	prog	tests	7151	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		81.3	59.1	3000	3000	1600		280000	0
eca-programs/Problem102_label17.yml	timeout	.813	prog	tests	7195	inspect	900	880	2500	10000	110	0	unknown	prog	tests	0	inspect		81.3	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label18.yml	timeout	.813	prog	tests	7173	inspect	900	880	2500	11000	110	.0041	unknown	prog	tests	0	inspect		81.3	59.0	3100	3100	1600		250000	0
eca-programs/Problem102_label19.yml	timeout	.813	prog	tests	7164	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.1	3000	3000	1600		280000	0
eca-programs/Problem102_label20.yml	timeout	.813	prog	tests	7199	inspect	900	880	2500	11000	120	.0041	unknown	prog	tests	0	inspect		81.3	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label21.yml	timeout	.813	prog	tests	7217	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.0	3100	3100	1600		320000	0
eca-programs/Problem102_label22.yml	timeout	.813	prog	tests	7179	inspect	900	880	2500	10000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.0	3000	3000	1600		280000	0
eca-programs/Problem102_label23.yml	timeout	.813	prog	tests	7198	inspect	900	880	2500	8400	110	.0041	unknown	prog	tests	0	inspect		81.3	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label24.yml	timeout	.813	prog	tests	7227	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		270000	0
eca-programs/Problem102_label25.yml	timeout	.812	prog	tests	7166	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.2	59.1	3000	3000	1600		300000	0
eca-programs/Problem102_label26.yml	timeout	.813	prog	tests	7160	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.3	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label27.yml	timeout	.813	prog	tests	7140	inspect	900	880	2500	13000	100	0	unknown	prog	tests	0	inspect		81.3	59.1	3000	3000	1600		300000	0
eca-programs/Problem102_label28.yml	timeout	.812	prog	tests	7092	inspect	900	880	2500	12000	110	0	true	prog	tests	1	inspect		81.2	59.0	3100	3100	1600		290000	0
eca-programs/Problem102_label29.yml	timeout	.813	prog	tests	7132	inspect	900	880	2500	11000	100	.0082	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		290000	0
eca-programs/Problem102_label30.yml	timeout	.812	prog	tests	7159	inspect	900	880	2500	11000	110	.0041	unknown	prog	tests	0	inspect		81.2	59.0	3000	3000	1600		310000	0
eca-programs/Problem102_label31.yml	timeout	.812	prog	tests	7172	inspect	900	880	2500	12000	100	0	unknown	prog	tests	0	inspect		81.2	59.1	3000	3000	1600		280000	0
eca-programs/Problem102_label32.yml	timeout	.812	prog	tests	7128	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.2	59.0	3100	3100	1600		260000	0
eca-programs/Problem102_label33.yml	timeout	.812	prog	tests	7129	inspect	900	880	2500	10000	120	0	unknown	prog	tests	0	inspect		81.2	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label34.yml	timeout	.812	prog	tests	7113	inspect	900	880	2500	11000	100	.0041	true	prog	tests	1	inspect		81.2	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label35.yml	timeout	.812	prog	tests	7121	inspect	900	880	2500	11000	110	.0041	unknown	prog	tests	0	inspect		81.2	59.0	3000	3000	1600		260000	0
eca-programs/Problem102_label36.yml	timeout	.812	prog	tests	7124	inspect	900	880	2500	12000	110	0	unknown	prog	tests	0	inspect		81.2	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label37.yml	timeout	.812	prog	tests	7175	inspect	900	880	2500	11000	110	.0082	true	prog	tests	1	inspect		81.2	58.9	3100	3100	1600		260000	0
eca-programs/Problem102_label38.yml	timeout	.812	prog	tests	7138	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		81.2	59.1	3100	3100	1600		320000	0
eca-programs/Problem102_label39.yml	timeout	.812	prog	tests	7159	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.2	59.1	3100	3100	1600		250000	0
eca-programs/Problem102_label40.yml	timeout	.813	prog	tests	7235	inspect	900	880	2500	11000	110	0	unknown	prog	tests	0	inspect		81.3	59.1	3200	3200	1600		260000	0
eca-programs/Problem102_label41.yml	timeout	.813	prog	tests	7107	inspect	900	880	2500	12000	100	0	unknown	prog	tests	0	inspect		81.3	59.0	3100	3100	1600		250000	0
eca-programs/Problem102_label42.yml	timeout	.813	prog	tests	7194	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.0	3000	3000	1600		320000	0
eca-programs/Problem102_label43.yml	timeout	.813	prog	tests	7173	inspect	900	880	2500	12000	110	0	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		260000	0
eca-programs/Problem102_label44.yml	timeout	.812	prog	tests	7154	inspect	900	880	2500	11000	100	.0082	unknown	prog	tests	0	inspect		81.2	59.0	3100	3100	1600		260000	0
eca-programs/Problem102_label45.yml	timeout	.813	prog	tests	7202	inspect	900	880	2500	9800	110	0	unknown	prog	tests	0	inspect		81.3	59.1	3200	3200	1600		260000	0
eca-programs/Problem102_label46.yml	timeout	.813	prog	tests	7183	inspect	900	880	2500	12000	110	.0041	true	prog	tests	1	inspect		81.3	59.1	3000	3000	1600		300000	0
eca-programs/Problem102_label47.yml	timeout	.813	prog	tests	7260	inspect	900	880	2500	11000	110	.0082	unknown	prog	tests	0	inspect		81.3	59.2	3100	3100	1600		260000	0
eca-programs/Problem102_label48.yml	timeout	.813	prog	tests	7176	inspect	900	880	2500	10000	100	.0041	true	prog	tests	1	inspect		81.3	59.1	3100	3100	1600		260000	0
eca-programs/Problem102_label49.yml	timeout	.813	prog	tests	7089	inspect	900	880	2500	11000	110	0	true	prog	tests	1	inspect		81.3	59.1	3000	3000	1600		250000	0
eca-programs/Problem102_label50.yml	timeout	.813	prog	tests	7044	inspect	900	880	2500	12000	120	.0041	true	prog	tests	1	inspect		81.3	59.0	3100	3100	1600		250000	0
eca-programs/Problem102_label51.yml	timeout	.813	prog	tests	7190	inspect	900	880	2500	11000	100	.0041	true	prog	tests	1	inspect		81.3	59.1	3000	3000	1600		250000	0
eca-programs/Problem102_label52.yml	timeout	.812	prog	tests	7141	inspect	900	880	2500	12000	110	.0082	unknown	prog	tests	0	inspect		81.2	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label53.yml	timeout	.813	prog	tests	7184	inspect	900	880	2500	11000	100	0	unknown	prog	tests	0	inspect		81.3	59.0	3100	3100	1600		320000	0
eca-programs/Problem102_label54.yml	timeout	.813	prog	tests	7135	inspect	900	880	2500	9900	100	.0041	unknown	prog	tests	0	inspect		81.3	59.1	3100	3100	1600		260000	0
eca-programs/Problem102_label55.yml	timeout	.812	prog	tests	7189	inspect	900	880	2500	10000	110	.0041	true	prog	tests	1	inspect		81.2	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label56.yml	timeout	.813	prog	tests	7159	inspect	900	880	2500	9400	100	0	unknown	prog	tests	0	inspect		81.3	59.2	3100	3100	1600		280000	0
eca-programs/Problem102_label57.yml	timeout	.813	prog	tests	7143	inspect	900	880	2500	12000	100	.0082	unknown	prog	tests	0	inspect		81.3	59.0	3000	3000	1600		300000	0
eca-programs/Problem102_label58.yml	timeout	.813	prog	tests	7196	inspect	900	880	2500	13000	110	0	unknown	prog	tests	0	inspect		81.3	59.1	3100	3100	1600		280000	0
eca-programs/Problem102_label59.yml	timeout	.813	prog	tests	7166	inspect	900	880	2500	13000	110	0	true	prog	tests	1	inspect		81.3	59.0	3000	3000	1600		300000	0
eca-programs/Problem103_label32.yml	timeout	.587	prog	tests	6006	inspect	900	880	2800	12000	110	.0041	unknown	prog	tests	0	inspect		58.7	45.1	2800	2800	1800		250000	0
eca-programs/Problem103_label35.yml	timeout	.585	prog	tests	5910	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		58.5	44.5	2700	2700	1800		230000	0
eca-programs/Problem103_label40.yml	timeout	.582	prog	tests	5772	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		58.1	43.8	2700	2700	1800		230000	0
eca-programs/Problem103_label41.yml	timeout	.586	prog	tests	5889	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		58.6	44.6	2700	2700	1800		230000	0
eca-programs/Problem103_label42.yml	timeout	.584	prog	tests	5836	inspect	900	880	2800	11000	110	0	unknown	prog	tests	0	inspect		58.4	44.2	2700	2700	1800		250000	0
eca-programs/Problem103_label43.yml	timeout	.583	prog	tests	5782	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		58.2	43.8	2700	2700	1800		240000	0
eca-programs/Problem103_label44.yml	timeout	.582	prog	tests	5799	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		58.2	43.8	2700	2700	1800		270000	0
eca-programs/Problem103_label45.yml	timeout	.584	prog	tests	5822	inspect	900	880	2800	9800	100	.0041	unknown	prog	tests	0	inspect		58.4	44.2	2700	2700	1800		250000	0
eca-programs/Problem103_label46.yml	timeout	.583	prog	tests	5887	inspect	900	880	2800	12000	110	.0041	unknown	prog	tests	0	inspect		58.3	44.1	2700	2700	1800		290000	0
eca-programs/Problem103_label47.yml	timeout	.585	prog	tests	5971	inspect	900	880	2800	13000	98	0	unknown	prog	tests	0	inspect		58.5	44.7	2800	2800	1800		280000	0
eca-programs/Problem103_label48.yml	timeout	.583	prog	tests	5776	inspect	900	880	2800	12000	100	0	unknown	prog	tests	0	inspect		58.3	43.9	2700	2700	1800		230000	0
eca-programs/Problem103_label49.yml	timeout	.584	prog	tests	5872	inspect	900	880	2800	12000	110	0	unknown	prog	tests	0	inspect		58.4	44.4	2800	2800	1800		230000	0
eca-programs/Problem103_label50.yml	timeout	.585	prog	tests	5929	inspect	900	880	2800	11000	100	.0041	unknown	prog	tests	0	inspect		58.5	44.6	2700	2700	1800		250000	0
eca-programs/Problem103_label51.yml	timeout	.584	prog	tests	5849	inspect	900	880	2800	10000	100	.0041	unknown	prog	tests	0	inspect		58.4	44.1	2700	2700	1800		270000	0
eca-programs/Problem103_label52.yml	timeout	.585	prog	tests	5872	inspect	900	880	2800	11000	100	0	unknown	prog	tests	0	inspect		58.5	44.5	2700	2700	1800		240000	0
eca-programs/Problem103_label53.yml	timeout	.584	prog	tests	5810	inspect	900	880	2800	9300	100	0	unknown	prog	tests	0	inspect		58.4	44.2	2700	2700	1800		270000	0
eca-programs/Problem103_label54.yml	timeout	.586	prog	tests	6035	inspect	900	880	2800	12000	99	0	unknown	prog	tests	0	inspect		58.6	44.8	2800	2800	1800		290000	0
eca-programs/Problem103_label55.yml	timeout	.583	prog	tests	5793	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		58.3	44.0	2700	2700	1800		280000	0
eca-programs/Problem103_label56.yml	timeout	.584	prog	tests	5879	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		58.4	44.4	2700	2700	1800		240000	0
eca-programs/Problem103_label57.yml	timeout	.584	prog	tests	5856	inspect	900	880	2800	10000	100	0	unknown	prog	tests	0	inspect		58.4	44.2	2700	2700	1800		220000	0
eca-programs/Problem103_label58.yml	timeout	.584	prog	tests	5857	inspect	900	880	2800	12000	100	.0041	unknown	prog	tests	0	inspect		58.4	44.2	2700	2700	1800		230000	0
eca-programs/Problem103_label59.yml	timeout	.583	prog	tests	5820	inspect	900	880	2800	11000	97	0	unknown	prog	tests	0	inspect		58.3	44.1	2700	2700	1800		270000	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	762					930000	940000	1000000	12000000	77000	.92	1046						76200	74400	750000	750000	470000		67000000	.0082
Run set	verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA