Tool	CPAchecker 1.1.10-svcomp13				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-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/	status	time	status	time	status	time	status	time
heap-manipulation/bubble_sort_linux_unsafe.cil.c	unsafe	6.0	unsafe	5.9	unsafe	0.09	unsafe	0.10
heap-manipulation/dll_of_dll_unsafe.cil.c	unknown	1.4	unknown	1.4	unsafe	3.0	unsafe	0.07
heap-manipulation/merge_sort_unsafe.cil.c	unsafe	4.5	unsafe	4.6	unsafe	0.22	unsafe	0.06
heap-manipulation/sll_to_dll_rev_unsafe.cil.c	timeout	900	timeout	900	unsafe	0.04	unsafe	0.07
heap-manipulation/bubble_sort_linux_unsafe.i	unknown	3.5	unknown	3.8	unsafe	0.08	unsafe	0.05
heap-manipulation/dll_of_dll_unsafe.i	unknown	1.4	unknown	1.4	unsafe	1.6	unsafe	0.06
heap-manipulation/merge_sort_unsafe.i	unsafe	4.1	unsafe	3.2	unsafe	0.18	unsafe	0.06
heap-manipulation/sll_to_dll_rev_unsafe.i	unsafe	2.5	unsafe	2.3	unsafe	0.06	unsafe	0.06
heap-manipulation/bubble_sort_linux_safe.cil.c	unknown	150	timeout	910	timeout	910	safe	0.09
heap-manipulation/dll_of_dll_safe.cil.c	unknown	1.5	unknown	1.4	timeout	910	safe	0.09
heap-manipulation/merge_sort_safe.cil.c	safe	1.5	safe	1.8	timeout	910	safe	0.15
heap-manipulation/sll_to_dll_rev_safe.cil.c	timeout	900	timeout	900	timeout	910	safe	0.13
heap-manipulation/bubble_sort_linux_safe.i	unknown	3.5	unknown	3.8	timeout	910	safe	0.08
heap-manipulation/dll_of_dll_safe.i	unknown	1.4	unknown	1.4	timeout	910	safe	0.08
heap-manipulation/merge_sort_safe.i	unknown	6.1	unknown	4.9	timeout	910	safe	0.13
heap-manipulation/sll_to_dll_rev_safe.i	unknown	24	unknown	13	timeout	910	safe	0.12
list-properties/alternating_list_safe.cil.c	safe	1.4	safe	1.7	safe	6.0	timeout	900
list-properties/list_flag_safe.cil.c	safe	1.4	safe	1.7	safe	11	safe	0.11
list-properties/list_safe.cil.c	safe	1.5	safe	1.7	safe	62	safe	0.11
list-properties/simple_built_from_end_safe.cil.c	unknown	1.6	unknown	1.8	safe	6.7	safe	0.10
list-properties/simple_safe.cil.c	unknown	1.6	unknown	1.8	safe	4.9	safe	0.10
list-properties/splice_safe.cil.c	unknown	10	unknown	6.9	safe	60	timeout	900
list-properties/alternating_list_safe.i	safe	1.5	safe	1.3	safe	5.9	timeout	900
list-properties/list_flag_safe.i	safe	1.5	safe	1.2	safe	11	safe	0.12
list-properties/list_safe.i	safe	1.5	safe	1.2	safe	63	safe	0.12
list-properties/simple_built_from_end_safe.i	unknown	2.1	unknown	2.0	safe	6.6	safe	0.10
list-properties/simple_safe.i	safe	1.5	safe	1.3	safe	4.9	safe	0.09
list-properties/splice_safe.i	safe	1.7	safe	1.3	safe	63	timeout	900
total files	28	2000	28	2800	28	7600	28	3600
correct results	13	30	13	29	20	310	24	2.3
false negatives	0	0	0	0	0	0	0	0
false positives	0	0	0	0	0	0	0	0
false properties	0	0	0	0	0	0	0	0
score (28 files, max score: 48)	22		22		32		40