Tool	CPAchecker 1.1.10-svcomp13				ESBMC 1.20		LLBMC SV-COMP-13		Predator
Limits	timelimit: 900 s, memlimit: 15360 MB
System	CPU: Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16343684 kB
Date of run	2012-11-14 06:53		2012-11-14 08:27		2012-11-17 03:16		2012-12-04 06:32		2012-12-03 03:44
Options	-sv-comp13--explitp-pred -heap 12000m -disable-java-assertions		-sv-comp13--combinations -heap 12000m -disable-java-assertions						-t label -m32
../sv-benchmarks-trunk/bitvector/	status	time	status	time	status	time	status	time	status	time
byte_add_unsafe.i	unsafe	6.0	unsafe	1.4	unsafe	0.40	unsafe	0.88	timeout	900
byte_add_1_safe.i	unknown	5.9	unknown	2.6	safe	0.18	safe	0.20	timeout	900
byte_add_2_safe.i	unknown	6.0	unknown	2.7	safe	0.22	safe	0.16	timeout	900
gcd_1_safe.i	unknown	1.5	unknown	1.8	safe	0.73	safe	0.11	timeout	900
gcd_2_safe.i	unknown	1.5	unknown	1.5	safe	0.27	safe	3.6	timeout	900
gcd_3_safe.i	unknown	1.4	unknown	1.5	safe	0.37	safe	4.1	timeout	900
gcd_4_safe.i	unknown	1.9	unknown	3.5	safe	4.1	safe	0.08	unsafe	0.03
interleave_bits_safe.i	unknown	7.6	unknown	6.5	unsafe	5.5	safe	0.03	unsafe	0.03
jain_1_safe.i	unknown	1.4	unknown	1.4	safe	0.14	safe	0.11	unsafe	0.02
jain_2_safe.i	unknown	1.3	unknown	1.4	safe	0.13	safe	0.12	unsafe	0.03
jain_4_safe.i	unknown	1.3	unknown	1.4	safe	0.16	safe	0.14	unsafe	0.02
jain_5_safe.i	timeout	900	timeout	900	safe	0.13	safe	0.07	unsafe	0.02
jain_6_safe.i	unknown	1.4	unknown	1.4	safe	0.13	safe	0.16	unsafe	0.02
jain_7_safe.i	unknown	1.3	unknown	1.4	safe	0.14	safe	0.19	unsafe	0.02
modulus_safe.i	unknown	1.5	unknown	1.6	safe	450	safe	3.9	unsafe	0.03
num_conversion_1_safe.i	unknown	1.5	safe	1.1	safe	0.19	safe	0.02	safe	0.03
num_conversion_2_safe.i	unknown	1.5	unknown	1.8	safe	0.21	safe	0.02	unsafe	0.02
parity_safe.i	unknown	1.5	unknown	1.4	unsafe	450	safe	0.55	unsafe	0.03
s3_clnt_1_unsafe.BV.c.cil.c	unsafe	5.1	unsafe	12	safe	1.5	unsafe	0.45	unsafe	2.0
s3_clnt_2_unsafe.BV.c.cil.c	unsafe	6.7	unsafe	17	safe	1.3	unsafe	1.2	unsafe	93
s3_clnt_3_unsafe.BV.c.cil.c	unsafe	6.5	unknown	6.0	unsafe	1.6	unsafe	0.31	unsafe	0.04
s3_clnt_1_safe.BV.c.cil.c	safe	8.6	safe	31	safe	1.6	safe	1.3	unsafe	1.1
s3_clnt_2_safe.BV.c.cil.c	safe	8.9	safe	31	safe	1.4	safe	1.4	unsafe	44
s3_clnt_3_safe.BV.c.cil.c	safe	6.9	safe	73	safe	1.3	safe	1.8	unsafe	90
s3_srvr_1_safe.BV.c.cil.c	safe	16	safe	11	safe	1.7	safe	1.6	unsafe	0.11
s3_srvr_2_safe.BV.c.cil.c	safe	6.1	safe	6.1	safe	1.9	safe	3.4	unsafe	24
s3_srvr_3_safe.BV.c.cil.c	safe	15	safe	9.7	safe	1.6	safe	2.7	unsafe	0.56
soft_float_1_safe.c.cil.c	unknown	120	unknown	7.9	safe	0.78	safe	1.6	unsafe	0.03
soft_float_2_safe.c.cil.c	unknown	27	unknown	23	safe	0.80	safe	0.19	unknown	0.30
soft_float_3_safe.c.cil.c	unknown	31	unknown	25	unsafe	450	safe	0.17	unsafe	0.24
soft_float_4_safe.c.cil.c	unknown	25	unknown	5.1	safe	6.2	safe	4.9	unsafe	0.04
soft_float_5_safe.c.cil.c	unknown	50	unknown	43	safe	0.75	safe	0.18	unknown	0.28
total files	32	1300	32	1200	32	1400	32	36	32	5700
correct results	10	86	10	190	27	480	32	36	4	95
false negatives	0	0	0	0	2	2.8	0	0	0	0
false positives	0	0	0	0	3	910	0	0	20	160
false properties	0	0	0	0	0	0	0	0	0	0
score (32 files, max score: 60)	16		17		24		60		-75