Tool	BLAST 2.7.1		CPAchecker 1.1.10-svcomp13				ESBMC 1.20		LLBMC SV-COMP-13		Predator		Symbiotic		UFO 2012-10-22
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-25 00:16		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		2012-11-19 11:16		2012-12-14 13:52
Options	-alias bdd -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb		-sv-comp13--explitp-pred -heap 12000m -disable-java-assertions		-sv-comp13--combinations -heap 12000m -disable-java-assertions						-t label -m32				--cex=${logfile_path_abs}/${test_name}.${sourcefile_name}.cex
../sv-benchmarks-trunk/	status	time	status	time	status	time	status	time	status	time	status	time	status	time	status	time
ldv-regression/1_3.c_unsafe.cil.c	unsafe	0.10	unsafe	1.7	unsafe	1.4	unsafe	0.31	unsafe	0.22	unsafe	0.04	unknown	0.24	unsafe	0.42
ldv-regression/alt_test.c_unsafe.cil.c	unsafe	0.52	unsafe	1.6	unsafe	1.4	unsafe	0.30	unsafe	0.07	unsafe	0.04	unsafe	0.18	unsafe	0.47
ldv-regression/callfpointer.c_unsafe.cil.c	unsafe	0.07	unsafe	1.3	unsafe	1.2	unsafe	0.23	unsafe	0.06	unsafe	0.04	unknown	0.13	safe	0.40
ldv-regression/fo_test.c_unsafe.cil.c	unsafe	0.09	unsafe	1.6	unsafe	1.4	unsafe	0.27	unsafe	0.07	unsafe	0.04	unsafe	0.15	unsafe	0.46
ldv-regression/mutex_lock_int.c_unsafe.cil.c	unsafe	0.09	unsafe	1.5	unsafe	1.5	unsafe	0.22	unsafe	0.03	unsafe	0.04	unsafe	0.20	unsafe	0.43
ldv-regression/mutex_lock_struct.c_unsafe.cil.c	unsafe	0.10	unsafe	1.5	unsafe	1.6	unsafe	0.18	unsafe	0.03	unsafe	0.05	unsafe	0.11	unsafe	0.43
ldv-regression/recursive_list.c_unsafe.cil.c	unsafe	0.12	unsafe	1.6	unsafe	1.4	unsafe	0.29	unsafe	0.06	unsafe	0.06	unknown	0.17	unsafe	0.40
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c	unsafe	0.10	unsafe	1.6	unsafe	1.4	unsafe	0.24	unsafe	0.04	unsafe	0.10	safe	0.14	unsafe	0.48
ldv-regression/rule60_list2.c_unsafe_1.cil.c	unsafe	1.6	unsafe	3.1	unsafe	1.4	unsafe	0.25	unsafe	0.03	unsafe	0.04	unsafe	0.20	unsafe	0.48
ldv-regression/stateful_check_unsafe.cil.c	unsafe	0.37	unsafe	1.9	unsafe	1.3	unsafe	0.33	unsafe	0.12	unsafe	0.05	timeout	900	unsafe	1.4
ldv-regression/test_while_int.c_unsafe.cil.c	unsafe	0.31	unsafe	1.4	unsafe	1.3	safe	0.24	unsafe	0.06	unsafe	0.04	unsafe	0.15	unsafe	0.53
ldv-regression/test_while_int.c_unsafe_1.cil.c	unsafe	0.26	unsafe	1.3	unsafe	1.2	unsafe	0.24	unsafe	0.07	unsafe	0.05	unsafe	0.14	unsafe	0.53
ldv-regression/1_3.c_unsafe.i	unsafe	0.09	unknown	1.4	unknown	1.4	unsafe	0.19	unsafe	0.03	unsafe	0.06	safe	0.10	unsafe	0.43
ldv-regression/alt_test.c_unsafe.i	unsafe	0.37	unsafe	2.6	unsafe	1.8	unsafe	0.32	unsafe	0.03	unsafe	0.06	safe	0.22	unsafe	0.44
ldv-regression/callfpointer.c_unsafe.i	unsafe	0.07	unsafe	1.3	unsafe	1.2	error	0.12	unsafe	0.05	unsafe	0.04	safe	0.17	safe	0.42
ldv-regression/fo_test.c_unsafe.i	unsafe	0.09	unsafe	1.8	unsafe	1.7	unsafe	0.27	unsafe	0.04	unsafe	0.04	safe	0.18	unsafe	0.51
ldv-regression/mutex_lock_int.c_unsafe.i	unsafe	0.08	unsafe	1.4	unsafe	1.5	unsafe	0.14	unsafe	0.05	unsafe	0.04	safe	0.13	unsafe	0.42
ldv-regression/mutex_lock_struct.c_unsafe.i	unsafe	0.09	unsafe	1.5	unsafe	1.5	unsafe	0.15	unsafe	0.02	unsafe	0.05	safe	0.14	unsafe	0.41
ldv-regression/recursive_list.c_unsafe.i	unsafe	0.12	unsafe	1.4	unsafe	1.4	unsafe	0.18	unsafe	0.03	unsafe	0.06	safe	0.14	unsafe	0.41
ldv-regression/rule57_ebda_blast.c_unsafe.i	unsafe	0.09	unsafe	1.5	unsafe	1.3	unsafe	0.16	unsafe	0.04	unsafe	0.09	safe	0.16	unsafe	0.48
ldv-regression/rule60_list2.c_unsafe_1.i	unsafe	0.87	unsafe	4.7	unsafe	2.2	unsafe	0.26	unsafe	0.03	unsafe	0.04	safe	0.14	unsafe	0.50
ldv-regression/stateful_check_unsafe.i	unsafe	0.38	unsafe	2.5	unsafe	1.4	unsafe	0.52	unsafe	0.13	unsafe	0.07	safe	0.16	unsafe	1.4
ldv-regression/test_while_int.c_unsafe.i	unsafe	0.31	unsafe	1.4	unsafe	1.2	unsafe	12	unsafe	0.03	unsafe	0.04	safe	0.15	unsafe	0.56
ldv-regression/test_while_int.c_unsafe_1.i	unsafe	0.25	unsafe	1.3	unsafe	1.2	unsafe	0.23	unsafe	0.05	unsafe	0.04	safe	0.12	unsafe	0.56
ldv-regression/alias_of_return.c_safe.cil.c	safe	0.07	safe	1.2	safe	1.4	safe	0.21	safe	0.03	safe	0.05	safe	0.14	safe	0.40
ldv-regression/alias_of_return.c_safe_1.cil.c	safe	0.07	safe	1.2	safe	1.3	safe	0.20	safe	0.05	safe	0.06	safe	0.16	safe	0.42
ldv-regression/alias_of_return_2.c_safe.cil.c	safe	0.07	safe	1.3	safe	1.4	safe	0.18	safe	0.03	safe	0.05	safe	0.17	safe	0.41
ldv-regression/alias_of_return_2.c_safe_1.cil.c	safe	0.07	safe	1.2	safe	1.3	safe	0.21	safe	0.03	safe	0.05	safe	0.16	safe	0.40
ldv-regression/ex3_forlist.c_safe.cil.c	error	110	unknown	3.2	unknown	3.2	safe	0.31	safe	0.05	safe	0.05	unsafe	0.15	unsafe	0.72
ldv-regression/just_assert.c_safe.cil.c	safe	0.08	safe	1.2	safe	1.1	safe	0.23	safe	0.03	safe	0.05	safe	0.13	safe	0.38
ldv-regression/mutex_lock_int.c_safe_1.cil.c	safe	0.08	unknown	1.5	unknown	1.6	safe	0.18	safe	0.03	safe	0.05	safe	0.13	safe	0.41
ldv-regression/mutex_lock_struct.c_safe_1.cil.c	safe	0.08	unknown	1.4	unknown	1.5	safe	0.18	safe	0.03	safe	0.05	safe	0.10	safe	0.43
ldv-regression/nested_structure.c_safe.cil.c	safe	0.08	unknown	1.4	unknown	1.5	safe	0.21	safe	0.04	safe	0.05	safe	0.10	safe	0.40
ldv-regression/nested_structure_noptr.c_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.19	safe	0.03	safe	0.05	safe	0.11	safe	0.41
ldv-regression/nested_structure_noptr_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.18	safe	0.03	safe	0.05	safe	0.11	safe	0.42
ldv-regression/nested_structure_ptr.c_safe.cil.c	safe	0.07	unknown	1.4	unknown	1.5	safe	0.20	safe	0.03	safe	0.05	safe	0.11	safe	0.41
ldv-regression/nested_structure_ptr_safe.cil.c	unsafe	0.10	unknown	1.5	unknown	1.6	unsafe	0.19	safe	0.03	safe	0.05	unknown	0.12	unsafe	0.47
ldv-regression/nested_structure_safe.cil.c	unsafe	0.09	unknown	1.4	unknown	1.5	unsafe	0.19	safe	0.03	safe	0.05	unknown	0.12	unsafe	0.47
ldv-regression/oomInt.c_safe.cil.c	safe	0.08	safe	1.3	safe	1.1	safe	0.19	safe	0.03	safe	0.05	safe	0.12	safe	0.42
ldv-regression/oomInt.c_safe_1.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.20	safe	0.03	safe	0.05	safe	0.11	safe	0.37
ldv-regression/rule57_ebda_blast.c_safe_1.cil.c	safe	0.53	safe	1.5	safe	1.2	safe	0.21	safe	0.04	safe	0.13	safe	0.12	safe	0.52
ldv-regression/rule60_list.c_safe.cil.c	safe	0.07	unknown	1.8	unknown	2.1	unsafe	0.23	safe	0.03	safe	0.11	unknown	0.11	safe	0.38
ldv-regression/rule60_list2.c_safe.cil.c	safe	1.6	safe	2.7	safe	1.2	safe	0.24	safe	0.04	safe	0.06	safe	0.21	unsafe	0.50
ldv-regression/sizeofparameters_test.c_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.23	safe	0.06	safe	0.05	safe	0.13	safe	0.38
ldv-regression/structure_assignment.c_safe.cil.c	safe	0.07	unknown	1.3	unknown	1.4	safe	0.18	safe	0.07	safe	0.05	safe	0.10	safe	0.42
ldv-regression/test_address.c_safe.cil.c	unsafe	0.09	unknown	1.4	unknown	1.5	safe	0.26	safe	0.03	safe	0.07	safe	0.11	safe	0.41
ldv-regression/test_cut_trace.c_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.21	safe	0.06	safe	0.06	safe	0.12	safe	0.42
ldv-regression/test_malloc-1_safe.cil.c	unsafe	0.08	safe	1.2	safe	1.4	safe	0.26	safe	0.03	safe	0.05	safe	0.11	unsafe	0.48
ldv-regression/test_malloc-2_safe.cil.c	unsafe	0.08	safe	1.2	safe	1.3	safe	0.23	safe	0.03	safe	0.05	safe	0.12	safe	0.38
ldv-regression/test_overflow.c_safe.cil.c	safe	0.07	safe	1.3	safe	1.1	safe	0.18	safe	0.03	safe	0.05	safe	0.11	safe	0.40
ldv-regression/test_union.c_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	safe	0.19	safe	0.03	safe	0.05	safe	0.14	safe	0.43
ldv-regression/test_union.c_safe_1.cil.c	unsafe	0.07	unknown	1.3	unknown	1.4	safe	0.19	safe	0.03	safe	0.05	safe	0.10	safe	0.36
ldv-regression/test_union_cast-1_safe.cil.c	safe	0.07	safe	1.2	safe	1.1	error	0.07	safe	0.04	safe	0.08	safe	0.10	safe	0.42
ldv-regression/test_union_cast-2_safe.cil.c	safe	0.07	safe	1.2	safe	1.4	error	0.08	safe	0.02	safe	0.05	safe	0.10	safe	0.41
ldv-regression/test_union_cast.c_safe.cil.c	safe	0.07	unknown	1.3	unknown	1.5	error	0.07	safe	0.06	safe	0.05	safe	0.12	safe	0.36
ldv-regression/test_union_cast.c_safe_1.cil.c	safe	0.09	safe	1.3	safe	1.1	error	0.07	safe	0.03	safe	0.05	safe	0.10	safe	0.41
ldv-regression/volatile_alias.c_safe.cil.c	safe	0.08	safe	1.2	safe	1.3	safe	0.20	safe	0.03	safe	0.06	safe	0.12	unsafe	0.47
ldv-regression/volatile_alias.c_safe_1.cil.c	safe	0.07	safe	1.2	safe	1.3	safe	0.20	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/alias_of_return.c_safe.i	safe	0.07	safe	1.2	safe	1.3	safe	0.14	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/alias_of_return.c_safe_1.i	safe	0.07	safe	1.2	safe	1.4	safe	0.15	safe	0.03	safe	0.05	safe	0.12	safe	0.38
ldv-regression/alias_of_return_2.c_safe.i	safe	0.08	safe	1.2	safe	1.3	safe	0.14	safe	0.03	safe	0.05	safe	0.12	safe	0.42
ldv-regression/alias_of_return_2.c_safe_1.i	safe	0.08	safe	1.2	safe	1.3	safe	0.14	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/ex3_forlist.c_safe.i	error	67	unknown	2.4	unknown	2.7	safe	0.15	safe	0.04	safe	0.08	safe	0.10	unsafe	0.71
ldv-regression/just_assert.c_safe.i	safe	0.08	safe	1.2	safe	1.1	safe	0.13	safe	0.03	safe	0.05	safe	0.10	safe	0.44
ldv-regression/mutex_lock_int.c_safe_1.i	safe	0.07	unknown	1.5	unknown	1.5	safe	0.13	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/mutex_lock_struct.c_safe_1.i	safe	0.07	unknown	1.4	unknown	1.5	safe	0.14	safe	0.02	safe	0.05	safe	0.10	safe	0.40
ldv-regression/nested_structure.c_safe.i	safe	0.07	safe	1.2	safe	1.1	safe	0.14	safe	0.03	safe	0.06	safe	0.10	safe	0.43
ldv-regression/nested_structure_noptr.c_safe.i	safe	0.07	safe	1.2	safe	1.1	safe	0.14	safe	0.03	safe	0.05	safe	0.10	safe	0.37
ldv-regression/nested_structure_noptr_safe.i	safe	0.07	safe	1.2	safe	1.1	safe	0.13	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/nested_structure_ptr.c_safe.i	safe	0.09	safe	1.2	safe	1.1	safe	0.14	safe	0.03	safe	0.05	safe	0.10	safe	0.41
ldv-regression/nested_structure_ptr_safe.i	safe	0.07	safe	1.2	safe	1.1	safe	0.15	safe	0.03	safe	0.05	safe	0.10	safe	0.40
ldv-regression/nested_structure_safe.i	safe	0.07	safe	1.3	safe	1.1	safe	0.14	safe	0.03	safe	0.05	safe	0.10	safe	0.41
ldv-regression/oomInt.c_safe.i	safe	0.07	safe	1.2	safe	1.1	safe	0.14	safe	0.03	safe	0.05	safe	0.23	safe	0.40
ldv-regression/oomInt.c_safe_1.i	safe	0.07	safe	1.2	safe	1.1	safe	0.13	safe	0.03	safe	0.05	safe	0.11	safe	0.42
ldv-regression/rule57_ebda_blast.c_safe_1.i	safe	0.35	safe	1.4	safe	1.2	safe	0.16	safe	0.03	safe	0.12	safe	0.14	safe	0.50
ldv-regression/rule60_list.c_safe.i	safe	0.07	unknown	2.2	unknown	2.4	safe	0.25	safe	0.03	safe	0.12	safe	0.15	safe	0.36
ldv-regression/rule60_list2.c_safe.i	safe	0.86	unknown	4.4	unknown	2.0	safe	0.28	safe	0.07	safe	0.06	safe	0.13	unsafe	0.48
ldv-regression/sizeofparameters_test.c_safe.i	unsafe	0.08	safe	1.4	safe	1.6	unsafe	0.24	safe	0.03	safe	0.05	safe	0.12	safe	0.43
ldv-regression/structure_assignment.c_safe.i	safe	0.07	unknown	1.3	unknown	1.5	safe	0.13	safe	0.03	safe	0.05	safe	0.10	safe	0.38
ldv-regression/test_address.c_safe.i	unsafe	0.09	unknown	1.6	unknown	1.9	safe	0.28	safe	0.05	safe	0.06	safe	0.14	safe	0.39
ldv-regression/test_cut_trace.c_safe.i	safe	0.08	safe	1.2	safe	1.1	safe	0.15	safe	0.03	safe	0.06	safe	0.12	safe	0.38
ldv-regression/test_malloc-1_safe.i	unsafe	0.08	safe	1.4	safe	1.7	safe	0.25	safe	0.03	safe	0.09	safe	0.11	unsafe	0.46
ldv-regression/test_malloc-2_safe.i	unsafe	0.09	safe	1.5	safe	1.6	safe	0.26	safe	0.03	safe	0.05	safe	0.13	safe	0.39
ldv-regression/test_overflow.c_safe.i	unsafe	0.09	unknown	1.8	unknown	2.0	unsafe	0.30	safe	0.05	safe	0.09	safe	0.13	safe	0.40
ldv-regression/test_union.c_safe.i	safe	0.08	safe	1.2	safe	1.1	safe	0.15	safe	0.03	safe	0.05	safe	0.12	safe	0.42
ldv-regression/test_union.c_safe_1.i	unsafe	0.09	unknown	1.3	unknown	1.4	safe	0.13	safe	0.03	safe	0.05	safe	0.10	safe	0.40
ldv-regression/test_union_cast-1_safe.i	safe	0.07	safe	1.2	safe	1.1	error	0.06	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/test_union_cast-2_safe.i	safe	0.07	unknown	1.4	unknown	1.5	error	0.09	safe	0.03	safe	0.05	safe	0.10	safe	0.41
ldv-regression/test_union_cast.c_safe.i	safe	0.07	unknown	1.4	unknown	1.5	error	0.06	safe	0.03	safe	0.05	safe	0.10	safe	0.41
ldv-regression/test_union_cast.c_safe_1.i	safe	0.07	safe	1.2	safe	1.1	error	0.07	safe	0.03	safe	0.05	safe	0.10	safe	0.42
ldv-regression/volatile_alias.c_safe.i	safe	0.07	safe	1.2	safe	1.3	safe	0.17	safe	0.03	safe	0.10	safe	0.12	unsafe	0.48
ldv-regression/volatile_alias.c_safe_1.i	safe	0.07	safe	1.2	safe	1.4	safe	0.13	safe	0.03	safe	0.06	safe	0.10	safe	0.41
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c	unsafe	2.8	unsafe	3.7	unsafe	2.9	safe	4.0	unsafe	80	unsafe	0.15	unknown	0.30	safe	0.47
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c	unsafe	2.9	unsafe	3.6	unsafe	2.9	unsafe	3.5	unsafe	69	unsafe	0.15	unknown	0.22	safe	0.50
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c	unsafe	2.8	unsafe	3.6	unsafe	2.8	safe	3.8	unsafe	75	unsafe	0.14	unknown	0.21	safe	0.50
ddv-machzwd/ddv_machzwd_all_unsafe.i	unsafe	2.7	unsafe	3.4	unsafe	3.1	unsafe	3.0	unsafe	9.0	unsafe	0.12	safe	0.26	safe	0.48
ddv-machzwd/ddv_machzwd_inw_unsafe.i	unsafe	2.8	unsafe	3.4	unsafe	3.1	unsafe	2.5	unsafe	6.6	unsafe	0.12	safe	0.26	safe	0.46
ddv-machzwd/ddv_machzwd_outb_unsafe.i	unsafe	2.7	unsafe	3.4	unsafe	3.0	unsafe	2.7	unsafe	8.0	unsafe	0.12	safe	0.25	safe	0.49
ddv-machzwd/ddv_machzwd_inb_p_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.22	safe	0.54
ddv-machzwd/ddv_machzwd_inb_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.21	safe	0.52
ddv-machzwd/ddv_machzwd_inl_p_safe.cil.c	safe	0.65	safe	2.9	safe	2.7	safe	3.0	timeout	910	error	1.9	unknown	0.26	safe	0.48
ddv-machzwd/ddv_machzwd_inl_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.8	timeout	910	error	1.9	unknown	0.21	safe	0.44
ddv-machzwd/ddv_machzwd_inw_p_safe.cil.c	safe	0.64	safe	2.9	safe	2.7	safe	2.8	timeout	910	error	1.9	unknown	0.25	safe	0.51
ddv-machzwd/ddv_machzwd_outb_p_safe.cil.c	safe	0.63	safe	2.8	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.21	safe	0.48
ddv-machzwd/ddv_machzwd_outl_p_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.23	safe	0.50
ddv-machzwd/ddv_machzwd_outl_safe.cil.c	safe	0.65	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.23	safe	0.52
ddv-machzwd/ddv_machzwd_outw_p_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.27	safe	0.47
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.cil.c	safe	0.63	safe	2.9	safe	2.7	safe	2.7	timeout	910	error	1.9	unknown	0.22	safe	0.52
ddv-machzwd/ddv_machzwd_inb_p_safe.i	safe	0.57	safe	2.9	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.25	safe	0.47
ddv-machzwd/ddv_machzwd_inb_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.25	safe	0.48
ddv-machzwd/ddv_machzwd_inl_p_safe.i	safe	0.58	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.31	safe	0.49
ddv-machzwd/ddv_machzwd_inl_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.25	safe	0.74
ddv-machzwd/ddv_machzwd_inw_p_safe.i	safe	0.58	safe	2.9	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.24	safe	0.48
ddv-machzwd/ddv_machzwd_outb_p_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.25	safe	0.53
ddv-machzwd/ddv_machzwd_outl_p_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.27	safe	0.47
ddv-machzwd/ddv_machzwd_outl_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.26	safe	0.52
ddv-machzwd/ddv_machzwd_outw_p_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.26	safe	0.50
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.i	safe	0.57	safe	2.8	safe	2.7	safe	1.9	timeout	910	error	1.7	safe	0.27	safe	0.46
total files	118	220	118	220	118	200	118	96	118	18000	118	42	118	920	118	55
correct results	104	42	94	180	94	160	101	86	98	250	98	6.0	81	11	100	46
false negatives	0	0	0	0	0	0	3	8.0	0	0	0	0	16	2.7	8	3.7
false positives	12	1.0	0	0	0	0	5	1.2	0	0	0	0	1	0.15	10	5.2
false properties	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
score (118 files, max score: 206)	130		159		159		132		166		166		23		74