prtest.2019-02-06_0602.results.test-comp19_prop-coverage-branches.ReachSafety-Recursive.xml.bz2.merged.xml.bz2

Benchmark	PRtest												TBF Test-Suite Validator
Tool	tbf v0.3.0-testcomp19												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*												[apollon010; apollon052; apollon080; apollon107; apollon135; apollon167]
OS	Linux 4.15.0-45-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution	2019-02-06 06:02:44 CET												2019-02-06 13:26:19 CET
Run set	prtest.test-comp19_prop-coverage-branches.ReachSafety-Recursive												tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-Recursive
Options	--stats -i random --write-xml --svcomp-nondets												--verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/prtest.2019-02-06_0602.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)
recursive/Ackermann01-2.yml	timeout	.389	prog	tests	4	inspect	900	840	31	13000	.041	0	unknown	prog	tests	0	inspect		38.9	41.2	.14	.14	16		.13	0
recursive/Ackermann02.yml	timeout	.438	prog	tests	4	inspect	900	840	31	14000	.029	0	unknown	prog	tests	0	inspect		43.8	41.2	.12	.12	17		.13	0
recursive/Ackermann03.yml	timeout	.389	prog	tests	4	inspect	900	840	31	12000	.029	0	unknown	prog	tests	0	inspect		38.9	41.2	.12	.12	17		.13	0
recursive/Ackermann04.yml	timeout	.389	prog	tests	4	inspect	900	840	31	12000	.025	0	unknown	prog	tests	0	inspect		38.9	41.2	.14	.13	16		.13	0
recursive/Addition01-2.yml	done	.188	prog	tests	2	inspect	.26	.45	30	3.2	0	0	unknown	prog	tests	0	inspect		18.8	21.1	.12	.12	16		.094	0
recursive/Addition02.yml	done	.188	prog	tests	2	inspect	.25	.44	31	3.8	0	0	unknown	prog	tests	0	inspect		18.8	21.1	.12	.12	17		.094	0
recursive/Addition03-1.yml	done	.0	prog	tests	0	inspect	.25	.44	31	3.7	0	0	unknown	prog	tests	0	inspect		0	0	.060	.062	8.9		0	0
recursive/BallRajamani-SPIN2000-Fig1.yml	done	.0	prog	tests	0	inspect	.25	.45	31	2.9	0	0	unknown	prog	tests	0	inspect		0	0	.062	.062	9.0		0	0
recursive/EvenOdd01-1.yml	done	.0714	prog	tests	1	inspect	.24	.43	31	4.2	0	0	unknown	prog	tests	0	inspect		7.14	19.1	.12	.12	16		.078	0
recursive/EvenOdd03.yml	done	.0714	prog	tests	1	inspect	.26	.45	31	3.2	0	0	unknown	prog	tests	0	inspect		7.14	19.1	.13	.13	16		.078	0
recursive/Fibonacci01-1.yml	timeout	.8	prog	tests	3	inspect	900	840	31	11000	.012	0	unknown	prog	tests	0	inspect		80.0	92.9	.71	.71	17		.11	0
recursive/Fibonacci03.yml	timeout	.9	prog	tests	3	inspect	900	840	31	13000	.012	0	unknown	prog	tests	0	inspect		90.0	92.9	.68	.68	17		.11	0
recursive/Fibonacci04.yml	done	.25	prog	tests	1	inspect	.24	.43	30	4.0	0	0	unknown	prog	tests	0	inspect		25.0	66.7	.12	.12	17		.078	0
recursive/Fibonacci05.yml	done	.25	prog	tests	1	inspect	.25	.44	31	2.9	0	0	unknown	prog	tests	0	inspect		25.0	66.7	.11	.12	16		.078	0
recursive/McCarthy91-1.yml	done	.0	prog	tests	0	inspect	.26	.44	31	3.2	0	0	unknown	prog	tests	0	inspect		0	0	.064	.066	9.0		0	0
recursive/McCarthy91-2.yml	done	.0	prog	tests	0	inspect	.25	.44	31	3.1	0	0	unknown	prog	tests	0	inspect		0	0	.057	.059	9.1		0	0
recursive/MultCommutative-2.yml	timeout	.667	prog	tests	5	inspect	900	840	31	14000	.012	0	unknown	prog	tests	0	inspect		66.7	88.9	.13	.13	16		.14	0
recursive/gcd01-1.yml	done	.611	prog	tests	3	inspect	.35	.53	30	7.2	0	0	unknown	prog	tests	0	inspect		61.1	89.5	.14	.13	16		.11	0
recursive/gcd02.yml	done	.136	prog	tests	2	inspect	.26	.45	31	3.4	0	0	unknown	prog	tests	0	inspect		13.6	26.9	.12	.12	16		.098	0
recursive/recHanoi01.yml	timeout	.9	prog	tests	3	inspect	900	840	31	13000	.012	0	unknown	prog	tests	0	inspect		90.0	95.0	.12	.12	16		.11	0
recursive/recHanoi02-2.yml	timeout	.875	prog	tests	3	inspect	900	840	31	12000	.0041	0	unknown	prog	tests	0	inspect		87.5	91.7	.13	.13	17		.11	0
recursive/recHanoi03-2.yml	timeout	.875	prog	tests	3	inspect	900	840	31	14000	.012	0	unknown	prog	tests	0	inspect		87.5	91.7	.12	.12	17		.11	0
recursive-simple/id2_b2_o3.yml	done	.0	prog	tests	0	inspect	.28	.47	31	3.6	0	0	unknown	prog	tests	0	inspect		0	0	.060	.061	9.0		0	0
recursive-simple/id2_b3_o2.yml	done	.0	prog	tests	0	inspect	.28	.47	31	2.9	0	0	unknown	prog	tests	0	inspect		0	0	.062	.062	9.0		0	0
recursive-simple/id2_b3_o5.yml	done	.0	prog	tests	0	inspect	.25	.44	31	3.3	0	0	unknown	prog	tests	0	inspect		0	0	.061	.062	9.0		0	0
recursive-simple/id2_b5_o10.yml	done	.0	prog	tests	0	inspect	.28	.47	30	3.4	0	0	unknown	prog	tests	0	inspect		0	0	.060	.061	9.0		0	0
recursive-simple/id_b2_o3.yml	done	.0	prog	tests	0	inspect	.28	.47	31	2.9	0	0	unknown	prog	tests	0	inspect		0	0	.059	.059	9.0		0	0
recursive-simple/id_b3_o2-2.yml	done	.0	prog	tests	0	inspect	.26	.45	30	3.8	0	0	unknown	prog	tests	0	inspect		0	0	.062	.064	9.0		0	0
recursive-simple/id_b3_o5-2.yml	done	.0	prog	tests	0	inspect	.25	.44	31	3.5	0	0	unknown	prog	tests	0	inspect		0	0	.064	.064	9.0		0	0
recursive-simple/id_b5_o10-2.yml	done	.0	prog	tests	0	inspect	.26	.45	31	3.1	0	0	unknown	prog	tests	0	inspect		0	0	.059	.060	9.0		0	0
recursive-simple/id_o10.yml	done	.0	prog	tests	0	inspect	.26	.45	31	3.0	0	0	unknown	prog	tests	0	inspect		0	0	.062	.062	9.0		0	0
recursive-simple/id_o100.yml	done	.0	prog	tests	0	inspect	.26	.44	31	3.0	0	0	unknown	prog	tests	0	inspect		0	0	.063	.064	9.0		0	0
recursive-simple/id_o1000.yml	done	.0	prog	tests	0	inspect	.24	.43	31	3.3	0	0	unknown	prog	tests	0	inspect		0	0	.059	.061	9.0		0	0
recursive-simple/id_o20.yml	done	.0	prog	tests	0	inspect	.25	.44	31	3.7	0	0	unknown	prog	tests	0	inspect		0	0	.064	.064	9.0		0	0
recursive-simple/id_o200.yml	done	.0	prog	tests	0	inspect	.25	.44	31	2.9	0	0	unknown	prog	tests	0	inspect		0	0	.063	.064	9.0		0	0
recursive-simple/id_o3.yml	done	.0	prog	tests	0	inspect	.27	.46	31	3.1	0	0	unknown	prog	tests	0	inspect		0	0	.066	.066	9.0		0	0
recursive-simple/sum_non_eq-2.yml	done	.0	prog	tests	0	inspect	.25	.44	31	4.1	0	0	unknown	prog	tests	0	inspect		0	0	.061	.066	9.0		0	0
recursive-simple/sum_non_eq-3.yml	done	.0	prog	tests	0	inspect	.26	.45	31	3.2	0	0	unknown	prog	tests	0	inspect		0	0	.079	.079	9.0		0	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	38	8.39					9000	8400	1200	130000	.19	0	38						839	1050	4.7	4.7	480		1.9	0
Run set	prtest.test-comp19_prop-coverage-branches.ReachSafety-Recursive												tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-Recursive