Tool	CPAchecker 1.1.10-svcomp13				CSeq		ESBMC 1.20		Predator		Threader 0.92
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-12-04 12:32		2012-11-17 03:16		2012-12-03 03:44		2012-11-12 05:03
Options	-sv-comp13--explitp-pred -heap 12000m -disable-java-assertions		-sv-comp13--combinations -heap 12000m -disable-java-assertions						-t label -m32
../sv-benchmarks-trunk/	status	time	status	time	status	time	status	time	status	time	status	time
pthread/fib_bench_longer_unsafe.cil.c	unknown	1.2	unknown	1.2	unknown	0.35	unsafe	13	unknown	0.04	unsafe	6.0
pthread/fib_bench_unsafe.cil.c	unknown	1.2	unknown	1.2	unknown	0.07	unsafe	3.5	unknown	0.02	unsafe	4.1
pthread/queue_unsafe.cil.c	unknown	1.4	unknown	1.4	unknown	0.07	timeout	900	unknown	0.08	unknown	86
pthread/reorder_5_unsafe.cil.c	unknown	1.4	unknown	1.4	unknown	0.07	unsafe	120	error	0.10	unsafe	2.6
pthread/twostage_3_unsafe.cil.c	unknown	1.5	unknown	1.4	unknown	0.07	timeout	910	error	0.09	unsafe	3.6
pthread/fib_bench_longer_unsafe.i	unknown	1.4	unknown	1.4	timeout	900	unsafe	9.9	error	0.02	unsafe	5.9
pthread/fib_bench_unsafe.i	unknown	1.4	unknown	1.4	timeout	900	unsafe	2.7	error	0.02	unsafe	4.2
pthread/lazy01_unsafe.i	unknown	1.4	unknown	1.4	unsafe	0.57	unsafe	54	unknown	0.03	unsafe	0.95
pthread/queue_unsafe.i	unknown	1.7	unknown	1.7	unknown	0.10	timeout	910	error	0.03	unknown	0.41
pthread/reorder_2_unsafe.i	unknown	1.7	unknown	1.8	unsafe	16	timeout	910	error	0.04	unsafe	2.2
pthread/reorder_5_unsafe.i	unknown	1.6	unknown	1.6	unknown	0.16	timeout	910	error	0.03	unsafe	2.5
pthread/stack_unsafe.i	unknown	1.5	unknown	1.5	timeout	900	timeout	900	unknown	0.02	unsafe	80
pthread/stateful01_unsafe.i	unknown	1.4	unknown	1.4	unsafe	0.68	unsafe	160	unknown	0.02	unsafe	0.91
pthread/twostage_3_unsafe.i	unknown	1.6	unknown	1.7	unsafe	67	timeout	910	error	0.03	unsafe	14
pthread/fib_bench_longer_safe.cil.c	unknown	1.2	unknown	1.2	unknown	0.07	safe	70	unknown	0.03	safe	6.4
pthread/fib_bench_safe.cil.c	unknown	1.2	unknown	1.2	unknown	0.07	safe	18	unknown	0.02	safe	4.6
pthread/queue_ok_safe.cil.c	unknown	1.4	unknown	1.4	unknown	0.07	unsafe	6.7	unknown	0.10	unknown	58
pthread/fib_bench_longer_safe.i	unknown	1.4	unknown	1.3	timeout	900	safe	52	error	0.03	safe	6.4
pthread/fib_bench_safe.i	unknown	1.4	unknown	1.3	timeout	900	safe	13	error	0.02	safe	4.6
pthread/indexer_safe.i	unknown	1.5	unknown	1.8	safe	0.87	safe	140	error	0.05	safe	4.4
pthread/queue_ok_safe.i	unknown	1.7	unknown	1.7	unknown	0.09	timeout	900	error	0.03	unknown	0.28
pthread/stack_safe.i	unknown	1.5	unknown	1.5	timeout	900	timeout	900	unknown	0.04	safe	250
pthread/stateful01_safe.i	unknown	1.4	unknown	1.4	safe	0.78	safe	540	error	0.02	safe	2.7
pthread/sync01_safe.i	unknown	1.5	unknown	1.5	unknown	0.10	safe	57	unknown	0.03	safe	2.0
pthread-atomic/read_write_lock_unsafe.i	unknown	1.4	unknown	1.3	unsafe	1.8	timeout	920	unknown	0.04	unsafe	2.1
pthread-atomic/dekker_safe.i	unknown	1.4	unknown	1.4	timeout	900	timeout	910	unknown	0.02	safe	3.5
pthread-atomic/lamport_safe.i	unknown	1.4	unknown	1.3	timeout	900	timeout	910	unknown	0.02	safe	35
pthread-atomic/peterson_safe.i	unknown	1.4	unknown	1.4	safe	32	unsafe	27	unknown	0.02	safe	4.9
pthread-atomic/read_write_lock_safe.i	unknown	1.4	unknown	1.4	safe	5.4	timeout	920	unknown	0.02	safe	1.6
pthread-atomic/scull_safe.i	unknown	1.5	unknown	1.5	unknown	0.11	timeout	910	unknown	0.03	safe	99
pthread-atomic/szymanski_safe.i	unknown	1.4	unknown	1.4	safe	140	timeout	910	unknown	0.02	safe	13
pthread-atomic/time_var_mutex_safe.i	unknown	1.4	unknown	1.4	safe	1.2	safe	110	unknown	0.02	safe	4.8
total files	32	45	32	46	32	7500	32	15000	32	1.1	32	720
correct results	0	0	0	0	11	270	15	1400	0	0	28	570
false negatives	0	0	0	0	0	0	0	0	0	0	0	0
false positives	0	0	0	0	0	0	2	34	0	0	0	0
false properties	0	0	0	0	0	0	0	0	0	0	0	0
score (32 files, max score: 49)	0		0		17		15		0		43