BENCHMARK INFORMATION benchmark definition: ../benchexec/smtinterpol-cade18-memsafety-32.xml name: smtinterpol-cade18-memsafety-32 run sets: Camel.32bitMem, SmtInterpolCraig.32bitMem, SmtInterpolNoArray.32bitMem, z3.32bitMem date: Tue, 2018-04-10 13:28:55 CEST tool: ULTIMATE Automizer 0.1.23-666feb3e tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 240 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: hetzner os: Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial cpu: Intel Core i7-4770 CPU @ 3.40GHz - cores: 8 - max frequency: 3900.0 MHz - turbo boost enabled: True ram: 33593.495552 MB ------------------------------------------------------------ Camel.32bitMem Run set 1 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 4.51 1.96 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.84 2.46 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 4.79 1.94 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.60 2.38 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 4.74 1.99 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 4.68 2.12 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.86 2.50 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.26 2.44 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 4.73 2.13 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.86 2.39 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 4.49 1.98 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 4.55 1.87 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 4.78 2.01 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 4.51 1.96 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 4.61 2.01 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.01 2.48 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.63 2.42 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.88 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.94 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.99 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 4.87 2.06 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.98 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 4.92 2.05 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 4.69 1.97 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.95 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.89 1.91 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.91 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 4.75 1.89 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 4.72 1.95 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.93 2.06 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.77 2.00 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.68 1.92 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.93 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.08 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 5.01 2.07 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.65 1.95 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 4.70 1.99 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 4.85 1.98 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.68 2.02 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.03 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 4.72 1.90 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.90 1.94 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.04 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.98 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.77 2.03 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 4.73 1.91 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.87 2.05 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.97 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.98 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.26 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 4.75 2.11 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.79 2.18 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.84 2.07 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.65 1.99 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 4.50 1.99 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.01 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 4.92 1.95 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.96 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 4.93 1.95 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.73 2.04 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.18 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 4.89 2.06 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 4.70 2.01 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 4.89 2.09 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 4.80 2.02 None array-examples/relax_false-valid-deref.i unknown 4.60 1.90 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.99 181.73 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.45 183.71 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 241.02 181.68 None memsafety/960521-1_false-valid-deref.i unknown 5.02 2.09 None memsafety/test-0137_false-valid-deref.i unknown 4.75 1.95 None memsafety/test-0235_false-valid-deref.i unknown 4.81 2.04 None memsafety/960521-1_false-valid-free.i unknown 4.79 2.01 None memsafety/test-0158_false-valid-free.i unknown 4.82 1.96 None memsafety/test-0232_false-valid-free.i unknown 4.91 2.06 None memsafety/20020406-1_false-valid-memtrack.i unknown 5.09 2.09 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 4.82 2.09 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 4.72 1.96 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 4.60 2.01 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 4.81 1.90 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 4.64 2.04 None memsafety/test-0102_false-valid-memtrack.i unknown 4.91 2.10 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 4.75 2.08 None memsafety/test-0220_false-valid-memtrack.i unknown 4.91 1.95 None memsafety/test-0232_false-valid-memtrack.i unknown 4.69 2.04 None memsafety/test-0234_false-valid-memtrack.i unknown 4.90 2.01 None memsafety/test-0235_false-valid-memtrack.i unknown 4.84 1.90 None memsafety/960521-1_true-valid-memsafety.i unknown 4.82 2.05 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 4.71 2.06 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 4.71 2.00 None memsafety/test-0102_true-valid-memsafety.i unknown 4.85 2.11 None memsafety/test-0134_true-valid-memsafety.i unknown 4.85 1.99 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 4.87 2.08 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 4.84 1.97 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 4.87 2.05 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 4.81 1.96 None memsafety/test-0219_true-valid-memsafety.i unknown 4.65 1.99 None memsafety/test-0232_true-valid-memsafety.i unknown 4.73 1.94 None memsafety/test-0234_true-valid-memsafety.i unknown 4.76 2.02 None memsafety/test-0235_true-valid-memsafety.i unknown 4.85 1.98 None memsafety/test-0236_true-valid-memsafety.i unknown 4.70 1.98 None memsafety/test-0237_true-valid-memsafety.i unknown 4.75 2.12 None memsafety/test-0504_true-valid-memsafety.i unknown 4.69 1.96 None memsafety/test-0513_true-valid-memsafety.i unknown 4.93 1.97 None memsafety/test-0521_true-valid-memsafety.i unknown 4.70 2.02 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 4.82 1.94 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 4.72 1.88 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 4.64 2.03 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 4.74 1.90 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 4.59 1.93 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 4.77 2.04 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 4.85 2.00 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 4.90 1.93 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 4.61 2.02 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 241.51 206.06 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 231.32 163.33 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.19 182.02 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 106.63 78.40 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.95 199.20 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 153.78 89.58 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.56 182.52 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.73 208.71 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 176.33 140.09 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.88 203.15 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 4.76 2.01 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 5.04 2.13 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 4.76 2.15 None list-ext-properties/960521-1_1_false-valid-free.i unknown 4.96 1.97 None list-ext-properties/test-0158_1_false-valid-free.i unknown 4.83 2.06 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 4.82 2.07 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.10 2.13 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 4.90 2.25 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 4.96 2.18 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 5.00 2.09 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 5.02 2.21 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 4.97 2.01 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 5.07 2.05 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 4.89 1.99 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 5.17 2.14 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 5.05 2.02 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.02 2.06 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 5.01 1.97 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 5.01 2.11 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 5.17 2.24 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.68 3.02 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.12 3.30 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.14 2.51 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.49 2.85 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 240.99 180.38 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 240.69 181.76 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.98 2.59 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.99 2.46 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.68 2.39 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.11 2.56 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.87 2.40 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.92 2.45 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 246.14 195.15 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.92 3.84 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.27 4.48 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 10.10 3.95 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 11.87 4.62 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 11.11 4.09 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 6.64 2.68 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 6.64 2.69 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.75 2.39 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.68 3.27 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.75 3.15 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.41 3.05 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.58 3.04 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.55 2.99 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.59 2.99 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 5.08 2.03 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 4.87 1.98 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 4.97 2.38 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.05 2.13 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.11 2.24 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 5.16 2.08 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 5.05 2.13 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 4.98 2.05 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 5.05 1.98 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 4.98 2.00 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 4.77 2.02 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 5.06 2.04 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 4.93 2.09 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 4.84 2.04 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 4.86 2.04 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 4.95 2.15 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.02 2.01 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 4.96 2.09 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 5.12 2.09 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 5.27 2.09 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 5.26 2.46 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 4.90 1.96 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 5.01 2.05 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 5.04 2.23 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 5.06 2.17 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 4.91 2.00 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 4.92 2.07 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 5.33 2.15 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 5.31 2.16 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 5.29 2.06 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 5.15 2.09 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 5.01 2.16 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 4.87 2.03 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 4.99 2.11 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 5.00 2.08 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 5.04 2.05 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 4.80 2.05 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 5.12 1.97 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 4.89 2.06 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 5.10 2.01 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 4.91 2.01 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 5.03 2.05 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 5.01 2.09 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 5.15 2.02 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 5.15 2.00 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 5.12 2.16 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 5.02 2.05 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 5.14 2.12 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 5.08 2.14 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 5.08 2.02 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 5.05 2.12 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 5.13 2.02 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 5.22 2.11 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 5.11 2.11 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 5.14 2.14 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 4.81 2.16 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 5.32 2.12 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 5.19 2.07 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 5.47 2.18 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.11 2.05 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.20 2.13 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 5.28 2.06 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 5.16 2.18 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 5.18 2.45 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 5.30 2.32 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 5.19 2.01 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 5.29 2.14 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 5.05 2.00 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.67 1.92 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.39 1.83 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.68 1.98 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.58 1.87 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.60 1.96 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.39 1.86 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.69 1.84 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.31 1.91 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.69 1.98 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.42 1.93 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.39 2.12 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.04 240.55 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.22 2.10 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.11 1.99 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 4.92 2.08 None heap-manipulation/tree_false-valid-deref.i unknown 5.08 1.99 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 5.06 2.01 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 23.82 9.43 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 196.68 170.40 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 44.31 23.08 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 4.97 2.00 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 4.84 1.96 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 4.92 1.96 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 4.95 1.97 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 5.05 2.10 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 4.90 2.09 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.79 2.38 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.56 2.28 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.60 2.24 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.71 2.25 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.40 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.59 2.15 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.28 2.20 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.26 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.42 2.18 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.45 2.22 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.42 2.17 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.51 2.19 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.52 2.06 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.51 195.02 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.17 211.33 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.48 178.97 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.00 228.41 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.76 179.75 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.04 184.73 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 202.03 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.58 230.69 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.12 186.37 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.13 201.60 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.76 203.87 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.96 186.32 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.75 183.74 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.95 185.63 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.32 187.52 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.02 186.13 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.21 193.72 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.50 196.82 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.25 184.24 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 62.84 35.89 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.54 12.15 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 44.91 23.07 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.22 184.80 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.64 2.55 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.87 2.34 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.25 3.95 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.62 3.82 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.81 3.25 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.68 3.19 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.67 3.31 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.07 3.60 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.34 3.51 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.93 2.72 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.63 3.27 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.48 3.06 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.04 2.41 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.08 2.70 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.88 2.44 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.01 2.53 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.10 2.45 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.09 2.59 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.25 2.84 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.14 2.60 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.68 2.42 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.01 2.45 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.02 2.45 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.95 2.59 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.98 2.51 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 6605.15 3973.62 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 4.96 2.10 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.13 2.61 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 5.10 2.01 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.53 2.35 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 4.99 2.03 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 4.95 2.04 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.83 2.46 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.01 2.48 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 5.20 1.99 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.37 2.58 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 4.97 2.05 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 4.90 1.94 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 4.98 2.12 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 4.88 1.98 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 5.06 2.15 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.25 2.55 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.76 2.46 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 5.00 2.01 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 5.08 2.07 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 5.08 2.04 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 4.84 2.09 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.03 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 5.12 2.10 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.09 2.16 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.12 2.04 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.82 2.03 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.03 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.13 2.07 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 5.09 1.97 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.04 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 5.17 2.11 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.02 2.03 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 5.46 2.05 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.03 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 5.25 2.14 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 5.03 2.03 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 4.91 2.09 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.01 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.85 1.98 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 5.19 1.98 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.96 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.95 1.99 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 5.03 2.04 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.24 2.17 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.93 2.07 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.36 2.20 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.99 2.27 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.26 2.17 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.01 2.02 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.90 1.97 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 4.96 1.97 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.86 1.92 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.86 2.09 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.97 2.03 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 4.66 1.99 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 5.13 2.02 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.05 2.04 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 5.14 2.07 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 5.05 2.08 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 5.01 2.05 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 4.92 1.98 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 4.99 1.97 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 5.17 2.04 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 5.00 2.13 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 5.03 2.07 None array-examples/relax_false-valid-deref.i unknown 5.15 2.02 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.98 183.30 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.58 186.56 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.81 185.71 None memsafety/960521-1_false-valid-deref.i unknown 4.89 1.96 None memsafety/test-0137_false-valid-deref.i unknown 4.97 2.00 None memsafety/test-0235_false-valid-deref.i unknown 5.02 1.98 None memsafety/960521-1_false-valid-free.i unknown 5.14 2.01 None memsafety/test-0158_false-valid-free.i unknown 4.94 1.98 None memsafety/test-0232_false-valid-free.i unknown 4.97 2.07 None memsafety/20020406-1_false-valid-memtrack.i unknown 5.24 2.17 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 5.05 2.10 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 4.98 1.97 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 5.17 2.08 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 5.04 2.04 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 4.82 1.90 None memsafety/test-0102_false-valid-memtrack.i unknown 4.90 2.09 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 4.93 2.07 None memsafety/test-0220_false-valid-memtrack.i unknown 5.04 2.58 None memsafety/test-0232_false-valid-memtrack.i unknown 5.03 2.04 None memsafety/test-0234_false-valid-memtrack.i unknown 5.08 2.07 None memsafety/test-0235_false-valid-memtrack.i unknown 5.12 2.01 None memsafety/960521-1_true-valid-memsafety.i unknown 5.19 2.06 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 5.15 2.00 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 5.18 2.29 None memsafety/test-0102_true-valid-memsafety.i unknown 5.14 2.18 None memsafety/test-0134_true-valid-memsafety.i unknown 5.22 2.05 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 4.97 2.26 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 5.25 2.06 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 5.24 2.23 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 5.50 2.14 None memsafety/test-0219_true-valid-memsafety.i unknown 5.30 2.16 None memsafety/test-0232_true-valid-memsafety.i unknown 5.14 2.29 None memsafety/test-0234_true-valid-memsafety.i unknown 5.44 2.26 None memsafety/test-0235_true-valid-memsafety.i unknown 5.35 2.15 None memsafety/test-0236_true-valid-memsafety.i unknown 5.10 2.19 None memsafety/test-0237_true-valid-memsafety.i unknown 5.28 2.14 None memsafety/test-0504_true-valid-memsafety.i unknown 5.16 2.07 None memsafety/test-0513_true-valid-memsafety.i unknown 5.14 2.14 None memsafety/test-0521_true-valid-memsafety.i unknown 5.25 2.14 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 5.15 2.07 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 5.16 2.05 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.05 2.09 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.24 2.37 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 5.27 2.31 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 5.08 2.37 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 5.16 2.16 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 5.39 2.21 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 5.18 2.14 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 241.21 193.46 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i FALSE(valid-memtrack) 162.92 97.76 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.99 173.17 None memsafety-ext2/length_test03_false-valid-memtrack.i OUT OF MEMORY 173.08 123.05 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 240.24 176.86 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.92 172.87 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.38 174.99 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.12 196.32 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.24 179.28 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.90 199.40 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 5.14 2.08 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 5.18 1.97 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 5.28 1.94 None list-ext-properties/960521-1_1_false-valid-free.i unknown 4.86 2.01 None list-ext-properties/test-0158_1_false-valid-free.i unknown 4.99 2.03 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 5.04 2.20 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.04 2.31 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.22 2.12 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 5.28 2.24 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 5.25 2.10 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 5.35 2.55 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 5.30 2.08 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 5.43 2.13 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 5.14 2.21 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 5.62 2.22 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 5.56 2.14 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.37 2.12 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 5.51 2.20 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 5.33 2.13 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 5.42 2.23 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.36 3.19 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.55 3.29 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.65 2.65 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.08 2.82 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 240.25 183.30 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 240.37 183.28 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.23 2.61 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.36 2.55 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.19 2.61 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.25 2.64 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.29 2.57 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.99 2.59 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 240.54 184.99 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.24 190.69 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 240.42 182.11 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.53 192.82 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 240.15 180.08 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 241.27 185.05 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.32 3.05 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.28 2.98 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.26 2.61 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 30.52 14.42 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 91.15 59.38 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 29.34 14.12 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 91.58 59.94 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 90.75 59.13 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 90.17 59.24 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 5.14 2.07 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 5.09 2.10 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 5.07 2.13 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.20 2.16 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.27 2.09 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 5.03 2.23 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 5.17 2.32 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 5.02 2.24 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 5.35 2.25 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 5.13 2.04 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 5.07 2.12 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 5.14 2.16 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 5.12 2.00 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 5.21 2.07 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 5.33 2.13 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 5.25 2.11 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.45 2.19 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 5.19 2.00 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 5.06 2.19 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 5.09 2.03 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 5.56 2.12 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 5.42 2.26 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 5.28 2.10 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 5.15 2.32 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 5.60 2.20 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 5.20 2.07 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 5.63 2.18 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 5.27 2.15 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 5.49 2.25 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 5.40 2.32 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 5.46 2.15 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 5.34 2.13 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 5.27 2.09 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 5.28 2.09 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 5.41 2.22 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 5.32 2.05 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 5.31 2.05 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 5.13 2.15 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 5.48 2.06 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 5.37 2.24 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 5.14 2.12 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 5.57 2.28 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 5.54 2.21 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 5.18 2.10 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 5.42 2.20 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 5.15 2.16 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 5.51 2.17 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 5.54 2.17 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 5.73 2.49 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 5.35 2.14 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 5.23 2.15 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 5.24 2.14 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 5.38 2.12 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 5.26 2.17 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 5.12 2.04 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 5.25 2.10 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 5.23 2.05 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 5.16 2.07 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 5.39 2.04 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.11 2.05 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.42 2.13 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 5.25 2.11 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 5.23 2.04 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 5.33 2.07 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 5.33 2.10 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 5.22 2.05 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 5.38 2.14 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 5.47 2.18 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.84 1.92 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.68 1.92 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.82 1.99 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.93 1.99 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.81 1.92 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.79 1.95 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.89 1.90 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.61 1.83 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.68 2.00 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.85 2.01 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.37 2.10 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.02 240.33 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.13 2.14 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.20 2.07 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.08 2.13 None heap-manipulation/tree_false-valid-deref.i unknown 5.17 2.08 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 4.98 2.14 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 22.62 8.76 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 36.64 16.08 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 30.03 13.24 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 4.98 2.08 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 5.17 2.02 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 5.16 2.06 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 5.18 1.98 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 4.98 2.35 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 5.10 2.05 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.72 2.32 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.68 2.17 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.81 2.23 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.72 2.21 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.65 2.21 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.97 2.36 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.13 2.40 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.65 2.14 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.19 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.73 2.32 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.90 2.26 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.84 2.33 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.97 2.34 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.65 176.07 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.50 179.97 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.17 172.92 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.45 180.56 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.61 180.68 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.68 178.95 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 179.75 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.52 184.10 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.54 181.17 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.61 177.98 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.35 171.41 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.92 174.90 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.69 174.60 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.26 181.28 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.73 181.21 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.96 179.45 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.56 181.01 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.60 181.85 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.46 179.93 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 39.06 18.86 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.17 12.32 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.76 13.42 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.96 191.63 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.45 2.48 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.11 2.34 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.25 3.63 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.55 3.73 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.73 3.31 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.12 3.02 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.53 3.19 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.38 3.36 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.46 3.33 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.77 2.64 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.11 3.07 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.23 2.94 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.73 2.30 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.71 2.52 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.80 2.57 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.01 2.38 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.92 2.47 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.07 2.36 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.98 2.50 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.88 2.43 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.66 2.26 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.57 2.39 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.89 2.39 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.70 2.40 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.77 2.35 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 11591.00 4332.63 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 5.33 2.23 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.58 2.89 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 5.17 2.03 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 5.73 2.42 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 5.23 2.24 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 5.27 2.15 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.08 2.53 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.26 2.53 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 5.02 2.11 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.14 2.61 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 5.03 2.10 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 4.84 1.98 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 4.95 1.97 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 5.32 2.05 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 5.32 2.18 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.47 2.63 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.04 2.50 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 5.14 1.98 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 5.20 2.10 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 4.76 1.90 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 5.31 2.04 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 5.16 2.04 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 5.02 2.03 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.07 2.02 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.42 2.12 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 5.23 2.03 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.06 2.13 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.01 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.04 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 5.44 2.08 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.89 2.08 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.06 2.07 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 5.28 2.13 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.15 2.26 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 5.54 2.29 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 5.14 2.09 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 5.11 2.08 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 5.56 2.11 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 5.00 2.04 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 5.33 2.14 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 5.08 1.99 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.17 2.06 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 5.28 1.97 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.13 2.02 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.26 2.08 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.16 2.02 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.11 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.07 2.03 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.00 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.39 2.17 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 5.22 2.08 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 5.09 2.04 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.88 1.92 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.07 2.03 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 5.30 2.24 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 5.01 2.00 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.13 2.02 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 5.14 2.01 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 5.34 2.12 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.99 2.10 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 5.11 2.15 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 5.21 2.05 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 4.90 2.01 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 5.23 2.08 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 5.36 2.07 None array-examples/relax_false-valid-deref.i unknown 5.27 2.14 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.39 172.09 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 240.83 181.32 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.84 181.90 None memsafety/960521-1_false-valid-deref.i unknown 5.22 2.07 None memsafety/test-0137_false-valid-deref.i unknown 5.38 2.12 None memsafety/test-0235_false-valid-deref.i unknown 5.27 2.06 None memsafety/960521-1_false-valid-free.i unknown 5.12 2.08 None memsafety/test-0158_false-valid-free.i unknown 4.89 2.04 None memsafety/test-0232_false-valid-free.i unknown 4.92 2.10 None memsafety/20020406-1_false-valid-memtrack.i unknown 5.53 2.12 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 4.99 2.01 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 4.96 2.05 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 5.27 2.13 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 5.47 2.19 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 5.16 1.98 None memsafety/test-0102_false-valid-memtrack.i unknown 5.04 2.11 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 5.13 2.39 None memsafety/test-0220_false-valid-memtrack.i unknown 5.21 2.02 None memsafety/test-0232_false-valid-memtrack.i unknown 5.11 2.07 None memsafety/test-0234_false-valid-memtrack.i unknown 5.10 2.04 None memsafety/test-0235_false-valid-memtrack.i unknown 5.17 2.17 None memsafety/960521-1_true-valid-memsafety.i unknown 5.18 2.12 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 5.26 2.00 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 5.17 1.94 None memsafety/test-0102_true-valid-memsafety.i unknown 5.07 1.98 None memsafety/test-0134_true-valid-memsafety.i unknown 5.21 2.03 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 5.00 1.93 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 5.20 2.08 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 5.24 2.06 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 5.24 2.08 None memsafety/test-0219_true-valid-memsafety.i unknown 5.23 2.14 None memsafety/test-0232_true-valid-memsafety.i unknown 5.11 2.05 None memsafety/test-0234_true-valid-memsafety.i unknown 5.33 2.14 None memsafety/test-0235_true-valid-memsafety.i unknown 5.04 2.02 None memsafety/test-0236_true-valid-memsafety.i unknown 5.29 2.16 None memsafety/test-0237_true-valid-memsafety.i unknown 5.23 2.21 None memsafety/test-0504_true-valid-memsafety.i unknown 5.02 2.09 None memsafety/test-0513_true-valid-memsafety.i unknown 5.22 2.18 None memsafety/test-0521_true-valid-memsafety.i unknown 5.12 2.03 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 5.04 2.07 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 5.26 2.19 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.20 2.09 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.10 2.07 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 5.03 2.04 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 4.92 1.96 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 5.12 2.02 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 4.97 2.04 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 4.95 2.05 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 244.63 215.63 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.08 177.75 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.96 189.91 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.37 216.98 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 241.32 188.00 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.54 180.70 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.71 184.08 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.16 218.56 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.66 212.12 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.48 204.55 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 4.97 2.03 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 4.98 2.09 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 5.07 1.96 None list-ext-properties/960521-1_1_false-valid-free.i unknown 5.21 2.01 None list-ext-properties/test-0158_1_false-valid-free.i unknown 5.02 1.95 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 5.57 2.27 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.13 2.04 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.21 2.12 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 5.15 2.15 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 5.16 2.07 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 5.30 2.11 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 5.13 2.06 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 5.28 2.18 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 5.27 2.01 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 5.34 2.05 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 5.36 2.20 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.24 2.02 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 5.13 2.13 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 5.15 2.01 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 5.17 2.08 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.68 3.03 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.40 3.20 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.94 2.57 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.44 2.59 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 240.97 175.59 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 240.37 175.25 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.24 2.65 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.64 2.67 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.39 2.63 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.68 2.56 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.58 2.73 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.55 2.69 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 240.22 172.00 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 10.00 3.84 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 12.33 4.72 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 10.48 4.01 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 12.04 4.57 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 12.01 4.62 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.10 2.75 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 7.42 2.89 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.86 2.79 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.76 3.06 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.87 3.01 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.97 2.96 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.98 3.14 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.68 2.98 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.83 3.05 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 5.06 2.03 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 5.44 2.12 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 5.60 2.20 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.27 2.05 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.43 2.07 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 5.45 2.18 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 5.37 2.03 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 5.31 2.14 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 5.53 2.23 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 5.30 2.09 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 5.31 2.02 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 5.17 2.06 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 5.19 2.13 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 5.34 2.02 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 5.06 2.14 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 5.12 2.01 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.54 2.15 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 5.27 2.10 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 5.17 1.98 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 5.37 2.22 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 5.41 2.18 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 5.54 2.24 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 5.59 2.11 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 5.47 2.10 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 5.35 2.13 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 5.31 2.32 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 5.40 2.15 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 5.37 2.19 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 5.28 2.20 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 5.66 2.27 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 5.47 2.11 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 5.38 2.16 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 5.29 2.23 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 5.30 2.18 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 5.35 2.11 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 5.40 2.19 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 5.18 2.19 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 5.31 2.20 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 5.39 2.08 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 5.28 2.02 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 5.44 2.10 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 5.48 2.14 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 5.62 2.17 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 5.33 2.11 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 5.50 2.10 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 5.26 2.14 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 5.19 2.07 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 5.43 2.27 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 5.31 2.09 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 5.24 2.08 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 5.18 2.25 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 5.19 2.02 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 5.33 2.16 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 5.50 2.05 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 5.24 2.07 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 5.59 2.11 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 5.42 2.26 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 5.27 2.11 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 5.28 2.21 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.39 2.13 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.00 2.46 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 5.54 2.24 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 5.10 1.97 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 5.22 2.15 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 5.32 2.09 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 5.51 2.23 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 5.50 2.12 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 5.60 2.12 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.84 1.95 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.94 2.07 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.94 1.89 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.86 1.98 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.84 1.94 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.82 2.03 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.90 1.98 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.97 1.98 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.83 1.93 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 5.14 2.05 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.55 2.19 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.03 240.03 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.30 2.14 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.40 2.06 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.26 2.23 None heap-manipulation/tree_false-valid-deref.i unknown 5.31 2.11 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 5.37 2.33 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 29.06 10.59 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 188.09 159.99 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 53.63 27.57 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 5.29 2.05 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 5.21 2.01 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 5.09 2.10 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 5.16 2.05 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 5.38 2.37 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 5.16 2.10 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.93 2.36 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.99 2.33 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.81 2.23 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.24 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.05 2.33 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.34 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.67 2.15 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.85 2.32 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.66 2.23 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.64 2.25 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.13 2.33 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.33 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.12 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.60 203.00 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 244.45 207.58 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.44 200.55 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.94 216.10 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.36 184.96 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.36 192.69 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.91 210.74 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.49 207.12 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.80 205.58 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 242.17 213.54 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.11 203.81 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.88 181.93 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.79 197.80 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.12 187.04 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.87 184.98 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.60 191.61 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.18 183.37 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 241.10 188.75 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 240.76 190.09 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 204.33 174.44 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 75.52 57.74 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 52.00 27.12 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.65 177.91 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.44 2.41 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.96 2.34 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.18 3.75 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.40 3.74 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.50 3.12 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.89 3.31 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.27 3.07 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.63 3.41 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.60 3.41 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.96 2.66 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.35 3.16 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.63 3.17 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.05 2.40 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.12 2.42 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.84 2.43 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.04 2.48 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.38 2.63 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.18 2.44 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.19 2.45 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.79 2.58 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.82 2.29 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.80 2.39 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.90 2.52 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.70 2.35 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.04 2.42 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 11091.39 4217.83 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 5.22 2.11 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.83 2.93 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 5.25 2.07 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.21 2.44 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 5.22 2.06 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 5.28 2.09 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.36 2.57 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.01 2.50 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 5.21 2.08 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.05 2.80 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 5.05 2.07 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 5.21 2.05 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.33 2.19 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 5.40 2.13 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 5.29 2.06 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.71 3.14 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.40 2.71 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 5.11 2.06 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 5.21 2.16 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 5.28 2.13 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 5.44 2.15 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 5.29 2.03 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 5.33 2.10 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.33 2.12 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.05 2.13 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 5.11 2.11 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.53 2.14 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.40 2.07 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 5.11 1.96 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 5.21 2.02 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 5.10 2.14 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.12 2.04 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 5.30 2.09 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.19 2.10 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 5.40 2.11 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 5.14 2.08 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 5.29 2.18 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 5.13 2.07 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 5.30 2.19 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 5.30 2.00 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 4.89 1.98 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.30 2.09 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 5.19 2.13 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.09 2.01 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.38 2.18 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 5.32 2.06 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 5.51 2.03 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.44 2.13 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 5.25 2.13 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.01 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.07 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 5.20 2.13 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 5.39 2.22 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 5.24 2.23 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 5.46 2.10 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 4.99 2.09 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.38 2.02 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 5.38 2.16 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 5.58 2.25 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.95 2.11 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 5.31 2.07 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 5.06 2.21 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 5.42 2.16 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 5.29 2.08 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 5.49 2.16 None array-examples/relax_false-valid-deref.i unknown 5.25 2.02 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 240.46 194.45 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 241.08 183.80 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 240.36 195.76 None memsafety/960521-1_false-valid-deref.i unknown 5.21 2.14 None memsafety/test-0137_false-valid-deref.i unknown 5.26 2.16 None memsafety/test-0235_false-valid-deref.i unknown 5.30 2.31 None memsafety/960521-1_false-valid-free.i unknown 5.13 2.00 None memsafety/test-0158_false-valid-free.i unknown 5.15 2.00 None memsafety/test-0232_false-valid-free.i unknown 4.90 1.97 None memsafety/20020406-1_false-valid-memtrack.i unknown 5.45 2.05 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 5.12 2.15 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 5.17 1.98 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 5.28 2.09 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 5.33 2.12 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 5.09 2.07 None memsafety/test-0102_false-valid-memtrack.i unknown 5.18 2.20 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 5.22 2.23 None memsafety/test-0220_false-valid-memtrack.i unknown 5.37 2.07 None memsafety/test-0232_false-valid-memtrack.i unknown 5.05 2.03 None memsafety/test-0234_false-valid-memtrack.i unknown 5.26 2.19 None memsafety/test-0235_false-valid-memtrack.i unknown 5.32 2.30 None memsafety/960521-1_true-valid-memsafety.i unknown 5.13 2.17 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 5.11 2.05 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 5.04 2.00 None memsafety/test-0102_true-valid-memsafety.i unknown 5.30 2.17 None memsafety/test-0134_true-valid-memsafety.i unknown 5.61 2.19 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 5.19 2.06 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 5.27 2.25 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 5.34 2.16 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 5.32 2.08 None memsafety/test-0219_true-valid-memsafety.i unknown 4.98 2.05 None memsafety/test-0232_true-valid-memsafety.i unknown 5.10 2.14 None memsafety/test-0234_true-valid-memsafety.i unknown 5.14 2.01 None memsafety/test-0235_true-valid-memsafety.i unknown 5.26 2.11 None memsafety/test-0236_true-valid-memsafety.i unknown 5.30 2.02 None memsafety/test-0237_true-valid-memsafety.i unknown 5.11 2.11 None memsafety/test-0504_true-valid-memsafety.i unknown 5.20 2.03 None memsafety/test-0513_true-valid-memsafety.i unknown 5.09 2.07 None memsafety/test-0521_true-valid-memsafety.i unknown 4.97 1.96 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 5.25 2.09 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 5.03 1.98 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 5.13 1.97 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.17 1.99 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 5.25 2.09 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 5.17 2.19 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 5.12 1.89 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 5.03 2.07 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 5.25 2.21 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 21.53 7.92 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 19.71 11.61 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 19.85 11.77 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 14.98 5.94 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 12.16 4.52 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 12.38 4.70 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 13.09 4.87 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 15.84 6.05 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 12.42 4.56 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 20.58 8.02 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 5.16 2.04 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 5.36 2.04 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 5.13 2.12 None list-ext-properties/960521-1_1_false-valid-free.i unknown 5.34 2.18 None list-ext-properties/test-0158_1_false-valid-free.i unknown 5.17 2.09 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 5.06 2.09 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.01 2.13 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.27 2.14 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 5.15 2.14 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 5.39 2.13 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 5.35 2.26 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 5.10 2.05 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 5.23 2.13 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 5.11 2.03 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 5.54 2.27 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 5.43 2.14 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.49 2.23 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 5.28 2.15 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 5.44 2.21 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 5.25 2.14 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 9.44 3.76 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 7.42 2.89 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.46 2.65 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.43 3.05 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 7.53 2.91 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 8.27 3.25 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.61 2.77 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.71 2.62 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.72 2.70 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.89 2.69 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.88 2.79 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.50 2.74 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 10.11 3.97 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.38 2.95 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 8.37 3.28 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.30 2.94 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 9.95 3.75 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.41 3.24 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 9.03 3.63 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 8.80 3.43 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 7.36 2.83 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 36.33 22.95 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 142.37 112.64 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 35.41 22.46 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 139.87 110.78 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 141.62 111.44 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 142.13 112.55 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 5.33 1.99 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 5.51 2.14 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 5.25 2.11 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.63 2.45 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.46 2.30 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 5.26 2.19 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 5.49 2.32 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 5.48 2.09 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 5.46 2.30 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 5.44 2.25 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 5.27 2.10 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 5.25 2.09 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 5.34 2.10 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 5.36 2.32 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 5.44 2.10 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 5.39 2.21 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.43 2.11 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 5.44 2.12 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 5.41 2.12 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 5.45 2.17 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 5.37 2.19 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 5.58 2.18 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 5.31 2.07 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 5.67 2.25 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 5.45 2.20 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 5.69 2.25 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 5.43 2.11 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 5.45 2.13 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 5.62 2.33 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 5.61 2.21 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 5.56 2.13 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 5.41 2.17 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 5.58 2.27 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 5.82 2.25 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 5.48 2.18 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 5.59 2.16 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 5.41 2.17 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 5.80 2.29 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 5.43 2.11 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 5.61 2.16 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 5.42 2.15 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 5.55 2.22 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.01 2.47 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 5.90 2.23 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 5.66 2.26 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 5.85 2.32 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 5.44 2.22 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 5.71 2.26 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 5.41 2.07 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 5.69 2.26 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 5.38 2.25 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 5.72 2.16 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 5.40 2.22 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 5.42 2.18 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 5.48 2.18 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 5.58 2.26 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 5.64 2.25 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 5.44 2.14 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 5.43 2.19 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.68 2.18 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.62 2.17 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 5.61 2.28 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 5.42 2.22 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 5.66 2.18 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 5.64 2.27 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 5.53 2.24 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 5.53 2.27 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 5.44 2.19 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 5.12 2.05 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 5.04 2.04 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.98 2.08 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 5.15 2.10 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 5.08 1.98 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 5.07 2.02 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 5.08 2.05 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 5.03 2.09 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 5.12 2.03 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.85 2.06 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.53 2.23 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 246.02 240.52 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.40 2.21 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.47 2.28 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.32 2.10 None heap-manipulation/tree_false-valid-deref.i unknown 5.43 2.15 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 5.41 2.17 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 16.17 6.46 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.83 4.78 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.14 4.51 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 5.14 2.10 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 5.26 2.21 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 5.13 2.18 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 5.03 2.04 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 5.29 2.13 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 5.27 2.16 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.96 2.48 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.05 2.65 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.95 2.29 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.18 2.30 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.91 2.34 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.40 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.97 2.27 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.08 2.36 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.03 2.29 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.07 2.29 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.98 2.30 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.29 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.12 2.39 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 14.14 5.31 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.85 4.25 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.33 4.69 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.15 4.91 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.60 4.80 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 16.31 6.05 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.96 4.90 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.91 4.96 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.50 4.37 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.66 4.42 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.65 4.35 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.92 3.98 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.98 4.38 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.65 4.74 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.94 4.40 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.10 4.88 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.02 4.49 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.09 4.60 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.94 4.07 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 13.40 4.93 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 12.02 4.46 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 11.74 4.35 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 240.77 194.85 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.43 2.49 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.91 2.38 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.84 3.87 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.02 3.66 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.60 3.29 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.65 3.19 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.77 3.16 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.64 3.49 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.35 3.32 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.07 2.77 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.68 3.14 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.38 3.05 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.94 2.34 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.10 2.34 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.03 2.44 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.10 2.50 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.07 2.41 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.09 2.48 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.13 2.39 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.07 2.54 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.97 2.36 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.98 2.43 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.92 2.38 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.81 2.35 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.87 2.39 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 3660.21 1217.41 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304