klee.2019-02-05_2109.results.test-comp19_prop-coverage-error-call.ReachSafety-Heap.xml.bz2.merged.xml.bz2

Benchmark	KLEE												TBF Test-Suite Validator
Tool	KLEE 2.0.0-pre-test-comp												Tbf Test-suite Validator v1.2
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8												timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host	apollon*
OS	Linux 4.15.0-45-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution	2019-02-05 21:09:47 CET												2019-02-06 06:16:47 CET
Run set	klee.test-comp19_prop-coverage-error-call.ReachSafety-Heap												tbf-testsuite-validator-klee.test-comp19_prop-coverage-error-call.ReachSafety-Heap
Options													--verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/klee.2019-02-05_2109.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ldv-regression/	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)


fo_test.yml	false(unreach-call)	1	prog	tests	1	inspect	.12	.12	21	1.2	.016	0	true	prog	tests	1	inspect		50.0	87.5	.15	.15	16		.082	0
rule60_list2.c_1.yml	false(unreach-call)	1	prog	tests	1	inspect	.13	.15	21	1.3	.016	0	true	prog	tests	1	inspect		64.3	89.7	.14	.14	16		.086	0
test21-2.yml	false(unreach-call)	1	prog	tests	1	inspect	.11	.11	21	1.3	.016	0	true	prog	tests	1	inspect		50.0	94.4	.14	.14	16		.082	0
test22-2.yml	false(unreach-call)	1	prog	tests	1	inspect	.12	.14	21	1.5	.016	0	true	prog	tests	1	inspect		58.3	91.3	.12	.12	16		.082	0
test23-1.yml	false(unreach-call)	1	prog	tests	1	inspect	.25	.25	23	2.9	.016	0	true	prog	tests	1	inspect		57.1	95.8	.12	.12	16		.082	0
test24-2.yml	false(unreach-call)	1	prog	tests	1	inspect	.15	.17	23	1.7	.016	0	true	prog	tests	1	inspect		60.0	88.9	.12	.14	17		.078	0
test25-1.yml	false(unreach-call)	1	prog	tests	1	inspect	.28	.30	23	2.8	.016	0	true	prog	tests	1	inspect		66.7	94.4	.12	.12	17		.078	0
test28-1.yml	false(unreach-call)	1	prog	tests	1	inspect	.11	.13	21	1.2	.016	0	true	prog	tests	1	inspect		50.0	80.0	.12	.12	16		.070	0
test29-1.yml	false(unreach-call)	1	prog	tests	1	inspect	.11	.11	21	1.3	.016	0	true	prog	tests	1	inspect		50.0	81.8	.11	.11	16		.074	0
sv-benchmarks/c/ldv-regression/	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	9	9					1.4	1.5	200	15	.15	0	9						506	804	1.1	1.2	150		.71	0
Run set	klee.test-comp19_prop-coverage-error-call.ReachSafety-Heap												tbf-testsuite-validator-klee.test-comp19_prop-coverage-error-call.ReachSafety-Heap