cpa-tiger.2019-02-05_2113.results.test-comp19_prop-coverage-error-call.ReachSafety-Floats.xml.bz2.merged.xml.bz2

Benchmark	CPA/Tiger-MGP												TBF Test-Suite Validator
Tool	CPAchecker 1.8-svn 30541M												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:13:54 CET												2019-02-06 06:15:02 CET
Run set	cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Floats												tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Floats
Options	-benchmark -heap 10000M -tigertestcomp19												--verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/cpa-tiger.2019-02-05_2113.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)
floats-cdfpl/newton_1_4.yml	unknown	1	prog	tests	1	inspect	76	74	370	580	.0041	0	true	prog	tests	1	inspect		50.0	90.9	.12	.12	16		.078	0
floats-cdfpl/newton_1_5.yml	unknown	1	prog	tests	1	inspect	56	55	370	560	.0041	0	true	prog	tests	1	inspect		50.0	90.9	.12	.12	17		.078	0
floats-cdfpl/newton_1_6.yml	unknown	1	prog	tests	1	inspect	45	44	370	340	.0041	0	true	prog	tests	1	inspect		50.0	90.9	.12	.12	16		.078	0
floats-cdfpl/newton_1_7.yml	unknown	1	prog	tests	1	inspect	22	20	380	180	.0041	0	true	prog	tests	1	inspect		50.0	90.9	.15	.19	16		.078	0
floats-cdfpl/newton_1_8.yml	unknown	1	prog	tests	1	inspect	16	14	360	120	.0041	0	true	prog	tests	1	inspect		50.0	90.9	.11	.11	16		.078	0
floats-cdfpl/newton_2_6.yml	unknown	1	prog	tests	1	inspect	130	130	470	970	.0041	0	true	prog	tests	1	inspect		50.0	91.7	.13	.14	16		.049	0
floats-cdfpl/newton_2_7.yml	unknown	1	prog	tests	1	inspect	84	82	460	600	.0041	0	true	prog	tests	1	inspect		50.0	91.7	.12	.12	17		.078	0
floats-cdfpl/newton_2_8.yml	unknown	1	prog	tests	1	inspect	43	41	460	360	.0041	0	true	prog	tests	1	inspect		50.0	91.7	.13	.13	16		.078	0
floats-cdfpl/newton_3_6.yml	unknown	1	prog	tests	1	inspect	290	290	570	2500	.0041	0	true	prog	tests	1	inspect		50.0	92.3	.12	.12	16		.082	0
floats-cdfpl/newton_3_7.yml	unknown	1	prog	tests	1	inspect	200	200	570	1300	.0041	0	true	prog	tests	1	inspect		50.0	92.3	.12	.12	16		.082	0
floats-cdfpl/newton_3_8.yml	unknown	1	prog	tests	1	inspect	160	160	570	1400	.0041	0	true	prog	tests	1	inspect		50.0	92.3	.12	.12	17		.082	0
floats-cdfpl/sine_1.yml	unknown	1	prog	tests	1	inspect	8.7	7.1	330	91	.0041	0	true	prog	tests	1	inspect		37.5	87.5	.12	.12	16		.078	0
floats-cdfpl/sine_2.yml	unknown	1	prog	tests	1	inspect	44	43	360	360	.0041	0	true	prog	tests	1	inspect		37.5	87.5	.12	.12	16		.078	0
floats-cdfpl/sine_3.yml	unknown	1	prog	tests	1	inspect	280	270	440	2700	.0041	0	true	prog	tests	1	inspect		37.5	87.5	.12	.12	16		.078	0
floats-cdfpl/square_1.yml	unknown	1	prog	tests	1	inspect	18	16	350	150	.0041	0	true	prog	tests	1	inspect		50.0	88.9	.11	.11	16		.078	0
floats-cdfpl/square_2.yml	unknown	1	prog	tests	1	inspect	180	180	510	1500	.0041	0	true	prog	tests	1	inspect		50.0	88.9	.12	.12	17		.078	0
floats-cdfpl/square_3.yml	unknown	1	prog	tests	1	inspect	61	59	360	440	.0041	0	true	prog	tests	1	inspect		50.0	88.9	.12	.12	16		.078	0
float-benchs/cast_float_ptr.yml	unknown		prog	tests	1	inspect	2.8	1.3	270	27	.0041	0	unknown	prog	tests	0	inspect		16.7	68.8	.12	.12	17		.078	0
float-benchs/cast_union_loose.yml	unknown		prog	tests	1	inspect	3.2	1.4	280	29	.0041	0	unknown	prog	tests	0	inspect		50.0	100	.12	.12	16		.078	0
float-benchs/cast_union_tight.yml	unknown		prog	tests	1	inspect	3.2	1.5	290	30	.0041	0	unknown	prog	tests	0	inspect		50.0	100	.11	.14	16		.078	0
float-benchs/float_int_inv_square.yml	unknown	1	prog	tests	1	inspect	2.9	1.3	280	28	.0041	0	true	prog	tests	1	inspect		50.0	75.0	.12	.12	17		.078	0
float-benchs/inv_Newton-2.yml	unknown		prog	tests	0	inspect	3.0	1.3	270	30	.0041	0	unknown	prog	tests	0	inspect		0	0	.058	.059	9.0		0	0
float-benchs/inv_Newton.c.p+cfa-reducer.yml	unknown		prog	tests	0	inspect	4.4	2.7	350	47	.0041	0	unknown	prog	tests	0	inspect		0	0	.063	.064	9.0		0	0
float-benchs/inv_square-1.yml	unknown	1	prog	tests	1	inspect	3.0	1.3	280	31	.0041	0	true	prog	tests	1	inspect		50.0	77.8	.12	.12	17		.078	0
float-benchs/nan_double.yml	unknown		prog	tests	1	inspect	2.8	1.2	270	23	.0041	0	unknown	prog	tests	0	inspect		50.0	100	.12	.12	16		.078	0
float-benchs/nan_float.yml	unknown		prog	tests	1	inspect	3.1	1.3	280	31	.0041	0	unknown	prog	tests	0	inspect		50.0	100	.12	.12	16		.078	0
float-benchs/sin_interpolated_index-1.yml	unknown	1	prog	tests	1	inspect	4.8	1.7	360	44	.0041	0	true	prog	tests	1	inspect		50.0	82.6	.13	.15	16		.10	0
float-benchs/sqrt_poly2.yml	unknown	1	prog	tests	1	inspect	11	8.9	430	100	.0041	0	true	prog	tests	1	inspect		41.7	89.5	.12	.12	16		.082	0
float-newlib/double_req_bl_0870a.yml	unknown		prog	tests	0	inspect	5.4	1.9	360	47	.0041	0	unknown	prog	tests	0	inspect		0	0	.065	.067	8.9		0	0
float-newlib/float_req_bl_0870a.yml	unknown		prog	tests	0	inspect	4.9	1.9	300	42	.0041	0	unknown	prog	tests	0	inspect		0	0	.058	.059	8.9		0	0
loop-floats-scientific-comp/loop1-2.yml	unknown	1	prog	tests	1	inspect	3.5	1.9	300	36	.0041	0	true	prog	tests	1	inspect		50.0	92.9	.12	.12	16		.078	0
loop-floats-scientific-comp/loop2-1.yml	unknown	1	prog	tests	1	inspect	3.7	2.0	300	37	.0041	0	true	prog	tests	1	inspect		50.0	95.2	.13	.13	16		.078	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	32	23					1800	1700	12000	15000	.13	0	32						1320	2520	3.6	3.7	500		2.2	0
Run set	cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Floats												tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-Floats