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: Wed, 2018-04-11 20:16:21 CEST tool: ULTIMATE Automizer 0.1.23-666feb3e tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 900 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 --cacsl2boogietranslator.bitprecise.bitfields false -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 FALSE(valid-deref) 8.30 3.87 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.91 3.49 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 8.65 3.38 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.75 2.86 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 13.57 5.96 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 3.66 1.48 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 3.38 1.39 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 3.68 1.57 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 3.73 1.46 None array-memsafety/diff_usafe_false-valid-deref.i unknown 3.58 1.44 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 8.80 3.47 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 13.13 5.13 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 3.45 1.49 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.51 3.62 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.80 3.47 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.91 3.02 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.51 2.71 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 906.25 824.75 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 10.58 4.16 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 11.75 4.54 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 12.26 5.23 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 10.80 4.33 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 14.93 5.78 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.24 845.03 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 39.69 30.09 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.59 1.47 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.48 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.85 1.50 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.00 5.46 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.57 1.42 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.44 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 23.77 12.20 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 59.37 41.05 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 57.02 39.13 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 18.17 7.30 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.82 6.47 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 3.54 1.50 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 29.88 15.37 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 3.74 1.52 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 13.61 6.24 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 3.56 1.43 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.54 1.40 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 3.42 1.40 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.43 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 63.45 37.01 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i OUT OF MEMORY 324.90 230.37 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 28.40 14.54 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 20.64 9.30 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.37 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.58 1.44 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 3.54 1.41 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.49 1.41 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.44 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 27.91 13.64 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.56 5.67 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 23.31 11.83 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.44 1.36 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 906.03 842.56 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 905.59 891.80 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.58 1.45 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 11.25 4.67 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 12.41 4.73 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 3.57 1.44 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 38.36 24.38 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 122.26 101.78 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 9.18 3.44 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 900.37 751.53 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 3.48 1.50 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.07 750.68 None memsafety/960521-1_false-valid-deref.i unknown 3.92 1.49 None memsafety/test-0137_false-valid-deref.i unknown 5.42 2.27 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 900.78 880.21 None memsafety/960521-1_false-valid-free.i unknown 3.45 1.39 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 9.16 3.45 None memsafety/test-0232_false-valid-free.i unknown 3.65 1.43 None memsafety/20020406-1_false-valid-memtrack.i unknown 3.46 1.38 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 3.43 1.38 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 3.51 1.44 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 14.58 5.24 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 3.81 1.61 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.24 4.33 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 5.76 2.29 None memsafety/test-0158_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 7.94 3.05 None memsafety/test-0220_false-valid-memtrack.i unknown 3.37 1.36 None memsafety/test-0232_false-valid-memtrack.i unknown 3.54 1.40 None memsafety/test-0234_false-valid-memtrack.i unknown 3.27 1.39 None memsafety/test-0235_false-valid-memtrack.i unknown 3.48 1.44 None memsafety/960521-1_true-valid-memsafety.i unknown 3.51 1.39 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 3.50 1.48 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 13.54 5.58 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 5.79 2.33 None memsafety/test-0134_true-valid-memsafety.i unknown 5.53 2.21 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 8.96 3.61 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.65 2.17 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.70 2.41 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.65 2.21 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 903.53 882.28 None memsafety/test-0232_true-valid-memsafety.i unknown 3.40 1.39 None memsafety/test-0234_true-valid-memsafety.i unknown 3.44 1.38 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.81 884.01 None memsafety/test-0236_true-valid-memsafety.i unknown 3.43 1.42 None memsafety/test-0237_true-valid-memsafety.i unknown 3.51 1.56 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.91 847.38 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.79 827.38 None memsafety/test-0521_true-valid-memsafety.i unknown 5.75 2.56 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 3.75 1.47 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 3.59 1.44 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 3.72 1.53 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 3.72 1.50 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 902.23 869.28 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 3.40 1.40 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.28 828.67 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 3.46 1.47 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.97 861.75 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 558.00 525.30 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 254.10 192.93 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 316.42 250.28 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 112.67 85.07 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 3.52 1.42 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 160.66 97.71 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.98 829.45 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.87 854.78 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 3.69 1.58 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.62 863.11 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 4.01 1.56 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 900.85 796.57 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.16 4.29 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 13.32 5.18 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.22 3.42 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 16.32 7.07 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 8.62 3.27 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.79 2.33 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.17 812.53 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.34 807.92 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 3.45 1.34 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 3.75 1.58 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.96 2.03 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 9.67 3.67 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.02 2.43 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 3.80 1.54 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.74 2.25 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 3.63 1.48 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.09 798.09 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 13.49 5.35 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 4.07 1.72 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.67 3.44 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 7.15 2.89 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.25 2.92 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 903.17 802.31 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c FALSE(valid-deref) 871.61 764.09 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.90 2.94 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 6.87 2.78 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.85 2.78 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 3.82 1.49 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.99 2.86 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 6.73 2.70 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 3.85 1.55 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 3.62 1.44 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 3.57 1.44 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 3.79 1.49 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 3.80 1.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 3.61 1.44 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 8.31 3.38 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 8.02 3.04 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 3.64 1.46 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 3.77 1.48 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 9.06 3.46 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 8.51 3.56 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 8.89 3.47 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 3.56 1.44 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 3.72 1.48 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.46 2.62 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 900.62 862.18 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 900.76 859.70 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 3.53 1.41 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 3.63 1.43 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.87 2.35 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 5.84 2.34 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 902.43 870.17 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 3.62 1.47 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 3.67 1.42 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 3.46 1.38 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 3.60 1.44 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 3.66 1.45 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 3.48 1.41 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.81 2.32 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 3.69 1.44 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 62.11 29.97 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 3.60 1.43 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.24 2.44 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 3.59 1.50 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 3.80 1.47 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.20 3.75 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 3.55 1.43 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 495.78 458.92 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 60.70 50.99 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 3.54 1.48 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 170.21 147.65 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 3.57 1.44 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.44 3.79 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.95 3.70 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 3.37 1.41 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 40.54 22.97 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 78.54 51.48 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.19 4.23 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 3.75 1.44 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.67 3.87 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 15.09 5.68 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.74 5.37 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 14.28 5.20 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 3.48 1.47 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.62 3.96 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 3.60 1.44 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 3.92 1.52 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.59 2.57 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 3.48 1.41 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 73.34 36.89 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 3.73 1.47 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 252.24 202.50 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 3.57 1.43 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.35 864.46 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 901.41 833.30 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 902.01 865.22 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 3.49 1.47 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 3.65 1.45 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 3.73 1.48 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 12.57 4.75 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 3.63 1.48 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 3.49 1.44 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 902.26 861.94 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 3.52 1.41 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.68 2.27 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 3.58 1.39 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 17.14 6.73 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 3.66 1.40 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 3.52 1.38 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 3.63 1.50 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 12.28 4.43 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 3.59 1.43 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.24 1.34 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.53 1.39 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.41 1.37 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.48 1.39 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.23 1.35 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 7.58 2.98 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TRUE 57.64 38.00 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 8.54 3.33 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 900.73 876.32 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i FALSE(valid-free) 122.78 98.68 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.83 2.41 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.62 892.06 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.80 2.35 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.99 2.36 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 3.95 1.54 None heap-manipulation/tree_false-valid-deref.i unknown 3.69 1.49 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.59 891.36 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 4.02 1.97 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.92 1.55 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.68 1.48 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.60 807.73 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 4.03 1.59 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.46 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.42 3.69 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 3.48 1.45 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 3.77 1.51 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.36 2.47 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.00 1.55 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.45 2.51 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 3.82 1.49 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.54 2.58 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.29 2.51 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.12 1.68 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 3.89 1.60 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 3.83 1.53 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.85 2.40 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 3.58 1.42 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.15 2.30 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 3.50 1.40 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.08 829.88 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.37 855.30 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.55 1.44 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.60 1.43 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.21 832.70 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.76 827.37 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.38 831.27 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 904.26 874.38 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 3.38 1.35 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 3.66 1.47 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.13 828.90 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.49 818.82 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.89 841.60 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.75 838.50 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.56 1.46 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 903.21 817.27 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 3.71 1.45 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.01 849.87 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.53 810.27 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 64.12 36.75 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.80 12.77 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 46.09 23.60 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 905.55 819.45 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 3.61 1.46 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 6.79 2.59 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.08 4.04 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.34 4.08 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.01 3.26 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.81 3.22 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.64 1.50 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.48 3.77 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.74 1.50 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.53 2.99 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.65 1.47 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.66 3.19 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.47 2.63 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.61 2.67 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.52 2.70 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.57 1.44 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.92 2.84 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.50 2.64 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.75 2.68 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.67 2.69 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.72 1.54 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.53 1.43 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.54 1.38 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.57 1.44 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.62 1.42 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 20318.72 22016.51 - SmtInterpolCraig.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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 FALSE(valid-deref) 8.07 3.22 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.22 2.97 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 3.71 1.49 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.76 2.81 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 3.70 1.49 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 10.32 4.11 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 3.63 1.45 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 3.82 1.54 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.42 4.49 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.16 3.00 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 3.76 1.46 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 3.68 1.48 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 3.52 1.44 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 3.65 1.50 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 3.58 1.45 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 3.63 1.39 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.54 2.72 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.77 785.04 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 3.84 1.50 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 4.12 1.62 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 3.76 1.53 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 10.54 4.03 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 13.25 5.05 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.46 803.04 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.65 1.49 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 21.01 8.97 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.99 6.83 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.40 7.74 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.58 4.48 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 904.25 819.45 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 20.67 8.60 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 18.98 7.55 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 21.29 8.78 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 21.79 8.83 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 15.16 5.86 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 14.53 5.68 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 3.95 1.57 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 21.52 9.08 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 3.78 1.53 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 3.66 1.58 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 3.89 1.58 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 24.49 16.24 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 11.48 4.57 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.81 1.51 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 48.84 23.82 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 885.06 791.01 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.92 1.56 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.01 1.62 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 20.81 8.70 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 40.94 17.72 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.96 4.65 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.51 1.44 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 23.59 9.93 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 24.16 9.62 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 13.76 5.33 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 20.96 8.89 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.82 1.52 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.48 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 3.79 1.80 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 901.01 777.63 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 10.88 4.12 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 3.87 1.56 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 3.80 1.54 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.49 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 3.65 1.49 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 9.25 3.49 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 900.53 772.76 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR: EXCEPTION) 901.17 766.39 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 900.78 773.90 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 900.61 783.80 None memsafety/test-0137_false-valid-deref.i unknown 5.83 2.32 None memsafety/test-0235_false-valid-deref.i unknown 3.50 1.44 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 900.26 788.18 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 10.37 3.93 None memsafety/test-0232_false-valid-free.i unknown 3.91 1.61 None memsafety/20020406-1_false-valid-memtrack.i unknown 3.88 1.49 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 17.85 6.77 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 3.86 1.51 None memsafety/lockfree-3.2_false-valid-memtrack.i FALSE(valid-memtrack) 12.66 4.59 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 45.12 17.58 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 3.79 1.52 None memsafety/test-0102_false-valid-memtrack.i unknown 3.94 1.54 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 3.48 1.47 None memsafety/test-0220_false-valid-memtrack.i unknown 3.89 1.53 None memsafety/test-0232_false-valid-memtrack.i unknown 3.70 1.49 None memsafety/test-0234_false-valid-memtrack.i unknown 10.21 3.88 None memsafety/test-0235_false-valid-memtrack.i unknown 3.69 1.44 None memsafety/960521-1_true-valid-memsafety.i unknown 3.65 1.49 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 3.78 1.52 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 3.73 1.46 None memsafety/test-0102_true-valid-memsafety.i unknown 3.59 1.43 None memsafety/test-0134_true-valid-memsafety.i unknown 3.74 1.43 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 3.90 1.49 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 3.80 1.52 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 4.03 1.56 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 3.55 1.49 None memsafety/test-0219_true-valid-memsafety.i unknown 9.46 3.78 None memsafety/test-0232_true-valid-memsafety.i unknown 4.38 1.63 None memsafety/test-0234_true-valid-memsafety.i unknown 10.40 4.07 None memsafety/test-0235_true-valid-memsafety.i unknown 3.61 1.50 None memsafety/test-0236_true-valid-memsafety.i unknown 3.64 1.50 None memsafety/test-0237_true-valid-memsafety.i unknown 3.70 1.50 None memsafety/test-0504_true-valid-memsafety.i unknown 3.76 1.51 None memsafety/test-0513_true-valid-memsafety.i unknown 3.74 1.50 None memsafety/test-0521_true-valid-memsafety.i unknown 3.75 1.49 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 3.71 1.71 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 901.66 795.02 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 3.82 1.72 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 3.77 1.57 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 3.84 1.56 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.22 733.09 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 3.82 1.66 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 900.71 747.58 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 3.59 1.47 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 902.10 835.49 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 4.17 2.55 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i FALSE(valid-memtrack) 386.90 306.79 None memsafety-ext2/length_test03_false-valid-memtrack.i unknown 3.55 1.43 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 4.04 1.58 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 901.18 797.95 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.36 797.83 None memsafety-ext2/length_test03_true-valid-memsafety.i OUT OF MEMORY 534.80 456.79 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.76 780.28 None memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 3.96 1.60 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 3.80 1.51 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 900.48 769.73 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 11.98 4.65 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 12.47 4.59 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 9.37 3.57 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 17.93 7.23 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 3.70 1.47 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.58 2.66 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.29 798.55 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 3.69 1.57 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.42 774.93 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 3.70 1.58 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 3.65 1.49 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 3.85 1.53 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 3.47 1.38 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.82 2.34 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 3.56 1.48 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 3.64 1.42 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 3.77 1.47 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 3.72 1.49 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.89 3.27 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 8.54 3.32 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 7.11 2.79 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.03 2.88 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c FALSE(valid-deref) 779.46 686.54 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 3.92 1.56 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.85 2.89 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 3.64 1.46 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.90 2.87 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 4.00 1.55 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 3.63 1.45 None ldv-memsafety/memset_false-valid-deref-write.c unknown 3.86 1.55 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 900.56 801.68 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 850.68 767.81 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 4.02 1.57 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 841.81 763.57 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 3.87 1.57 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 901.32 784.52 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 7.87 3.04 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 8.10 3.08 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 3.92 1.51 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 4.02 1.56 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 90.91 58.71 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 29.56 13.73 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 91.98 58.83 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 92.84 59.43 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 93.42 58.86 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 3.73 1.49 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 56.13 25.23 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 3.66 1.50 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.26 2.51 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 4.05 1.62 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 3.80 1.50 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 6.32 2.52 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 3.70 1.51 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 4.02 1.59 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 11.56 4.27 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 3.71 1.47 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 18.68 7.01 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 12.32 4.42 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 68.20 31.40 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 4.05 1.57 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 4.00 1.59 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i FALSE(valid-memtrack) 54.20 25.85 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 3.82 1.55 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.03 2.67 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 3.82 1.57 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 12.20 4.64 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 3.87 1.53 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 3.64 1.48 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i OUT OF MEMORY 674.07 573.85 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 15.09 5.49 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 3.86 1.56 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 4.03 1.60 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.40 4.00 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 4.03 1.60 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 3.88 1.54 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 3.80 1.51 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 22.67 8.10 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 45.33 17.64 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 3.87 1.54 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 10.53 3.86 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.13 4.10 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 3.65 1.51 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 3.62 1.50 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 3.73 1.51 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 3.83 1.57 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 4.06 1.57 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.48 4.15 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 3.91 1.56 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.42 2.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.75 2.64 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TRUE 63.19 30.40 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 3.80 1.55 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TRUE 236.16 160.98 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 3.43 1.43 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 3.79 1.49 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 3.48 1.50 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i OUT OF MEMORY 606.23 519.10 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 3.75 1.54 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 3.76 1.53 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i TRUE 15.31 5.75 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i TRUE 14.22 5.24 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 4.11 1.61 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 80.93 39.27 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 3.65 1.55 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 3.90 1.57 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.42 2.54 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 12.75 4.80 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 17.36 6.42 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 14.36 5.22 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 3.83 1.47 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 20.26 7.38 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 14.11 5.34 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 13.50 4.89 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.86 1.55 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.86 1.57 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 15.89 6.09 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TRUE 30.47 13.32 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.06 1.64 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.90 1.58 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.98 1.68 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.98 1.57 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.07 1.61 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.97 1.56 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.35 2.50 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 905.58 890.64 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.71 2.35 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 3.65 1.48 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.76 2.39 None heap-manipulation/tree_false-valid-deref.i unknown 3.99 1.56 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 905.54 891.67 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 22.39 8.74 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.64 1.46 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 28.67 12.97 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 4.05 1.68 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 9.44 3.66 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 3.78 1.53 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 3.61 1.44 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 3.69 1.49 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 3.79 1.49 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 3.69 1.44 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.39 2.45 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 3.69 1.46 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.25 2.43 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.46 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 3.64 1.49 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 3.74 1.48 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 3.56 1.47 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 3.58 1.44 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 3.80 1.50 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.18 2.58 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.37 2.46 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.46 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 3.38 1.41 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.69 1.45 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.71 767.74 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.71 1.50 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.46 775.60 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.89 1.52 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 3.74 1.52 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.53 775.10 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 3.82 1.59 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 3.63 1.48 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 3.60 1.47 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.72 1.52 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.73 1.56 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.93 1.56 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.61 1.51 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.56 1.47 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 3.69 1.58 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 3.69 1.54 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 3.64 1.55 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.78 1.55 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 3.63 1.43 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.67 1.52 None loop-acceleration/array3_false-valid-deref.i unknown 3.65 1.47 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 3.64 1.45 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 3.66 1.47 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.72 1.48 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.61 1.46 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.54 1.50 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.57 1.42 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.61 1.49 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.65 1.43 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.65 1.48 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.58 1.46 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.60 1.43 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.74 1.50 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.41 2.65 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.64 1.47 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.59 1.45 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.64 1.46 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.52 1.42 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.73 1.53 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.63 1.44 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.77 1.59 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.61 1.40 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.19 2.64 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.78 1.45 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.77 1.56 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.67 1.50 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 29863.80 13747.07 - SmtInterpolNoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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 3.80 1.57 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 3.80 1.69 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 3.62 1.52 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 3.45 1.45 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 3.74 1.54 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 3.99 1.58 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 3.56 1.41 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.39 2.69 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 3.70 1.48 None array-memsafety/diff_usafe_false-valid-deref.i unknown 3.69 1.48 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 3.68 1.47 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.13 4.48 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 3.67 1.50 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 3.79 1.59 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 3.79 1.52 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 3.61 1.42 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 3.74 1.50 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.46 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 3.79 1.52 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 3.66 1.49 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 3.64 1.50 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 3.56 1.44 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 3.83 1.53 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 3.65 1.51 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.65 1.49 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.50 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.49 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.69 1.58 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 3.69 1.54 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.74 1.49 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.60 1.43 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.43 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.49 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.52 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 22.52 9.20 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.81 1.54 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 4.00 1.63 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 22.59 9.17 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.50 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 17.32 8.75 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.51 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.03 1.61 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 3.94 1.56 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 900.63 776.34 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.47 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 3.82 1.55 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.72 1.53 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.79 1.55 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 25.77 11.95 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.63 1.47 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.45 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.48 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.47 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.55 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 3.61 1.46 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 3.57 1.48 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.77 1.47 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.47 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 3.42 1.46 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.81 1.51 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 3.74 1.49 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 3.66 1.49 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 3.88 1.53 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 58.97 39.98 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 56.93 35.47 None array-examples/relax_false-valid-deref.i unknown 3.98 1.77 None array-examples/sanfoundry_24_false-valid-deref.i unknown 3.59 1.49 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 3.66 1.48 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 3.65 1.47 None memsafety/960521-1_false-valid-deref.i unknown 3.81 1.54 None memsafety/test-0137_false-valid-deref.i unknown 3.62 1.46 None memsafety/test-0235_false-valid-deref.i unknown 3.89 1.52 None memsafety/960521-1_false-valid-free.i unknown 3.57 1.43 None memsafety/test-0158_false-valid-free.i unknown 3.62 1.43 None memsafety/test-0232_false-valid-free.i unknown 5.69 2.26 None memsafety/20020406-1_false-valid-memtrack.i unknown 3.63 1.57 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 3.74 1.49 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 3.67 1.51 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 3.59 1.47 None memsafety/lockfree-3.3_false-valid-memtrack.i FALSE(valid-memtrack) 47.00 19.50 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 3.57 1.42 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.35 2.53 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 3.66 1.49 None memsafety/test-0220_false-valid-memtrack.i unknown 3.69 1.51 None memsafety/test-0232_false-valid-memtrack.i unknown 5.69 2.25 None memsafety/test-0234_false-valid-memtrack.i unknown 3.70 1.44 None memsafety/test-0235_false-valid-memtrack.i unknown 3.71 1.46 None memsafety/960521-1_true-valid-memsafety.i unknown 3.58 1.48 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 3.53 1.47 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 3.69 1.50 None memsafety/test-0102_true-valid-memsafety.i unknown 3.89 1.52 None memsafety/test-0134_true-valid-memsafety.i unknown 3.70 1.55 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 3.71 1.48 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 3.63 1.45 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 3.99 1.55 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.00 2.44 None memsafety/test-0219_true-valid-memsafety.i unknown 3.65 1.49 None memsafety/test-0232_true-valid-memsafety.i unknown 3.75 1.48 None memsafety/test-0234_true-valid-memsafety.i unknown 3.74 1.56 None memsafety/test-0235_true-valid-memsafety.i unknown 3.86 1.57 None memsafety/test-0236_true-valid-memsafety.i unknown 3.69 1.55 None memsafety/test-0237_true-valid-memsafety.i unknown 3.98 1.59 None memsafety/test-0504_true-valid-memsafety.i unknown 3.47 1.42 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.11 842.92 None memsafety/test-0521_true-valid-memsafety.i unknown 3.60 1.47 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 3.68 1.48 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 3.65 1.44 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 3.65 1.44 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 3.80 1.51 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 901.53 854.70 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 3.64 1.46 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 3.63 1.45 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 3.55 1.50 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 3.64 1.47 None memsafety-ext2/split_list_test05_false-valid-deref.i unknown 3.56 1.45 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 3.54 1.45 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 3.50 1.46 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 901.06 861.72 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 3.62 1.43 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 3.60 1.48 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 3.54 1.44 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 573.94 542.22 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 3.37 1.37 None memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 3.64 1.44 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 3.71 1.45 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 3.73 1.50 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 3.48 1.40 None list-ext-properties/960521-1_1_false-valid-free.i unknown 3.75 1.50 None list-ext-properties/test-0158_1_false-valid-free.i unknown 3.63 1.47 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 3.64 1.50 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 3.65 1.46 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 3.70 1.48 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 3.60 1.45 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 3.54 1.43 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.03 810.29 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 3.75 1.49 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 3.73 1.52 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 3.79 1.52 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.25 2.40 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 3.64 1.44 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 3.45 1.37 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 3.75 1.47 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 3.66 1.46 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 3.69 1.47 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 3.80 1.49 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 3.76 1.55 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 3.82 1.53 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 3.68 1.43 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 3.74 1.55 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 3.68 1.51 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 3.68 1.44 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 3.82 1.50 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 3.65 1.46 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 3.86 1.53 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 3.70 1.52 None ldv-memsafety/memset_false-valid-deref-write.c unknown 3.61 1.49 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 3.69 1.47 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 3.75 1.47 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 3.60 1.48 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 3.55 1.44 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 3.62 1.41 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 3.59 1.46 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown 3.51 1.42 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown 3.58 1.45 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.90 2.90 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 3.74 1.48 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 3.74 1.52 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 3.62 1.51 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 3.75 1.52 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 3.87 1.51 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 4.24 1.72 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 3.73 1.49 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 639.33 606.09 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 3.44 1.40 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 3.72 1.46 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 3.31 1.41 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 3.41 1.37 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 3.59 1.50 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 3.58 1.42 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 3.56 1.47 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 3.42 1.39 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 3.54 1.43 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 3.39 1.39 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 3.70 1.45 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 3.45 1.36 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 3.63 1.52 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 3.49 1.42 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 3.33 1.40 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 3.49 1.41 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 3.50 1.42 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 3.44 1.44 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 3.40 1.38 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 3.64 1.45 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 3.45 1.37 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 3.47 1.41 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 58.90 50.05 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 901.67 857.37 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 3.54 1.45 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 9.86 3.63 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 3.65 1.44 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 3.48 1.38 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 3.56 1.44 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 3.73 1.60 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 3.60 1.45 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 3.59 1.41 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 3.62 1.45 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 3.53 1.39 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 3.56 1.42 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 3.49 1.41 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 3.66 1.49 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 3.65 1.49 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 3.61 1.53 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 3.45 1.41 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 3.57 1.49 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 3.54 1.40 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 3.73 1.46 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 3.89 1.51 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 3.75 1.48 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 3.52 1.39 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 3.48 1.43 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 3.61 1.42 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 3.76 1.46 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 3.64 1.47 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 3.58 1.47 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 3.52 1.44 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 4.08 1.60 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 3.64 1.47 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 3.54 1.45 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 3.50 1.40 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 3.61 1.41 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 3.52 1.41 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 3.60 1.49 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 3.57 1.45 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 3.66 1.43 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 3.62 1.41 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 3.51 1.46 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 3.51 1.42 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 3.62 1.49 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 3.48 1.37 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.55 1.45 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.84 1.55 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.62 1.44 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.78 1.49 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.85 1.60 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.86 1.55 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.76 1.53 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.70 1.49 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.62 1.43 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.76 1.48 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 3.70 1.45 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 3.50 1.43 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 3.61 1.45 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 3.54 1.44 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 3.47 1.40 None heap-manipulation/tree_false-valid-deref.i unknown 3.73 1.52 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 3.65 1.44 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE(valid-memtrack) 26.07 10.06 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.51 1.37 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.56 1.39 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 3.54 1.38 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 3.55 1.38 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 3.50 1.41 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 3.72 1.50 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 3.64 1.46 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 3.48 1.36 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.29 2.43 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 3.56 1.42 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 3.22 1.38 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 3.60 1.42 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 3.76 1.55 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 3.60 1.44 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 3.54 1.40 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.51 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 3.52 1.39 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 3.54 1.41 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 3.53 1.49 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 3.56 1.43 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 3.55 1.40 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 3.52 1.38 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 902.61 843.86 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.73 1.53 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.62 1.46 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.66 1.47 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.73 1.45 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 3.62 1.47 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 901.29 847.63 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 3.58 1.44 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 3.61 1.41 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 3.60 1.43 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.59 1.42 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.53 1.43 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.60 1.51 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.60 1.45 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.76 1.49 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 3.72 1.51 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 3.84 1.54 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 3.59 1.43 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.64 1.46 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 3.65 1.43 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.86 1.56 None loop-acceleration/array3_false-valid-deref.i unknown 3.64 1.47 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 3.69 1.42 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 3.62 1.43 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.68 1.47 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.66 1.46 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.57 3.27 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.61 1.44 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.05 3.36 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.57 1.44 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.72 1.50 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.67 1.44 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.62 3.30 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.54 1.41 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.55 1.42 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.58 1.46 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.73 1.48 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.57 2.66 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.62 1.47 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.61 1.44 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.70 1.49 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.66 1.48 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.64 1.41 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.70 1.51 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 4.16 1.59 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.77 1.55 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.43 2.61 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 8402.10 4594.94 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -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 3.81 1.54 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 3.84 1.55 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 3.77 1.49 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 3.78 1.49 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 3.75 1.55 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 3.43 1.50 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 3.71 1.50 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 3.86 1.56 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 3.82 1.54 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.32 3.08 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 3.75 1.52 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 3.62 1.48 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 3.75 1.55 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 3.77 1.55 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 3.73 1.48 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 3.72 1.51 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 3.67 1.51 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 3.88 1.55 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.48 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.54 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.44 3.63 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.49 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.09 3.48 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 3.80 1.56 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.55 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.46 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.06 1.60 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.62 3.40 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.01 3.80 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.58 1.48 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.67 1.48 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 3.69 1.49 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 3.78 1.52 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.59 1.50 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 3.65 1.51 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.52 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.47 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 3.64 1.46 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 3.60 1.45 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 3.66 1.50 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 3.67 1.55 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.64 1.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.48 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.63 1.45 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 3.72 1.49 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.52 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.64 1.45 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.68 1.52 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.79 1.52 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.48 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 3.71 1.49 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.61 1.44 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.54 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.06 1.60 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 3.69 1.50 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.48 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 3.38 1.41 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.44 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 3.60 1.47 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.64 1.42 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 3.79 1.51 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.12 3.52 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 3.82 1.51 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.46 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.18 3.60 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 10.51 4.04 None array-examples/sanfoundry_24_false-valid-deref.i unknown 3.78 1.48 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 3.73 1.51 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 3.65 1.51 None memsafety/960521-1_false-valid-deref.i unknown 3.57 1.41 None memsafety/test-0137_false-valid-deref.i unknown 3.56 1.50 None memsafety/test-0235_false-valid-deref.i unknown 3.71 1.50 None memsafety/960521-1_false-valid-free.i unknown 3.78 1.50 None memsafety/test-0158_false-valid-free.i unknown 3.70 1.50 None memsafety/test-0232_false-valid-free.i unknown 3.71 1.48 None memsafety/20020406-1_false-valid-memtrack.i unknown 3.57 1.49 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 3.83 1.49 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 3.73 1.57 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 3.69 1.47 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 3.77 1.53 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 3.77 1.49 None memsafety/test-0102_false-valid-memtrack.i unknown 3.82 1.53 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 3.73 1.58 None memsafety/test-0220_false-valid-memtrack.i unknown 3.82 1.55 None memsafety/test-0232_false-valid-memtrack.i unknown 6.02 2.47 None memsafety/test-0234_false-valid-memtrack.i unknown 3.82 1.53 None memsafety/test-0235_false-valid-memtrack.i unknown 3.91 1.52 None memsafety/960521-1_true-valid-memsafety.i unknown 3.63 1.51 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 3.72 1.46 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.73 4.17 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 6.26 2.54 None memsafety/test-0134_true-valid-memsafety.i unknown 3.84 1.53 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 3.80 1.53 None memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 3.79 1.55 None memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 3.69 1.51 None memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 3.69 1.52 None memsafety/test-0219_true-valid-memsafety.i unknown 3.64 1.48 None memsafety/test-0232_true-valid-memsafety.i unknown 3.88 1.53 None memsafety/test-0234_true-valid-memsafety.i unknown 3.52 1.48 None memsafety/test-0235_true-valid-memsafety.i unknown 3.72 1.49 None memsafety/test-0236_true-valid-memsafety.i unknown 3.72 1.66 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 900.98 790.69 None memsafety/test-0504_true-valid-memsafety.i unknown 3.63 1.48 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 16.07 6.12 None memsafety/test-0521_true-valid-memsafety.i unknown 3.68 1.49 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 3.62 1.51 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 11.09 4.06 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 3.59 1.43 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 3.77 1.52 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 3.62 1.41 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 3.69 1.45 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 3.55 1.42 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 3.64 1.43 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 3.57 1.50 None memsafety-ext2/split_list_test05_false-valid-deref.i unknown 3.69 1.44 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 3.82 1.54 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 3.56 1.42 None memsafety-ext2/length_test03_false-valid-memtrack.i unknown 3.46 1.42 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 3.42 1.37 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 3.48 1.39 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 3.66 1.47 None memsafety-ext2/length_test03_true-valid-memsafety.i unknown 3.69 1.49 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 3.60 1.48 None memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 3.43 1.43 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 3.63 1.47 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 3.82 1.46 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 3.49 1.35 None list-ext-properties/960521-1_1_false-valid-free.i unknown 3.60 1.45 None list-ext-properties/test-0158_1_false-valid-free.i unknown 3.58 1.45 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 3.71 1.46 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 3.46 1.43 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 3.52 1.41 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 3.42 1.38 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 3.46 1.43 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 3.47 1.45 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 3.46 1.42 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 3.83 1.50 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 3.59 1.42 None list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 3.55 1.49 None list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 3.60 1.45 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 3.51 1.41 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 3.52 1.42 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 3.46 1.44 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 3.60 1.43 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 3.50 1.41 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 3.47 1.38 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 3.69 1.50 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 3.62 1.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 7.50 3.09 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 8.40 3.45 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 3.46 1.41 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 3.45 1.40 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 3.43 1.39 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 3.45 1.39 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 3.47 1.38 None ldv-memsafety/memset_false-valid-deref-write.c unknown 3.73 1.45 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 3.46 1.41 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 3.45 1.37 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 3.46 1.40 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 3.44 1.38 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 3.57 1.49 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 3.55 1.43 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown 3.50 1.41 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown 3.58 1.43 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 3.44 1.39 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 34.67 21.67 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 3.49 1.39 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 3.46 1.40 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 136.40 107.51 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 3.56 1.42 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 141.87 110.36 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 3.54 1.45 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 3.58 1.45 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 3.66 1.46 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 3.71 1.48 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 3.63 1.45 None ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 3.64 1.49 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 3.75 1.52 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 3.58 1.46 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 3.65 1.41 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 3.55 1.41 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 3.75 1.51 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 3.62 1.49 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 3.66 1.50 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 3.83 1.51 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 3.49 1.44 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 3.83 1.51 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 3.69 1.49 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 3.63 1.48 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 3.70 1.48 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 3.82 1.63 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 3.78 1.46 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 3.70 1.49 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 3.59 1.44 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 3.39 1.44 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 3.82 1.49 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 3.54 1.43 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 3.63 1.45 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 3.65 1.46 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 3.57 1.47 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 3.70 1.52 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 3.64 1.49 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 3.57 1.39 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 3.68 1.50 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 3.78 1.50 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 3.60 1.45 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 3.63 1.52 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 3.67 1.44 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 3.70 1.48 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 13.22 4.96 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 3.61 1.42 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 3.62 1.41 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i FALSE(valid-memtrack) 11.57 4.20 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 3.75 1.49 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.20 2.46 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 3.77 1.46 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 3.65 1.47 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 3.81 1.50 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 3.79 1.48 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 3.70 1.49 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 3.57 1.39 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 3.72 1.47 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 3.75 1.54 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 3.95 1.64 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 3.66 1.49 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 3.70 1.45 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 3.68 1.45 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 3.54 1.47 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 3.58 1.49 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 3.80 1.47 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 3.92 1.52 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 3.76 1.48 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 3.75 1.45 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 3.64 1.44 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 3.77 1.51 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 3.60 1.46 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 3.81 1.50 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 3.54 1.42 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 3.68 1.45 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.70 1.51 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.69 1.49 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.69 1.45 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.63 1.43 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.66 1.49 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.66 1.46 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i ERROR: EXCEPTION 14.14 5.86 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.64 1.49 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.72 1.47 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.64 1.49 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 3.84 1.54 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 3.75 1.51 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 3.64 1.43 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 3.66 1.54 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 3.60 1.40 None heap-manipulation/tree_false-valid-deref.i unknown 3.52 1.37 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 3.82 1.52 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 3.76 1.44 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.81 1.53 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.54 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 3.94 1.50 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 3.71 1.50 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 3.71 1.54 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 3.71 1.68 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 3.65 1.42 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 3.57 1.43 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 3.70 1.49 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 3.51 1.40 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 3.62 1.44 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 3.69 1.45 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 3.76 1.48 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 3.61 1.43 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 3.71 1.43 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 3.65 1.48 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 3.66 1.44 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 3.94 1.52 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 3.86 1.54 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 3.58 1.39 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 3.68 1.46 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 3.68 1.48 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.74 1.51 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.67 1.49 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.53 1.38 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.65 1.48 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.48 1.47 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 3.61 1.44 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 3.67 1.49 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 3.85 1.51 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 3.74 1.46 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 3.56 1.38 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 3.82 1.54 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.65 1.51 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 3.45 1.38 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 3.68 1.44 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 3.59 1.46 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 3.65 1.47 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.51 4.82 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 3.95 1.58 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.63 1.48 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 3.55 1.44 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 3.54 1.42 None loop-acceleration/array3_false-valid-deref.i unknown 3.59 1.47 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 3.58 1.58 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 3.63 1.50 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.73 1.53 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.77 3.94 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.86 1.52 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.44 1.40 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.52 1.45 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.62 1.46 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.58 1.38 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.58 1.48 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.62 3.21 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.72 1.51 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.72 1.50 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.39 1.39 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.65 1.51 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.68 1.47 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.66 1.50 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.50 1.51 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.63 2.66 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.69 1.50 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.46 1.47 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.57 1.48 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.42 1.43 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.47 1.43 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.66 1.45 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 1978.96 884.87 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304