BENCHMARK INFORMATION benchmark definition: ../benchexec/smtinterpol-cav18-memsafety-32.xml name: smtinterpol-cav18-memsafety-32 run sets: Camel.32bitMem, SmtInterpol.32bitMem, SmtInterpol-NoArray.32bitMem, z3.32bitMem date: Fri, 2018-02-02 08:39:56 CET tool: ULTIMATE Automizer 0.1.23-26d9e06f tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 90 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: hetzner os: Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial cpu: Intel Core i7-4770 CPU @ 3.40GHz - cores: 8 - max frequency: 3900.0 MHz - turbo boost enabled: True ram: 33593.495552 MB ------------------------------------------------------------ Camel.32bitMem Run set 1 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-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) 5.77 4.36 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.06 4.00 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.11 2.49 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.90 2.30 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 11.81 5.54 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.14 3.41 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.94 2.04 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.17 2.08 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 11.92 5.03 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.69 2.47 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 6.80 2.67 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 12.23 4.81 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.47 2.74 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.09 2.81 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.83 2.66 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.49 2.62 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.09 2.37 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 91.07 57.90 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 8.90 3.81 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 9.89 3.91 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 9.60 3.74 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 9.71 3.65 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 12.08 5.24 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.69 65.09 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 11.45 5.04 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 25.40 13.77 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.76 7.24 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 24.89 12.50 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.42 4.94 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.17 81.11 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 32.54 20.94 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 21.68 10.27 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 42.67 25.23 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 51.54 35.94 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 17.06 6.87 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 12.78 5.53 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 10.57 3.96 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 24.28 11.75 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 11.18 4.99 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 12.48 5.46 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 12.00 5.42 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 18.46 10.81 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 11.23 4.63 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 15.35 7.14 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 71.97 42.62 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.41 66.48 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 23.04 11.89 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 14.35 6.34 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 29.19 18.40 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 43.16 22.82 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.15 5.00 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.60 66.71 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 28.60 14.60 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 28.72 14.23 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 12.84 5.61 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 29.22 18.00 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 29.88 16.61 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.80 74.42 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.32 13.00 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 11.33 4.67 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 10.39 4.16 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 10.14 4.06 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 15.89 8.65 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 27.12 14.10 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 79.24 56.26 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 6.25 2.56 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 90.71 59.08 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 90.62 59.47 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 90.93 54.77 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 91.26 69.78 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 91.06 63.23 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 91.77 79.44 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 95.51 65.70 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.66 3.54 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 80.41 48.83 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.58 64.40 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.52 58.91 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 38.62 14.36 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.86 4.41 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 57.67 25.02 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.48 4.37 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.88 60.94 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.97 2.94 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.43 1.73 None memsafety/test-0232_false-valid-memtrack.i UNKNOWN: OverapproxCex 21.60 9.43 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.55 82.45 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.59 80.94 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 96.08 83.68 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.84 44.00 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.24 5.88 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.80 62.76 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.06 51.03 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.54 3.04 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.42 1.97 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.26 1.86 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.37 1.96 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 3.97 1.93 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.91 59.73 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.74 80.59 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 94.19 82.61 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.76 80.20 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.33 81.67 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.36 58.39 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.61 64.72 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.92 60.61 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.94 78.93 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.43 53.60 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.21 2.07 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.31 1.95 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 92.51 76.09 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 91.79 74.12 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.13 72.59 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 91.15 64.04 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 90.91 67.14 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 90.78 62.18 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.80 40.22 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.88 49.07 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.73 64.75 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.79 53.20 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.25 43.37 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.08 45.87 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.17 62.65 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.34 57.37 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.17 68.01 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 10.94 4.30 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 91.16 61.36 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 9.10 3.79 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 15.29 6.86 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.99 3.18 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.73 10.63 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.19 2.69 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 20.66 8.24 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.16 62.25 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.44 57.89 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.01 60.36 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.18 63.39 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 24.03 11.95 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 7.92 3.09 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.36 1.79 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.37 1.77 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.13 58.21 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.57 65.25 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.03 57.72 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.76 4.48 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.69 2.82 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.33 3.00 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.73 2.57 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.57 2.23 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 90.44 50.55 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 90.76 51.99 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.40 2.62 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.78 2.80 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.44 2.21 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.47 2.43 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.38 2.29 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.72 2.57 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 95.41 56.67 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 9.79 3.99 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 11.31 4.81 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 10.17 3.83 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 13.00 5.00 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 11.09 4.20 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.44 1.94 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.35 1.95 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.70 2.14 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 7.33 2.85 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 7.50 3.19 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 7.29 2.91 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 7.78 3.12 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 7.23 3.28 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 7.18 2.79 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.27 1.96 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 93.21 71.29 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 90.74 66.53 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.12 2.15 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.12 1.59 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.32 1.94 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 91.28 74.97 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 92.87 79.21 None ldv-memsafety/memleaks_test19_false-valid-free.i TIMEOUT (ERROR (143)) 91.80 66.51 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.90 2.65 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 5.02 2.03 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 14.37 5.48 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.16 2.70 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 92.26 72.79 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.00 1.57 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.09 1.62 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.09 1.66 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.10 1.64 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.23 1.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.15 65.07 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.18 1.69 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.16 1.58 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 94.31 81.27 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 92.47 75.90 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 54.68 47.39 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 90.78 76.27 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 74.32 60.60 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.28 2.14 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.17 1.66 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.01 1.52 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 70.28 47.47 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 36.19 21.24 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 76.46 52.18 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.72 2.95 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.82 2.22 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.12 2.73 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.42 4.57 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.61 4.17 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.84 4.04 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.89 2.25 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.86 2.52 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.46 2.12 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.08 70.50 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.26 1.64 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.46 74.67 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.00 1.60 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.11 1.61 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.84 74.26 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.18 1.67 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.86 78.25 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.51 82.64 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.03 75.16 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 89.10 59.95 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.48 2.77 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.53 1.74 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.23 1.67 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.69 65.64 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.01 61.32 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.24 55.47 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.25 1.71 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.31 1.65 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.19 2.93 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 12.63 4.78 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.77 3.77 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 16.47 6.78 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 15.27 5.92 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.33 3.01 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 8.87 3.22 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.95 1.63 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.88 1.52 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.68 1.54 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.84 1.53 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.01 1.60 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.80 1.50 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.89 1.54 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.93 1.62 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.92 1.50 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.82 1.57 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.09 61.85 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.18 1.66 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.17 60.54 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 3.78 1.56 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.10 1.62 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.06 1.64 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.96 75.49 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 24.86 9.39 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 44.04 21.28 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 40.03 20.10 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.29 60.76 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.08 2.67 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.43 4.10 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.93 2.92 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.65 3.94 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.45 2.83 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.40 1.69 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.47 1.72 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.34 1.69 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.69 1.85 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.31 1.76 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.67 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.59 1.78 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.70 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.49 1.69 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.74 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.32 1.87 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.77 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.54 1.70 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 44.52 20.87 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.49 73.40 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 30.81 13.00 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.84 53.21 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.51 56.37 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.51 59.52 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.73 59.98 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.36 61.39 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.47 65.15 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 68.52 43.52 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.45 65.26 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.16 53.07 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.92 10.11 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.14 53.00 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.15 58.67 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.39 56.95 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.65 56.89 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.17 59.52 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.96 56.54 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 75.52 45.28 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 30.95 12.11 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 48.60 25.65 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 90.42 55.02 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.34 1.94 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.74 1.88 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.49 3.08 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.40 2.97 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.84 2.56 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.02 2.58 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.55 2.42 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.56 2.67 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.35 2.67 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.73 2.23 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.28 2.42 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.01 2.28 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.88 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.09 1.97 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.13 2.02 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.80 1.96 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.08 2.05 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.93 1.97 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.97 1.99 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.02 2.12 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.85 2.00 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.85 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.75 1.87 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.95 1.92 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.42 1.75 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 8719.65 3967.01 - SmtInterpol.32bitMem Run set 2 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-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) 6.03 2.33 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.40 2.11 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.02 2.33 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.98 1.99 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 10.30 4.13 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.21 3.10 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.93 1.94 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 5.04 1.98 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 9.53 3.72 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.64 2.20 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.36 2.87 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 11.52 4.35 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.32 2.05 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.19 2.69 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 7.10 2.60 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.40 2.16 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.98 1.99 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.74 54.60 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 8.30 3.12 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 8.76 3.26 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 8.65 3.23 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 8.48 3.15 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 10.73 3.96 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.70 52.31 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 10.64 4.19 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.26 8.30 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 13.53 5.64 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 16.97 6.91 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 9.82 3.80 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.36 53.94 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 17.47 7.62 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 17.63 7.37 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 18.42 7.96 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 18.71 7.87 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 13.35 4.97 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 12.41 4.80 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 9.19 3.35 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 19.22 8.30 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.90 1.97 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 10.63 4.10 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 9.65 4.00 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 16.56 8.86 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 9.27 3.74 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.40 4.85 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 51.47 25.48 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.09 56.03 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.44 7.95 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 12.23 4.88 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 17.95 7.35 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 49.66 21.52 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.13 3.99 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.24 55.35 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 19.42 7.79 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 19.93 8.45 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 11.82 4.48 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 18.33 7.68 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 19.22 8.59 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.72 49.34 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 10.59 4.12 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 91.04 60.18 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 8.29 3.13 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 8.35 3.14 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 10.56 3.97 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 20.96 8.94 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TRUE 25.32 11.84 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 6.00 2.35 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 91.57 55.04 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 90.21 57.87 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 90.89 56.86 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 90.16 58.38 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 45.37 21.81 None memsafety/test-0235_false-valid-deref.i unknown 8.88 3.43 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 90.31 58.04 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 7.77 2.83 None memsafety/test-0232_false-valid-free.i FALSE(valid-free) 71.31 39.81 None memsafety/20020406-1_false-valid-memtrack.i UNKNOWN: OverapproxCex 81.02 38.34 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.95 46.04 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 45.29 16.11 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.10 3.94 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 54.17 21.94 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.77 4.13 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 91.93 51.92 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.02 2.40 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.31 1.66 None memsafety/test-0232_false-valid-memtrack.i UNKNOWN: OverapproxCex 18.31 7.36 None memsafety/test-0234_false-valid-memtrack.i unknown 8.05 3.04 None memsafety/test-0235_false-valid-memtrack.i unknown 8.08 3.00 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.57 58.03 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.31 38.36 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 12.60 5.23 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 93.28 51.63 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 92.16 50.92 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 7.66 2.87 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.36 1.65 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.08 1.60 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.22 1.68 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.23 1.65 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.43 54.59 None memsafety/test-0234_true-valid-memsafety.i unknown 7.65 2.93 None memsafety/test-0235_true-valid-memsafety.i unknown 8.73 3.20 None memsafety/test-0236_true-valid-memsafety.i unknown 8.27 3.16 None memsafety/test-0237_true-valid-memsafety.i unknown 8.19 2.99 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 54.10 24.87 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 56.52 26.96 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.12 53.41 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TRUE 20.95 8.78 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.98 55.81 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 3.78 1.52 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 3.82 1.61 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 91.59 50.56 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 90.19 50.37 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 76.02 43.66 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR: EXCEPTION) 90.85 52.13 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 90.44 52.39 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 95.32 68.72 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.78 38.69 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.41 46.86 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.07 57.53 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.67 49.45 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.17 48.23 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.63 45.54 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.00 59.12 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.43 51.94 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 97.21 64.32 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 9.45 3.51 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 90.60 52.72 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 8.87 3.58 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 11.32 4.52 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 7.45 2.76 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.35 9.88 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.16 2.49 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.49 6.62 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.75 56.17 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.15 55.10 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.88 53.27 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.74 53.92 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 23.80 11.45 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 7.57 2.94 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.26 1.70 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.30 1.60 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 83.31 51.45 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 17.95 6.62 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 69.97 35.29 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 10.91 4.19 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 6.69 2.64 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 7.39 2.85 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.50 2.25 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.34 2.25 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 90.63 52.61 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 90.60 53.80 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.29 2.15 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.22 2.18 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.22 2.14 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.39 2.28 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.20 2.19 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.38 2.23 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 91.55 52.30 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 91.18 58.01 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 90.71 54.01 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 91.10 57.31 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 91.07 50.61 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 90.13 52.53 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 3.89 1.63 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.14 1.68 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.14 1.70 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 28.75 13.68 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TIMEOUT (TRUE) 90.11 59.55 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 28.91 13.11 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 87.60 58.40 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TIMEOUT (TRUE) 90.31 58.78 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TIMEOUT (TRUE) 90.46 58.72 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.13 1.69 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i FALSE(valid-deref) 47.41 22.55 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i FALSE(valid-deref) 52.03 24.39 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.43 1.81 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.41 1.71 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.35 1.70 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 90.83 51.29 None ldv-memsafety/memleaks_test17_2_false-valid-free.i FALSE(valid-free) 76.18 39.08 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 45.66 19.54 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.96 2.70 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 5.07 2.02 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 14.39 5.55 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.61 2.92 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 62.18 29.11 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.41 1.74 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.40 1.68 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.38 1.73 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.01 1.67 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.29 1.65 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 90.38 51.62 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.10 1.68 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.16 1.63 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 87.18 43.53 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR: EXCEPTION) 91.57 46.16 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.59 3.95 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 91.86 49.81 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 18.11 6.96 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.75 2.27 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.18 1.66 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.24 1.64 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 38.91 15.45 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 18.73 6.57 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 37.55 15.03 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.67 2.94 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.79 2.29 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.30 2.77 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.12 4.53 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.32 4.42 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.09 4.14 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.90 2.35 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.09 2.71 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.85 2.27 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR: EXCEPTION) 90.63 50.72 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.29 1.63 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.82 50.25 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.33 1.70 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.15 1.64 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.96 47.50 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.01 1.63 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 85.93 43.68 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.61 38.42 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 92.16 51.00 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i TRUE 47.28 20.47 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 7.41 2.77 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.19 1.68 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.31 1.67 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TRUE 58.59 28.08 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TRUE 81.75 44.55 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.73 46.39 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.41 1.67 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.43 1.75 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 8.36 3.07 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 11.02 4.08 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 9.42 3.54 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 15.17 5.96 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 14.99 5.60 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 8.54 3.13 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 9.29 3.34 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.07 1.66 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.87 1.55 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.77 1.46 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.70 1.53 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.71 1.51 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.86 1.56 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.70 1.50 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.67 1.52 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.73 1.50 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.84 1.53 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.63 57.13 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.25 1.68 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.11 48.56 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.14 1.70 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.06 1.66 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.22 1.68 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 71.85 36.46 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 21.21 8.52 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 32.32 14.27 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 28.38 12.09 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.93 56.74 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.26 2.70 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.96 3.92 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.78 2.93 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.71 3.44 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.44 2.70 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.54 1.72 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.44 1.75 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.62 1.75 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.69 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.06 1.64 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.63 1.79 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.67 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.10 1.59 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.69 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.42 1.71 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.50 1.72 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.60 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.42 1.65 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 36.37 16.56 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.35 52.71 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.85 10.51 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.84 52.32 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 90.35 54.24 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.08 54.24 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.50 54.03 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.90 56.36 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.34 52.14 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 34.06 14.99 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.29 55.62 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.27 50.92 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.72 8.24 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.72 52.15 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.39 55.45 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.21 54.16 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.33 53.28 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 90.56 57.48 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 90.41 52.62 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 40.06 19.45 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 24.69 10.14 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 29.23 13.66 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 91.20 59.97 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.18 1.84 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.22 1.60 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.36 2.97 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.32 2.86 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.74 2.45 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.12 2.85 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.68 2.42 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.50 2.78 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.53 2.64 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.51 2.12 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.92 2.25 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.39 2.34 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.88 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.56 1.85 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.54 1.84 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.67 1.93 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.73 1.86 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.85 1.86 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.74 1.90 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.84 1.93 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.80 1.89 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.58 1.82 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.52 1.88 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.68 1.88 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.32 1.67 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 10812.05 2970.55 - SmtInterpol-NoArray.32bitMem Run set 3 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-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 FALSE(valid-deref) 6.17 2.36 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.46 2.19 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 5.86 2.32 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.80 1.95 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 9.99 3.92 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 8.23 3.17 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.93 2.01 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.77 1.93 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 6.62 2.51 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 5.83 2.22 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.40 2.05 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.31 2.09 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 5.16 2.04 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 7.08 2.73 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.43 2.47 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.53 2.25 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 5.26 2.31 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.18 2.77 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.00 3.08 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.82 3.34 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.54 3.30 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.28 3.06 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.45 3.84 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.86 2.34 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.30 3.20 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.19 2.02 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.72 2.80 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.28 2.08 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.34 3.53 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.35 2.46 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.20 2.08 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.78 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.37 1.99 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.16 2.02 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.22 2.02 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.89 2.88 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.13 3.04 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.56 2.13 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.93 2.00 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.69 3.59 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.90 3.26 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.10 3.84 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.13 2.77 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.68 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.71 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.66 2.22 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.24 2.10 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.71 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.33 2.05 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.22 2.02 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.28 3.27 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.40 2.50 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.09 2.05 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.52 2.99 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.87 3.63 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.05 2.08 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.43 2.06 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.87 2.22 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.53 3.83 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.41 3.50 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.53 3.28 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.64 3.28 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.79 3.34 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.15 2.07 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.95 2.01 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.98 2.37 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 91.03 56.16 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 90.19 58.24 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 90.76 56.95 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 6.51 2.53 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 8.26 3.15 None memsafety/test-0235_false-valid-deref.i unknown 8.29 3.04 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 6.44 2.44 None memsafety/test-0158_false-valid-free.i ERROR: EXCEPTION 5.11 1.99 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 6.65 2.59 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 8.18 3.06 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 7.46 2.85 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 44.20 15.54 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.25 3.63 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 54.99 21.04 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.38 2.12 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 8.81 3.33 None memsafety/test-0158_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.21 2.09 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.10 1.58 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 6.85 2.50 None memsafety/test-0234_false-valid-memtrack.i unknown 8.05 3.02 None memsafety/test-0235_false-valid-memtrack.i unknown 8.02 2.93 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.47 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.29 39.03 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.33 2.07 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 9.30 3.63 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 8.56 3.29 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.22 2.12 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.34 1.68 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.38 1.69 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.35 1.73 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.19 1.66 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 6.41 2.53 None memsafety/test-0234_true-valid-memsafety.i unknown 7.66 2.97 None memsafety/test-0235_true-valid-memsafety.i unknown 8.14 2.99 None memsafety/test-0236_true-valid-memsafety.i unknown 8.26 3.12 None memsafety/test-0237_true-valid-memsafety.i unknown 7.69 2.87 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 7.45 2.80 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 9.69 3.75 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 14.26 5.56 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.22 3.04 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 9.65 3.69 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.16 1.65 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.28 1.70 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.68 3.64 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.09 3.80 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 8.47 3.16 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.47 4.02 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.40 4.04 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 10.47 4.01 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 7.69 2.88 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 7.62 2.85 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 9.17 3.51 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.67 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 7.86 2.92 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 7.66 2.98 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 9.64 3.47 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 7.10 2.64 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 10.51 3.92 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 6.38 2.52 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 11.69 4.55 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.46 2.84 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 6.53 2.55 None list-ext-properties/test-0158_1_false-valid-free.i ERROR: EXCEPTION 5.31 2.05 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.48 2.08 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.24 2.02 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.92 2.61 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 6.81 2.55 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 9.71 3.74 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 7.44 3.00 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 10.66 4.17 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.40 2.06 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.14 2.13 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.30 1.58 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.26 1.65 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.81 2.56 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 7.87 2.93 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 12.05 4.69 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 5.53 2.33 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 7.35 2.84 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 6.03 2.59 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 5.62 2.25 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 5.61 2.18 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 90.28 55.03 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR: EXCEPTION) 90.85 55.20 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.23 2.13 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.12 2.07 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.05 2.05 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.31 2.16 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 5.12 2.02 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.00 2.07 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 7.34 2.73 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 91.10 58.30 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR: EXCEPTION) 90.61 53.19 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 91.12 57.95 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 91.08 50.47 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 90.32 51.06 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.31 1.78 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.20 1.63 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.53 1.83 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 28.32 13.33 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 88.67 58.24 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 27.52 13.15 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 86.08 56.84 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 88.32 58.10 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TIMEOUT (ERROR: EXCEPTION) 90.29 58.80 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.12 1.67 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 26.66 9.95 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 28.59 10.82 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.14 1.62 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.28 1.65 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.14 1.61 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 9.37 3.43 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 14.33 5.16 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.54 2.81 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 6.68 2.67 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 5.38 2.13 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 9.18 3.49 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 7.56 2.90 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.33 3.58 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.47 1.70 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.17 1.64 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.29 1.62 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.09 1.58 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.09 1.61 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.59 2.89 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.12 1.61 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.94 1.56 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 17.20 6.10 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 16.53 6.07 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.80 2.92 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.50 2.92 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.52 3.15 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.81 2.35 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.39 1.73 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.36 1.76 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 31.40 11.64 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 18.44 7.07 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 32.01 11.99 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.72 2.82 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.52 2.28 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.93 2.66 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.75 3.16 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.13 3.02 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.90 2.61 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.71 2.26 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.13 2.59 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 5.66 2.20 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.11 3.85 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.35 1.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 10.74 3.92 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.51 1.84 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.21 1.78 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.06 3.77 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.26 1.73 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.71 5.96 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.63 4.23 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.49 3.09 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.80 2.97 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.78 2.64 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.17 1.67 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 3.92 1.62 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 27.23 10.07 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 32.17 12.23 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 33.96 12.68 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.52 1.76 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.34 1.65 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.10 2.98 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.07 3.01 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.66 3.16 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.79 3.26 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.06 2.95 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.93 2.94 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.00 2.90 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.77 1.52 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.73 1.51 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.61 1.41 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.87 1.51 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.90 1.54 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.79 1.49 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.92 1.54 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.82 1.58 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.80 1.54 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.74 1.49 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.23 3.28 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.19 1.68 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 13.15 5.50 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.39 1.87 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 4.38 1.74 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.10 1.75 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.95 3.14 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.92 3.31 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.46 2.86 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.50 2.73 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.73 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 6.92 2.61 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.70 4.19 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.81 2.93 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.29 3.50 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 7.52 2.84 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.57 1.73 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.67 1.69 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.69 1.78 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.44 1.64 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.66 1.74 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.56 1.75 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.44 1.70 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.50 1.77 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.62 1.77 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.74 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.67 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.55 1.73 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.30 1.67 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.57 3.71 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.64 3.59 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.44 3.63 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.60 2.84 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.40 2.81 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.61 3.24 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.83 2.90 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.88 2.85 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.73 4.12 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.00 3.45 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.21 4.30 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.33 3.63 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.22 3.53 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.95 2.91 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.69 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.78 3.01 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.85 3.05 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.14 3.38 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.89 4.17 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.33 2.86 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 9.38 3.40 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.38 2.91 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 90.90 61.07 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.39 1.97 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.46 1.73 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.76 3.03 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.88 3.04 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.64 2.51 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.77 2.48 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.65 2.52 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.56 2.73 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.56 2.75 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.74 2.21 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.12 2.32 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.20 2.36 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.69 1.83 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.82 1.95 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.93 1.90 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.88 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.83 1.96 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.75 1.88 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.62 1.78 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.85 1.88 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.41 1.73 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.71 1.91 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.62 1.84 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.49 1.78 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.78 1.88 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 3852.81 931.64 - z3.32bitMem Run set 4 of 4 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-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 FALSE(valid-deref) 6.54 2.52 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 5.92 2.46 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 6.72 2.53 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.95 1.95 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.95 2.94 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.51 2.82 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 4.91 1.96 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 4.87 1.95 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 8.09 3.02 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 6.07 2.38 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i ERROR: EXCEPTION 5.60 2.14 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 6.76 2.62 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 6.71 2.52 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 10.59 3.94 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.11 3.03 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 6.29 2.47 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 4.77 1.88 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.60 2.54 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.67 2.63 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.73 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.82 2.53 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.65 2.57 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.23 2.74 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.72 2.61 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.58 2.49 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.68 2.64 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.63 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.43 2.57 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.42 2.76 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.63 3.14 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.74 2.61 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.95 2.65 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.62 2.82 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.81 2.61 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.64 2.20 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.39 3.09 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.29 3.31 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.75 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.69 2.49 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.59 3.83 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.97 2.65 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.88 2.63 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.53 3.26 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.98 2.33 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.13 2.75 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.95 2.53 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.68 2.56 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.83 2.64 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.23 2.48 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.62 2.50 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.72 2.90 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.83 2.97 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.37 2.46 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.47 2.49 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.53 2.83 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.39 2.44 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.68 2.56 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.82 2.60 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.89 2.72 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.20 2.96 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.47 2.48 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.80 2.58 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.75 2.96 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.49 2.47 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.60 2.51 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 5.69 2.12 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 90.70 67.00 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 91.02 57.75 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 90.95 67.30 None memsafety/960521-1_false-valid-deref.i ERROR: EXCEPTION 7.79 2.84 None memsafety/test-0137_false-valid-deref.i ERROR: EXCEPTION 11.57 4.71 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 91.32 66.61 None memsafety/960521-1_false-valid-free.i ERROR: EXCEPTION 7.61 2.78 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 8.16 3.04 None memsafety/test-0232_false-valid-free.i ERROR: EXCEPTION 8.81 3.36 None memsafety/20020406-1_false-valid-memtrack.i ERROR: EXCEPTION 11.39 4.19 None memsafety/20051113-1.c_false-valid-memtrack.i ERROR: EXCEPTION 7.09 2.72 None memsafety/lockfree-3.1_false-valid-memtrack.i ERROR: EXCEPTION 10.02 3.81 None memsafety/lockfree-3.2_false-valid-memtrack.i ERROR: EXCEPTION 9.95 3.73 None memsafety/lockfree-3.3_false-valid-memtrack.i ERROR: EXCEPTION 9.51 3.50 None memsafety/test-0019_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 16.68 11.32 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 10.38 3.83 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.28 2.48 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 4.20 1.61 None memsafety/test-0232_false-valid-memtrack.i ERROR: EXCEPTION 9.37 3.49 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 80.44 53.13 None memsafety/test-0235_false-valid-memtrack.i TRUE 51.50 35.27 None memsafety/960521-1_true-valid-memsafety.i ERROR: EXCEPTION 7.93 3.14 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 8.59 3.19 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 19.40 14.37 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 10.15 3.75 None memsafety/test-0134_true-valid-memsafety.i ERROR: EXCEPTION 12.16 4.62 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 2.97 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.07 1.61 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.32 1.75 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 4.37 1.65 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 4.25 1.67 None memsafety/test-0232_true-valid-memsafety.i ERROR: EXCEPTION 9.58 3.61 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.24 72.46 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.98 70.70 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 51.69 30.54 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 91.54 73.17 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 10.99 4.12 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 12.65 4.73 None memsafety/test-0521_true-valid-memsafety.i ERROR: EXCEPTION 20.18 7.67 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 90.31 75.54 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i ERROR: EXCEPTION 8.38 3.16 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.13 1.53 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 4.21 1.69 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.43 3.58 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.30 3.68 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i ERROR: EXCEPTION 11.25 4.06 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 10.35 3.87 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 9.61 3.56 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 17.50 6.68 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 11.62 4.31 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 12.27 4.43 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 13.36 5.13 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i ERROR: EXCEPTION 10.18 3.85 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 11.89 4.49 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 11.58 4.41 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 14.25 5.78 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 10.78 3.99 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 20.85 8.94 None list-ext-properties/960521-1_1_false-valid-deref.i ERROR: EXCEPTION 9.62 3.62 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.02 3.18 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.98 2.99 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 10.38 3.85 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 8.93 3.51 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 15.53 10.18 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.72 2.75 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.52 3.60 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 9.74 3.76 None list-ext-properties/list-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 8.38 3.26 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 7.58 2.89 None list-ext-properties/simple-ext_1_true-valid-memsafety.i ERROR: EXCEPTION 7.28 2.78 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 19.99 14.90 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.45 3.08 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 4.21 1.64 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 4.19 1.56 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.37 3.51 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 12.92 4.94 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 15.24 6.27 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 5.47 2.21 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.50 3.14 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c ERROR: EXCEPTION 9.37 3.41 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 6.05 2.42 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 6.16 2.40 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 6.22 2.47 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 6.41 2.45 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 5.83 2.30 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 5.58 2.13 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 5.40 2.15 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 5.72 2.19 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 6.43 2.74 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 5.57 2.31 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c ERROR: EXCEPTION 10.37 4.71 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.32 3.30 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 7.64 3.09 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.39 2.84 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c ERROR: EXCEPTION 9.06 3.73 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.40 2.48 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 4.13 1.55 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 4.07 1.60 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 4.56 1.85 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 36.70 23.50 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 90.81 69.16 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 33.81 21.60 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 90.66 69.23 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 91.01 68.48 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 90.65 69.30 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 4.13 1.69 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 9.29 3.49 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 9.41 3.55 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 4.24 1.67 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 4.38 1.60 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 4.45 1.69 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 29.30 13.86 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 10.07 3.96 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.68 2.90 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 7.63 2.90 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 4.93 1.92 None ldv-memsafety/memleaks_test6_2_false-valid-free.i TIMEOUT (ERROR (143)) 91.54 84.86 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 8.68 3.22 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.64 3.96 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.08 1.63 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.00 1.58 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 4.16 1.59 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.14 1.59 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 4.22 1.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TRUE 71.48 45.04 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.37 1.66 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 3.82 1.51 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 9.24 3.58 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 8.59 3.39 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.71 3.81 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.95 3.92 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.97 3.49 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.11 2.38 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.16 1.66 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 4.07 1.60 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.04 3.69 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.16 3.09 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.70 3.75 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.22 3.58 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.28 2.40 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.76 2.92 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 93.82 87.17 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 91.41 84.80 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.39 3.24 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.52 2.52 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.40 3.10 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 6.72 2.61 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.55 4.12 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.34 1.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 32.15 14.78 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 4.36 1.74 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 4.43 1.74 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.45 7.09 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.18 1.58 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.39 3.27 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.70 3.86 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.91 4.53 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.87 2.96 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.73 2.92 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.33 1.69 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 4.08 1.64 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.33 3.55 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.92 3.89 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.53 3.83 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 4.57 1.81 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 4.35 1.73 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.57 3.98 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.78 4.38 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.29 4.03 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 91.69 85.12 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.68 3.79 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.74 3.34 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.91 3.41 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.53 1.52 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.78 1.52 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.68 1.45 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.80 1.49 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.89 1.50 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.92 1.54 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.60 1.45 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.85 1.49 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.78 1.51 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.88 1.51 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 14.43 5.38 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.12 1.61 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.70 7.39 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 4.05 1.63 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 3.73 1.56 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 4.05 1.51 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.63 3.52 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 13.23 5.29 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 10.88 3.98 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 9.66 3.59 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.26 2.75 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.96 2.57 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.04 2.68 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.27 3.00 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.75 2.52 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.59 2.78 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.35 1.64 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.35 1.59 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.31 1.70 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.72 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.75 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.70 1.77 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.46 1.69 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.70 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.49 1.73 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.77 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.75 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.59 1.74 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.57 1.70 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.68 4.21 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.47 3.57 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.23 4.11 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.31 4.25 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.20 4.23 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 14.33 5.44 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 12.42 4.46 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.73 4.60 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.63 4.32 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.48 4.11 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.32 3.88 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.87 3.28 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.51 3.90 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.81 3.95 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.23 3.81 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 11.83 4.41 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.77 3.93 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.63 4.08 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.83 3.37 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.84 4.18 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.80 4.12 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.34 3.93 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 90.74 68.78 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.96 1.83 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.45 1.63 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.10 2.89 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.07 2.84 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.39 2.40 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.58 2.49 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.65 2.49 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.28 2.61 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.97 2.62 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 5.34 2.10 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.07 2.32 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 6.08 2.29 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.58 1.83 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.75 1.90 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.69 1.94 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.54 1.85 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.61 1.89 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.90 1.93 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.74 1.89 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.66 1.82 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.42 1.76 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.25 1.73 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.59 1.85 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.82 1.84 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 4.77 1.91 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 3516.57 1225.14 - Statistics: 1304 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1304