coveritest.2019-02-05_2105.results.test-comp19_prop-coverage-branches.ReachSafety-ECA.xml.bz2.merged.xml.bz2

Benchmark	CPA/CoVeriTest												TBF Test-Suite Validator
Tool	CPAchecker 1.8-svn 30375												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*												[apollon049; apollon085; apollon116]
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-05 21:05:56 CET												2019-02-06 05:30:26 CET
Run set	coveritest.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options	-benchmark -heap 10000M -testcomp19												--verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/coveritest.2019-02-05_2105.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/	status	score	program	test-suite	TS size	inspect test-suite	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	program	test-suite	TS size	inspect test-suite	cov	branch cov (%)	line cov (%)	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
eca-rers2012/Problem03_label00.yml	done	.460	prog	tests	101	inspect	120	81	2200	1300	3.4	0	unknown	prog	tests	0	inspect		46.0	54.6	1.3	1.4	58		27	0
eca-rers2012/Problem03_label01.yml	done	.461	prog	tests	101	inspect	110	80	2900	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label02.yml	done	.461	prog	tests	101	inspect	110	80	2200	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.4	58		27	0
eca-rers2012/Problem03_label03.yml	done	.461	prog	tests	101	inspect	110	79	3000	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label04.yml	done	.461	prog	tests	101	inspect	110	80	2000	1200	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label05.yml	done	.461	prog	tests	101	inspect	110	81	2800	1400	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label06.yml	done	.461	prog	tests	101	inspect	110	79	2800	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label07.yml	done	.461	prog	tests	101	inspect	110	79	2000	1400	1.2	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.4	57		27	0
eca-rers2012/Problem03_label08.yml	done	.461	prog	tests	101	inspect	110	79	2900	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label09.yml	done	.461	prog	tests	101	inspect	110	79	2100	1100	1.2	0	true	prog	tests	1	inspect		46.1	54.6	1.5	1.5	58		27	0
eca-rers2012/Problem03_label10.yml	done	.461	prog	tests	101	inspect	110	79	2400	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.2	57		27	0
eca-rers2012/Problem03_label11.yml	done	.461	prog	tests	101	inspect	110	80	2900	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label12.yml	done	.461	prog	tests	101	inspect	110	80	2800	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label13.yml	done	.461	prog	tests	101	inspect	100	79	2300	1300	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label14.yml	done	.461	prog	tests	101	inspect	100	79	2300	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label15.yml	done	.461	prog	tests	101	inspect	110	80	3100	1400	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label16.yml	done	.461	prog	tests	101	inspect	110	79	2900	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.2	58		26	0
eca-rers2012/Problem03_label17.yml	done	.461	prog	tests	101	inspect	110	80	2700	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.2	58		27	0
eca-rers2012/Problem03_label18.yml	done	.461	prog	tests	101	inspect	110	81	2200	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label19.yml	done	.461	prog	tests	101	inspect	100	79	2300	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label20.yml	done	.461	prog	tests	101	inspect	110	80	2600	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label21.yml	done	.461	prog	tests	101	inspect	100	79	2200	1000	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label22.yml	done	.461	prog	tests	101	inspect	110	81	2600	1200	2.0	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label23.yml	done	.461	prog	tests	101	inspect	110	79	2800	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		26	0
eca-rers2012/Problem03_label24.yml	done	.461	prog	tests	101	inspect	110	80	2600	1200	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label25.yml	done	.461	prog	tests	101	inspect	110	80	2800	1200	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label26.yml	done	.460	prog	tests	101	inspect	110	81	2000	1500	2.9	0	true	prog	tests	1	inspect		46.0	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label27.yml	done	.461	prog	tests	101	inspect	110	80	2900	1100	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label28.yml	done	.461	prog	tests	101	inspect	110	80	2100	1200	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.4	1.4	57		27	0
eca-rers2012/Problem03_label29.yml	done	.461	prog	tests	101	inspect	110	80	2900	1200	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label30.yml	done	.461	prog	tests	101	inspect	110	80	2900	1400	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label31.yml	done	.461	prog	tests	101	inspect	110	80	2800	1200	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label32.yml	done	.461	prog	tests	101	inspect	110	80	2900	1400	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.4	1.3	58		27	0
eca-rers2012/Problem03_label33.yml	done	.461	prog	tests	101	inspect	110	81	2200	1300	1.2	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.3	58		27	0
eca-rers2012/Problem03_label34.yml	done	.461	prog	tests	101	inspect	110	79	2300	1400	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label35.yml	done	.461	prog	tests	101	inspect	110	80	2100	1200	2.2	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label36.yml	done	.461	prog	tests	101	inspect	110	80	2200	1500	2.9	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label37.yml	done	.461	prog	tests	101	inspect	110	80	2100	1200	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label38.yml	done	.461	prog	tests	101	inspect	110	79	2300	1200	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.4	58		27	0
eca-rers2012/Problem03_label39.yml	done	.461	prog	tests	101	inspect	110	80	2700	1300	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label40.yml	done	.461	prog	tests	101	inspect	110	80	2900	1200	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label41.yml	done	.461	prog	tests	101	inspect	110	80	2200	1200	1.2	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.2	58		27	0
eca-rers2012/Problem03_label42.yml	done	.461	prog	tests	101	inspect	110	80	2800	1400	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label43.yml	done	.461	prog	tests	101	inspect	110	80	2200	1200	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label44.yml	done	.461	prog	tests	101	inspect	110	79	2100	1200	1.2	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label45.yml	done	.461	prog	tests	101	inspect	110	80	2900	1200	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.2	1.2	58		27	0
eca-rers2012/Problem03_label46.yml	done	.461	prog	tests	101	inspect	110	80	2700	1300	1.7	0	unknown	prog	tests	0	inspect		46.1	54.6	1.2	1.2	58		27	0
eca-rers2012/Problem03_label47.yml	done	.461	prog	tests	101	inspect	110	79	2700	1400	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label48.yml	done	.461	prog	tests	101	inspect	110	80	2900	1200	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label49.yml	done	.461	prog	tests	101	inspect	110	81	3000	1400	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label50.yml	done	.461	prog	tests	101	inspect	110	80	2200	1300	1.3	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label51.yml	done	.461	prog	tests	101	inspect	110	80	2800	1300	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label52.yml	done	.461	prog	tests	101	inspect	110	80	3000	1400	1.8	0	true	prog	tests	1	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label53.yml	done	.461	prog	tests	101	inspect	110	80	2700	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	58		27	0
eca-rers2012/Problem03_label54.yml	done	.461	prog	tests	101	inspect	120	81	3100	1300	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.2	57		27	0
eca-rers2012/Problem03_label55.yml	done	.461	prog	tests	101	inspect	120	80	3000	1500	2.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	57		27	0
eca-rers2012/Problem03_label56.yml	done	.461	prog	tests	101	inspect	110	80	2900	1400	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label57.yml	done	.461	prog	tests	101	inspect	100	79	2200	1300	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label58.yml	done	.461	prog	tests	101	inspect	110	80	2300	1500	1.3	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem03_label59.yml	done	.461	prog	tests	101	inspect	110	80	3000	1500	1.8	0	unknown	prog	tests	0	inspect		46.1	54.6	1.3	1.3	58		27	0
eca-rers2012/Problem04_label00.yml	timeout	.513	prog	tests	286	inspect	900	760	6600	11000	56	0	unknown	prog	tests	0	inspect		51.3	45.7	5.9	5.9	110		210	0
eca-rers2012/Problem04_label01.yml	timeout	.51	prog	tests	284	inspect	900	760	6700	12000	56	0	unknown	prog	tests	0	inspect		51.0	45.4	6.0	6.6	110		210	0
eca-rers2012/Problem04_label02.yml	timeout	.517	prog	tests	291	inspect	900	760	6500	10000	61	0	unknown	prog	tests	0	inspect		51.8	46.2	6.1	6.1	110		220	0
eca-rers2012/Problem04_label03.yml	timeout	.512	prog	tests	287	inspect	900	750	6900	9700	60	0	unknown	prog	tests	0	inspect		51.2	45.8	5.8	5.8	110		220	0
eca-rers2012/Problem04_label04.yml	timeout	.499	prog	tests	271	inspect	900	710	7200	12000	58	0	unknown	prog	tests	0	inspect		49.9	44.2	5.6	5.7	110		200	0
eca-rers2012/Problem04_label05.yml	timeout	.518	prog	tests	292	inspect	900	770	6600	13000	61	0	unknown	prog	tests	0	inspect		51.8	46.3	6.1	6.2	110		220	0
eca-rers2012/Problem04_label06.yml	timeout	.507	prog	tests	280	inspect	900	740	6600	10000	52	0	unknown	prog	tests	0	inspect		50.7	45.0	5.8	6.1	110		210	0
eca-rers2012/Problem04_label07.yml	timeout	.516	prog	tests	290	inspect	900	750	6900	11000	64	0	unknown	prog	tests	0	inspect		51.6	46.1	6.0	6.5	110		220	0
eca-rers2012/Problem04_label08.yml	timeout	.507	prog	tests	282	inspect	900	750	6900	12000	57	0	unknown	prog	tests	0	inspect		50.7	45.3	5.9	5.8	110		220	0
eca-rers2012/Problem04_label09.yml	timeout	.511	prog	tests	285	inspect	900	750	6700	12000	57	0	unknown	prog	tests	0	inspect		51.1	45.6	6.1	6.1	110		210	0
eca-rers2012/Problem04_label10.yml	timeout	.506	prog	tests	279	inspect	900	730	6800	11000	58	0	unknown	prog	tests	0	inspect		50.6	45.0	6.1	5.9	110		210	0
eca-rers2012/Problem04_label13.yml	timeout	.504	prog	tests	277	inspect	900	710	6800	11000	58	0	unknown	prog	tests	0	inspect		50.4	44.8	5.8	5.8	110		210	0
eca-rers2012/Problem04_label15.yml	timeout	.502	prog	tests	273	inspect	900	720	6700	11000	53	0	unknown	prog	tests	0	inspect		50.2	44.4	5.7	5.7	110		210	0
eca-rers2012/Problem04_label16.yml	timeout	.506	prog	tests	281	inspect	900	730	8000	9900	63	0	unknown	prog	tests	0	inspect		50.6	45.2	5.9	5.9	110		210	0
eca-rers2012/Problem04_label18.yml	timeout	.506	prog	tests	279	inspect	900	730	6900	12000	59	0	unknown	prog	tests	0	inspect		50.6	45.0	5.8	5.7	110		210	0
eca-rers2012/Problem04_label19.yml	timeout	.505	prog	tests	276	inspect	900	730	6900	11000	53	0	unknown	prog	tests	0	inspect		50.5	44.6	5.7	5.7	110		210	0
eca-rers2012/Problem04_label21.yml	timeout	.506	prog	tests	279	inspect	900	740	6300	11000	53	0	unknown	prog	tests	0	inspect		50.6	45.0	5.8	5.7	110		210	0
eca-rers2012/Problem04_label22.yml	timeout	.493	prog	tests	261	inspect	900	740	8500	10000	60	0	unknown	prog	tests	0	inspect		49.3	43.2	5.4	5.4	110		200	0
eca-rers2012/Problem04_label25.yml	timeout	.503	prog	tests	274	inspect	900	720	6900	11000	55	0	unknown	prog	tests	0	inspect		50.3	44.4	5.6	5.5	110		210	0
eca-rers2012/Problem04_label26.yml	timeout	.512	prog	tests	285	inspect	900	760	6300	12000	55	0	unknown	prog	tests	0	inspect		51.2	45.6	6.2	6.1	110		220	0
eca-rers2012/Problem04_label28.yml	timeout	.512	prog	tests	287	inspect	900	740	7300	12000	64	0	unknown	prog	tests	0	inspect		51.2	45.8	6.0	6.1	110		210	0
eca-rers2012/Problem04_label30.yml	timeout	.506	prog	tests	280	inspect	900	740	6600	12000	55	0	unknown	prog	tests	0	inspect		50.6	45.1	5.9	5.9	110		220	0
eca-rers2012/Problem04_label31.yml	timeout	.498	prog	tests	270	inspect	900	700	7300	9500	53	0	unknown	prog	tests	0	inspect		49.8	44.1	5.7	5.6	110		200	0
eca-rers2012/Problem04_label32.yml	timeout	.512	prog	tests	288	inspect	900	750	6700	11000	62	0	unknown	prog	tests	0	inspect		51.2	45.9	5.9	5.8	110		210	0
eca-rers2012/Problem04_label33.yml	timeout	.510	prog	tests	285	inspect	900	750	6900	9900	60	0	unknown	prog	tests	0	inspect		51.0	45.6	5.9	5.9	110		210	0
eca-rers2012/Problem04_label34.yml	timeout	.515	prog	tests	289	inspect	900	760	6700	11000	60	0	unknown	prog	tests	0	inspect		51.5	46.0	6.1	6.4	110		210	0
eca-rers2012/Problem04_label35.yml	timeout	.51	prog	tests	284	inspect	900	750	6600	12000	57	0	unknown	prog	tests	0	inspect		51.0	45.4	5.8	6.2	110		210	0
eca-rers2012/Problem04_label38.yml	timeout	.507	prog	tests	281	inspect	900	730	7600	9500	41	0	unknown	prog	tests	0	inspect		50.7	45.2	5.9	5.9	110		210	0
eca-rers2012/Problem04_label39.yml	timeout	.498	prog	tests	267	inspect	900	750	7900	11000	57	0	unknown	prog	tests	0	inspect		49.8	43.8	5.7	6.0	110		210	0
eca-rers2012/Problem04_label41.yml	timeout	.503	prog	tests	275	inspect	900	720	7100	11000	55	0	unknown	prog	tests	0	inspect		50.3	44.6	5.9	5.8	110		200	0
eca-rers2012/Problem04_label45.yml	timeout	.498	prog	tests	267	inspect	900	750	6000	11000	17	0	unknown	prog	tests	0	inspect		49.8	43.8	5.6	5.8	110		200	0
eca-rers2012/Problem04_label47.yml	timeout	.507	prog	tests	281	inspect	900	730	6900	10000	58	0	unknown	prog	tests	0	inspect		50.7	45.2	5.8	6.2	110		210	0
eca-rers2012/Problem04_label48.yml	timeout	.501	prog	tests	273	inspect	900	710	7000	13000	55	0	unknown	prog	tests	0	inspect		50.1	44.4	5.7	5.7	110		200	0
eca-rers2012/Problem04_label50.yml	timeout	.506	prog	tests	279	inspect	900	730	6800	11000	54	0	unknown	prog	tests	0	inspect		50.6	45.0	5.8	5.8	110		200	0
eca-rers2012/Problem04_label51.yml	timeout	.501	prog	tests	273	inspect	900	760	7700	11000	63	0	unknown	prog	tests	0	inspect		50.1	44.4	5.8	5.7	110		200	0
eca-rers2012/Problem04_label52.yml	timeout	.512	prog	tests	284	inspect	900	750	6500	11000	56	0	unknown	prog	tests	0	inspect		51.2	45.5	6.0	6.3	110		220	0
eca-rers2012/Problem04_label53.yml	timeout	.512	prog	tests	288	inspect	900	750	6600	10000	63	0	unknown	prog	tests	0	inspect		51.2	45.9	5.9	6.3	110		220	0
eca-rers2012/Problem04_label54.yml	timeout	.506	prog	tests	280	inspect	900	720	7000	11000	60	0	unknown	prog	tests	0	inspect		50.6	45.1	5.8	5.7	110		210	0
eca-rers2012/Problem04_label55.yml	timeout	.515	prog	tests	290	inspect	900	750	7700	11000	62	0	unknown	prog	tests	0	inspect		51.5	46.1	5.9	5.8	110		220	0
eca-rers2012/Problem04_label56.yml	timeout	.511	prog	tests	285	inspect	900	760	7000	11000	56	0	unknown	prog	tests	0	inspect		51.1	45.6	5.8	5.8	110		220	0
eca-rers2012/Problem04_label59.yml	timeout	.514	prog	tests	287	inspect	900	760	6500	11000	57	0	unknown	prog	tests	0	inspect		51.4	45.8	6.0	5.9	110		210	0
eca-rers2012/Problem05_label00.yml	timeout	.266	prog	tests	78	inspect	900	680	7600	11000	82	0	unknown	prog	tests	0	inspect		26.6	18.6	4.3	4.3	180		160	0
eca-rers2012/Problem05_label01.yml	timeout	.277	prog	tests	104	inspect	900	740	5800	13000	83	0	unknown	prog	tests	0	inspect		27.7	19.7	4.9	4.9	180		220	0
eca-rers2012/Problem05_label02.yml	timeout	.271	prog	tests	89	inspect	900	740	7500	12000	71	0	unknown	prog	tests	0	inspect		27.1	19.1	4.6	4.7	180		180	0
eca-rers2012/Problem05_label03.yml	timeout	.281	prog	tests	113	inspect	900	720	6500	11000	77	0	unknown	prog	tests	0	inspect		28.1	20.1	5.3	5.4	180		210	0
eca-rers2012/Problem05_label04.yml	timeout	.265	prog	tests	78	inspect	900	690	7200	11000	73	0	unknown	prog	tests	0	inspect		26.5	18.6	4.4	4.4	180		140	0
eca-rers2012/Problem05_label05.yml	timeout	.266	prog	tests	82	inspect	900	670	9000	9900	57	0	unknown	prog	tests	0	inspect		26.6	18.7	4.4	4.5	180		160	0
eca-rers2012/Problem05_label06.yml	timeout	.274	prog	tests	100	inspect	900	730	5800	11000	70	0	unknown	prog	tests	0	inspect		27.4	19.5	5.0	5.2	180		220	0
eca-rers2012/Problem05_label07.yml	timeout	.275	prog	tests	101	inspect	900	740	6600	11000	75	0	unknown	prog	tests	0	inspect		27.5	19.6	5.1	5.2	180		180	0
eca-rers2012/Problem05_label08.yml	timeout	.269	prog	tests	82	inspect	900	700	6200	11000	78	0	unknown	prog	tests	0	inspect		26.9	18.7	4.4	4.5	180		140	0
eca-rers2012/Problem05_label09.yml	timeout	.273	prog	tests	92	inspect	900	690	7500	11000	69	0	unknown	prog	tests	0	inspect		27.2	19.2	4.5	4.6	180		220	0
eca-rers2012/Problem05_label10.yml	timeout	.279	prog	tests	108	inspect	900	770	6000	11000	80	0	unknown	prog	tests	0	inspect		27.9	19.9	5.1	5.0	180		190	0
eca-rers2012/Problem05_label11.yml	timeout	.278	prog	tests	102	inspect	900	720	7000	9900	86	0	unknown	prog	tests	0	inspect		27.8	19.6	5.0	5.0	180		170	0
eca-rers2012/Problem05_label12.yml	timeout	.277	prog	tests	106	inspect	900	740	6000	14000	73	0	unknown	prog	tests	0	inspect		27.7	19.8	5.0	5.3	180		240	0
eca-rers2012/Problem05_label13.yml	timeout	.271	prog	tests	95	inspect	900	700	6200	10000	72	0	unknown	prog	tests	0	inspect		27.1	19.3	4.6	4.7	180		220	0
eca-rers2012/Problem05_label14.yml	timeout	.278	prog	tests	105	inspect	900	730	6200	12000	83	0	unknown	prog	tests	0	inspect		27.8	19.7	5.1	5.4	180		250	0
eca-rers2012/Problem05_label15.yml	timeout	.279	prog	tests	107	inspect	900	760	5600	11000	79	0	unknown	prog	tests	0	inspect		27.9	19.8	5.1	5.1	180		250	0
eca-rers2012/Problem05_label16.yml	timeout	.274	prog	tests	97	inspect	900	720	7700	10000	73	0	unknown	prog	tests	0	inspect		27.4	19.4	4.7	4.7	180		210	0
eca-rers2012/Problem05_label17.yml	timeout	.275	prog	tests	99	inspect	900	720	6300	10000	80	0	unknown	prog	tests	0	inspect		27.5	19.5	4.9	5.0	180		240	0
eca-rers2012/Problem05_label18.yml	timeout	.260	prog	tests	72	inspect	900	660	7500	10000	72	0	unknown	prog	tests	0	inspect		26.0	18.3	4.1	4.1	180		140	0
eca-rers2012/Problem05_label19.yml	timeout	.280	prog	tests	110	inspect	900	760	6200	13000	74	0	unknown	prog	tests	0	inspect		28.0	19.9	5.2	5.3	180		250	0
eca-rers2012/Problem05_label20.yml	timeout	.273	prog	tests	89	inspect	900	730	6000	14000	79	0	unknown	prog	tests	0	inspect		27.3	19.1	4.6	4.8	180		210	0
eca-rers2012/Problem05_label21.yml	timeout	.279	prog	tests	108	inspect	900	760	5800	13000	77	0	unknown	prog	tests	0	inspect		27.9	19.9	5.1	5.1	180		250	0
eca-rers2012/Problem05_label22.yml	timeout	.273	prog	tests	86	inspect	900	710	6800	11000	84	0	unknown	prog	tests	0	inspect		27.3	18.9	4.5	4.7	180		200	0
eca-rers2012/Problem05_label23.yml	timeout	.275	prog	tests	100	inspect	900	710	6500	11000	73	0	unknown	prog	tests	0	inspect		27.5	19.5	4.9	4.9	180		210	0
eca-rers2012/Problem05_label24.yml	timeout	.276	prog	tests	103	inspect	900	730	6300	11000	76	0	unknown	prog	tests	0	inspect		27.6	19.6	4.8	4.8	180		240	0
eca-rers2012/Problem05_label25.yml	timeout	.271	prog	tests	93	inspect	900	700	6900	11000	69	0	unknown	prog	tests	0	inspect		27.1	19.2	4.7	4.8	180		210	0
eca-rers2012/Problem05_label26.yml	timeout	.275	prog	tests	103	inspect	900	740	6300	11000	76	0	unknown	prog	tests	0	inspect		27.5	19.6	5.1	5.1	180		250	0
eca-rers2012/Problem05_label27.yml	timeout	.265	prog	tests	77	inspect	900	700	7100	11000	68	0	unknown	prog	tests	0	inspect		26.5	18.5	4.2	4.4	180		150	0
eca-rers2012/Problem05_label28.yml	timeout	.267	prog	tests	80	inspect	900	690	7900	10000	79	0	unknown	prog	tests	0	inspect		26.7	18.6	4.6	4.6	180		140	0
eca-rers2012/Problem05_label29.yml	timeout	.268	prog	tests	82	inspect	900	710	6800	11000	78	0	unknown	prog	tests	0	inspect		26.8	18.7	4.4	4.3	180		160	0
eca-rers2012/Problem05_label30.yml	timeout	.267	prog	tests	80	inspect	900	700	6900	9900	65	0	unknown	prog	tests	0	inspect		26.7	18.6	4.4	4.4	180		190	0
eca-rers2012/Problem05_label31.yml	timeout	.277	prog	tests	106	inspect	900	740	5700	11000	78	0	unknown	prog	tests	0	inspect		27.7	19.8	5.0	4.9	180		250	0
eca-rers2012/Problem05_label32.yml	timeout	.272	prog	tests	91	inspect	900	740	5700	10000	76	0	unknown	prog	tests	0	inspect		27.2	19.1	4.7	4.7	180		210	0
eca-rers2012/Problem05_label33.yml	timeout	.274	prog	tests	97	inspect	900	710	6300	11000	78	0	unknown	prog	tests	0	inspect		27.4	19.4	4.7	4.7	180		210	0
eca-rers2012/Problem05_label34.yml	timeout	.275	prog	tests	98	inspect	900	720	7000	11000	80	0	unknown	prog	tests	0	inspect		27.5	19.4	4.8	4.8	180		220	0
eca-rers2012/Problem05_label35.yml	timeout	.282	prog	tests	114	inspect	900	740	6400	11000	78	0	unknown	prog	tests	0	inspect		28.2	20.1	5.5	5.6	180		210	0
eca-rers2012/Problem05_label36.yml	timeout	.283	prog	tests	116	inspect	900	730	7100	10000	79	0	unknown	prog	tests	0	inspect		28.3	20.2	5.7	5.6	180		250	0
eca-rers2012/Problem05_label37.yml	timeout	.269	prog	tests	82	inspect	900	680	6200	11000	76	0	unknown	prog	tests	0	inspect		26.9	18.7	4.4	4.4	180		160	0
eca-rers2012/Problem05_label38.yml	timeout	.274	prog	tests	97	inspect	900	690	6400	12000	82	0	unknown	prog	tests	0	inspect		27.4	19.4	4.6	4.7	180		230	0
eca-rers2012/Problem05_label39.yml	timeout	.275	prog	tests	99	inspect	900	720	6300	12000	69	0	unknown	prog	tests	0	inspect		27.5	19.5	4.9	4.9	180		180	0
eca-rers2012/Problem05_label40.yml	timeout	.277	prog	tests	105	inspect	900	750	6400	12000	75	0	unknown	prog	tests	0	inspect		27.7	19.7	5.1	5.3	180		200	0
eca-rers2012/Problem05_label41.yml	timeout	.269	prog	tests	89	inspect	900	690	8000	11000	72	0	unknown	prog	tests	0	inspect		26.9	19.1	4.7	4.6	180		150	0
eca-rers2012/Problem05_label42.yml	timeout	.274	prog	tests	102	inspect	900	750	5800	13000	74	0	unknown	prog	tests	0	inspect		27.4	19.6	5.1	5.1	180		230	0
eca-rers2012/Problem05_label43.yml	timeout	.278	prog	tests	107	inspect	900	750	6000	12000	79	0	unknown	prog	tests	0	inspect		27.8	19.8	5.2	5.2	180		200	0
eca-rers2012/Problem05_label44.yml	timeout	.261	prog	tests	72	inspect	900	660	7000	12000	68	0	unknown	prog	tests	0	inspect		26.1	18.3	4.2	4.2	180		130	0
eca-rers2012/Problem05_label45.yml	timeout	.270	prog	tests	87	inspect	900	730	5700	12000	77	0	unknown	prog	tests	0	inspect		27.0	19.0	4.7	4.7	180		160	0
eca-rers2012/Problem05_label46.yml	timeout	.271	prog	tests	89	inspect	900	730	6500	12000	82	0	unknown	prog	tests	0	inspect		27.1	19.1	4.6	4.8	180		160	0
eca-rers2012/Problem05_label47.yml	timeout	.271	prog	tests	93	inspect	900	680	6800	11000	74	0	unknown	prog	tests	0	inspect		27.1	19.2	4.7	4.7	180		160	0
eca-rers2012/Problem05_label48.yml	timeout	.276	prog	tests	100	inspect	900	710	6200	10000	78	0	unknown	prog	tests	0	inspect		27.6	19.5	5.0	5.0	180		230	0
eca-rers2012/Problem05_label49.yml	timeout	.277	prog	tests	102	inspect	900	720	4300	11000	6.7	0	unknown	prog	tests	0	inspect		27.7	19.6	4.7	4.7	180		250	0
eca-rers2012/Problem05_label50.yml	timeout	.284	prog	tests	116	inspect	900	740	6400	11000	72	0	unknown	prog	tests	0	inspect		28.4	20.2	5.4	5.5	180		220	0
eca-rers2012/Problem05_label51.yml	timeout	.277	prog	tests	105	inspect	900	750	5700	11000	76	0	unknown	prog	tests	0	inspect		27.7	19.7	5.1	5.1	180		180	0
eca-rers2012/Problem05_label52.yml	timeout	.271	prog	tests	87	inspect	900	700	5900	11000	78	0	unknown	prog	tests	0	inspect		27.1	19.0	4.6	4.7	180		180	0
eca-rers2012/Problem05_label53.yml	timeout	.275	prog	tests	102	inspect	900	730	6100	13000	78	0	unknown	prog	tests	0	inspect		27.5	19.6	4.9	5.0	180		200	0
eca-rers2012/Problem05_label54.yml	timeout	.278	prog	tests	107	inspect	900	740	5700	11000	79	0	unknown	prog	tests	0	inspect		27.8	19.8	5.2	5.2	180		210	0
eca-rers2012/Problem05_label55.yml	timeout	.274	prog	tests	97	inspect	900	710	7100	12000	78	0	unknown	prog	tests	0	inspect		27.4	19.4	4.7	4.7	180		170	0
eca-rers2012/Problem05_label56.yml	timeout	.259	prog	tests	76	inspect	900	710	5600	12000	78	0	unknown	prog	tests	0	inspect		25.9	18.5	4.2	4.3	180		130	0
eca-rers2012/Problem05_label57.yml	timeout	.267	prog	tests	86	inspect	900	690	9000	9900	62	0	unknown	prog	tests	0	inspect		26.7	18.9	4.8	4.7	180		210	0
eca-rers2012/Problem05_label58.yml	timeout	.275	prog	tests	102	inspect	900	720	5700	12000	74	0	unknown	prog	tests	0	inspect		27.5	19.6	5.0	5.1	180		230	0
eca-rers2012/Problem05_label59.yml	timeout	.269	prog	tests	91	inspect	900	690	8400	10000	62	0	unknown	prog	tests	0	inspect		26.9	19.1	4.6	4.6	180		200	0
eca-rers2012/Problem06_label00.yml	timeout	.278	prog	tests	107	inspect	900	770	14000	14000	52	0	unknown	prog	tests	0	inspect		27.8	18.8	4.7	5.1	180		180	0
eca-rers2012/Problem06_label01.yml	timeout	.274	prog	tests	104	inspect	900	750	13000	12000	49	0	unknown	prog	tests	0	inspect		27.4	18.6	4.5	4.6	180		180	0
eca-rers2012/Problem06_label02.yml	timeout	.271	prog	tests	99	inspect	900	750	12000	10000	49	0	unknown	prog	tests	0	inspect		27.1	18.2	4.3	4.3	180		200	0
eca-rers2012/Problem06_label03.yml	timeout	.265	prog	tests	90	inspect	900	740	10000	11000	48	0	unknown	prog	tests	0	inspect		26.5	17.5	4.2	4.2	180		160	0
eca-rers2012/Problem06_label04.yml	timeout	.281	prog	tests	108	inspect	900	770	13000	12000	50	0	unknown	prog	tests	0	inspect		28.1	18.9	4.7	4.8	180		190	0
eca-rers2012/Problem06_label05.yml	timeout	.263	prog	tests	88	inspect	900	720	11000	12000	48	0	unknown	prog	tests	0	inspect		26.3	17.3	4.1	4.2	180		180	0
eca-rers2012/Problem06_label06.yml	timeout	.275	prog	tests	105	inspect	900	770	13000	11000	48	0	unknown	prog	tests	0	inspect		27.5	18.6	4.5	4.5	180		150	0
eca-rers2012/Problem06_label07.yml	timeout	.268	prog	tests	100	inspect	900	730	13000	11000	46	0	unknown	prog	tests	0	inspect		26.8	18.2	4.6	4.6	180		140	0
eca-rers2012/Problem06_label08.yml	timeout	.273	prog	tests	104	inspect	900	750	13000	8900	49	0	unknown	prog	tests	0	inspect		27.3	18.6	4.6	4.7	180		180	0
eca-rers2012/Problem06_label09.yml	timeout	.280	prog	tests	108	inspect	900	770	13000	11000	50	0	unknown	prog	tests	0	inspect		28.0	18.9	4.9	4.8	180		160	0
eca-rers2012/Problem06_label10.yml	timeout	.280	prog	tests	107	inspect	900	750	13000	11000	51	0	unknown	prog	tests	0	inspect		28.0	18.8	4.6	4.6	180		210	0
eca-rers2012/Problem06_label11.yml	timeout	.271	prog	tests	99	inspect	900	750	12000	12000	49	0	unknown	prog	tests	0	inspect		27.1	18.2	4.5	4.5	180		190	0
eca-rers2012/Problem06_label12.yml	timeout	.270	prog	tests	100	inspect	900	760	12000	11000	51	0	unknown	prog	tests	0	inspect		27.0	18.3	4.5	4.6	180		200	0
eca-rers2012/Problem06_label13.yml	timeout	.281	prog	tests	109	inspect	900	770	13000	11000	52	0	unknown	prog	tests	0	inspect		28.1	19.0	4.7	4.6	180		190	0
eca-rers2012/Problem06_label14.yml	timeout	.269	prog	tests	92	inspect	900	740	10000	9800	51	0	unknown	prog	tests	0	inspect		26.9	17.6	4.2	4.4	180		180	0
eca-rers2012/Problem06_label15.yml	timeout	.271	prog	tests	99	inspect	900	740	12000	10000	50	0	unknown	prog	tests	0	inspect		27.1	18.2	4.8	4.8	180		200	0
eca-rers2012/Problem06_label16.yml	timeout	.272	prog	tests	103	inspect	900	740	13000	11000	48	0	unknown	prog	tests	0	inspect		27.2	18.5	4.6	4.7	180		150	0
eca-rers2012/Problem06_label17.yml	timeout	.271	prog	tests	97	inspect	900	760	12000	11000	49	0	unknown	prog	tests	0	inspect		27.1	18.0	4.3	4.4	180		190	0
eca-rers2012/Problem06_label18.yml	timeout	.269	prog	tests	98	inspect	900	750	11000	11000	50	0	unknown	prog	tests	0	inspect		26.9	18.1	4.4	4.4	180		190	0
eca-rers2012/Problem06_label19.yml	timeout	.271	prog	tests	99	inspect	900	750	12000	12000	51	0	unknown	prog	tests	0	inspect		27.1	18.2	4.6	4.6	180		150	0
eca-rers2012/Problem06_label20.yml	timeout	.283	prog	tests	110	inspect	900	780	13000	11000	53	0	unknown	prog	tests	0	inspect		28.3	19.1	4.6	4.6	180		220	0
eca-rers2012/Problem06_label21.yml	timeout	.274	prog	tests	105	inspect	900	770	13000	9900	47	0	unknown	prog	tests	0	inspect		27.4	18.6	4.8	4.9	180		150	0
eca-rers2012/Problem06_label22.yml	timeout	.271	prog	tests	98	inspect	900	750	12000	11000	49	0	unknown	prog	tests	0	inspect		27.1	18.1	4.4	4.5	180		180	0
eca-rers2012/Problem06_label23.yml	timeout	.262	prog	tests	87	inspect	900	720	10000	11000	48	0	unknown	prog	tests	0	inspect		26.2	17.2	4.3	4.3	180		130	0
eca-rers2012/Problem06_label24.yml	timeout	.277	prog	tests	105	inspect	900	760	13000	11000	49	0	unknown	prog	tests	0	inspect		27.7	18.6	4.7	4.7	180		150	0
eca-rers2012/Problem06_label25.yml	timeout	.263	prog	tests	86	inspect	900	730	10000	11000	46	0	unknown	prog	tests	0	inspect		26.3	17.1	4.2	4.2	180		130	0
eca-rers2012/Problem06_label26.yml	timeout	.266	prog	tests	90	inspect	900	740	10000	12000	49	0	unknown	prog	tests	0	inspect		26.6	17.5	4.3	4.3	180		120	0
eca-rers2012/Problem06_label27.yml	timeout	.273	prog	tests	103	inspect	900	760	13000	11000	47	0	unknown	prog	tests	0	inspect		27.3	18.5	4.7	4.6	180		150	0
eca-rers2012/Problem06_label28.yml	timeout	.281	prog	tests	108	inspect	900	750	13000	9800	52	0	unknown	prog	tests	0	inspect		28.1	18.9	4.6	4.7	180		200	0
eca-rers2012/Problem06_label29.yml	timeout	.268	prog	tests	90	inspect	900	730	10000	11000	49	0	unknown	prog	tests	0	inspect		26.8	17.5	4.3	4.3	180		150	0
eca-rers2012/Problem06_label30.yml	timeout	.279	prog	tests	107	inspect	900	760	13000	10000	51	0	unknown	prog	tests	0	inspect		27.9	18.8	4.6	4.7	180		180	0
eca-rers2012/Problem06_label31.yml	timeout	.277	prog	tests	105	inspect	900	750	13000	11000	50	0	unknown	prog	tests	0	inspect		27.7	18.6	4.6	4.6	180		200	0
eca-rers2012/Problem06_label32.yml	timeout	.281	prog	tests	109	inspect	900	770	13000	9900	50	0	unknown	prog	tests	0	inspect		28.1	19.0	4.7	4.9	180		210	0
eca-rers2012/Problem06_label33.yml	timeout	.281	prog	tests	108	inspect	900	770	13000	11000	51	0	unknown	prog	tests	0	inspect		28.1	18.9	4.6	4.6	180		160	0
eca-rers2012/Problem06_label34.yml	timeout	.278	prog	tests	107	inspect	900	760	13000	12000	51	0	unknown	prog	tests	0	inspect		27.8	18.8	4.5	4.7	180		210	0
eca-rers2012/Problem06_label35.yml	timeout	.274	prog	tests	106	inspect	900	760	13000	11000	50	0	unknown	prog	tests	0	inspect		27.4	18.7	4.6	4.6	180		200	0
eca-rers2012/Problem06_label36.yml	timeout	.278	prog	tests	107	inspect	900	770	13000	12000	49	0	unknown	prog	tests	0	inspect		27.8	18.8	4.7	4.7	180		200	0
eca-rers2012/Problem06_label37.yml	timeout	.266	prog	tests	90	inspect	900	740	10000	11000	49	0	unknown	prog	tests	0	inspect		26.6	17.5	4.3	4.3	180		120	0
eca-rers2012/Problem06_label38.yml	timeout	.274	prog	tests	106	inspect	900	770	13000	11000	51	0	unknown	prog	tests	0	inspect		27.4	18.7	4.4	4.3	180		210	0
eca-rers2012/Problem06_label39.yml	timeout	.272	prog	tests	100	inspect	900	760	12000	9000	52	0	unknown	prog	tests	0	inspect		27.2	18.3	4.6	4.7	180		150	0
eca-rers2012/Problem06_label40.yml	timeout	.264	prog	tests	88	inspect	900	740	10000	12000	48	0	unknown	prog	tests	0	inspect		26.4	17.3	4.0	4.0	180		170	0
eca-rers2012/Problem06_label41.yml	timeout	.271	prog	tests	98	inspect	900	740	12000	11000	50	0	unknown	prog	tests	0	inspect		27.1	18.1	4.5	4.5	180		140	0
eca-rers2012/Problem06_label42.yml	timeout	.276	prog	tests	106	inspect	900	760	13000	11000	51	0	unknown	prog	tests	0	inspect		27.6	18.7	4.5	4.5	180		210	0
eca-rers2012/Problem06_label43.yml	timeout	.272	prog	tests	99	inspect	900	750	12000	11000	51	0	unknown	prog	tests	0	inspect		27.2	18.2	4.5	4.5	180		190	0
eca-rers2012/Problem06_label44.yml	timeout	.275	prog	tests	105	inspect	900	760	13000	11000	48	0	unknown	prog	tests	0	inspect		27.5	18.6	4.5	4.5	180		170	0
eca-rers2012/Problem06_label45.yml	timeout	.28	prog	tests	107	inspect	900	760	13000	12000	51	0	unknown	prog	tests	0	inspect		28.0	18.8	5.1	5.0	180		170	0
eca-rers2012/Problem06_label46.yml	timeout	.269	prog	tests	97	inspect	900	750	12000	12000	51	0	unknown	prog	tests	0	inspect		26.9	18.0	4.3	4.3	180		160	0
eca-rers2012/Problem06_label47.yml	timeout	.278	prog	tests	106	inspect	900	760	13000	10000	49	0	unknown	prog	tests	0	inspect		27.8	18.7	5.1	5.1	180		160	0
eca-rers2012/Problem06_label48.yml	timeout	.267	prog	tests	91	inspect	900	740	9900	12000	50	0	unknown	prog	tests	0	inspect		26.7	17.6	4.3	4.4	180		170	0
eca-rers2012/Problem06_label49.yml	timeout	.278	prog	tests	107	inspect	900	770	13000	13000	53	0	unknown	prog	tests	0	inspect		27.8	18.8	4.9	4.8	180		150	0
eca-rers2012/Problem06_label50.yml	timeout	.278	prog	tests	107	inspect	900	760	13000	10000	50	0	unknown	prog	tests	0	inspect		27.8	18.8	4.6	4.6	180		210	0
eca-rers2012/Problem06_label51.yml	timeout	.283	prog	tests	109	inspect	900	770	12000	11000	49	0	unknown	prog	tests	0	inspect		28.3	19.0	4.7	4.7	180		210	0
eca-rers2012/Problem06_label52.yml	timeout	.279	prog	tests	107	inspect	900	770	13000	11000	49	0	unknown	prog	tests	0	inspect		27.9	18.8	4.7	4.6	180		140	0
eca-rers2012/Problem06_label53.yml	timeout	.268	prog	tests	97	inspect	900	750	11000	12000	50	0	unknown	prog	tests	0	inspect		26.8	18.0	4.6	4.6	180		190	0
eca-rers2012/Problem06_label54.yml	timeout	.268	prog	tests	92	inspect	900	740	10000	12000	51	0	unknown	prog	tests	0	inspect		26.8	17.6	4.1	4.2	180		180	0
eca-rers2012/Problem06_label55.yml	timeout	.274	prog	tests	104	inspect	900	770	13000	11000	46	0	unknown	prog	tests	0	inspect		27.4	18.6	4.8	4.9	180		190	0
eca-rers2012/Problem06_label56.yml	timeout	.270	prog	tests	97	inspect	900	750	12000	11000	49	0	unknown	prog	tests	0	inspect		27.0	18.0	4.3	4.4	180		180	0
eca-rers2012/Problem06_label57.yml	timeout	.272	prog	tests	104	inspect	900	760	13000	12000	47	0	unknown	prog	tests	0	inspect		27.2	18.6	5.0	5.0	180		140	0
eca-rers2012/Problem06_label58.yml	timeout	.267	prog	tests	91	inspect	900	730	10000	11000	50	0	unknown	prog	tests	0	inspect		26.7	17.6	4.2	4.2	180		150	0
eca-rers2012/Problem06_label59.yml	timeout	.281	prog	tests	108	inspect	900	760	13000	12000	51	0	unknown	prog	tests	0	inspect		28.1	18.9	4.6	4.7	180		160	0
eca-rers2012/Problem07_label00.yml	timeout	.0791	prog	tests	28	inspect	900	700	5800	12000	80	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		480	0
eca-rers2012/Problem07_label01.yml	timeout	.0788	prog	tests	27	inspect	900	690	6200	12000	71	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		560	0
eca-rers2012/Problem07_label02.yml	timeout	.0788	prog	tests	27	inspect	900	680	7000	10000	62	0	unknown	prog	tests	0	inspect		7.88	12.5	19	19	770		410	0
eca-rers2012/Problem07_label03.yml	timeout	.0788	prog	tests	27	inspect	900	680	5600	12000	82	0	unknown	prog	tests	0	inspect		7.88	12.5	21	21	770		610	0
eca-rers2012/Problem07_label04.yml	timeout	.0788	prog	tests	27	inspect	900	700	6700	10000	64	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		580	0
eca-rers2012/Problem07_label05.yml	timeout	.0791	prog	tests	28	inspect	900	700	5500	10000	79	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		440	0
eca-rers2012/Problem07_label06.yml	timeout	.0791	prog	tests	28	inspect	900	690	5800	11000	77	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		610	0
eca-rers2012/Problem07_label07.yml	timeout	.0791	prog	tests	28	inspect	900	680	6800	10000	84	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		570	0
eca-rers2012/Problem07_label08.yml	timeout	.0793	prog	tests	30	inspect	900	720	5800	10000	81	0	unknown	prog	tests	0	inspect		7.93	12.5	21	21	770		500	0
eca-rers2012/Problem07_label09.yml	timeout	.0791	prog	tests	28	inspect	900	710	5800	11000	83	0	unknown	prog	tests	0	inspect		7.91	12.5	19	19	770		630	0
eca-rers2012/Problem07_label10.yml	timeout	.0791	prog	tests	28	inspect	900	700	5500	11000	84	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		470	0
eca-rers2012/Problem07_label11.yml	timeout	.0788	prog	tests	27	inspect	900	680	6800	10000	66	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		430	0
eca-rers2012/Problem07_label12.yml	timeout	.0793	prog	tests	29	inspect	900	720	6200	13000	77	0	unknown	prog	tests	0	inspect		7.93	12.5	22	22	770		630	0
eca-rers2012/Problem07_label13.yml	timeout	.0791	prog	tests	28	inspect	900	720	5700	10000	76	0	unknown	prog	tests	0	inspect		7.91	12.5	19	19	770		650	0
eca-rers2012/Problem07_label14.yml	timeout	.0788	prog	tests	28	inspect	900	720	5600	10000	70	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		480	0
eca-rers2012/Problem07_label15.yml	timeout	.0791	prog	tests	28	inspect	900	680	5600	9900	75	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		440	0
eca-rers2012/Problem07_label16.yml	timeout	.0791	prog	tests	28	inspect	900	710	5700	11000	75	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		540	0
eca-rers2012/Problem07_label17.yml	timeout	.0791	prog	tests	28	inspect	900	710	5800	10000	61	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		480	0
eca-rers2012/Problem07_label18.yml	timeout	.0791	prog	tests	28	inspect	900	700	6400	10000	80	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		450	0
eca-rers2012/Problem07_label19.yml	timeout	.0791	prog	tests	28	inspect	900	710	5900	11000	69	0	unknown	prog	tests	0	inspect		7.91	12.5	19	20	770		370	0
eca-rers2012/Problem07_label20.yml	timeout	.0791	prog	tests	28	inspect	900	690	6000	10000	78	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		490	0
eca-rers2012/Problem07_label21.yml	timeout	.0791	prog	tests	28	inspect	900	710	5700	11000	83	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		550	0
eca-rers2012/Problem07_label22.yml	timeout	.0793	prog	tests	29	inspect	900	710	5800	11000	89	0	unknown	prog	tests	0	inspect		7.93	12.5	20	20	770		490	0
eca-rers2012/Problem07_label23.yml	timeout	.0791	prog	tests	28	inspect	900	680	6500	11000	82	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		510	0
eca-rers2012/Problem07_label24.yml	timeout	.0788	prog	tests	27	inspect	900	680	6800	11000	82	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		460	0
eca-rers2012/Problem07_label25.yml	timeout	.0791	prog	tests	28	inspect	900	700	5600	11000	73	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		440	0
eca-rers2012/Problem07_label26.yml	timeout	.0793	prog	tests	30	inspect	900	720	6000	11000	85	0	unknown	prog	tests	0	inspect		7.93	12.5	22	22	770		680	0
eca-rers2012/Problem07_label27.yml	timeout	.0793	prog	tests	30	inspect	900	710	5600	10000	85	0	unknown	prog	tests	0	inspect		7.93	12.5	20	20	770		590	0
eca-rers2012/Problem07_label28.yml	timeout	.0791	prog	tests	28	inspect	900	680	5500	10000	66	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		580	0
eca-rers2012/Problem07_label29.yml	timeout	.0791	prog	tests	28	inspect	900	650	6700	11000	54	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		660	0
eca-rers2012/Problem07_label30.yml	timeout	.0788	prog	tests	27	inspect	900	650	8200	9700	55	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		460	0
eca-rers2012/Problem07_label31.yml	timeout	.0788	prog	tests	27	inspect	900	680	5600	10000	69	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		590	0
eca-rers2012/Problem07_label32.yml	timeout	.0791	prog	tests	28	inspect	900	710	5800	11000	66	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		460	0
eca-rers2012/Problem07_label33.yml	timeout	.0793	prog	tests	29	inspect	900	700	6100	11000	78	0	unknown	prog	tests	0	inspect		7.93	12.5	20	20	770		450	0
eca-rers2012/Problem07_label34.yml	timeout	.0791	prog	tests	28	inspect	900	710	5600	11000	87	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		480	0
eca-rers2012/Problem07_label35.yml	timeout	.0791	prog	tests	29	inspect	900	720	5600	11000	84	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		500	0
eca-rers2012/Problem07_label36.yml	timeout	.0791	prog	tests	28	inspect	900	710	5600	11000	85	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		430	0
eca-rers2012/Problem07_label37.yml	timeout	.0791	prog	tests	28	inspect	900	700	5700	13000	79	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		430	0
eca-rers2012/Problem07_label38.yml	timeout	.0788	prog	tests	28	inspect	900	720	5800	11000	72	0	unknown	prog	tests	0	inspect		7.88	12.5	21	21	770		640	0
eca-rers2012/Problem07_label39.yml	timeout	.0788	prog	tests	27	inspect	900	680	5500	11000	73	0	unknown	prog	tests	0	inspect		7.88	12.5	19	19	770		510	0
eca-rers2012/Problem07_label40.yml	timeout	.0791	prog	tests	29	inspect	900	730	5500	12000	75	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		610	0
eca-rers2012/Problem07_label41.yml	timeout	.0791	prog	tests	28	inspect	900	720	6500	12000	69	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		510	0
eca-rers2012/Problem07_label42.yml	timeout	.0788	prog	tests	28	inspect	900	720	5600	11000	72	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		580	0
eca-rers2012/Problem07_label43.yml	timeout	.0788	prog	tests	26	inspect	900	660	6600	11000	65	0	unknown	prog	tests	0	inspect		7.88	12.5	21	21	770		580	0
eca-rers2012/Problem07_label44.yml	timeout	.0788	prog	tests	27	inspect	900	710	5800	12000	61	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		450	0
eca-rers2012/Problem07_label45.yml	timeout	.0791	prog	tests	28	inspect	900	710	5800	10000	83	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		540	0
eca-rers2012/Problem07_label46.yml	timeout	.0791	prog	tests	28	inspect	900	690	5600	10000	80	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		480	0
eca-rers2012/Problem07_label47.yml	timeout	.0788	prog	tests	27	inspect	900	660	5800	8900	70	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		570	0
eca-rers2012/Problem07_label48.yml	timeout	.0791	prog	tests	28	inspect	900	690	5600	12000	66	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		640	0
eca-rers2012/Problem07_label49.yml	timeout	.0793	prog	tests	30	inspect	900	730	5900	11000	83	0	unknown	prog	tests	0	inspect		7.93	12.5	20	20	770		510	0
eca-rers2012/Problem07_label50.yml	timeout	.0793	prog	tests	30	inspect	900	720	5900	12000	79	0	unknown	prog	tests	0	inspect		7.93	12.5	20	20	770		450	0
eca-rers2012/Problem07_label51.yml	timeout	.0788	prog	tests	27	inspect	900	670	5800	10000	84	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		600	0
eca-rers2012/Problem07_label52.yml	timeout	.0788	prog	tests	28	inspect	900	710	5600	12000	74	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		450	0
eca-rers2012/Problem07_label53.yml	timeout	.0788	prog	tests	27	inspect	900	690	6300	9800	66	0	unknown	prog	tests	0	inspect		7.88	12.5	20	20	770		390	0
eca-rers2012/Problem07_label54.yml	timeout	.0791	prog	tests	29	inspect	900	710	5800	9900	75	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		530	0
eca-rers2012/Problem07_label55.yml	timeout	.0788	prog	tests	27	inspect	900	690	5700	12000	62	0	unknown	prog	tests	0	inspect		7.88	12.5	19	19	770		500	0
eca-rers2012/Problem07_label56.yml	timeout	.0791	prog	tests	28	inspect	900	700	5700	11000	80	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		550	0
eca-rers2012/Problem07_label57.yml	timeout	.0791	prog	tests	28	inspect	900	670	5900	9800	76	0	unknown	prog	tests	0	inspect		7.91	12.5	22	22	770		660	0
eca-rers2012/Problem07_label58.yml	timeout	.0791	prog	tests	28	inspect	900	700	5500	10000	75	0	unknown	prog	tests	0	inspect		7.91	12.5	21	21	770		540	0
eca-rers2012/Problem07_label59.yml	timeout	.0791	prog	tests	28	inspect	900	710	5500	11000	82	0	unknown	prog	tests	0	inspect		7.91	12.5	20	20	770		550	0
eca-rers2012/Problem08_label00.yml	timeout	.0572	prog	tests	23	inspect	900	680	5800	10000	68	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		800	0
eca-rers2012/Problem08_label01.yml	timeout	.0572	prog	tests	23	inspect	900	670	6100	9800	69	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		1000	0
eca-rers2012/Problem08_label02.yml	timeout	.0572	prog	tests	23	inspect	900	680	6600	12000	67	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		650	0
eca-rers2012/Problem08_label03.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	9600	65	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		610	0
eca-rers2012/Problem08_label04.yml	timeout	.0572	prog	tests	23	inspect	900	710	5800	10000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		950	0
eca-rers2012/Problem08_label05.yml	timeout	.0572	prog	tests	23	inspect	900	680	5900	11000	66	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		950	0
eca-rers2012/Problem08_label06.yml	timeout	.0572	prog	tests	23	inspect	900	680	5800	10000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		760	0
eca-rers2012/Problem08_label07.yml	timeout	.0572	prog	tests	23	inspect	900	690	6100	10000	62	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		1100	0
eca-rers2012/Problem08_label08.yml	timeout	.0572	prog	tests	23	inspect	900	680	6300	9800	73	0	unknown	prog	tests	0	inspect		5.72	8.73	38	39	1600		750	0
eca-rers2012/Problem08_label09.yml	timeout	.0572	prog	tests	23	inspect	900	680	6100	11000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		1000	0
eca-rers2012/Problem08_label10.yml	timeout	.0572	prog	tests	22	inspect	900	680	6500	10000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		690	0
eca-rers2012/Problem08_label11.yml	timeout	.0572	prog	tests	23	inspect	910	710	5800	12000	64	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		820	0
eca-rers2012/Problem08_label12.yml	timeout	.0572	prog	tests	23	inspect	900	680	5700	9000	61	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		940	0
eca-rers2012/Problem08_label13.yml	timeout	.0572	prog	tests	23	inspect	900	670	5800	9600	63	0	unknown	prog	tests	0	inspect		5.72	8.73	37	38	1600		740	0
eca-rers2012/Problem08_label14.yml	timeout	.0572	prog	tests	23	inspect	900	680	5700	10000	65	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		770	0
eca-rers2012/Problem08_label15.yml	timeout	.0572	prog	tests	23	inspect	900	670	5900	12000	61	0	unknown	prog	tests	0	inspect		5.72	8.73	40	40	1600		860	0
eca-rers2012/Problem08_label16.yml	timeout	.0572	prog	tests	22	inspect	900	670	6700	9600	62	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		780	0
eca-rers2012/Problem08_label17.yml	timeout	.0572	prog	tests	23	inspect	900	690	6100	9600	72	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		720	0
eca-rers2012/Problem08_label18.yml	timeout	.0572	prog	tests	23	inspect	900	680	6000	10000	68	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		830	0
eca-rers2012/Problem08_label19.yml	timeout	.0572	prog	tests	23	inspect	900	670	6500	9900	59	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		970	0
eca-rers2012/Problem08_label20.yml	timeout	.0572	prog	tests	23	inspect	900	690	6000	10000	59	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		900	0
eca-rers2012/Problem08_label21.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	9800	76	0	unknown	prog	tests	0	inspect		5.72	8.73	37	38	1600		680	0
eca-rers2012/Problem08_label22.yml	timeout	.0572	prog	tests	23	inspect	900	720	5800	11000	61	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		710	0
eca-rers2012/Problem08_label23.yml	timeout	.0572	prog	tests	23	inspect	900	680	5800	11000	68	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		820	0
eca-rers2012/Problem08_label24.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	11000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	40	40	1600		740	0
eca-rers2012/Problem08_label25.yml	timeout	.0572	prog	tests	23	inspect	900	700	5700	9900	64	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		780	0
eca-rers2012/Problem08_label26.yml	timeout	.0572	prog	tests	23	inspect	900	690	6000	10000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		890	0
eca-rers2012/Problem08_label27.yml	timeout	.0572	prog	tests	22	inspect	910	670	6300	10000	62	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		850	0
eca-rers2012/Problem08_label28.yml	timeout	.0572	prog	tests	23	inspect	900	670	6400	11000	63	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		720	0
eca-rers2012/Problem08_label29.yml	timeout	.0572	prog	tests	23	inspect	900	680	5900	10000	69	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		840	0
eca-rers2012/Problem08_label30.yml	timeout	.0572	prog	tests	23	inspect	900	710	6000	13000	60	0	unknown	prog	tests	0	inspect		5.72	8.73	39	40	1600		830	0
eca-rers2012/Problem08_label31.yml	timeout	.0572	prog	tests	23	inspect	900	670	6100	12000	67	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		740	0
eca-rers2012/Problem08_label32.yml	timeout	.0572	prog	tests	23	inspect	900	700	6100	10000	68	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		760	0
eca-rers2012/Problem08_label33.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	13000	73	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		1000	0
eca-rers2012/Problem08_label34.yml	timeout	.0572	prog	tests	23	inspect	900	670	6400	9700	65	0	unknown	prog	tests	0	inspect		5.72	8.73	38	39	1600		740	0
eca-rers2012/Problem08_label35.yml	timeout	.0572	prog	tests	22	inspect	900	680	7600	9100	56	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		750	0
eca-rers2012/Problem08_label36.yml	timeout	.0572	prog	tests	22	inspect	900	660	6500	11000	63	0	unknown	prog	tests	0	inspect		5.72	8.73	40	40	1600		850	0
eca-rers2012/Problem08_label37.yml	timeout	.0572	prog	tests	23	inspect	900	660	6100	11000	68	0	unknown	prog	tests	0	inspect		5.72	8.73	37	37	1600		740	0
eca-rers2012/Problem08_label38.yml	timeout	.0572	prog	tests	23	inspect	900	680	6100	10000	78	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		1000	0
eca-rers2012/Problem08_label39.yml	timeout	.0572	prog	tests	23	inspect	900	670	6100	9400	61	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		840	0
eca-rers2012/Problem08_label40.yml	timeout	.0572	prog	tests	23	inspect	900	710	6000	11000	64	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		680	0
eca-rers2012/Problem08_label41.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	11000	61	0	unknown	prog	tests	0	inspect		5.72	8.73	38	39	1600		860	0
eca-rers2012/Problem08_label42.yml	timeout	.0572	prog	tests	23	inspect	900	670	6100	9500	77	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		730	0
eca-rers2012/Problem08_label43.yml	timeout	.0572	prog	tests	23	inspect	900	670	6400	11000	61	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		780	0
eca-rers2012/Problem08_label44.yml	timeout	.0572	prog	tests	23	inspect	900	680	5600	9700	23	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		850	0
eca-rers2012/Problem08_label45.yml	timeout	.0572	prog	tests	23	inspect	900	690	5900	12000	74	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		730	0
eca-rers2012/Problem08_label46.yml	timeout	.0572	prog	tests	23	inspect	900	660	6000	10000	62	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		830	0
eca-rers2012/Problem08_label47.yml	timeout	.0567	prog	tests	23	inspect	900	680	6100	11000	76	0	unknown	prog	tests	0	inspect		5.67	8.72	38	38	1600		770	0
eca-rers2012/Problem08_label48.yml	timeout	.0572	prog	tests	22	inspect	900	670	6100	11000	51	0	unknown	prog	tests	0	inspect		5.72	8.73	36	36	1600		770	0
eca-rers2012/Problem08_label49.yml	timeout	.0572	prog	tests	23	inspect	900	670	6300	9800	71	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		730	0
eca-rers2012/Problem08_label50.yml	timeout	.0572	prog	tests	21	inspect	900	650	6200	10000	57	0	unknown	prog	tests	0	inspect		5.72	8.73	40	40	1600		870	0
eca-rers2012/Problem08_label51.yml	timeout	.0572	prog	tests	22	inspect	900	690	6000	9700	58	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		680	0
eca-rers2012/Problem08_label52.yml	timeout	.0572	prog	tests	23	inspect	900	670	6000	12000	71	0	unknown	prog	tests	0	inspect		5.72	8.73	40	40	1600		910	0
eca-rers2012/Problem08_label53.yml	timeout	.0572	prog	tests	23	inspect	900	670	6300	10000	72	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		670	0
eca-rers2012/Problem08_label54.yml	timeout	.0572	prog	tests	22	inspect	900	670	7400	11000	56	0	unknown	prog	tests	0	inspect		5.72	8.73	39	39	1600		750	0
eca-rers2012/Problem08_label55.yml	timeout	.0572	prog	tests	23	inspect	900	680	6000	12000	74	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		790	0
eca-rers2012/Problem08_label56.yml	timeout	.0572	prog	tests	23	inspect	900	670	5900	9600	66	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		860	0
eca-rers2012/Problem08_label57.yml	timeout	.0572	prog	tests	22	inspect	900	670	6100	9800	56	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		830	0
eca-rers2012/Problem08_label58.yml	timeout	.0572	prog	tests	23	inspect	900	690	5900	12000	66	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		810	0
eca-rers2012/Problem08_label59.yml	timeout	.0572	prog	tests	23	inspect	900	690	6100	9500	71	0	unknown	prog	tests	0	inspect		5.72	8.73	38	38	1600		770	0
eca-rers2012/Problem09_label00.yml	timeout	.0261	prog	tests	19	inspect	900	690	6400	10000	47	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		770	0
eca-rers2012/Problem09_label01.yml	timeout	.0261	prog	tests	18	inspect	900	670	7400	8900	54	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		870	0
eca-rers2012/Problem09_label02.yml	timeout	.0261	prog	tests	19	inspect	900	710	6600	12000	49	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		690	0
eca-rers2012/Problem09_label03.yml	timeout	.0261	prog	tests	19	inspect	900	680	6900	11000	49	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		830	0
eca-rers2012/Problem09_label04.yml	timeout	.0261	prog	tests	19	inspect	900	680	6200	11000	57	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		650	0
eca-rers2012/Problem09_label05.yml	timeout	.0261	prog	tests	19	inspect	900	710	6700	12000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		650	0
eca-rers2012/Problem09_label06.yml	timeout	.0261	prog	tests	18	inspect	900	680	6400	12000	47	0	unknown	prog	tests	0	inspect		2.61	2.64	39	39	1800		950	0
eca-rers2012/Problem09_label07.yml	timeout	.0261	prog	tests	19	inspect	900	700	6200	12000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		870	0
eca-rers2012/Problem09_label08.yml	timeout	.0261	prog	tests	18	inspect	900	700	6400	11000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		810	0
eca-rers2012/Problem09_label09.yml	timeout	.0261	prog	tests	19	inspect	900	710	6500	10000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		640	0
eca-rers2012/Problem09_label10.yml	timeout	.0261	prog	tests	19	inspect	900	710	6200	9500	52	0	unknown	prog	tests	0	inspect		2.61	2.64	41	42	1800		750	0
eca-rers2012/Problem09_label11.yml	timeout	.0261	prog	tests	19	inspect	900	680	6500	10000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		750	0
eca-rers2012/Problem09_label12.yml	timeout	.0261	prog	tests	20	inspect	900	680	6700	9700	55	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		710	0
eca-rers2012/Problem09_label13.yml	timeout	.0261	prog	tests	19	inspect	900	670	6500	12000	61	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		820	0
eca-rers2012/Problem09_label14.yml	timeout	.0261	prog	tests	19	inspect	900	700	6300	10000	54	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		780	0
eca-rers2012/Problem09_label15.yml	timeout	.0261	prog	tests	19	inspect	900	720	6500	12000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	42	43	1800		840	0
eca-rers2012/Problem09_label16.yml	timeout	.0261	prog	tests	20	inspect	900	680	6600	9800	54	0	unknown	prog	tests	0	inspect		2.61	2.64	44	44	1800		800	0
eca-rers2012/Problem09_label17.yml	timeout	.0261	prog	tests	19	inspect	900	690	6400	12000	56	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		730	0
eca-rers2012/Problem09_label18.yml	timeout	.0261	prog	tests	19	inspect	900	680	6700	10000	53	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		740	0
eca-rers2012/Problem09_label19.yml	timeout	.0261	prog	tests	20	inspect	900	680	6600	11000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		790	0
eca-rers2012/Problem09_label20.yml	timeout	.0261	prog	tests	19	inspect	900	690	6400	11000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		660	0
eca-rers2012/Problem09_label21.yml	timeout	.0261	prog	tests	18	inspect	900	680	6300	12000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		730	0
eca-rers2012/Problem09_label22.yml	timeout	.0261	prog	tests	18	inspect	900	670	6500	9900	50	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		870	0
eca-rers2012/Problem09_label23.yml	timeout	.0261	prog	tests	18	inspect	900	680	6500	9600	51	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		870	0
eca-rers2012/Problem09_label24.yml	timeout	.0261	prog	tests	19	inspect	900	690	6500	11000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	41	42	1800		540	0
eca-rers2012/Problem09_label25.yml	timeout	.0261	prog	tests	19	inspect	900	700	6200	10000	53	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		700	0
eca-rers2012/Problem09_label26.yml	timeout	.0261	prog	tests	19	inspect	900	680	6500	11000	53	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		600	0
eca-rers2012/Problem09_label27.yml	timeout	.0261	prog	tests	19	inspect	900	680	6700	9600	52	0	unknown	prog	tests	0	inspect		2.61	2.64	40	40	1800		630	0
eca-rers2012/Problem09_label28.yml	timeout	.0261	prog	tests	19	inspect	910	710	6600	12000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		660	0
eca-rers2012/Problem09_label29.yml	timeout	.0261	prog	tests	19	inspect	900	700	6200	9900	52	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		590	0
eca-rers2012/Problem09_label30.yml	timeout	.0261	prog	tests	18	inspect	900	680	6500	11000	56	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		640	0
eca-rers2012/Problem09_label31.yml	timeout	.0261	prog	tests	19	inspect	900	680	6400	11000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		760	0
eca-rers2012/Problem09_label32.yml	timeout	.0261	prog	tests	19	inspect	900	690	6600	10000	57	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		560	0
eca-rers2012/Problem09_label33.yml	timeout	.0261	prog	tests	19	inspect	900	670	6600	10000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		860	0
eca-rers2012/Problem09_label34.yml	timeout	.0261	prog	tests	19	inspect	900	700	6200	11000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		880	0
eca-rers2012/Problem09_label35.yml	timeout	.0261	prog	tests	19	inspect	900	680	6500	11000	56	0	unknown	prog	tests	0	inspect		2.61	2.64	41	42	1800		710	0
eca-rers2012/Problem09_label36.yml	timeout	.0261	prog	tests	20	inspect	900	700	6200	11000	53	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		850	0
eca-rers2012/Problem09_label37.yml	timeout	.0261	prog	tests	19	inspect	900	690	6400	12000	48	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		720	0
eca-rers2012/Problem09_label38.yml	timeout	.0261	prog	tests	18	inspect	900	680	6400	12000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		650	0
eca-rers2012/Problem09_label39.yml	timeout	.0261	prog	tests	19	inspect	900	680	6400	11000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		690	0
eca-rers2012/Problem09_label40.yml	timeout	.0261	prog	tests	19	inspect	900	680	6500	11000	49	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		750	0
eca-rers2012/Problem09_label41.yml	timeout	.0261	prog	tests	19	inspect	900	680	6400	10000	64	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		780	0
eca-rers2012/Problem09_label42.yml	timeout	.0261	prog	tests	18	inspect	900	710	6500	12000	50	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		760	0
eca-rers2012/Problem09_label43.yml	timeout	.0261	prog	tests	19	inspect	900	690	6300	10000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		860	0
eca-rers2012/Problem09_label44.yml	timeout	.0261	prog	tests	19	inspect	900	670	6600	9600	52	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		720	0
eca-rers2012/Problem09_label45.yml	timeout	.0261	prog	tests	19	inspect	900	690	6700	11000	55	0	unknown	prog	tests	0	inspect		2.61	2.64	43	43	1800		810	0
eca-rers2012/Problem09_label46.yml	timeout	.0261	prog	tests	20	inspect	900	700	6600	11000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		700	0
eca-rers2012/Problem09_label47.yml	timeout	.0261	prog	tests	18	inspect	900	680	6200	9800	53	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		580	0
eca-rers2012/Problem09_label48.yml	timeout	.0261	prog	tests	19	inspect	900	670	6500	12000	55	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		720	0
eca-rers2012/Problem09_label49.yml	timeout	.0261	prog	tests	18	inspect	900	690	6400	11000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		680	0
eca-rers2012/Problem09_label50.yml	timeout	.0261	prog	tests	19	inspect	900	680	6400	12000	56	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		710	0
eca-rers2012/Problem09_label51.yml	timeout	.0261	prog	tests	20	inspect	910	710	6600	11000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		850	0
eca-rers2012/Problem09_label52.yml	timeout	.0261	prog	tests	20	inspect	900	680	6600	10000	54	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		720	0
eca-rers2012/Problem09_label53.yml	timeout	.0261	prog	tests	19	inspect	900	680	6400	10000	49	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		720	0
eca-rers2012/Problem09_label54.yml	timeout	.0261	prog	tests	18	inspect	900	700	6500	11000	53	0	unknown	prog	tests	0	inspect		2.61	2.64	41	41	1800		730	0
eca-rers2012/Problem09_label55.yml	timeout	.0261	prog	tests	18	inspect	900	710	6500	11000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		590	0
eca-rers2012/Problem09_label56.yml	timeout	.0261	prog	tests	19	inspect	900	690	6400	10000	52	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		670	0
eca-rers2012/Problem09_label57.yml	timeout	.0261	prog	tests	18	inspect	900	690	6300	10000	54	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		830	0
eca-rers2012/Problem09_label58.yml	timeout	.0261	prog	tests	18	inspect	900	670	6500	10000	51	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		620	0
eca-rers2012/Problem09_label59.yml	timeout	.0261	prog	tests	19	inspect	900	710	6400	12000	58	0	unknown	prog	tests	0	inspect		2.61	2.64	42	42	1800		690	0
eca-rers2012/Problem10_label00.yml	timeout	.715	prog	tests	93	inspect	900	840	6000	10000	4.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.70	.65	30		9.5	0
eca-rers2012/Problem10_label01.yml	timeout	.715	prog	tests	93	inspect	900	820	5600	9900	6.0	0	unknown	prog	tests	0	inspect		71.5	89.3	.82	.76	30		9.5	0
eca-rers2012/Problem10_label02.yml	timeout	.715	prog	tests	93	inspect	900	830	5400	9300	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.74	.68	30		9.5	0
eca-rers2012/Problem10_label03.yml	timeout	.715	prog	tests	93	inspect	900	840	5700	8200	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.74	.72	30		9.5	0
eca-rers2012/Problem10_label04.yml	timeout	.715	prog	tests	93	inspect	900	830	5900	8000	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.79	30		9.5	0
eca-rers2012/Problem10_label05.yml	timeout	.715	prog	tests	93	inspect	900	820	5900	7900	5.0	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.71	30		9.5	0
eca-rers2012/Problem10_label06.yml	timeout	.715	prog	tests	93	inspect	900	810	5300	7300	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.71	30		9.5	0
eca-rers2012/Problem10_label07.yml	timeout	.715	prog	tests	93	inspect	900	830	5600	8700	4.6	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.75	30		9.5	0
eca-rers2012/Problem10_label08.yml	timeout	.715	prog	tests	93	inspect	900	810	5300	8100	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.71	30		9.5	0
eca-rers2012/Problem10_label09.yml	timeout	.715	prog	tests	93	inspect	900	810	5300	8900	5.6	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.69	30		9.5	0
eca-rers2012/Problem10_label10.yml	timeout	.715	prog	tests	93	inspect	900	810	5300	8200	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.68	30		9.5	0
eca-rers2012/Problem10_label11.yml	timeout	.715	prog	tests	93	inspect	900	830	6000	9800	4.5	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.71	30		9.5	0
eca-rers2012/Problem10_label12.yml	timeout	.715	prog	tests	93	inspect	900	840	5600	8200	4.3	0	true	prog	tests	1	inspect		71.5	89.3	.71	.69	30		9.5	0
eca-rers2012/Problem10_label13.yml	timeout	.715	prog	tests	93	inspect	900	810	5900	8300	4.8	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.68	30		9.5	0
eca-rers2012/Problem10_label14.yml	timeout	.715	prog	tests	93	inspect	900	820	5200	7100	5.1	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.75	30		9.5	0
eca-rers2012/Problem10_label15.yml	timeout	.715	prog	tests	93	inspect	900	820	5600	8500	6.0	0	true	prog	tests	1	inspect		71.5	89.3	.74	.69	30		9.5	0
eca-rers2012/Problem10_label16.yml	timeout	.715	prog	tests	93	inspect	900	840	5600	7700	4.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.69	.64	30		9.5	0
eca-rers2012/Problem10_label17.yml	timeout	.715	prog	tests	93	inspect	900	820	5400	9700	5.5	0	unknown	prog	tests	0	inspect		71.5	89.3	.68	.63	30		9.5	0
eca-rers2012/Problem10_label18.yml	timeout	.715	prog	tests	93	inspect	900	840	5900	8300	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.71	30		9.5	0
eca-rers2012/Problem10_label19.yml	timeout	.715	prog	tests	93	inspect	900	840	5600	9700	5.1	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.66	30		9.5	0
eca-rers2012/Problem10_label20.yml	timeout	.715	prog	tests	93	inspect	900	820	5800	8000	4.6	0	unknown	prog	tests	0	inspect		71.5	89.3	.70	.65	30		9.5	0
eca-rers2012/Problem10_label21.yml	timeout	.715	prog	tests	93	inspect	900	830	5300	7500	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.70	.71	30		9.5	0
eca-rers2012/Problem10_label22.yml	timeout	.715	prog	tests	93	inspect	900	840	6000	8700	4.6	0	unknown	prog	tests	0	inspect		71.5	89.3	.78	.76	30		9.5	0
eca-rers2012/Problem10_label23.yml	timeout	.715	prog	tests	93	inspect	900	830	6000	8600	5.9	0	unknown	prog	tests	0	inspect		71.5	89.3	.68	.66	30		9.5	0
eca-rers2012/Problem10_label24.yml	timeout	.715	prog	tests	93	inspect	900	820	6000	8000	5.0	0	true	prog	tests	1	inspect		71.5	89.3	.66	.61	30		9.5	0
eca-rers2012/Problem10_label25.yml	timeout	.715	prog	tests	93	inspect	900	830	5700	9600	5.5	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.66	30		9.5	0
eca-rers2012/Problem10_label26.yml	timeout	.715	prog	tests	93	inspect	900	820	5200	7300	5.1	0	true	prog	tests	1	inspect		71.5	89.3	.74	.73	30		9.5	0
eca-rers2012/Problem10_label27.yml	timeout	.715	prog	tests	93	inspect	900	820	5600	8000	5.1	0	unknown	prog	tests	0	inspect		71.5	89.3	.74	.68	30		9.5	0
eca-rers2012/Problem10_label28.yml	timeout	.715	prog	tests	93	inspect	900	850	5600	8600	5.3	0	true	prog	tests	1	inspect		71.5	89.3	.72	.67	30		9.5	0
eca-rers2012/Problem10_label29.yml	timeout	.715	prog	tests	93	inspect	900	830	5800	8300	5.3	0	true	prog	tests	1	inspect		71.5	89.3	.73	.79	30		9.5	0
eca-rers2012/Problem10_label30.yml	timeout	.715	prog	tests	93	inspect	900	820	5700	8200	5.8	0	unknown	prog	tests	0	inspect		71.5	89.3	.76	.71	30		9.5	0
eca-rers2012/Problem10_label31.yml	timeout	.715	prog	tests	93	inspect	900	830	5700	8100	4.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.68	.64	30		9.5	0
eca-rers2012/Problem10_label32.yml	timeout	.715	prog	tests	93	inspect	900	840	5700	7800	4.5	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.66	30		9.5	0
eca-rers2012/Problem10_label33.yml	timeout	.715	prog	tests	93	inspect	900	820	6100	10000	5.0	0	unknown	prog	tests	0	inspect		71.5	89.3	.81	.75	30		9.5	0
eca-rers2012/Problem10_label34.yml	timeout	.715	prog	tests	93	inspect	900	840	5900	11000	5.4	0	unknown	prog	tests	0	inspect		71.5	89.3	.77	.71	30		9.5	0
eca-rers2012/Problem10_label35.yml	timeout	.715	prog	tests	93	inspect	900	820	5400	8900	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.73	.68	30		9.5	0
eca-rers2012/Problem10_label36.yml	timeout	.715	prog	tests	93	inspect	900	820	5300	9100	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.69	.67	30		9.5	0
eca-rers2012/Problem10_label37.yml	timeout	.715	prog	tests	93	inspect	900	840	6000	8900	4.9	0	unknown	prog	tests	0	inspect		71.5	89.3	.74	.74	30		9.5	0
eca-rers2012/Problem10_label38.yml	timeout	.715	prog	tests	93	inspect	900	820	5400	8100	5.6	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.75	30		9.5	0
eca-rers2012/Problem10_label39.yml	timeout	.715	prog	tests	93	inspect	900	820	5300	8300	5.1	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.71	30		9.5	0
eca-rers2012/Problem10_label40.yml	timeout	.715	prog	tests	93	inspect	900	820	5400	9000	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.74	.68	30		9.5	0
eca-rers2012/Problem10_label41.yml	timeout	.715	prog	tests	93	inspect	900	840	5500	8200	4.9	0	true	prog	tests	1	inspect		71.5	89.3	.82	.76	30		9.5	0
eca-rers2012/Problem10_label42.yml	timeout	.715	prog	tests	93	inspect	900	830	5300	8400	5.7	0	true	prog	tests	1	inspect		71.5	89.3	.75	.76	30		9.5	0
eca-rers2012/Problem10_label43.yml	timeout	.715	prog	tests	93	inspect	900	830	5600	9200	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.75	.72	30		9.5	0
eca-rers2012/Problem10_label44.yml	timeout	.715	prog	tests	93	inspect	900	820	6000	8400	4.8	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.71	30		9.5	0
eca-rers2012/Problem10_label45.yml	timeout	.715	prog	tests	93	inspect	900	840	5700	8300	4.8	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.67	30		9.5	0
eca-rers2012/Problem10_label46.yml	timeout	.715	prog	tests	93	inspect	900	840	5900	11000	6.0	0	true	prog	tests	1	inspect		71.5	89.3	.75	.76	30		9.5	0
eca-rers2012/Problem10_label47.yml	timeout	.715	prog	tests	93	inspect	900	840	5600	8200	5.9	0	true	prog	tests	1	inspect		71.5	89.3	.75	.72	30		9.5	0
eca-rers2012/Problem10_label48.yml	timeout	.715	prog	tests	93	inspect	900	840	5600	9800	5.3	0	true	prog	tests	1	inspect		71.5	89.3	.73	.72	30		9.4	0
eca-rers2012/Problem10_label49.yml	timeout	.715	prog	tests	93	inspect	900	810	5200	8400	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.66	30		9.5	0
eca-rers2012/Problem10_label50.yml	timeout	.715	prog	tests	93	inspect	900	810	5600	8300	5.5	0	true	prog	tests	1	inspect		71.5	89.3	.78	.75	30		9.5	0
eca-rers2012/Problem10_label51.yml	timeout	.715	prog	tests	93	inspect	900	820	5900	6400	5.0	0	unknown	prog	tests	0	inspect		71.5	89.3	.75	.69	30		9.5	0
eca-rers2012/Problem10_label52.yml	timeout	.715	prog	tests	93	inspect	900	810	5600	8600	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.72	.67	30		9.5	0
eca-rers2012/Problem10_label53.yml	timeout	.715	prog	tests	93	inspect	900	840	6000	8200	5.3	0	unknown	prog	tests	0	inspect		71.5	89.3	.70	.65	30		9.5	0
eca-rers2012/Problem10_label54.yml	timeout	.715	prog	tests	93	inspect	900	820	5400	8900	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.67	30		9.5	0
eca-rers2012/Problem10_label55.yml	timeout	.715	prog	tests	93	inspect	900	830	5700	8100	5.3	0	true	prog	tests	1	inspect		71.5	89.3	.72	.69	30		9.5	0
eca-rers2012/Problem10_label56.yml	timeout	.715	prog	tests	93	inspect	900	820	6000	9500	5.1	0	unknown	prog	tests	0	inspect		71.5	89.3	.68	.64	30		9.5	0
eca-rers2012/Problem10_label57.yml	timeout	.715	prog	tests	93	inspect	900	810	5600	7900	5.6	0	true	prog	tests	1	inspect		71.5	89.3	.73	.72	30		9.5	0
eca-rers2012/Problem10_label58.yml	timeout	.715	prog	tests	93	inspect	900	830	5900	9200	5.3	0	true	prog	tests	1	inspect		71.5	89.3	.78	.72	30		9.5	0
eca-rers2012/Problem10_label59.yml	timeout	.715	prog	tests	93	inspect	900	830	5600	7900	5.7	0	unknown	prog	tests	0	inspect		71.5	89.3	.71	.67	30		9.5	0
eca-rers2012/Problem11_label00.yml	timeout	.555	prog	tests	89	inspect	900	840	5500	9000	13	0	true	prog	tests	1	inspect		55.5	62.0	.90	.91	44		15	0
eca-rers2012/Problem11_label01.yml	timeout	.555	prog	tests	89	inspect	900	820	5300	9300	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.86	44		15	0
eca-rers2012/Problem11_label02.yml	timeout	.555	prog	tests	89	inspect	900	820	5900	9600	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.97	.95	44		15	0
eca-rers2012/Problem11_label03.yml	timeout	.555	prog	tests	89	inspect	900	820	6600	8400	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.82	44		15	0
eca-rers2012/Problem11_label04.yml	timeout	.555	prog	tests	89	inspect	900	820	6100	9000	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.85	.82	44		15	0
eca-rers2012/Problem11_label05.yml	timeout	.555	prog	tests	89	inspect	900	820	6100	9200	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.86	44		15	0
eca-rers2012/Problem11_label06.yml	timeout	.555	prog	tests	89	inspect	900	800	6300	8600	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.89	44		15	0
eca-rers2012/Problem11_label07.yml	timeout	.555	prog	tests	89	inspect	900	810	5500	7500	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.95	.91	44		15	0
eca-rers2012/Problem11_label08.yml	timeout	.555	prog	tests	89	inspect	900	800	6600	8200	13	0	true	prog	tests	1	inspect		55.5	62.0	.99	.94	44		15	0
eca-rers2012/Problem11_label09.yml	timeout	.555	prog	tests	89	inspect	900	820	5900	8200	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.91	.86	44		15	0
eca-rers2012/Problem11_label10.yml	timeout	.555	prog	tests	89	inspect	900	820	6400	8400	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.85	44		15	0
eca-rers2012/Problem11_label11.yml	timeout	.555	prog	tests	89	inspect	900	830	5600	7100	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.83	44		15	0
eca-rers2012/Problem11_label12.yml	timeout	.555	prog	tests	89	inspect	900	820	5300	9800	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.92	44		15	0
eca-rers2012/Problem11_label13.yml	timeout	.555	prog	tests	89	inspect	900	830	5700	10000	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.93	.93	44		15	0
eca-rers2012/Problem11_label14.yml	timeout	.555	prog	tests	89	inspect	900	820	5800	9400	13	0	true	prog	tests	1	inspect		55.5	62.0	.84	.81	44		15	0
eca-rers2012/Problem11_label15.yml	timeout	.555	prog	tests	89	inspect	900	830	5700	9200	13	0	true	prog	tests	1	inspect		55.5	62.0	.85	.83	44		15	0
eca-rers2012/Problem11_label16.yml	timeout	.555	prog	tests	89	inspect	900	840	5200	7500	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.84	44		15	0
eca-rers2012/Problem11_label17.yml	timeout	.559	prog	tests	89	inspect	900	810	5700	8100	12	0	unknown	prog	tests	0	inspect		56.0	62.0	.86	.92	44		15	0
eca-rers2012/Problem11_label18.yml	timeout	.555	prog	tests	89	inspect	900	840	5500	8900	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.86	44		15	0
eca-rers2012/Problem11_label19.yml	timeout	.555	prog	tests	89	inspect	900	820	5800	8500	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.95	.93	44		15	0
eca-rers2012/Problem11_label20.yml	timeout	.555	prog	tests	89	inspect	900	830	5300	8500	14	0	true	prog	tests	1	inspect		55.5	62.0	.92	.94	44		15	0
eca-rers2012/Problem11_label21.yml	timeout	.555	prog	tests	89	inspect	900	830	6000	8700	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.82	44		15	0
eca-rers2012/Problem11_label22.yml	timeout	.555	prog	tests	89	inspect	900	840	5400	7900	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.89	.84	44		15	0
eca-rers2012/Problem11_label23.yml	timeout	.555	prog	tests	89	inspect	900	830	6000	8100	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.85	.87	44		15	0
eca-rers2012/Problem11_label24.yml	timeout	.555	prog	tests	89	inspect	900	820	5800	8500	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.82	44		15	0
eca-rers2012/Problem11_label25.yml	timeout	.555	prog	tests	89	inspect	900	830	5200	8900	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.82	44		15	0
eca-rers2012/Problem11_label26.yml	timeout	.559	prog	tests	89	inspect	900	820	5500	8500	11	0	unknown	prog	tests	0	inspect		56.0	62.0	.89	.84	44		15	0
eca-rers2012/Problem11_label27.yml	timeout	.555	prog	tests	89	inspect	900	830	6100	8100	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.89	.84	44		15	0
eca-rers2012/Problem11_label28.yml	timeout	.555	prog	tests	89	inspect	900	820	6200	10000	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.88	.86	44		14	0
eca-rers2012/Problem11_label29.yml	timeout	.555	prog	tests	89	inspect	900	830	5200	11000	14	0	true	prog	tests	1	inspect		55.5	62.0	.92	.94	44		15	0
eca-rers2012/Problem11_label30.yml	timeout	.555	prog	tests	89	inspect	910	810	5800	8000	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.91	.90	44		15	0
eca-rers2012/Problem11_label31.yml	timeout	.555	prog	tests	89	inspect	900	810	5900	7400	13	0	true	prog	tests	1	inspect		55.5	62.0	.93	.88	44		15	0
eca-rers2012/Problem11_label32.yml	timeout	.555	prog	tests	89	inspect	900	830	6300	8200	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.83	44		15	0
eca-rers2012/Problem11_label33.yml	timeout	.555	prog	tests	89	inspect	900	830	6100	8600	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.89	.97	44		15	0
eca-rers2012/Problem11_label34.yml	timeout	.555	prog	tests	89	inspect	900	840	5600	8700	14	0	true	prog	tests	1	inspect		55.5	62.0	.93	.92	44		15	0
eca-rers2012/Problem11_label35.yml	timeout	.555	prog	tests	89	inspect	900	820	6100	8500	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.92	44		15	0
eca-rers2012/Problem11_label36.yml	timeout	.555	prog	tests	89	inspect	900	810	6000	8000	13	0	true	prog	tests	1	inspect		55.5	62.0	.98	.93	44		15	0
eca-rers2012/Problem11_label37.yml	timeout	.555	prog	tests	89	inspect	900	830	5600	9600	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.84	44		15	0
eca-rers2012/Problem11_label38.yml	timeout	.555	prog	tests	89	inspect	900	830	5800	9400	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.88	.84	44		15	0
eca-rers2012/Problem11_label39.yml	timeout	.555	prog	tests	89	inspect	900	820	6100	8800	14	0	true	prog	tests	1	inspect		55.5	62.0	.91	.87	44		15	0
eca-rers2012/Problem11_label40.yml	timeout	.555	prog	tests	89	inspect	900	810	5900	7700	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.90	.89	44		15	0
eca-rers2012/Problem11_label41.yml	timeout	.555	prog	tests	89	inspect	900	800	6000	8500	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.82	44		15	0
eca-rers2012/Problem11_label42.yml	timeout	.555	prog	tests	89	inspect	900	840	5700	7300	14	0	true	prog	tests	1	inspect		55.5	62.0	.91	.95	44		15	0
eca-rers2012/Problem11_label43.yml	timeout	.555	prog	tests	89	inspect	900	810	5900	11000	13	0	true	prog	tests	1	inspect		55.5	62.0	.94	.91	44		15	0
eca-rers2012/Problem11_label44.yml	timeout	.555	prog	tests	89	inspect	900	820	5700	9800	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.93	.94	44		15	0
eca-rers2012/Problem11_label45.yml	timeout	.555	prog	tests	89	inspect	900	820	6100	7800	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.81	44		15	0
eca-rers2012/Problem11_label46.yml	timeout	.555	prog	tests	89	inspect	900	830	5600	7700	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.85	.80	44		15	0
eca-rers2012/Problem11_label47.yml	timeout	.555	prog	tests	89	inspect	900	820	5500	7800	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.94	.88	44		15	0
eca-rers2012/Problem11_label48.yml	timeout	.555	prog	tests	89	inspect	900	820	5700	8000	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.85	44		15	0
eca-rers2012/Problem11_label49.yml	timeout	.555	prog	tests	89	inspect	900	820	3300	9000	7.5	0	true	prog	tests	1	inspect		55.5	62.0	.89	.85	44		15	0
eca-rers2012/Problem11_label50.yml	timeout	.555	prog	tests	89	inspect	900	820	5900	8200	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.93	.92	44		15	0
eca-rers2012/Problem11_label51.yml	timeout	.555	prog	tests	89	inspect	900	820	5700	9200	14	0	true	prog	tests	1	inspect		55.5	62.0	.95	1.0	44		15	0
eca-rers2012/Problem11_label52.yml	timeout	.555	prog	tests	89	inspect	900	830	5600	7700	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.88	.87	44		15	0
eca-rers2012/Problem11_label53.yml	timeout	.555	prog	tests	89	inspect	900	830	5900	11000	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.91	.86	44		15	0
eca-rers2012/Problem11_label54.yml	timeout	.555	prog	tests	89	inspect	900	820	5800	7700	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.88	.87	44		15	0
eca-rers2012/Problem11_label55.yml	timeout	.555	prog	tests	89	inspect	900	800	5900	8300	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.87	.87	44		15	0
eca-rers2012/Problem11_label56.yml	timeout	.555	prog	tests	89	inspect	900	830	5700	9000	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.96	.91	44		15	0
eca-rers2012/Problem11_label57.yml	timeout	.555	prog	tests	89	inspect	900	820	5600	8100	14	0	unknown	prog	tests	0	inspect		55.5	62.0	.89	.85	44		15	0
eca-rers2012/Problem11_label58.yml	timeout	.559	prog	tests	89	inspect	900	820	5700	8800	11	0	true	prog	tests	1	inspect		56.0	62.0	.91	.87	44		15	0
eca-rers2012/Problem11_label59.yml	timeout	.555	prog	tests	89	inspect	900	830	5500	7900	13	0	unknown	prog	tests	0	inspect		55.5	62.0	.86	.83	44		15	0
eca-rers2012/Problem12_label00.yml	timeout	.529	prog	tests	225	inspect	900	730	7300	10000	46	0	unknown	prog	tests	0	inspect		52.9	44.1	4.3	4.2	100		150	0
eca-rers2012/Problem12_label01.yml	timeout	.529	prog	tests	225	inspect	900	770	6600	10000	47	0	unknown	prog	tests	0	inspect		52.9	44.1	4.2	4.2	100		140	0
eca-rers2012/Problem12_label02.yml	timeout	.527	prog	tests	223	inspect	900	780	6800	7700	39	0	unknown	prog	tests	0	inspect		52.7	43.8	4.0	4.1	100		140	0
eca-rers2012/Problem12_label03.yml	timeout	.440	prog	tests	130	inspect	900	690	7900	9700	48	0	unknown	prog	tests	0	inspect		44.0	32.7	2.8	2.9	99		86	0
eca-rers2012/Problem12_label04.yml	timeout	.371	prog	tests	116	inspect	900	770	6300	8400	43	0	unknown	prog	tests	0	inspect		37.1	30.6	2.5	2.6	99		78	0
eca-rers2012/Problem12_label05.yml	timeout	.533	prog	tests	226	inspect	900	770	6700	10000	48	0	unknown	prog	tests	0	inspect		53.3	44.2	4.3	4.3	100		150	0
eca-rers2012/Problem12_label06.yml	timeout	.513	prog	tests	217	inspect	900	730	6900	9500	38	0	unknown	prog	tests	0	inspect		51.3	43.1	4.0	4.0	100		140	0
eca-rers2012/Problem12_label07.yml	timeout	.514	prog	tests	220	inspect	900	770	6400	11000	42	0	unknown	prog	tests	0	inspect		51.4	43.5	4.3	4.3	100		140	0
eca-rers2012/Problem12_label08.yml	timeout	.432	prog	tests	135	inspect	900	750	6600	11000	53	0	unknown	prog	tests	0	inspect		43.2	33.4	2.9	3.0	99		89	0
eca-rers2012/Problem12_label09.yml	timeout	.409	prog	tests	131	inspect	900	760	6500	10000	52	0	unknown	prog	tests	0	inspect		40.9	32.3	2.8	2.8	99		84	0
eca-rers2012/Problem12_label10.yml	timeout	.529	prog	tests	225	inspect	900	750	6800	11000	46	0	unknown	prog	tests	0	inspect		52.9	44.1	4.3	4.2	100		150	0
eca-rers2012/Problem12_label11.yml	timeout	.522	prog	tests	173	inspect	900	760	7000	9900	52	0	unknown	prog	tests	0	inspect		52.2	38.0	3.5	3.5	100		110	0
eca-rers2012/Problem12_label12.yml	timeout	.495	prog	tests	162	inspect	900	710	7700	9200	42	0	unknown	prog	tests	0	inspect		49.5	36.7	3.3	3.3	99		100	0
eca-rers2012/Problem12_label13.yml	timeout	.543	prog	tests	219	inspect	900	770	7200	10000	53	0	unknown	prog	tests	0	inspect		54.3	43.4	4.1	4.1	100		140	0
eca-rers2012/Problem12_label14.yml	timeout	.529	prog	tests	225	inspect	900	790	6500	11000	44	0	unknown	prog	tests	0	inspect		52.9	44.1	4.1	4.2	99		150	0
eca-rers2012/Problem12_label15.yml	timeout	.515	prog	tests	221	inspect	900	750	6700	9300	43	0	unknown	prog	tests	0	inspect		51.5	43.6	4.1	4.2	100		140	0
eca-rers2012/Problem12_label16.yml	timeout	.536	prog	tests	227	inspect	900	770	6100	10000	35	0	unknown	prog	tests	0	inspect		53.6	44.3	4.5	4.4	100		150	0
eca-rers2012/Problem12_label17.yml	timeout	.541	prog	tests	208	inspect	900	760	6600	10000	55	0	unknown	prog	tests	0	inspect		54.1	42.1	3.9	4.0	99		140	0
eca-rers2012/Problem12_label18.yml	timeout	.509	prog	tests	211	inspect	900	770	7100	8300	32	0	unknown	prog	tests	0	inspect		50.9	42.4	4.0	4.0	100		140	0
eca-rers2012/Problem12_label19.yml	timeout	.438	prog	tests	129	inspect	900	770	6400	10000	47	0	unknown	prog	tests	0	inspect		43.8	32.6	2.8	2.7	100		85	0
eca-rers2012/Problem12_label20.yml	timeout	.420	prog	tests	122	inspect	900	760	6400	7600	43	0	unknown	prog	tests	0	inspect		42.0	31.8	2.7	2.7	99		81	0
eca-rers2012/Problem12_label21.yml	timeout	.539	prog	tests	228	inspect	900	760	6700	9700	48	0	unknown	prog	tests	0	inspect		53.9	44.4	4.3	4.3	100		150	0
eca-rers2012/Problem12_label22.yml	timeout	.458	prog	tests	143	inspect	900	770	6500	11000	56	0	unknown	prog	tests	0	inspect		45.8	34.3	2.9	2.8	100		95	0
eca-rers2012/Problem12_label23.yml	timeout	.452	prog	tests	137	inspect	900	760	6500	10000	52	0	unknown	prog	tests	0	inspect		45.2	33.5	2.9	3.1	100		91	0
eca-rers2012/Problem12_label24.yml	timeout	.523	prog	tests	195	inspect	900	710	7400	9600	48	0	unknown	prog	tests	0	inspect		52.3	40.6	3.6	3.7	99		130	0
eca-rers2012/Problem12_label25.yml	timeout	.409	prog	tests	132	inspect	900	760	7600	11000	53	0	unknown	prog	tests	0	inspect		40.9	32.4	2.9	2.9	100		87	0
eca-rers2012/Problem12_label26.yml	timeout	.502	prog	tests	160	inspect	900	720	7300	9600	57	0	unknown	prog	tests	0	inspect		50.2	36.4	3.2	3.2	99		100	0
eca-rers2012/Problem12_label27.yml	timeout	.533	prog	tests	226	inspect	900	740	7500	9300	41	0	unknown	prog	tests	0	inspect		53.3	44.2	4.2	4.1	100		140	0
eca-rers2012/Problem12_label28.yml	timeout	.539	prog	tests	228	inspect	910	780	6200	10000	46	0	unknown	prog	tests	0	inspect		53.9	44.4	4.2	4.1	99		150	0
eca-rers2012/Problem12_label29.yml	timeout	.380	prog	tests	119	inspect	900	740	6500	10000	44	0	unknown	prog	tests	0	inspect		38.0	30.9	2.6	2.6	100		78	0
eca-rers2012/Problem12_label30.yml	timeout	.525	prog	tests	176	inspect	900	740	6500	10000	52	0	unknown	prog	tests	0	inspect		52.5	38.4	3.4	3.6	100		110	0
eca-rers2012/Problem12_label31.yml	timeout	.541	prog	tests	229	inspect	900	780	6800	11000	45	0	unknown	prog	tests	0	inspect		54.1	44.5	4.2	4.1	100		150	0
eca-rers2012/Problem12_label32.yml	timeout	.543	prog	tests	217	inspect	900	740	6300	10000	54	0	unknown	prog	tests	0	inspect		54.3	43.1	4.1	4.3	100		140	0
eca-rers2012/Problem12_label33.yml	timeout	.522	prog	tests	222	inspect	900	760	6600	9600	44	0	unknown	prog	tests	0	inspect		52.2	43.7	4.1	4.2	100		140	0
eca-rers2012/Problem12_label34.yml	timeout	.529	prog	tests	225	inspect	900	790	6700	9600	46	0	unknown	prog	tests	0	inspect		52.9	44.1	4.2	4.3	100		150	0
eca-rers2012/Problem12_label35.yml	timeout	.409	prog	tests	132	inspect	900	760	6600	9600	53	0	unknown	prog	tests	0	inspect		40.9	32.4	2.8	2.8	99		87	0
eca-rers2012/Problem12_label36.yml	timeout	.440	prog	tests	132	inspect	900	700	9000	9700	48	0	unknown	prog	tests	0	inspect		44.0	33.0	2.9	2.8	99		84	0
eca-rers2012/Problem12_label37.yml	timeout	.539	prog	tests	228	inspect	900	780	6800	9700	48	0	unknown	prog	tests	0	inspect		53.9	44.4	4.2	4.5	100		150	0
eca-rers2012/Problem12_label38.yml	timeout	.533	prog	tests	226	inspect	900	730	7000	9000	43	0	unknown	prog	tests	0	inspect		53.3	44.2	4.3	4.2	99		150	0
eca-rers2012/Problem12_label39.yml	timeout	.536	prog	tests	227	inspect	900	790	6500	9800	48	0	unknown	prog	tests	0	inspect		53.6	44.3	4.1	4.0	99		150	0
eca-rers2012/Problem12_label40.yml	timeout	.514	prog	tests	220	inspect	900	730	8200	10000	42	0	true	prog	tests	1	inspect		51.4	43.5	4.2	4.1	100		140	0
eca-rers2012/Problem12_label41.yml	timeout	.533	prog	tests	226	inspect	900	770	6800	9900	43	0	unknown	prog	tests	0	inspect		53.3	44.2	4.2	4.1	99		150	0
eca-rers2012/Problem12_label42.yml	timeout	.541	prog	tests	229	inspect	900	800	6500	10000	49	0	unknown	prog	tests	0	inspect		54.1	44.5	4.2	4.2	99		150	0
eca-rers2012/Problem12_label43.yml	timeout	.476	prog	tests	146	inspect	900	760	5600	8700	27	0	unknown	prog	tests	0	inspect		47.6	34.8	3.2	3.1	99		97	0
eca-rers2012/Problem12_label44.yml	timeout	.541	prog	tests	229	inspect	900	780	7000	9400	47	0	unknown	prog	tests	0	inspect		54.1	44.5	4.4	4.3	100		140	0
eca-rers2012/Problem12_label45.yml	timeout	.542	prog	tests	230	inspect	900	800	6500	9300	51	0	unknown	prog	tests	0	inspect		54.2	44.6	4.2	4.2	100		150	0
eca-rers2012/Problem12_label46.yml	timeout	.459	prog	tests	142	inspect	900	770	6500	10000	55	0	unknown	prog	tests	0	inspect		45.9	34.2	2.9	2.9	99		94	0
eca-rers2012/Problem12_label47.yml	timeout	.528	prog	tests	181	inspect	900	760	6500	11000	57	0	unknown	prog	tests	0	inspect		52.8	39.0	3.5	3.5	99		120	0
eca-rers2012/Problem12_label48.yml	timeout	.529	prog	tests	225	inspect	900	790	6300	10000	47	0	unknown	prog	tests	0	inspect		52.9	44.1	4.2	4.4	100		150	0
eca-rers2012/Problem12_label49.yml	timeout	.541	prog	tests	229	inspect	900	770	7100	10000	45	0	unknown	prog	tests	0	inspect		54.1	44.5	4.1	4.3	100		150	0
eca-rers2012/Problem12_label50.yml	timeout	.531	prog	tests	184	inspect	900	750	6400	11000	53	0	unknown	prog	tests	0	inspect		53.1	39.4	3.6	3.6	100		120	0
eca-rers2012/Problem12_label51.yml	timeout	.529	prog	tests	225	inspect	900	780	6500	9800	46	0	unknown	prog	tests	0	inspect		52.9	44.1	4.1	4.4	99		150	0
eca-rers2012/Problem12_label52.yml	timeout	.509	prog	tests	211	inspect	900	740	8700	8800	32	0	unknown	prog	tests	0	inspect		50.9	42.4	4.0	4.0	99		140	0
eca-rers2012/Problem12_label53.yml	timeout	.430	prog	tests	126	inspect	900	770	6000	9400	44	0	unknown	prog	tests	0	inspect		43.0	32.3	2.7	2.7	100		84	0
eca-rers2012/Problem12_label54.yml	timeout	.529	prog	tests	225	inspect	900	730	7300	11000	46	0	unknown	prog	tests	0	inspect		52.9	44.1	4.5	4.4	100		150	0
eca-rers2012/Problem12_label55.yml	timeout	.521	prog	tests	221	inspect	900	760	7200	9400	42	0	unknown	prog	tests	0	inspect		52.1	43.6	4.3	4.3	100		140	0
eca-rers2012/Problem12_label56.yml	timeout	.515	prog	tests	221	inspect	900	720	7500	9300	42	0	unknown	prog	tests	0	inspect		51.5	43.6	4.2	4.1	100		140	0
eca-rers2012/Problem12_label57.yml	timeout	.526	prog	tests	206	inspect	900	760	7000	11000	47	0	unknown	prog	tests	0	inspect		52.6	41.8	3.9	3.9	100		130	0
eca-rers2012/Problem12_label58.yml	timeout	.494	prog	tests	151	inspect	900	760	6400	10000	47	0	unknown	prog	tests	0	inspect		49.4	35.3	3.2	3.2	100		99	0
eca-rers2012/Problem12_label59.yml	timeout	.450	prog	tests	136	inspect	900	740	6700	9600	51	0	unknown	prog	tests	0	inspect		45.0	33.4	2.9	2.8	99		91	0
eca-rers2012/Problem13_label00.yml	timeout	.342	prog	tests	89	inspect	900	730	6500	12000	59	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.7	120		73	0
eca-rers2012/Problem13_label01.yml	timeout	.342	prog	tests	91	inspect	900	760	6300	11000	62	0	unknown	prog	tests	0	inspect		34.2	24.2	2.6	2.6	120		80	0
eca-rers2012/Problem13_label02.yml	timeout	.345	prog	tests	94	inspect	900	730	6700	12000	65	0	unknown	prog	tests	0	inspect		34.5	24.4	2.7	2.7	120		75	0
eca-rers2012/Problem13_label03.yml	timeout	.352	prog	tests	98	inspect	900	770	7200	11000	69	0	unknown	prog	tests	0	inspect		35.2	24.8	2.8	2.8	120		85	0
eca-rers2012/Problem13_label04.yml	timeout	.342	prog	tests	90	inspect	900	740	6400	13000	57	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		74	0
eca-rers2012/Problem13_label05.yml	timeout	.345	prog	tests	93	inspect	900	750	6000	10000	63	0	unknown	prog	tests	0	inspect		34.5	24.4	2.5	2.5	120		82	0
eca-rers2012/Problem13_label06.yml	timeout	.345	prog	tests	93	inspect	900	730	8200	11000	62	0	unknown	prog	tests	0	inspect		34.5	24.4	2.6	2.5	120		77	0
eca-rers2012/Problem13_label07.yml	timeout	.342	prog	tests	91	inspect	900	710	6700	11000	63	0	unknown	prog	tests	0	inspect		34.2	24.2	2.5	2.5	120		78	0
eca-rers2012/Problem13_label08.yml	timeout	.342	prog	tests	90	inspect	900	740	6400	10000	60	0	unknown	prog	tests	0	inspect		34.2	24.1	2.7	2.7	120		70	0
eca-rers2012/Problem13_label09.yml	timeout	.343	prog	tests	92	inspect	900	720	6700	9900	65	0	unknown	prog	tests	0	inspect		34.3	24.3	2.7	2.6	120		76	0
eca-rers2012/Problem13_label10.yml	timeout	.342	prog	tests	89	inspect	900	700	6700	9600	62	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.6	120		73	0
eca-rers2012/Problem13_label11.yml	timeout	.342	prog	tests	90	inspect	900	750	6000	12000	60	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		78	0
eca-rers2012/Problem13_label12.yml	timeout	.340	prog	tests	88	inspect	900	750	6500	11000	58	0	unknown	prog	tests	0	inspect		34.0	23.9	2.6	2.5	120		71	0
eca-rers2012/Problem13_label13.yml	timeout	.345	prog	tests	94	inspect	900	720	7200	11000	65	0	unknown	prog	tests	0	inspect		34.5	24.4	2.8	2.8	120		81	0
eca-rers2012/Problem13_label14.yml	timeout	.345	prog	tests	93	inspect	900	740	6200	10000	63	0	unknown	prog	tests	0	inspect		34.5	24.4	2.7	2.6	120		75	0
eca-rers2012/Problem13_label15.yml	timeout	.342	prog	tests	91	inspect	900	730	7700	10000	59	0	unknown	prog	tests	0	inspect		34.2	24.2	2.7	2.7	120		71	0
eca-rers2012/Problem13_label16.yml	timeout	.342	prog	tests	90	inspect	900	730	6900	9600	59	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		73	0
eca-rers2012/Problem13_label17.yml	timeout	.347	prog	tests	96	inspect	900	730	6700	11000	66	0	unknown	prog	tests	0	inspect		34.7	24.6	2.7	2.7	120		77	0
eca-rers2012/Problem13_label18.yml	timeout	.347	prog	tests	96	inspect	900	720	6700	9500	64	0	unknown	prog	tests	0	inspect		34.7	24.6	2.7	2.8	120		84	0
eca-rers2012/Problem13_label19.yml	timeout	.342	prog	tests	91	inspect	900	730	6600	12000	63	0	unknown	prog	tests	0	inspect		34.2	24.2	2.6	2.6	120		78	0
eca-rers2012/Problem13_label20.yml	timeout	.345	prog	tests	93	inspect	900	750	6200	10000	60	0	unknown	prog	tests	0	inspect		34.5	24.4	2.7	2.8	120		81	0
eca-rers2012/Problem13_label21.yml	timeout	.342	prog	tests	90	inspect	900	710	6600	11000	61	0	unknown	prog	tests	0	inspect		34.2	24.1	2.7	2.7	120		72	0
eca-rers2012/Problem13_label22.yml	timeout	.343	prog	tests	92	inspect	900	730	6200	9800	62	0	unknown	prog	tests	0	inspect		34.3	24.3	2.6	2.5	120		78	0
eca-rers2012/Problem13_label23.yml	timeout	.342	prog	tests	90	inspect	900	750	5900	11000	59	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		73	0
eca-rers2012/Problem13_label24.yml	timeout	.343	prog	tests	92	inspect	900	750	6200	10000	61	0	unknown	prog	tests	0	inspect		34.3	24.3	2.6	2.6	120		76	0
eca-rers2012/Problem13_label25.yml	timeout	.342	prog	tests	91	inspect	900	710	7600	11000	52	0	unknown	prog	tests	0	inspect		34.2	24.2	2.8	2.7	120		74	0
eca-rers2012/Problem13_label26.yml	timeout	.347	prog	tests	96	inspect	900	730	7500	9700	66	0	unknown	prog	tests	0	inspect		34.7	24.6	2.8	2.8	120		80	0
eca-rers2012/Problem13_label27.yml	timeout	.338	prog	tests	86	inspect	900	750	6200	9300	57	0	unknown	prog	tests	0	inspect		33.8	23.8	2.7	2.7	120		76	0
eca-rers2012/Problem13_label28.yml	timeout	.345	prog	tests	93	inspect	900	750	6200	11000	64	0	true	prog	tests	1	inspect		34.5	24.4	2.8	2.8	120		77	0
eca-rers2012/Problem13_label29.yml	timeout	.342	prog	tests	89	inspect	900	690	6700	9800	58	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.6	120		72	0
eca-rers2012/Problem13_label30.yml	timeout	.342	prog	tests	89	inspect	900	730	6100	10000	58	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.6	120		72	0
eca-rers2012/Problem13_label31.yml	timeout	.343	prog	tests	92	inspect	900	710	7100	12000	62	0	unknown	prog	tests	0	inspect		34.3	24.3	2.9	2.9	120		74	0
eca-rers2012/Problem13_label32.yml	timeout	.340	prog	tests	88	inspect	900	690	7100	9400	60	0	unknown	prog	tests	0	inspect		34.0	23.9	2.5	2.6	120		74	0
eca-rers2012/Problem13_label33.yml	timeout	.334	prog	tests	84	inspect	900	720	7800	11000	53	0	unknown	prog	tests	0	inspect		33.4	23.5	2.5	2.5	120		68	0
eca-rers2012/Problem13_label34.yml	timeout	.342	prog	tests	91	inspect	900	740	6400	9500	61	0	unknown	prog	tests	0	inspect		34.2	24.2	2.6	2.6	120		79	0
eca-rers2012/Problem13_label35.yml	timeout	.310	prog	tests	80	inspect	900	670	7200	11000	51	0	unknown	prog	tests	0	inspect		31.0	23.1	2.5	2.5	120		61	0
eca-rers2012/Problem13_label36.yml	timeout	.342	prog	tests	90	inspect	900	730	6700	10000	62	0	unknown	prog	tests	0	inspect		34.2	24.1	2.8	2.8	120		72	0
eca-rers2012/Problem13_label37.yml	timeout	.342	prog	tests	91	inspect	900	750	6200	11000	61	0	unknown	prog	tests	0	inspect		34.2	24.2	2.6	2.6	120		78	0
eca-rers2012/Problem13_label38.yml	timeout	.342	prog	tests	90	inspect	900	690	6600	9600	61	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.7	120		79	0
eca-rers2012/Problem13_label39.yml	timeout	.342	prog	tests	89	inspect	900	710	6300	11000	58	0	unknown	prog	tests	0	inspect		34.2	24.0	2.5	2.5	120		78	0
eca-rers2012/Problem13_label40.yml	timeout	.334	prog	tests	84	inspect	900	740	6400	11000	53	0	unknown	prog	tests	0	inspect		33.4	23.5	2.5	2.5	120		68	0
eca-rers2012/Problem13_label41.yml	timeout	.343	prog	tests	92	inspect	900	730	7700	9900	61	0	unknown	prog	tests	0	inspect		34.3	24.3	2.6	2.6	120		78	0
eca-rers2012/Problem13_label42.yml	timeout	.342	prog	tests	89	inspect	900	700	6500	10000	60	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.6	120		77	0
eca-rers2012/Problem13_label43.yml	timeout	.342	prog	tests	91	inspect	900	740	6900	11000	42	0	unknown	prog	tests	0	inspect		34.2	24.2	2.5	2.5	120		76	0
eca-rers2012/Problem13_label44.yml	timeout	.347	prog	tests	96	inspect	900	690	7600	9200	67	0	unknown	prog	tests	0	inspect		34.7	24.6	2.6	2.7	120		84	0
eca-rers2012/Problem13_label45.yml	timeout	.340	prog	tests	88	inspect	900	670	7700	9600	61	0	true	prog	tests	1	inspect		34.0	23.9	2.8	2.7	120		78	0
eca-rers2012/Problem13_label46.yml	timeout	.343	prog	tests	92	inspect	900	760	6300	9900	62	0	unknown	prog	tests	0	inspect		34.3	24.3	2.6	2.6	120		74	0
eca-rers2012/Problem13_label47.yml	timeout	.345	prog	tests	94	inspect	900	720	6800	9600	65	0	unknown	prog	tests	0	inspect		34.5	24.4	2.7	2.7	120		80	0
eca-rers2012/Problem13_label48.yml	timeout	.342	prog	tests	89	inspect	900	730	6000	11000	59	0	unknown	prog	tests	0	inspect		34.2	24.0	2.7	2.7	120		71	0
eca-rers2012/Problem13_label49.yml	timeout	.342	prog	tests	90	inspect	900	710	7500	12000	61	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		79	0
eca-rers2012/Problem13_label50.yml	timeout	.342	prog	tests	90	inspect	900	710	7700	10000	58	0	unknown	prog	tests	0	inspect		34.2	24.1	2.6	2.6	120		74	0
eca-rers2012/Problem13_label51.yml	timeout	.342	prog	tests	90	inspect	900	720	6500	11000	59	0	unknown	prog	tests	0	inspect		34.2	24.1	2.7	2.7	120		78	0
eca-rers2012/Problem13_label52.yml	timeout	.340	prog	tests	88	inspect	900	670	6900	11000	60	0	unknown	prog	tests	0	inspect		34.0	23.9	2.5	2.6	120		71	0
eca-rers2012/Problem13_label53.yml	timeout	.342	prog	tests	89	inspect	900	720	6800	12000	59	0	unknown	prog	tests	0	inspect		34.2	24.0	2.6	2.5	120		72	0
eca-rers2012/Problem13_label54.yml	timeout	.342	prog	tests	91	inspect	900	680	8000	11000	59	0	unknown	prog	tests	0	inspect		34.2	24.2	2.6	2.7	120		80	0
eca-rers2012/Problem13_label55.yml	timeout	.345	prog	tests	93	inspect	900	750	6700	11000	64	0	unknown	prog	tests	0	inspect		34.5	24.4	2.8	2.7	120		77	0
eca-rers2012/Problem13_label56.yml	timeout	.345	prog	tests	95	inspect	900	740	7400	10000	65	0	unknown	prog	tests	0	inspect		34.5	24.5	2.8	2.9	120		83	0
eca-rers2012/Problem13_label57.yml	timeout	.349	prog	tests	97	inspect	900	740	6700	12000	65	0	unknown	prog	tests	0	inspect		34.9	24.7	2.8	2.8	120		78	0
eca-rers2012/Problem13_label58.yml	timeout	.343	prog	tests	92	inspect	900	750	5200	10000	13	0	unknown	prog	tests	0	inspect		34.3	24.3	2.6	2.7	120		79	0
eca-rers2012/Problem13_label59.yml	timeout	.345	prog	tests	95	inspect	900	730	6500	9700	67	0	unknown	prog	tests	0	inspect		34.5	24.5	2.8	2.9	120		82	0
eca-rers2012/Problem15_label00.yml	timeout	.505	prog	tests	115	inspect	900	740	8000	9400	41	0	true	prog	tests	1	inspect		50.5	48.2	1.4	1.3	64		30	0
eca-rers2012/Problem15_label01.yml	timeout	.598	prog	tests	140	inspect	900	750	7800	8900	45	0	unknown	prog	tests	0	inspect		59.8	55.6	1.6	1.5	63		36	0
eca-rers2012/Problem15_label02.yml	timeout	.532	prog	tests	122	inspect	900	780	8100	9200	46	0	true	prog	tests	1	inspect		53.2	49.7	1.5	1.5	64		31	0
eca-rers2012/Problem15_label03.yml	timeout	.597	prog	tests	143	inspect	900	790	7900	9200	56	0	true	prog	tests	1	inspect		59.6	55.9	1.6	1.5	64		37	0
eca-rers2012/Problem15_label04.yml	timeout	.551	prog	tests	126	inspect	900	750	7500	10000	50	0	unknown	prog	tests	0	inspect		55.1	51.0	1.5	1.6	64		33	0
eca-rers2012/Problem15_label05.yml	timeout	.499	prog	tests	113	inspect	900	730	7800	7900	40	0	unknown	prog	tests	0	inspect		49.9	47.7	1.4	1.3	64		29	0
eca-rers2012/Problem15_label06.yml	timeout	.594	prog	tests	135	inspect	900	750	8600	8100	35	0	unknown	prog	tests	0	inspect		59.4	55.3	1.5	1.6	64		35	0
eca-rers2012/Problem15_label07.yml	timeout	.623	prog	tests	160	inspect	900	780	7400	8600	42	0	true	prog	tests	1	inspect		62.3	60.2	1.8	1.9	64		41	0
eca-rers2012/Problem15_label08.yml	timeout	.561	prog	tests	131	inspect	900	770	8100	9200	53	0	unknown	prog	tests	0	inspect		56.1	53.0	1.4	1.4	64		34	0
eca-rers2012/Problem15_label09.yml	timeout	.553	prog	tests	129	inspect	910	770	8800	8600	50	0	true	prog	tests	1	inspect		55.3	51.7	1.4	1.3	64		34	0
eca-rers2012/Problem15_label10.yml	timeout	.550	prog	tests	125	inspect	900	760	7000	8500	49	0	unknown	prog	tests	0	inspect		55.0	50.7	1.4	1.4	64		32	0
eca-rers2012/Problem15_label11.yml	timeout	.601	prog	tests	144	inspect	900	780	7700	8700	46	0	unknown	prog	tests	0	inspect		60.1	56.8	1.6	1.6	63		36	0
eca-rers2012/Problem15_label12.yml	timeout	.550	prog	tests	125	inspect	900	770	7900	10000	49	0	unknown	prog	tests	0	inspect		55.0	50.7	1.4	1.4	64		32	0
eca-rers2012/Problem15_label13.yml	timeout	.546	prog	tests	125	inspect	900	750	7700	10000	49	0	unknown	prog	tests	0	inspect		54.6	50.5	1.4	1.3	63		32	0
eca-rers2012/Problem15_label14.yml	timeout	.554	prog	tests	130	inspect	900	760	7700	9000	51	0	true	prog	tests	1	inspect		55.4	51.9	1.6	1.5	64		34	0
eca-rers2012/Problem15_label15.yml	timeout	.559	prog	tests	133	inspect	900	790	7900	8900	54	0	true	prog	tests	1	inspect		55.9	52.7	1.5	1.5	64		35	0
eca-rers2012/Problem15_label16.yml	timeout	.587	prog	tests	133	inspect	900	780	7900	9000	47	0	unknown	prog	tests	0	inspect		58.6	53.8	1.4	1.5	64		34	0
eca-rers2012/Problem15_label17.yml	timeout	.546	prog	tests	124	inspect	900	790	7800	9100	50	0	unknown	prog	tests	0	inspect		54.6	50.5	1.4	1.4	64		32	0
eca-rers2012/Problem15_label19.yml	timeout	.528	prog	tests	120	inspect	900	740	7800	8600	45	0	unknown	prog	tests	0	inspect		52.8	49.3	1.4	1.4	63		31	0
eca-rers2012/Problem15_label20.yml	timeout	.602	prog	tests	145	inspect	900	760	7400	8500	49	0	unknown	prog	tests	0	inspect		60.2	56.8	1.8	1.7	64		37	0
eca-rers2012/Problem15_label21.yml	timeout	.551	prog	tests	126	inspect	900	770	7700	8600	50	0	unknown	prog	tests	0	inspect		55.1	51.0	1.5	1.6	63		33	0
eca-rers2012/Problem15_label22.yml	timeout	.532	prog	tests	122	inspect	900	760	7500	9200	45	0	true	prog	tests	1	inspect		53.2	49.7	1.4	1.5	63		32	0
eca-rers2012/Problem15_label23.yml	timeout	.526	prog	tests	118	inspect	900	740	8100	10000	45	0	unknown	prog	tests	0	inspect		52.6	48.9	1.4	1.3	64		30	0
eca-rers2012/Problem15_label24.yml	timeout	.542	prog	tests	123	inspect	900	760	7900	8400	45	0	unknown	prog	tests	0	inspect		54.2	50.1	1.4	1.4	64		31	0
eca-rers2012/Problem15_label25.yml	timeout	.555	prog	tests	131	inspect	900	780	7500	9000	54	0	unknown	prog	tests	0	inspect		55.5	52.0	1.5	1.4	64		34	0
eca-rers2012/Problem15_label26.yml	timeout	.555	prog	tests	131	inspect	900	770	9000	9900	52	0	unknown	prog	tests	0	inspect		55.5	52.0	1.5	1.5	64		34	0
eca-rers2012/Problem15_label27.yml	timeout	.553	prog	tests	129	inspect	900	770	7600	9100	52	0	unknown	prog	tests	0	inspect		55.3	51.7	1.5	1.5	64		33	0
eca-rers2012/Problem15_label28.yml	timeout	.601	prog	tests	146	inspect	900	810	7900	10000	57	0	unknown	prog	tests	0	inspect		60.1	56.6	1.6	1.6	64		38	0
eca-rers2012/Problem15_label29.yml	timeout	.552	prog	tests	128	inspect	900	760	8200	9300	50	0	true	prog	tests	1	inspect		55.2	51.6	1.5	1.6	64		33	0
eca-rers2012/Problem15_label30.yml	timeout	.528	prog	tests	120	inspect	900	760	8200	9100	45	0	true	prog	tests	1	inspect		52.8	49.3	1.4	1.4	64		31	0
eca-rers2012/Problem15_label31.yml	timeout	.553	prog	tests	129	inspect	900	760	7500	8500	52	0	unknown	prog	tests	0	inspect		55.3	51.7	1.6	1.6	64		33	0
eca-rers2012/Problem15_label32.yml	timeout	.51	prog	tests	116	inspect	900	760	7900	7700	43	0	unknown	prog	tests	0	inspect		51.0	48.5	1.3	1.4	64		30	0
eca-rers2012/Problem15_label33.yml	timeout	.559	prog	tests	133	inspect	900	780	8300	9900	55	0	true	prog	tests	1	inspect		55.9	52.7	1.5	1.5	64		34	0
eca-rers2012/Problem15_label34.yml	timeout	.559	prog	tests	133	inspect	900	780	8300	9700	55	0	true	prog	tests	1	inspect		55.9	52.7	1.6	1.6	64		34	0
eca-rers2012/Problem15_label35.yml	timeout	.550	prog	tests	125	inspect	900	750	7500	7900	48	0	unknown	prog	tests	0	inspect		55.0	50.7	1.4	1.4	64		33	0
eca-rers2012/Problem15_label36.yml	timeout	.550	prog	tests	125	inspect	900	770	7900	9300	50	0	unknown	prog	tests	0	inspect		55.0	50.7	1.4	1.4	64		32	0
eca-rers2012/Problem15_label37.yml	timeout	.528	prog	tests	119	inspect	910	760	9000	8600	43	0	unknown	prog	tests	0	inspect		52.8	49.2	1.4	1.4	64		31	0
eca-rers2012/Problem15_label38.yml	timeout	.546	prog	tests	124	inspect	900	740	9200	9800	47	0	unknown	prog	tests	0	inspect		54.6	50.5	1.5	1.5	64		32	0
eca-rers2012/Problem15_label39.yml	timeout	.526	prog	tests	118	inspect	900	750	7100	8800	44	0	unknown	prog	tests	0	inspect		52.6	48.9	1.5	1.5	64		30	0
eca-rers2012/Problem15_label40.yml	timeout	.589	prog	tests	136	inspect	900	760	10000	9200	49	0	true	prog	tests	1	inspect		58.9	54.5	1.5	1.5	64		35	0
eca-rers2012/Problem15_label41.yml	timeout	.550	prog	tests	125	inspect	900	720	8700	8900	47	0	true	prog	tests	1	inspect		55.0	50.7	1.5	1.5	64		32	0
eca-rers2012/Problem15_label42.yml	timeout	.554	prog	tests	130	inspect	900	780	8400	8600	52	0	unknown	prog	tests	0	inspect		55.4	51.9	1.5	1.4	64		33	0
eca-rers2012/Problem15_label43.yml	timeout	.554	prog	tests	130	inspect	900	750	8100	8900	52	0	unknown	prog	tests	0	inspect		55.4	51.9	1.4	1.4	64		33	0
eca-rers2012/Problem15_label44.yml	timeout	.542	prog	tests	123	inspect	900	770	7900	12000	48	0	unknown	prog	tests	0	inspect		54.2	50.1	1.4	1.3	63		32	0
eca-rers2012/Problem15_label45.yml	timeout	.542	prog	tests	123	inspect	900	760	9100	8300	48	0	true	prog	tests	1	inspect		54.2	50.1	1.5	1.5	63		32	0
eca-rers2012/Problem15_label46.yml	timeout	.604	prog	tests	147	inspect	900	780	7700	11000	54	0	unknown	prog	tests	0	inspect		60.4	57.2	1.5	1.5	64		38	0
eca-rers2012/Problem15_label47.yml	timeout	.574	prog	tests	124	inspect	900	760	8000	8400	40	0	true	prog	tests	1	inspect		57.4	51.6	1.5	1.4	64		32	0
eca-rers2012/Problem15_label48.yml	timeout	.51	prog	tests	116	inspect	900	720	9100	8900	42	0	true	prog	tests	1	inspect		51.0	48.5	1.3	1.4	64		30	0
eca-rers2012/Problem15_label49.yml	timeout	.546	prog	tests	124	inspect	900	750	7400	8800	46	0	unknown	prog	tests	0	inspect		54.6	50.5	1.4	1.4	64		32	0
eca-rers2012/Problem15_label50.yml	timeout	.551	prog	tests	126	inspect	900	770	8900	9600	50	0	true	prog	tests	1	inspect		55.1	51.0	1.5	1.5	64		32	0
eca-rers2012/Problem15_label51.yml	timeout	.555	prog	tests	131	inspect	900	780	7800	9300	54	0	true	prog	tests	1	inspect		55.5	52.0	1.5	1.7	64		34	0
eca-rers2012/Problem15_label52.yml	timeout	.559	prog	tests	129	inspect	900	770	8000	9200	52	0	unknown	prog	tests	0	inspect		55.9	52.6	1.4	1.4	64		33	0
eca-rers2012/Problem15_label53.yml	timeout	.552	prog	tests	128	inspect	900	760	7500	8700	49	0	unknown	prog	tests	0	inspect		55.2	51.6	1.5	1.4	63		33	0
eca-rers2012/Problem15_label54.yml	timeout	.499	prog	tests	113	inspect	900	730	8200	8500	39	0	unknown	prog	tests	0	inspect		49.9	47.7	1.3	1.3	64		30	0
eca-rers2012/Problem15_label55.yml	timeout	.572	prog	tests	123	inspect	900	760	7800	9300	41	0	unknown	prog	tests	0	inspect		57.2	51.4	1.5	1.4	63		32	0
eca-rers2012/Problem15_label56.yml	timeout	.528	prog	tests	120	inspect	900	750	9300	8400	47	0	unknown	prog	tests	0	inspect		52.8	49.3	1.4	1.3	64		31	0
eca-rers2012/Problem15_label57.yml	timeout	.532	prog	tests	118	inspect	900	750	8700	8300	43	0	unknown	prog	tests	0	inspect		53.2	49.8	1.4	1.4	64		30	0
eca-rers2012/Problem15_label58.yml	timeout	.587	prog	tests	133	inspect	900	770	8000	9100	48	0	unknown	prog	tests	0	inspect		58.6	53.8	1.5	1.6	64		34	0
eca-rers2012/Problem15_label59.yml	timeout	.485	prog	tests	106	inspect	900	740	8800	8300	36	0	unknown	prog	tests	0	inspect		48.5	46.1	1.2	1.2	63		27	0
eca-rers2012/Problem16_label00.yml	timeout	.567	prog	tests	152	inspect	900	750	7700	8100	41	0	unknown	prog	tests	0	inspect		56.6	61.5	1.5	1.6	51		36	0
eca-rers2012/Problem16_label01.yml	timeout	.544	prog	tests	145	inspect	900	770	7000	7900	45	0	unknown	prog	tests	0	inspect		54.4	59.7	1.5	1.6	52		34	0
eca-rers2012/Problem16_label02.yml	timeout	.572	prog	tests	159	inspect	900	770	7200	9500	45	0	unknown	prog	tests	0	inspect		57.2	63.3	1.6	1.6	52		38	0
eca-rers2012/Problem16_label03.yml	timeout	.570	prog	tests	157	inspect	900	760	7500	8100	44	0	unknown	prog	tests	0	inspect		57.0	62.8	1.7	1.6	52		37	0
eca-rers2012/Problem16_label04.yml	timeout	.569	prog	tests	156	inspect	900	770	7700	11000	44	0	unknown	prog	tests	0	inspect		56.9	62.5	1.6	1.6	51		37	0
eca-rers2012/Problem16_label05.yml	timeout	.569	prog	tests	156	inspect	900	770	7000	8100	43	0	unknown	prog	tests	0	inspect		56.9	62.5	1.6	1.7	52		37	0
eca-rers2012/Problem16_label06.yml	timeout	.559	prog	tests	148	inspect	900	760	7100	7700	40	0	unknown	prog	tests	0	inspect		55.9	60.5	1.5	1.4	52		35	0
eca-rers2012/Problem16_label07.yml	timeout	.544	prog	tests	150	inspect	910	780	6800	9400	49	0	unknown	prog	tests	0	inspect		54.4	61.0	1.5	1.6	51		35	0
eca-rers2012/Problem16_label08.yml	timeout	.531	prog	tests	147	inspect	900	740	8200	9700	46	0	unknown	prog	tests	0	inspect		53.1	60.3	1.5	1.5	52		34	0
eca-rers2012/Problem16_label09.yml	timeout	.563	prog	tests	149	inspect	900	770	7100	8400	43	0	unknown	prog	tests	0	inspect		56.3	60.8	1.5	1.5	52		35	0
eca-rers2012/Problem16_label10.yml	timeout	.521	prog	tests	143	inspect	900	760	6600	7800	54	0	unknown	prog	tests	0	inspect		52.1	59.2	1.5	1.4	52		34	0
eca-rers2012/Problem16_label11.yml	timeout	.507	prog	tests	136	inspect	900	740	7000	9000	47	0	unknown	prog	tests	0	inspect		50.7	57.3	1.4	1.4	52		32	0
eca-rers2012/Problem16_label12.yml	timeout	.571	prog	tests	158	inspect	900	780	8500	7300	47	0	unknown	prog	tests	0	inspect		57.1	63.0	1.6	1.6	52		37	0
eca-rers2012/Problem16_label13.yml	timeout	.491	prog	tests	135	inspect	900	760	7500	9000	44	0	unknown	prog	tests	0	inspect		49.1	57.0	1.4	1.3	52		32	0
eca-rers2012/Problem16_label14.yml	timeout	.561	prog	tests	149	inspect	900	790	6600	10000	41	0	unknown	prog	tests	0	inspect		56.1	60.7	1.6	1.6	52		35	0
eca-rers2012/Problem16_label15.yml	timeout	.501	prog	tests	137	inspect	900	750	6700	7300	38	0	unknown	prog	tests	0	inspect		50.1	57.6	1.4	1.3	52		32	0
eca-rers2012/Problem16_label16.yml	timeout	.512	prog	tests	140	inspect	900	760	8200	9200	48	0	unknown	prog	tests	0	inspect		51.2	58.4	1.4	1.4	52		33	0
eca-rers2012/Problem16_label17.yml	timeout	.568	prog	tests	155	inspect	900	720	9300	8000	41	0	unknown	prog	tests	0	inspect		56.8	62.2	1.5	1.6	52		37	0
eca-rers2012/Problem16_label18.yml	timeout	.537	prog	tests	148	inspect	900	760	7100	10000	45	0	unknown	prog	tests	0	inspect		53.7	60.5	1.5	1.6	52		35	0
eca-rers2012/Problem16_label19.yml	timeout	.528	prog	tests	144	inspect	900	750	7800	8400	48	0	unknown	prog	tests	0	inspect		52.8	59.6	1.5	1.6	52		34	0
eca-rers2012/Problem16_label20.yml	timeout	.528	prog	tests	144	inspect	900	750	6600	8900	44	0	unknown	prog	tests	0	inspect		52.8	59.6	1.5	1.6	52		34	0
eca-rers2012/Problem16_label21.yml	timeout	.510	prog	tests	139	inspect	900	740	7200	8700	39	0	unknown	prog	tests	0	inspect		51.0	58.2	1.4	1.5	52		33	0
eca-rers2012/Problem16_label22.yml	timeout	.509	prog	tests	137	inspect	900	700	7900	8700	47	0	unknown	prog	tests	0	inspect		50.9	57.5	1.4	1.4	51		32	0
eca-rers2012/Problem16_label23.yml	timeout	.491	prog	tests	135	inspect	900	750	9300	9300	43	0	unknown	prog	tests	0	inspect		49.1	57.0	1.5	1.4	52		32	0
eca-rers2012/Problem16_label24.yml	timeout	.498	prog	tests	134	inspect	900	710	9500	9000	46	0	unknown	prog	tests	0	inspect		49.9	56.7	1.4	1.4	52		32	0
eca-rers2012/Problem16_label25.yml	timeout	.572	prog	tests	159	inspect	900	750	7100	8700	45	0	unknown	prog	tests	0	inspect		57.2	63.3	1.6	1.6	51		38	0
eca-rers2012/Problem16_label26.yml	timeout	.487	prog	tests	132	inspect	900	780	6400	8700	43	0	unknown	prog	tests	0	inspect		48.8	56.1	1.4	1.4	52		31	0
eca-rers2012/Problem16_label27.yml	timeout	.568	prog	tests	154	inspect	900	710	8300	8100	42	0	unknown	prog	tests	0	inspect		56.8	62.0	1.5	1.5	52		36	0
eca-rers2012/Problem16_label28.yml	timeout	.568	prog	tests	155	inspect	900	770	7200	8900	40	0	unknown	prog	tests	0	inspect		56.8	62.2	1.6	1.7	52		37	0
eca-rers2012/Problem16_label29.yml	timeout	.559	prog	tests	149	inspect	900	750	7400	9000	42	0	unknown	prog	tests	0	inspect		55.9	60.5	1.5	1.7	52		35	0
eca-rers2012/Problem16_label30.yml	timeout	.561	prog	tests	149	inspect	900	700	9600	8700	42	0	unknown	prog	tests	0	inspect		56.1	60.7	1.4	1.5	52		35	0
eca-rers2012/Problem16_label31.yml	timeout	.519	prog	tests	142	inspect	900	760	7900	9100	42	0	unknown	prog	tests	0	inspect		51.9	59.0	1.4	1.5	52		34	0
eca-rers2012/Problem16_label32.yml	timeout	.573	prog	tests	160	inspect	900	760	7200	9400	43	0	unknown	prog	tests	0	inspect		57.3	63.5	1.6	1.5	51		38	0
eca-rers2012/Problem16_label33.yml	timeout	.511	prog	tests	137	inspect	900	740	8000	8400	40	0	unknown	prog	tests	0	inspect		51.1	57.5	1.5	1.4	52		32	0
eca-rers2012/Problem16_label34.yml	timeout	.559	prog	tests	148	inspect	900	720	7000	8000	43	0	unknown	prog	tests	0	inspect		55.9	60.5	1.5	1.4	52		35	0
eca-rers2012/Problem16_label35.yml	timeout	.501	prog	tests	137	inspect	900	780	6500	7800	37	0	unknown	prog	tests	0	inspect		50.1	57.6	1.5	1.4	52		32	0
eca-rers2012/Problem16_label36.yml	timeout	.561	prog	tests	148	inspect	900	710	7600	8000	44	0	unknown	prog	tests	0	inspect		56.1	60.5	1.7	1.6	52		35	0
eca-rers2012/Problem16_label37.yml	timeout	.567	prog	tests	153	inspect	900	750	7700	9400	40	0	unknown	prog	tests	0	inspect		56.7	61.8	1.5	1.5	52		36	0
eca-rers2012/Problem16_label38.yml	timeout	.528	prog	tests	144	inspect	900	750	6600	7400	43	0	unknown	prog	tests	0	inspect		52.8	59.6	1.5	1.4	52		34	0
eca-rers2012/Problem16_label39.yml	timeout	.537	prog	tests	148	inspect	900	740	7200	9900	47	0	unknown	prog	tests	0	inspect		53.7	60.5	1.6	1.6	52		35	0
eca-rers2012/Problem16_label40.yml	timeout	.485	prog	tests	130	inspect	900	730	7600	8200	41	0	unknown	prog	tests	0	inspect		48.5	55.5	1.4	1.3	52		31	0
eca-rers2012/Problem16_label41.yml	timeout	.500	prog	tests	136	inspect	900	770	6300	8400	37	0	unknown	prog	tests	0	inspect		50.0	57.3	1.5	1.5	52		32	0
eca-rers2012/Problem16_label42.yml	timeout	.569	prog	tests	156	inspect	900	780	7300	9400	44	0	unknown	prog	tests	0	inspect		56.9	62.5	1.5	1.5	52		36	0
eca-rers2012/Problem16_label43.yml	timeout	.507	prog	tests	136	inspect	900	760	8200	8700	48	0	unknown	prog	tests	0	inspect		50.7	57.3	1.5	1.5	52		32	0
eca-rers2012/Problem16_label44.yml	timeout	.501	prog	tests	137	inspect	900	740	9000	8300	38	0	unknown	prog	tests	0	inspect		50.1	57.6	1.5	1.5	52		32	0
eca-rers2012/Problem16_label45.yml	timeout	.537	prog	tests	148	inspect	900	760	6700	8000	46	0	unknown	prog	tests	0	inspect		53.7	60.5	1.5	1.5	52		35	0
eca-rers2012/Problem16_label46.yml	timeout	.556	prog	tests	145	inspect	900	730	7500	9400	42	0	unknown	prog	tests	0	inspect		55.6	59.7	1.6	1.5	52		34	0
eca-rers2012/Problem16_label47.yml	timeout	.574	prog	tests	161	inspect	900	770	7100	9600	44	0	unknown	prog	tests	0	inspect		57.4	63.8	1.6	1.6	52		38	0
eca-rers2012/Problem16_label48.yml	timeout	.552	prog	tests	144	inspect	900	760	7100	9200	44	0	unknown	prog	tests	0	inspect		55.2	59.4	1.5	1.4	52		34	0
eca-rers2012/Problem16_label49.yml	timeout	.521	prog	tests	143	inspect	900	790	6700	8600	53	0	unknown	prog	tests	0	inspect		52.1	59.2	1.4	1.4	52		34	0
eca-rers2012/Problem16_label50.yml	timeout	.537	prog	tests	148	inspect	900	740	7100	9900	48	0	unknown	prog	tests	0	inspect		53.7	60.5	1.5	1.6	52		34	0
eca-rers2012/Problem16_label51.yml	timeout	.507	prog	tests	136	inspect	900	760	7400	8100	46	0	unknown	prog	tests	0	inspect		50.7	57.3	1.4	1.5	52		32	0
eca-rers2012/Problem16_label52.yml	timeout	.561	prog	tests	149	inspect	900	760	7000	7500	40	0	unknown	prog	tests	0	inspect		56.1	60.7	1.6	1.5	52		35	0
eca-rers2012/Problem16_label53.yml	timeout	.571	prog	tests	158	inspect	900	750	7500	10000	41	0	unknown	prog	tests	0	inspect		57.1	63.0	1.7	1.7	52		37	0
eca-rers2012/Problem16_label54.yml	timeout	.528	prog	tests	144	inspect	900	750	8600	6500	44	0	unknown	prog	tests	0	inspect		52.8	59.6	1.6	1.5	52		34	0
eca-rers2012/Problem16_label55.yml	timeout	.487	prog	tests	132	inspect	900	750	6400	8100	44	0	unknown	prog	tests	0	inspect		48.8	56.1	1.4	1.3	52		31	0
eca-rers2012/Problem16_label56.yml	timeout	.578	prog	tests	163	inspect	900	770	8600	8500	52	0	unknown	prog	tests	0	inspect		57.8	64.3	1.6	1.5	52		38	0
eca-rers2012/Problem16_label57.yml	timeout	.569	prog	tests	156	inspect	900	770	7400	7400	46	0	unknown	prog	tests	0	inspect		56.9	62.5	1.5	1.5	52		37	0
eca-rers2012/Problem16_label58.yml	timeout	.569	prog	tests	156	inspect	900	770	7500	10000	42	0	unknown	prog	tests	0	inspect		56.9	62.5	1.5	1.5	52		37	0
eca-rers2012/Problem16_label59.yml	timeout	.569	prog	tests	156	inspect	900	730	7500	8000	47	0	unknown	prog	tests	0	inspect		56.9	62.5	1.5	1.5	51		37	0
eca-rers2012/Problem17_label00.yml	timeout	.511	prog	tests	126	inspect	900	750	7800	10000	43	0	unknown	prog	tests	0	inspect		51.1	40.7	2.0	2.0	80		52	0
eca-rers2012/Problem17_label01.yml	timeout	.476	prog	tests	112	inspect	900	740	7600	10000	48	0	unknown	prog	tests	0	inspect		47.6	38.0	1.8	1.8	81		46	0
eca-rers2012/Problem17_label02.yml	timeout	.477	prog	tests	113	inspect	900	770	7300	11000	49	0	unknown	prog	tests	0	inspect		47.7	38.0	2.0	2.0	80		46	0
eca-rers2012/Problem17_label03.yml	timeout	.478	prog	tests	114	inspect	900	780	6900	10000	49	0	unknown	prog	tests	0	inspect		47.8	38.2	1.8	1.8	80		45	0
eca-rers2012/Problem17_label04.yml	timeout	.468	prog	tests	108	inspect	900	740	7900	9900	47	0	true	prog	tests	1	inspect		46.8	37.2	1.8	1.8	81		45	0
eca-rers2012/Problem17_label05.yml	timeout	.462	prog	tests	91	inspect	900	800	6900	9600	24	0	unknown	prog	tests	0	inspect		46.2	34.9	1.6	1.7	80		38	0
eca-rers2012/Problem17_label06.yml	timeout	.512	prog	tests	129	inspect	900	760	7800	10000	51	0	unknown	prog	tests	0	inspect		51.2	41.2	2.0	2.0	81		53	0
eca-rers2012/Problem17_label07.yml	timeout	.477	prog	tests	113	inspect	900	750	7000	10000	49	0	unknown	prog	tests	0	inspect		47.7	38.0	1.8	1.9	81		46	0
eca-rers2012/Problem17_label08.yml	timeout	.505	prog	tests	120	inspect	900	750	7900	10000	46	0	unknown	prog	tests	0	inspect		50.5	39.6	1.9	1.9	81		49	0
eca-rers2012/Problem17_label09.yml	timeout	.479	prog	tests	108	inspect	900	780	7400	12000	46	0	true	prog	tests	1	inspect		47.9	37.1	1.9	1.9	81		44	0
eca-rers2012/Problem17_label10.yml	timeout	.509	prog	tests	127	inspect	900	790	8200	10000	49	0	unknown	prog	tests	0	inspect		50.9	40.8	2.0	1.9	80		52	0
eca-rers2012/Problem17_label11.yml	timeout	.483	prog	tests	117	inspect	900	750	8000	9700	51	0	unknown	prog	tests	0	inspect		48.3	38.9	2.0	1.9	80		49	0
eca-rers2012/Problem17_label12.yml	timeout	.475	prog	tests	110	inspect	900	780	7800	10000	47	0	unknown	prog	tests	0	inspect		47.5	37.6	1.9	1.8	80		45	0
eca-rers2012/Problem17_label13.yml	timeout	.508	prog	tests	126	inspect	900	770	7200	11000	49	0	unknown	prog	tests	0	inspect		50.8	40.6	1.9	1.9	80		52	0
eca-rers2012/Problem17_label14.yml	timeout	.483	prog	tests	119	inspect	900	790	7200	9700	52	0	unknown	prog	tests	0	inspect		48.3	39.3	1.8	1.9	80		49	0
eca-rers2012/Problem17_label15.yml	timeout	.472	prog	tests	112	inspect	900	720	7800	9100	49	0	unknown	prog	tests	0	inspect		47.2	37.9	1.8	2.0	80		47	0
eca-rers2012/Problem17_label16.yml	timeout	.475	prog	tests	110	inspect	900	740	7200	11000	46	0	true	prog	tests	1	inspect		47.5	37.6	1.9	2.0	81		45	0
eca-rers2012/Problem17_label17.yml	timeout	.509	prog	tests	127	inspect	900	770	8100	11000	48	0	unknown	prog	tests	0	inspect		50.9	40.8	2.0	2.0	81		52	0
eca-rers2012/Problem17_label18.yml	timeout	.497	prog	tests	119	inspect	900	800	7500	10000	37	0	unknown	prog	tests	0	inspect		49.7	39.4	1.8	1.8	80		49	0
eca-rers2012/Problem17_label19.yml	timeout	.478	prog	tests	107	inspect	900	790	7000	10000	35	0	unknown	prog	tests	0	inspect		47.8	37.5	1.7	1.7	81		43	0
eca-rers2012/Problem17_label20.yml	timeout	.513	prog	tests	131	inspect	900	750	7300	9700	49	0	unknown	prog	tests	0	inspect		51.3	41.7	2.0	1.9	81		53	0
eca-rers2012/Problem17_label21.yml	timeout	.495	prog	tests	117	inspect	900	780	7300	12000	42	0	unknown	prog	tests	0	inspect		49.5	39.2	1.9	1.8	81		48	0
eca-rers2012/Problem17_label22.yml	timeout	.441	prog	tests	83	inspect	900	820	5800	8700	19	0	unknown	prog	tests	0	inspect		44.1	33.4	1.5	1.5	81		35	0
eca-rers2012/Problem17_label23.yml	timeout	.477	prog	tests	113	inspect	900	780	7100	10000	49	0	true	prog	tests	1	inspect		47.7	38.0	1.8	1.9	81		47	0
eca-rers2012/Problem17_label24.yml	timeout	.477	prog	tests	113	inspect	900	760	8300	11000	49	0	unknown	prog	tests	0	inspect		47.7	38.0	1.8	1.9	81		46	0
eca-rers2012/Problem17_label25.yml	timeout	.452	prog	tests	88	inspect	900	810	6600	9700	24	0	unknown	prog	tests	0	inspect		45.2	34.5	1.7	1.7	80		36	0
eca-rers2012/Problem17_label26.yml	timeout	.472	prog	tests	101	inspect	900	820	7000	9700	31	0	unknown	prog	tests	0	inspect		47.2	36.4	1.6	1.8	80		42	0
eca-rers2012/Problem17_label27.yml	timeout	.494	prog	tests	117	inspect	900	800	7300	9600	51	0	unknown	prog	tests	0	inspect		49.4	38.9	1.8	1.7	81		48	0
eca-rers2012/Problem17_label28.yml	timeout	.514	prog	tests	131	inspect	900	770	7200	9800	49	0	unknown	prog	tests	0	inspect		51.4	41.7	2.0	2.1	80		54	0
eca-rers2012/Problem17_label29.yml	timeout	.473	prog	tests	109	inspect	900	750	7700	9100	46	0	unknown	prog	tests	0	inspect		47.3	37.4	1.8	1.9	80		45	0
eca-rers2012/Problem17_label30.yml	timeout	.480	prog	tests	109	inspect	900	790	6900	10000	33	0	true	prog	tests	1	inspect		48.0	37.9	1.8	1.8	81		46	0
eca-rers2012/Problem17_label31.yml	timeout	.503	prog	tests	122	inspect	900	800	7200	9900	45	0	unknown	prog	tests	0	inspect		50.3	39.9	1.8	1.8	80		48	0
eca-rers2012/Problem17_label32.yml	timeout	.472	prog	tests	111	inspect	900	760	7900	9800	49	0	unknown	prog	tests	0	inspect		47.2	37.8	1.7	1.8	80		46	0
eca-rers2012/Problem17_label33.yml	timeout	.506	prog	tests	122	inspect	900	790	7700	11000	47	0	unknown	prog	tests	0	inspect		50.6	39.8	1.8	1.8	80		50	0
eca-rers2012/Problem17_label34.yml	timeout	.465	prog	tests	93	inspect	900	780	7500	10000	27	0	unknown	prog	tests	0	inspect		46.5	35.3	1.5	1.5	81		38	0
eca-rers2012/Problem17_label35.yml	timeout	.513	prog	tests	130	inspect	900	780	8600	11000	49	0	unknown	prog	tests	0	inspect		51.3	41.5	1.9	2.0	81		54	0
eca-rers2012/Problem17_label36.yml	timeout	.472	prog	tests	112	inspect	900	760	7500	11000	49	0	unknown	prog	tests	0	inspect		47.2	37.9	1.7	1.7	81		46	0
eca-rers2012/Problem17_label37.yml	timeout	.483	prog	tests	117	inspect	900	770	7800	9200	51	0	unknown	prog	tests	0	inspect		48.3	38.9	1.8	1.9	80		48	0
eca-rers2012/Problem17_label38.yml	timeout	.508	prog	tests	126	inspect	900	790	7200	9700	49	0	unknown	prog	tests	0	inspect		50.8	40.7	2.0	2.0	81		51	0
eca-rers2012/Problem17_label39.yml	timeout	.479	prog	tests	115	inspect	900	750	7900	11000	50	0	unknown	prog	tests	0	inspect		47.9	38.5	1.8	1.8	80		47	0
eca-rers2012/Problem17_label40.yml	timeout	.490	prog	tests	112	inspect	900	760	7200	10000	47	0	true	prog	tests	1	inspect		49.0	38.0	1.8	1.8	80		46	0
eca-rers2012/Problem17_label41.yml	timeout	.478	prog	tests	114	inspect	900	770	8000	9700	49	0	unknown	prog	tests	0	inspect		47.8	38.2	1.8	1.8	81		47	0
eca-rers2012/Problem17_label42.yml	timeout	.499	prog	tests	121	inspect	900	760	7100	9300	42	0	unknown	prog	tests	0	inspect		49.9	39.7	1.8	1.9	80		50	0
eca-rers2012/Problem17_label43.yml	timeout	.478	prog	tests	116	inspect	900	720	9100	9800	51	0	unknown	prog	tests	0	inspect		47.8	38.7	1.8	1.7	80		47	0
eca-rers2012/Problem17_label44.yml	timeout	.509	prog	tests	129	inspect	900	780	7300	11000	47	0	unknown	prog	tests	0	inspect		50.9	41.2	1.9	1.9	81		53	0
eca-rers2012/Problem17_label45.yml	timeout	.475	prog	tests	115	inspect	900	790	7300	8800	51	0	unknown	prog	tests	0	inspect		47.5	38.5	1.8	2.1	81		47	0
eca-rers2012/Problem17_label46.yml	timeout	.459	prog	tests	104	inspect	900	750	7600	12000	44	0	unknown	prog	tests	0	inspect		45.9	36.7	1.7	1.7	80		43	0
eca-rers2012/Problem17_label47.yml	timeout	.489	prog	tests	111	inspect	900	760	7900	12000	46	0	unknown	prog	tests	0	inspect		48.9	37.8	1.8	1.8	80		46	0
eca-rers2012/Problem17_label48.yml	timeout	.494	prog	tests	116	inspect	900	720	8300	9400	42	0	unknown	prog	tests	0	inspect		49.4	39.1	1.8	2.0	80		48	0
eca-rers2012/Problem17_label49.yml	timeout	.493	prog	tests	116	inspect	900	790	7200	9500	50	0	true	prog	tests	1	inspect		49.3	38.6	2.0	2.0	81		47	0
eca-rers2012/Problem17_label50.yml	timeout	.498	prog	tests	120	inspect	900	730	8200	11000	44	0	unknown	prog	tests	0	inspect		49.8	39.5	1.9	2.0	80		49	0
eca-rers2012/Problem17_label51.yml	timeout	.494	prog	tests	116	inspect	900	780	7000	12000	40	0	unknown	prog	tests	0	inspect		49.4	39.1	1.8	1.9	80		48	0
eca-rers2012/Problem17_label52.yml	timeout	.479	prog	tests	108	inspect	900	750	7800	9000	45	0	unknown	prog	tests	0	inspect		47.9	37.1	1.8	1.8	80		44	0
eca-rers2012/Problem17_label53.yml	timeout	.455	prog	tests	104	inspect	900	750	7200	10000	44	0	true	prog	tests	1	inspect		45.5	36.6	1.9	1.8	80		43	0
eca-rers2012/Problem17_label54.yml	timeout	.450	prog	tests	87	inspect	900	820	6500	8000	24	0	unknown	prog	tests	0	inspect		45.0	34.2	1.5	1.5	81		36	0
eca-rers2012/Problem17_label55.yml	timeout	.490	prog	tests	114	inspect	900	740	9100	11000	40	0	true	prog	tests	1	inspect		49.0	38.8	2.0	1.9	80		47	0
eca-rers2012/Problem17_label56.yml	timeout	.503	prog	tests	122	inspect	900	780	7300	9500	43	0	unknown	prog	tests	0	inspect		50.3	39.9	1.8	1.8	80		51	0
eca-rers2012/Problem17_label57.yml	timeout	.465	prog	tests	92	inspect	900	790	7500	9500	27	0	unknown	prog	tests	0	inspect		46.5	35.1	1.6	1.6	80		39	0
eca-rers2012/Problem17_label58.yml	timeout	.497	prog	tests	120	inspect	900	740	7000	9600	41	0	unknown	prog	tests	0	inspect		49.7	39.5	1.8	1.8	81		49	0
eca-rers2012/Problem17_label59.yml	timeout	.493	prog	tests	116	inspect	900	790	7400	10000	50	0	unknown	prog	tests	0	inspect		49.3	38.6	1.8	1.8	80		48	0
eca-rers2012/Problem18_label00.yml	timeout	.431	prog	tests	138	inspect	900	700	9300	11000	72	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.3	75		69	0
eca-rers2012/Problem18_label01.yml	timeout	.443	prog	tests	141	inspect	900	750	9100	10000	78	.0041	unknown	prog	tests	0	inspect		44.3	36.1	2.3	2.5	76		70	0
eca-rers2012/Problem18_label02.yml	timeout	.431	prog	tests	138	inspect	900	710	8800	9600	69	0	unknown	prog	tests	0	inspect		43.1	35.7	2.4	2.4	76		68	0
eca-rers2012/Problem18_label03.yml	timeout	.433	prog	tests	139	inspect	900	730	8500	9200	70	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.6	76		69	0
eca-rers2012/Problem18_label04.yml	timeout	.413	prog	tests	132	inspect	900	660	9400	9000	56	0	unknown	prog	tests	0	inspect		41.3	35.0	2.3	2.3	75		65	0
eca-rers2012/Problem18_label05.yml	timeout	.418	prog	tests	135	inspect	900	690	10000	9100	63	0	unknown	prog	tests	0	inspect		41.8	35.3	2.2	2.2	76		67	0
eca-rers2012/Problem18_label06.yml	timeout	.433	prog	tests	139	inspect	900	730	9400	9800	76	0	unknown	prog	tests	0	inspect		43.3	35.8	2.6	2.5	76		68	0
eca-rers2012/Problem18_label07.yml	timeout	.431	prog	tests	138	inspect	900	690	8700	9500	64	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.3	76		68	0
eca-rers2012/Problem18_label08.yml	timeout	.431	prog	tests	138	inspect	900	680	8700	11000	70	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.3	76		69	0
eca-rers2012/Problem18_label09.yml	timeout	.418	prog	tests	135	inspect	900	670	9700	9300	55	0	unknown	prog	tests	0	inspect		41.8	35.3	2.2	2.2	76		67	0
eca-rers2012/Problem18_label10.yml	timeout	.431	prog	tests	138	inspect	900	710	8600	9900	64	0	unknown	prog	tests	0	inspect		43.1	35.7	2.2	2.3	76		69	0
eca-rers2012/Problem18_label11.yml	timeout	.416	prog	tests	134	inspect	900	710	8700	9200	59	0	unknown	prog	tests	0	inspect		41.6	35.2	2.2	2.2	76		66	0
eca-rers2012/Problem18_label12.yml	timeout	.429	prog	tests	137	inspect	900	730	8900	9700	65	0	unknown	prog	tests	0	inspect		42.9	35.6	2.2	2.3	76		68	0
eca-rers2012/Problem18_label13.yml	timeout	.433	prog	tests	139	inspect	900	740	8100	11000	69	0	unknown	prog	tests	0	inspect		43.3	35.8	2.4	2.5	76		66	0
eca-rers2012/Problem18_label14.yml	timeout	.433	prog	tests	139	inspect	900	700	8700	9800	68	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.2	76		68	0
eca-rers2012/Problem18_label15.yml	timeout	.433	prog	tests	139	inspect	900	730	8400	12000	66	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.2	76		68	0
eca-rers2012/Problem18_label16.yml	timeout	.433	prog	tests	139	inspect	900	700	8800	9700	68	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.4	76		69	0
eca-rers2012/Problem18_label17.yml	timeout	.431	prog	tests	138	inspect	900	680	9300	11000	66	0	unknown	prog	tests	0	inspect		43.1	35.7	2.4	2.4	76		68	0
eca-rers2012/Problem18_label18.yml	timeout	.433	prog	tests	139	inspect	900	700	8400	11000	72	0	unknown	prog	tests	0	inspect		43.3	35.8	2.2	2.2	76		69	0
eca-rers2012/Problem18_label19.yml	timeout	.431	prog	tests	138	inspect	900	710	8500	10000	71	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.4	76		67	0
eca-rers2012/Problem18_label20.yml	timeout	.441	prog	tests	140	inspect	900	750	8700	10000	72	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.2	76		69	0
eca-rers2012/Problem18_label21.yml	timeout	.431	prog	tests	138	inspect	900	720	8800	9600	70	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.3	76		68	0
eca-rers2012/Problem18_label22.yml	timeout	.431	prog	tests	138	inspect	900	710	8700	9400	61	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.5	76		68	0
eca-rers2012/Problem18_label23.yml	timeout	.429	prog	tests	137	inspect	900	710	9000	8600	69	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.2	76		67	0
eca-rers2012/Problem18_label24.yml	timeout	.418	prog	tests	136	inspect	900	680	9300	9900	63	0	unknown	prog	tests	0	inspect		41.8	35.5	2.3	2.3	75		67	0
eca-rers2012/Problem18_label25.yml	timeout	.431	prog	tests	138	inspect	900	700	8700	9400	67	0	unknown	prog	tests	0	inspect		43.1	35.7	2.4	2.3	76		68	0
eca-rers2012/Problem18_label26.yml	timeout	.441	prog	tests	140	inspect	900	730	8500	10000	67	0	unknown	prog	tests	0	inspect		44.1	36.0	2.5	2.5	76		69	0
eca-rers2012/Problem18_label27.yml	timeout	.433	prog	tests	139	inspect	900	730	8400	10000	76	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.3	75		68	0
eca-rers2012/Problem18_label28.yml	timeout	.429	prog	tests	137	inspect	900	690	9100	8800	64	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.2	76		68	0
eca-rers2012/Problem18_label29.yml	timeout	.441	prog	tests	140	inspect	900	740	8300	9800	67	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.2	75		69	0
eca-rers2012/Problem18_label30.yml	timeout	.441	prog	tests	140	inspect	900	730	5400	10000	11	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.3	76		70	0
eca-rers2012/Problem18_label31.yml	timeout	.433	prog	tests	139	inspect	900	730	8800	8800	74	0	unknown	prog	tests	0	inspect		43.3	35.8	2.4	2.4	76		68	0
eca-rers2012/Problem18_label32.yml	timeout	.436	prog	tests	140	inspect	900	720	9000	9500	71	0	unknown	prog	tests	0	inspect		43.6	36.0	2.3	2.4	76		69	0
eca-rers2012/Problem18_label33.yml	timeout	.436	prog	tests	140	inspect	900	710	8600	9400	72	0	unknown	prog	tests	0	inspect		43.6	36.0	2.4	2.4	76		69	0
eca-rers2012/Problem18_label34.yml	timeout	.433	prog	tests	139	inspect	900	720	8500	11000	69	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.3	75		68	0
eca-rers2012/Problem18_label35.yml	timeout	.431	prog	tests	138	inspect	900	710	8600	11000	68	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.3	76		68	0
eca-rers2012/Problem18_label36.yml	timeout	.416	prog	tests	134	inspect	900	760	8000	12000	65	0	unknown	prog	tests	0	inspect		41.6	35.2	2.2	2.3	76		64	0
eca-rers2012/Problem18_label37.yml	timeout	.433	prog	tests	139	inspect	910	720	9600	11000	66	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.3	76		69	0
eca-rers2012/Problem18_label38.yml	timeout	.436	prog	tests	140	inspect	900	740	8700	11000	70	0	unknown	prog	tests	0	inspect		43.6	36.0	2.3	2.3	75		67	0
eca-rers2012/Problem18_label39.yml	timeout	.416	prog	tests	134	inspect	900	660	9000	9800	58	0	unknown	prog	tests	0	inspect		41.6	35.2	2.2	2.3	76		67	0
eca-rers2012/Problem18_label40.yml	timeout	.441	prog	tests	140	inspect	900	720	8400	11000	67	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.2	75		70	0
eca-rers2012/Problem18_label41.yml	timeout	.433	prog	tests	139	inspect	900	720	9400	9200	69	0	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.2	76		69	0
eca-rers2012/Problem18_label42.yml	timeout	.429	prog	tests	137	inspect	900	720	8600	9200	62	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.3	76		66	0
eca-rers2012/Problem18_label43.yml	timeout	.431	prog	tests	138	inspect	900	710	8600	10000	72	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.4	76		68	0
eca-rers2012/Problem18_label44.yml	timeout	.441	prog	tests	140	inspect	900	740	9600	9700	68	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.4	75		69	0
eca-rers2012/Problem18_label45.yml	timeout	.429	prog	tests	137	inspect	900	720	8500	11000	69	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.3	75		67	0
eca-rers2012/Problem18_label46.yml	timeout	.436	prog	tests	140	inspect	900	720	8500	9600	70	0	unknown	prog	tests	0	inspect		43.6	36.0	2.3	2.2	76		70	0
eca-rers2012/Problem18_label47.yml	timeout	.429	prog	tests	137	inspect	910	710	9600	10000	67	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.2	76		67	0
eca-rers2012/Problem18_label48.yml	timeout	.429	prog	tests	137	inspect	910	720	9500	9600	70	0	unknown	prog	tests	0	inspect		42.9	35.6	2.3	2.3	75		67	0
eca-rers2012/Problem18_label49.yml	timeout	.418	prog	tests	135	inspect	900	690	8300	9500	60	0	unknown	prog	tests	0	inspect		41.8	35.3	2.3	2.2	76		67	0
eca-rers2012/Problem18_label50.yml	timeout	.433	prog	tests	139	inspect	900	750	8600	10000	71	.0041	unknown	prog	tests	0	inspect		43.3	35.8	2.3	2.5	76		69	0
eca-rers2012/Problem18_label51.yml	timeout	.433	prog	tests	139	inspect	900	730	8200	11000	68	0	unknown	prog	tests	0	inspect		43.3	35.8	2.4	2.3	76		68	0
eca-rers2012/Problem18_label52.yml	timeout	.441	prog	tests	140	inspect	900	750	8900	11000	73	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.6	76		69	0
eca-rers2012/Problem18_label53.yml	timeout	.431	prog	tests	138	inspect	900	710	8600	11000	67	0	unknown	prog	tests	0	inspect		43.1	35.7	2.3	2.2	76		68	0
eca-rers2012/Problem18_label54.yml	timeout	.416	prog	tests	134	inspect	900	710	8500	9800	56	0	unknown	prog	tests	0	inspect		41.6	35.2	2.3	2.3	76		67	0
eca-rers2012/Problem18_label55.yml	timeout	.433	prog	tests	139	inspect	900	730	8600	11000	71	0	unknown	prog	tests	0	inspect		43.3	35.8	2.6	2.5	76		69	0
eca-rers2012/Problem18_label56.yml	timeout	.448	prog	tests	142	inspect	900	710	9100	9400	79	0	unknown	prog	tests	0	inspect		44.8	36.2	2.4	2.5	76		71	0
eca-rers2012/Problem18_label57.yml	timeout	.431	prog	tests	138	inspect	900	720	8500	9200	70	0	unknown	prog	tests	0	inspect		43.1	35.7	2.4	2.4	76		68	0
eca-rers2012/Problem18_label58.yml	timeout	.441	prog	tests	140	inspect	900	720	8700	9900	65	0	unknown	prog	tests	0	inspect		44.1	36.0	2.3	2.5	76		67	0
eca-rers2012/Problem18_label59.yml	timeout	.433	prog	tests	139	inspect	900	750	8400	9500	72	0	unknown	prog	tests	0	inspect		43.3	35.8	2.4	2.4	76		69	0
eca-rers2012/Problem19_label00.yml	timeout	.234	prog	tests	66	inspect	900	710	9400	11000	87	0	unknown	prog	tests	0	inspect		23.4	19.6	3.2	3.4	160		100	0
eca-rers2012/Problem19_label01.yml	timeout	.226	prog	tests	59	inspect	900	680	8800	13000	71	0	unknown	prog	tests	0	inspect		22.6	19.3	3.0	3.0	160		100	0
eca-rers2012/Problem19_label02.yml	timeout	.238	prog	tests	69	inspect	900	760	6400	10000	87	.0041	unknown	prog	tests	0	inspect		23.8	19.8	3.3	3.3	160		120	0
eca-rers2012/Problem19_label03.yml	timeout	.234	prog	tests	66	inspect	900	740	5800	11000	79	0	unknown	prog	tests	0	inspect		23.4	19.6	3.3	3.3	160		96	0
eca-rers2012/Problem19_label04.yml	timeout	.238	prog	tests	69	inspect	900	710	6100	12000	86	0	unknown	prog	tests	0	inspect		23.8	19.8	3.3	3.3	160		110	0
eca-rers2012/Problem19_label05.yml	timeout	.241	prog	tests	70	inspect	900	700	7100	11000	93	0	unknown	prog	tests	0	inspect		24.1	19.9	3.3	3.4	160		97	0
eca-rers2012/Problem19_label06.yml	timeout	.238	prog	tests	69	inspect	900	740	7600	11000	90	0	unknown	prog	tests	0	inspect		23.8	19.8	3.4	3.5	160		88	0
eca-rers2012/Problem19_label07.yml	timeout	.238	prog	tests	69	inspect	900	710	7400	11000	87	0	unknown	prog	tests	0	inspect		23.8	19.8	3.2	3.1	160		120	0
eca-rers2012/Problem19_label08.yml	timeout	.235	prog	tests	67	inspect	900	710	7400	10000	87	0	unknown	prog	tests	0	inspect		23.5	19.7	3.6	3.6	160		120	0
eca-rers2012/Problem19_label09.yml	timeout	.224	prog	tests	57	inspect	900	650	7900	9800	63	0	unknown	prog	tests	0	inspect		22.4	19.2	3.0	3.1	160		81	0
eca-rers2012/Problem19_label10.yml	timeout	.235	prog	tests	67	inspect	900	750	7300	11000	87	0	unknown	prog	tests	0	inspect		23.5	19.7	3.3	3.4	160		120	0
eca-rers2012/Problem19_label11.yml	timeout	.238	prog	tests	69	inspect	900	720	6800	12000	86	0	unknown	prog	tests	0	inspect		23.8	19.8	3.2	3.3	160		100	0
eca-rers2012/Problem19_label12.yml	timeout	.234	prog	tests	66	inspect	900	690	6400	11000	83	0	unknown	prog	tests	0	inspect		23.4	19.6	3.2	3.2	160		110	0
eca-rers2012/Problem19_label13.yml	timeout	.235	prog	tests	67	inspect	900	730	6600	10000	85	0	unknown	prog	tests	0	inspect		23.5	19.7	3.5	3.5	160		86	0
eca-rers2012/Problem19_label14.yml	timeout	.237	prog	tests	68	inspect	900	700	6300	10000	89	0	unknown	prog	tests	0	inspect		23.7	19.8	3.4	3.4	160		84	0
eca-rers2012/Problem19_label15.yml	timeout	.235	prog	tests	67	inspect	900	700	6400	11000	92	0	unknown	prog	tests	0	inspect		23.5	19.7	3.4	3.4	160		90	0
eca-rers2012/Problem19_label16.yml	timeout	.237	prog	tests	68	inspect	900	710	7500	12000	83	0	unknown	prog	tests	0	inspect		23.7	19.8	3.3	3.4	160		94	0
eca-rers2012/Problem19_label17.yml	timeout	.233	prog	tests	65	inspect	900	720	7300	10000	84	0	unknown	prog	tests	0	inspect		23.3	19.6	3.4	3.4	160		120	0
eca-rers2012/Problem19_label18.yml	timeout	.225	prog	tests	58	inspect	900	610	11000	8600	62	0	unknown	prog	tests	0	inspect		22.4	19.3	3.0	3.0	160		98	0
eca-rers2012/Problem19_label19.yml	timeout	.238	prog	tests	69	inspect	900	720	7200	11000	94	0	unknown	prog	tests	0	inspect		23.8	19.8	3.6	3.5	160		88	0
eca-rers2012/Problem19_label20.yml	timeout	.233	prog	tests	65	inspect	900	730	5600	12000	83	0	unknown	prog	tests	0	inspect		23.3	19.6	3.3	3.4	160		110	0
eca-rers2012/Problem19_label21.yml	timeout	.235	prog	tests	67	inspect	900	700	6700	9800	85	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.2	160		110	0
eca-rers2012/Problem19_label22.yml	timeout	.235	prog	tests	67	inspect	910	700	8800	12000	85	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.2	160		120	0
eca-rers2012/Problem19_label23.yml	timeout	.232	prog	tests	63	inspect	900	690	8400	10000	76	0	unknown	prog	tests	0	inspect		23.2	19.5	3.2	3.2	160		89	0
eca-rers2012/Problem19_label24.yml	timeout	.234	prog	tests	66	inspect	900	720	6800	11000	79	0	unknown	prog	tests	0	inspect		23.4	19.6	3.3	3.4	160		90	0
eca-rers2012/Problem19_label25.yml	timeout	.234	prog	tests	66	inspect	900	730	6400	9700	82	0	unknown	prog	tests	0	inspect		23.4	19.6	3.5	3.4	160		93	0
eca-rers2012/Problem19_label26.yml	timeout	.232	prog	tests	63	inspect	900	730	7900	13000	74	0	unknown	prog	tests	0	inspect		23.2	19.5	3.2	3.2	160		110	0
eca-rers2012/Problem19_label27.yml	timeout	.237	prog	tests	68	inspect	900	700	6200	11000	86	0	unknown	prog	tests	0	inspect		23.7	19.8	3.2	3.4	160		110	0
eca-rers2012/Problem19_label28.yml	timeout	.234	prog	tests	66	inspect	900	670	7000	9600	80	0	unknown	prog	tests	0	inspect		23.4	19.6	3.2	3.5	160		110	0
eca-rers2012/Problem19_label29.yml	timeout	.235	prog	tests	67	inspect	900	710	7300	10000	86	0	unknown	prog	tests	0	inspect		23.5	19.7	3.3	3.4	160		91	0
eca-rers2012/Problem19_label30.yml	timeout	.234	prog	tests	66	inspect	900	720	7400	10000	84	0	unknown	prog	tests	0	inspect		23.4	19.6	3.2	3.2	160		100	0
eca-rers2012/Problem19_label31.yml	timeout	.234	prog	tests	66	inspect	900	740	5500	11000	80	0	unknown	prog	tests	0	inspect		23.4	19.6	3.4	3.4	160		95	0
eca-rers2012/Problem19_label32.yml	timeout	.238	prog	tests	69	inspect	900	700	6900	12000	88	0	unknown	prog	tests	0	inspect		23.8	19.8	3.3	3.3	160		120	0
eca-rers2012/Problem19_label33.yml	timeout	.235	prog	tests	67	inspect	900	700	6200	11000	86	0	unknown	prog	tests	0	inspect		23.5	19.7	3.3	3.3	160		94	0
eca-rers2012/Problem19_label34.yml	timeout	.235	prog	tests	67	inspect	900	680	6400	12000	84	0	unknown	prog	tests	0	inspect		23.5	19.7	3.4	3.5	160		87	0
eca-rers2012/Problem19_label35.yml	timeout	.226	prog	tests	59	inspect	900	630	9000	10000	64	0	unknown	prog	tests	0	inspect		22.6	19.3	3.1	3.1	160		76	0
eca-rers2012/Problem19_label36.yml	timeout	.232	prog	tests	63	inspect	900	700	6300	10000	76	0	unknown	prog	tests	0	inspect		23.2	19.5	3.1	3.2	160		100	0
eca-rers2012/Problem19_label37.yml	timeout	.235	prog	tests	67	inspect	900	710	6300	9900	85	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.1	160		87	0
eca-rers2012/Problem19_label38.yml	timeout	.235	prog	tests	67	inspect	900	670	6400	10000	83	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.2	160		120	0
eca-rers2012/Problem19_label39.yml	timeout	.233	prog	tests	65	inspect	900	690	6200	12000	84	0	unknown	prog	tests	0	inspect		23.3	19.6	3.2	3.3	160		90	0
eca-rers2012/Problem19_label40.yml	timeout	.238	prog	tests	69	inspect	900	690	6800	11000	87	0	unknown	prog	tests	0	inspect		23.8	19.8	3.4	3.4	160		93	0
eca-rers2012/Problem19_label41.yml	timeout	.235	prog	tests	67	inspect	900	700	6000	10000	87	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.2	160		87	0
eca-rers2012/Problem19_label42.yml	timeout	.237	prog	tests	68	inspect	900	710	6200	10000	88	0	unknown	prog	tests	0	inspect		23.7	19.8	3.2	3.2	160		94	0
eca-rers2012/Problem19_label43.yml	timeout	.234	prog	tests	66	inspect	900	730	7800	11000	86	0	unknown	prog	tests	0	inspect		23.4	19.6	3.4	3.4	160		120	0
eca-rers2012/Problem19_label44.yml	timeout	.226	prog	tests	61	inspect	900	610	10000	10000	67	0	unknown	prog	tests	0	inspect		22.6	19.4	3.1	3.2	160		100	0
eca-rers2012/Problem19_label45.yml	timeout	.234	prog	tests	66	inspect	900	680	8400	12000	79	0	unknown	prog	tests	0	inspect		23.4	19.6	3.4	3.4	160		81	0
eca-rers2012/Problem19_label46.yml	timeout	.233	prog	tests	65	inspect	900	720	7300	11000	81	0	unknown	prog	tests	0	inspect		23.3	19.6	3.2	3.2	160		110	0
eca-rers2012/Problem19_label47.yml	timeout	.235	prog	tests	67	inspect	900	710	6500	11000	85	0	unknown	prog	tests	0	inspect		23.5	19.7	3.2	3.2	160		120	0
eca-rers2012/Problem19_label48.yml	timeout	.237	prog	tests	68	inspect	900	710	6300	10000	83	0	unknown	prog	tests	0	inspect		23.7	19.8	3.3	3.3	160		120	0
eca-rers2012/Problem19_label49.yml	timeout	.235	prog	tests	67	inspect	900	720	6500	13000	84	0	unknown	prog	tests	0	inspect		23.5	19.7	3.5	3.5	160		110	0
eca-rers2012/Problem19_label50.yml	timeout	.233	prog	tests	65	inspect	900	720	6900	11000	85	0	unknown	prog	tests	0	inspect		23.3	19.6	3.1	3.1	160		100	0
eca-rers2012/Problem19_label51.yml	timeout	.233	prog	tests	64	inspect	900	720	7100	11000	80	0	unknown	prog	tests	0	inspect		23.2	19.5	3.1	3.0	160		100	0
eca-rers2012/Problem19_label52.yml	timeout	.232	prog	tests	63	inspect	900	700	7900	9900	79	0	unknown	prog	tests	0	inspect		23.2	19.5	3.1	3.1	160		110	0
eca-rers2012/Problem19_label53.yml	timeout	.233	prog	tests	64	inspect	900	680	7300	11000	80	0	unknown	prog	tests	0	inspect		23.2	19.5	3.2	3.2	160		110	0
eca-rers2012/Problem19_label54.yml	timeout	.232	prog	tests	63	inspect	900	730	6400	11000	73	0	unknown	prog	tests	0	inspect		23.2	19.5	3.0	3.1	160		94	0
eca-rers2012/Problem19_label55.yml	timeout	.233	prog	tests	64	inspect	900	680	7600	11000	78	0	unknown	prog	tests	0	inspect		23.2	19.5	3.3	3.3	160		83	0
eca-rers2012/Problem19_label56.yml	timeout	.237	prog	tests	68	inspect	900	730	7600	9700	82	0	unknown	prog	tests	0	inspect		23.7	19.8	3.2	3.2	160		120	0
eca-rers2012/Problem19_label57.yml	timeout	.235	prog	tests	67	inspect	900	720	7500	12000	83	0	unknown	prog	tests	0	inspect		23.5	19.7	3.0	3.0	160		120	0
eca-rers2012/Problem19_label58.yml	timeout	.237	prog	tests	68	inspect	900	700	6100	10000	85	0	unknown	prog	tests	0	inspect		23.7	19.8	3.2	3.2	160		120	0
eca-rers2012/Problem19_label59.yml	timeout	.234	prog	tests	66	inspect	900	690	9400	9600	79	0	unknown	prog	tests	0	inspect		23.4	19.6	3.1	3.1	160		110	0
eca-programs/Problem101_label00.yml	timeout	.0886	prog	tests	27	inspect	900	700	5700	10000	73	0	unknown	prog	tests	0	inspect		8.86	14.0	20	20	770		520	0
eca-programs/Problem101_label01.yml	timeout	.0875	prog	tests	26	inspect	900	660	6300	10000	56	0	unknown	prog	tests	0	inspect		8.75	14.0	20	20	770		510	0
eca-programs/Problem101_label02.yml	timeout	.0889	prog	tests	28	inspect	900	710	5800	10000	72	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		590	0
eca-programs/Problem101_label03.yml	timeout	.0889	prog	tests	28	inspect	900	700	5700	11000	73	0	unknown	prog	tests	0	inspect		8.89	14.0	21	21	770		560	0
eca-programs/Problem101_label04.yml	timeout	.0875	prog	tests	26	inspect	900	670	6700	10000	75	0	unknown	prog	tests	0	inspect		8.75	14.0	20	20	770		400	0
eca-programs/Problem101_label05.yml	timeout	.0891	prog	tests	29	inspect	900	700	5600	10000	78	0	unknown	prog	tests	0	inspect		8.91	14.0	20	20	770		550	0
eca-programs/Problem101_label06.yml	timeout	.0891	prog	tests	30	inspect	900	720	5900	13000	85	0	unknown	prog	tests	0	inspect		8.91	14.0	20	20	770		600	0
eca-programs/Problem101_label07.yml	timeout	.0889	prog	tests	29	inspect	900	720	5600	11000	78	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		570	0
eca-programs/Problem101_label08.yml	timeout	.0878	prog	tests	28	inspect	900	700	4900	11000	28	0	unknown	prog	tests	0	inspect		8.78	14.0	19	19	770		590	0
eca-programs/Problem101_label09.yml	timeout	.0886	prog	tests	27	inspect	900	690	5700	11000	81	0	unknown	prog	tests	0	inspect		8.86	14.0	21	21	770		610	0
eca-programs/Problem101_label10.yml	timeout	.0889	prog	tests	28	inspect	900	710	5600	10000	85	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		460	0
eca-programs/Problem101_label11.yml	timeout	.0889	prog	tests	28	inspect	900	710	5800	11000	76	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		570	0
eca-programs/Problem101_label12.yml	timeout	.0889	prog	tests	28	inspect	900	720	5800	13000	67	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		440	0
eca-programs/Problem101_label13.yml	timeout	.0886	prog	tests	27	inspect	900	700	5600	12000	87	0	unknown	prog	tests	0	inspect		8.86	14.0	20	20	770		530	0
eca-programs/Problem101_label14.yml	timeout	.0886	prog	tests	27	inspect	900	700	5600	9400	74	0	unknown	prog	tests	0	inspect		8.86	14.0	22	22	770		640	0
eca-programs/Problem101_label15.yml	timeout	.0886	prog	tests	27	inspect	900	660	5800	10000	77	0	unknown	prog	tests	0	inspect		8.86	14.0	20	20	770		450	0
eca-programs/Problem101_label16.yml	timeout	.0889	prog	tests	29	inspect	900	730	6100	9600	74	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		640	0
eca-programs/Problem101_label17.yml	timeout	.0889	prog	tests	28	inspect	900	710	5700	11000	77	0	unknown	prog	tests	0	inspect		8.89	14.0	21	21	770		510	0
eca-programs/Problem101_label18.yml	timeout	.0889	prog	tests	28	inspect	900	710	5700	11000	84	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		530	0
eca-programs/Problem101_label19.yml	timeout	.0889	prog	tests	28	inspect	900	700	5600	11000	81	0	unknown	prog	tests	0	inspect		8.89	14.0	20	20	770		450	0
eca-programs/Problem101_label20.yml	timeout	.0889	prog	tests	28	inspect	900	710	5600	11000	82	0	unknown	prog	tests	0	inspect		8.89	14.0	22	22	770		570	0
eca-programs/Problem101_label21.yml	timeout	.0886	prog	tests	27	inspect	900	690	6100	11000	71	0	unknown	prog	tests	0	inspect		8.86	14.0	20	20	770		550	0
eca-programs/Problem101_label22.yml	timeout	.0891	prog	tests	30	inspect	900	720	4900	11000	12	0	unknown	prog	tests	0	inspect		8.91	14.0	20	20	770		610	0
eca-programs/Problem101_label23.yml	timeout	.0886	prog	tests	27	inspect	900	700	6000	10000	69	0	unknown	prog	tests	0	inspect		8.86	14.0	20	20	770		470	0
eca-programs/Problem102_label00.yml	timeout	.0713	prog	tests	23	inspect	900	690	6000	10000	72	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		840	0
eca-programs/Problem102_label01.yml	timeout	.0713	prog	tests	23	inspect	900	670	6100	10000	77	0	unknown	prog	tests	0	inspect		7.13	10.9	38	39	1600		730	0
eca-programs/Problem102_label02.yml	timeout	.0713	prog	tests	23	inspect	900	680	6000	9900	54	0	unknown	prog	tests	0	inspect		7.13	10.9	38	39	1600		910	0
eca-programs/Problem102_label03.yml	timeout	.0713	prog	tests	23	inspect	900	680	6000	11000	63	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		900	0
eca-programs/Problem102_label04.yml	timeout	.0707	prog	tests	22	inspect	900	670	6500	12000	65	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		880	0
eca-programs/Problem102_label05.yml	timeout	.0713	prog	tests	23	inspect	900	670	6000	11000	69	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		740	0
eca-programs/Problem102_label06.yml	timeout	.0713	prog	tests	23	inspect	900	690	5800	11000	62	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		690	0
eca-programs/Problem102_label07.yml	timeout	.0713	prog	tests	23	inspect	900	660	6100	11000	62	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		860	0
eca-programs/Problem102_label08.yml	timeout	.0713	prog	tests	23	inspect	900	680	6200	9500	61	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		760	0
eca-programs/Problem102_label09.yml	timeout	.0713	prog	tests	23	inspect	900	690	6100	12000	70	0	unknown	prog	tests	0	inspect		7.13	10.9	39	40	1600		900	0
eca-programs/Problem102_label10.yml	timeout	.0713	prog	tests	23	inspect	900	680	5900	10000	72	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		740	0
eca-programs/Problem102_label11.yml	timeout	.0713	prog	tests	23	inspect	900	680	5800	11000	62	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		850	0
eca-programs/Problem102_label12.yml	timeout	.0713	prog	tests	23	inspect	900	670	6100	9900	66	0	unknown	prog	tests	0	inspect		7.13	10.9	38	39	1600		870	0
eca-programs/Problem102_label13.yml	timeout	.0703	prog	tests	22	inspect	900	670	6600	10000	73	0	unknown	prog	tests	0	inspect		7.03	10.9	38	38	1600		750	0
eca-programs/Problem102_label14.yml	timeout	.0707	prog	tests	22	inspect	900	670	5700	10000	52	0	unknown	prog	tests	0	inspect		7.07	10.9	37	37	1600		720	0
eca-programs/Problem102_label15.yml	timeout	.0713	prog	tests	23	inspect	900	670	6800	10000	64	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		830	0
eca-programs/Problem102_label16.yml	timeout	.0713	prog	tests	23	inspect	900	660	6000	9400	79	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		710	0
eca-programs/Problem102_label17.yml	timeout	.0707	prog	tests	22	inspect	900	680	6500	9900	64	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		780	0
eca-programs/Problem102_label18.yml	timeout	.0713	prog	tests	23	inspect	900	680	5700	10000	65	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		790	0
eca-programs/Problem102_label19.yml	timeout	.0713	prog	tests	22	inspect	900	670	6400	9900	53	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		840	0
eca-programs/Problem102_label20.yml	timeout	.0713	prog	tests	23	inspect	900	690	6400	11000	66	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		780	0
eca-programs/Problem102_label21.yml	timeout	.0707	prog	tests	22	inspect	900	700	5900	10000	53	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		920	0
eca-programs/Problem102_label22.yml	timeout	.0713	prog	tests	23	inspect	900	680	6100	11000	61	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		660	0
eca-programs/Problem102_label23.yml	timeout	.0707	prog	tests	23	inspect	900	690	4500	12000	8.2	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		830	0
eca-programs/Problem102_label24.yml	timeout	.0713	prog	tests	22	inspect	900	660	6400	11000	58	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		960	0
eca-programs/Problem102_label25.yml	timeout	.0707	prog	tests	22	inspect	900	670	6500	10000	60	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		670	0
eca-programs/Problem102_label26.yml	timeout	.0713	prog	tests	23	inspect	900	670	6000	10000	66	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		730	0
eca-programs/Problem102_label27.yml	timeout	.0713	prog	tests	23	inspect	900	670	6300	11000	62	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		900	0
eca-programs/Problem102_label28.yml	timeout	.0707	prog	tests	23	inspect	900	700	5900	11000	69	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		750	0
eca-programs/Problem102_label29.yml	timeout	.0713	prog	tests	23	inspect	900	670	6000	12000	78	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		660	0
eca-programs/Problem102_label30.yml	timeout	.0713	prog	tests	23	inspect	900	680	6000	11000	58	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		580	0
eca-programs/Problem102_label31.yml	timeout	.0713	prog	tests	22	inspect	900	650	6100	9800	70	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		810	0
eca-programs/Problem102_label32.yml	timeout	.0713	prog	tests	23	inspect	900	660	5800	10000	63	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		730	0
eca-programs/Problem102_label33.yml	timeout	.0713	prog	tests	23	inspect	900	680	4700	11000	6.9	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		880	0
eca-programs/Problem102_label34.yml	timeout	.0713	prog	tests	23	inspect	900	670	6100	10000	61	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		970	0
eca-programs/Problem102_label35.yml	timeout	.0713	prog	tests	22	inspect	900	670	6400	9200	55	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		830	0
eca-programs/Problem102_label36.yml	timeout	.0713	prog	tests	23	inspect	900	680	6100	10000	64	0	unknown	prog	tests	0	inspect		7.13	10.9	40	40	1600		1000	0
eca-programs/Problem102_label37.yml	timeout	.0713	prog	tests	23	inspect	900	700	5600	12000	59	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		880	0
eca-programs/Problem102_label38.yml	timeout	.0713	prog	tests	23	inspect	900	680	6000	11000	58	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		770	0
eca-programs/Problem102_label39.yml	timeout	.0713	prog	tests	23	inspect	900	680	6400	11000	67	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		770	0
eca-programs/Problem102_label40.yml	timeout	.0713	prog	tests	22	inspect	900	680	6000	9500	64	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		790	0
eca-programs/Problem102_label41.yml	timeout	.0713	prog	tests	23	inspect	900	690	5900	11000	60	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		780	0
eca-programs/Problem102_label42.yml	timeout	.0713	prog	tests	23	inspect	900	680	6100	10000	64	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		780	0
eca-programs/Problem102_label43.yml	timeout	.0707	prog	tests	22	inspect	900	680	6300	12000	71	0	unknown	prog	tests	0	inspect		7.07	10.9	39	39	1600		840	0
eca-programs/Problem102_label44.yml	timeout	.0707	prog	tests	22	inspect	900	690	6500	9600	55	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		640	0
eca-programs/Problem102_label45.yml	timeout	.0713	prog	tests	23	inspect	910	670	6300	10000	65	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		800	0
eca-programs/Problem102_label46.yml	timeout	.0713	prog	tests	23	inspect	900	670	6400	12000	60	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		660	0
eca-programs/Problem102_label47.yml	timeout	.0714	prog	tests	24	inspect	900	700	6100	12000	70	0	unknown	prog	tests	0	inspect		7.14	10.9	38	38	1600		740	0
eca-programs/Problem102_label48.yml	timeout	.0713	prog	tests	23	inspect	900	670	5700	11000	65	0	unknown	prog	tests	0	inspect		7.13	10.9	37	37	1600		760	0
eca-programs/Problem102_label49.yml	timeout	.0713	prog	tests	23	inspect	900	690	6200	12000	65	0	unknown	prog	tests	0	inspect		7.13	10.9	38	38	1600		760	0
eca-programs/Problem102_label50.yml	timeout	.0713	prog	tests	23	inspect	900	670	5800	9300	65	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		910	0
eca-programs/Problem102_label51.yml	timeout	.0707	prog	tests	23	inspect	900	700	5900	11000	69	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		660	0
eca-programs/Problem102_label52.yml	timeout	.0713	prog	tests	23	inspect	900	670	6000	9500	66	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		940	0
eca-programs/Problem102_label53.yml	timeout	.0713	prog	tests	23	inspect	900	670	5900	11000	62	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		890	0
eca-programs/Problem102_label54.yml	timeout	.0713	prog	tests	23	inspect	900	700	5900	12000	67	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		870	0
eca-programs/Problem102_label55.yml	timeout	.0707	prog	tests	22	inspect	900	660	6100	11000	61	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		790	0
eca-programs/Problem102_label56.yml	timeout	.0713	prog	tests	23	inspect	900	660	6000	11000	64	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		810	0
eca-programs/Problem102_label57.yml	timeout	.0713	prog	tests	23	inspect	900	680	5900	9800	64	0	unknown	prog	tests	0	inspect		7.13	10.9	39	39	1600		940	0
eca-programs/Problem102_label58.yml	timeout	.0707	prog	tests	23	inspect	900	680	6200	10000	77	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		950	0
eca-programs/Problem102_label59.yml	timeout	.0707	prog	tests	22	inspect	900	700	5900	12000	54	0	unknown	prog	tests	0	inspect		7.07	10.9	38	38	1600		750	0
eca-programs/Problem103_label32.yml	timeout	.0849	prog	tests	18	inspect	900	710	6300	12000	53	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		730	0
eca-programs/Problem103_label35.yml	timeout	.0849	prog	tests	20	inspect	900	680	6200	12000	54	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		660	0
eca-programs/Problem103_label40.yml	timeout	.0849	prog	tests	19	inspect	910	690	6600	11000	59	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		610	0
eca-programs/Problem103_label41.yml	timeout	.0849	prog	tests	19	inspect	900	700	6500	12000	59	0	unknown	prog	tests	0	inspect		8.49	9.23	43	43	1800		920	0
eca-programs/Problem103_label42.yml	timeout	.0849	prog	tests	19	inspect	900	680	6600	11000	54	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		710	0
eca-programs/Problem103_label43.yml	timeout	.0849	prog	tests	19	inspect	900	680	6600	9800	53	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		910	0
eca-programs/Problem103_label44.yml	timeout	.0849	prog	tests	18	inspect	900	710	6600	11000	52	0	unknown	prog	tests	0	inspect		8.49	9.23	41	41	1800		860	0
eca-programs/Problem103_label45.yml	timeout	.0849	prog	tests	20	inspect	900	720	6500	13000	59	0	unknown	prog	tests	0	inspect		8.49	9.23	44	44	1800		810	0
eca-programs/Problem103_label46.yml	timeout	.0849	prog	tests	20	inspect	900	670	6400	11000	59	0	unknown	prog	tests	0	inspect		8.49	9.23	44	44	1800		770	0
eca-programs/Problem103_label47.yml	timeout	.0849	prog	tests	18	inspect	900	710	6400	10000	50	0	unknown	prog	tests	0	inspect		8.49	9.23	41	41	1800		630	0
eca-programs/Problem103_label48.yml	timeout	.0849	prog	tests	18	inspect	900	680	6400	13000	48	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		740	0
eca-programs/Problem103_label49.yml	timeout	.0849	prog	tests	18	inspect	900	670	6500	11000	50	0	unknown	prog	tests	0	inspect		8.49	9.23	41	41	1800		520	0
eca-programs/Problem103_label50.yml	timeout	.0849	prog	tests	19	inspect	900	710	4500	11000	2.2	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		860	0
eca-programs/Problem103_label51.yml	timeout	.0849	prog	tests	18	inspect	900	680	6200	12000	55	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		840	0
eca-programs/Problem103_label52.yml	timeout	.0849	prog	tests	19	inspect	900	680	6700	12000	51	0	unknown	prog	tests	0	inspect		8.49	9.23	44	44	1800		860	0
eca-programs/Problem103_label53.yml	timeout	.0849	prog	tests	19	inspect	900	700	6800	11000	53	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		550	0
eca-programs/Problem103_label54.yml	timeout	.0849	prog	tests	19	inspect	900	680	6600	12000	51	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		760	0
eca-programs/Problem103_label55.yml	timeout	.0849	prog	tests	17	inspect	900	690	6100	11000	47	0	unknown	prog	tests	0	inspect		8.49	9.23	41	41	1800		600	0
eca-programs/Problem103_label56.yml	timeout	.0849	prog	tests	20	inspect	900	670	6700	10000	57	0	unknown	prog	tests	0	inspect		8.49	9.23	42	43	1800		780	0
eca-programs/Problem103_label57.yml	timeout	.0849	prog	tests	18	inspect	900	700	6300	12000	47	0	unknown	prog	tests	0	inspect		8.49	9.23	41	41	1800		650	0
eca-programs/Problem103_label58.yml	timeout	.0849	prog	tests	19	inspect	900	680	6500	11000	52	0	unknown	prog	tests	0	inspect		8.49	9.23	42	42	1800		630	0
eca-programs/Problem103_label59.yml	timeout	.0849	prog	tests	19	inspect	900	660	6400	10000	51	0	unknown	prog	tests	0	inspect		8.49	9.23	40	40	1800		720	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	360					890000	730000	7100000	10000000	52000	.012	1046						36000	35200	12000	12000	470000		260000	0
Run set	coveritest.test-comp19_prop-coverage-branches.ReachSafety-ECA												tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-ECA