BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-memsafety-heapsep-z3only-32.xml name: equality-cav18-memsafety-heapsep-z3only-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Thu, 2018-03-29 20:12:40 CEST tool: ULTIMATE Automizer 0.1.23-1cf7e2d7 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 180 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ Automizer.32bitMem Run set 1 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 9.70 3.85 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.07 3.43 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 10.91 4.07 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.65 2.93 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 19.38 8.28 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 13.64 5.12 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.54 3.12 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.40 3.19 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.97 8.40 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 9.13 3.42 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 12.46 4.56 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 22.49 9.56 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 9.81 3.82 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 16.11 5.96 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 11.47 4.24 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.71 3.45 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.38 2.96 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.19 157.70 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 18.23 7.25 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 18.55 7.34 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 17.47 6.98 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.85 131.19 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.03 130.18 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.17 148.72 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 20.50 8.69 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 100.58 79.02 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.99 145.30 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 72.37 52.15 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.29 8.67 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.01 147.89 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 41.92 23.43 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.15 141.91 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 161.73 136.21 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 144.40 119.31 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.58 145.19 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 23.47 9.95 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.80 132.21 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.96 17.53 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 42.05 31.23 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.70 162.72 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.56 152.62 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.56 159.48 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.59 152.56 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.03 147.31 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.95 6.55 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.79 143.46 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 66.62 47.19 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.22 148.24 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 81.14 58.73 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.09 142.84 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.67 8.40 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.33 152.67 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 47.68 27.93 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.93 144.86 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 21.88 9.83 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 51.38 32.09 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.44 158.61 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.76 157.92 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.15 179.62 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 22.08 9.09 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 18.88 7.75 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 21.48 8.62 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 23.39 10.69 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.22 160.39 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.53 150.65 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 12.19 4.43 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.31 132.84 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.46 128.40 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.19 141.06 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 180.80 148.81 None memsafety/test-0137_false-valid-deref.i unknown 6.60 2.54 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 17.74 6.66 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 180.82 148.50 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 13.56 5.01 None memsafety/test-0232_false-valid-free.i unknown 6.53 2.54 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.14 179.21 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.15 133.10 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 64.56 26.83 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 22.13 7.77 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.84 113.81 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.57 9.69 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.32 2.71 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.48 4.09 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT 203.78 102.38 None memsafety/test-0232_false-valid-memtrack.i unknown 6.55 3.00 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 16.28 6.18 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 17.26 6.54 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.87 148.04 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 160.02 97.27 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 23.49 11.41 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.11 2.84 None memsafety/test-0134_true-valid-memsafety.i unknown 6.35 2.55 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 13.61 5.75 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.77 2.52 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.60 2.63 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.70 2.56 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 198.47 101.83 None memsafety/test-0232_true-valid-memsafety.i unknown 5.84 2.35 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 21.03 10.17 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 21.22 10.44 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 18.48 8.26 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 20.38 10.33 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.28 2.36 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.53 2.50 None memsafety/test-0521_true-valid-memsafety.i unknown 6.61 2.54 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.64 157.26 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.85 156.67 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.68 2.47 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.63 2.57 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.76 2.66 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.25 2.54 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.92 145.03 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.41 2.47 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.45 2.50 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.62 2.58 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.60 2.53 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.44 2.51 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.10 156.65 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.83 147.38 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.51 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.38 2.49 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.78 149.48 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.27 149.25 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.36 2.44 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 17.34 6.80 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 180.45 145.08 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 16.87 6.41 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 23.22 10.37 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 12.78 4.96 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 43.56 23.30 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.70 4.68 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 7.27 2.99 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.87 154.74 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.79 145.45 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.38 147.88 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.22 152.20 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 43.43 24.71 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 14.61 5.68 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.18 2.77 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.22 2.85 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.10 2.89 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.78 2.85 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 6.89 2.70 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 17.64 7.81 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 11.01 4.32 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 15.57 7.17 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 8.81 3.41 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 9.06 3.56 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 181.38 128.46 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.74 126.25 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 7.74 3.08 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.09 3.18 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 7.73 3.07 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.07 3.28 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.84 3.11 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.89 3.15 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.05 145.68 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 183.21 142.93 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.21 127.06 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 186.14 143.65 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.06 127.01 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 180.26 125.17 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 10.59 3.91 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 10.30 3.86 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.47 3.27 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 18.05 7.60 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 28.16 14.08 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 19.61 8.80 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 28.07 13.87 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 27.19 13.67 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 28.27 14.07 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.04 2.76 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.10 2.66 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 6.98 2.61 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.85 2.84 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.07 2.71 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.26 2.72 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 6.99 2.61 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.01 2.73 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.19 2.64 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 6.94 2.58 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.05 2.63 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.15 2.70 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.05 2.65 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.74 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.97 2.61 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.72 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 6.92 2.60 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.88 2.63 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.98 2.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.03 2.73 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.61 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.69 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 6.94 2.63 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.65 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.35 2.79 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.66 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.65 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.08 2.66 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.90 2.65 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.58 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.05 2.68 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.08 2.68 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.61 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.99 2.66 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.63 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.62 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.01 2.63 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.75 2.54 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.79 2.60 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.15 2.61 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.71 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.63 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.09 2.67 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.08 2.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.98 2.62 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.68 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.15 2.59 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.26 2.70 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.58 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.10 2.67 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.14 2.73 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.61 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.06 2.68 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.94 2.69 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.90 2.64 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.64 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.84 2.59 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.04 2.65 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.04 2.69 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.92 2.63 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.74 2.57 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.72 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.58 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.04 2.60 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.97 2.66 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.97 2.62 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.19 2.63 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.94 2.59 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 10.28 3.99 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 18.82 8.69 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.72 170.89 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.58 166.48 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.49 169.26 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 10.90 4.35 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 183.60 170.82 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.40 4.39 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 182.66 171.65 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 181.52 169.42 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.60 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.95 2.62 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.92 2.65 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.91 2.70 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.58 2.53 None heap-manipulation/tree_false-valid-deref.i unknown 6.69 2.63 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.63 2.46 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.84 2.65 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.54 2.51 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.22 147.26 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.05 148.19 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.06 4.38 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 18.37 7.27 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.66 6.06 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 16.07 6.36 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 13.11 4.77 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.55 2.80 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.71 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.39 2.75 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.50 2.70 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.77 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.37 2.71 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.74 2.70 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 2.67 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.30 2.71 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.72 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.59 2.75 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.39 2.78 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.60 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.63 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.68 2.53 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.67 2.58 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.71 2.55 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.72 2.66 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.54 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.76 2.65 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.51 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.80 2.67 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 70.96 46.19 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.79 2.54 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.66 2.69 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.56 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.73 138.41 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.64 142.43 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.79 2.59 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.69 2.57 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.70 2.58 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.93 2.69 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.69 2.55 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 151.91 115.00 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.84 137.26 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.47 3.03 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.93 2.93 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.64 5.74 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.97 6.06 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.62 4.83 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.03 4.79 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.12 4.79 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.42 5.21 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.80 5.02 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.16 3.93 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.09 4.48 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.61 4.57 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.10 3.10 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.40 3.31 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.31 3.24 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.45 3.33 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.19 3.19 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.47 3.26 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.57 3.29 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.29 3.31 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.85 3.09 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.46 3.03 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.94 3.20 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.00 3.14 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.89 3.18 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 8881.09 5845.30 - AutomizerHeapSep.32bitMem Run set 2 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 182.01 142.66 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 72.01 51.20 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.62 151.42 None array-memsafety/cstrcat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.34 158.56 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 35.89 12.96 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 31.15 11.13 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 185.87 161.88 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.47 149.61 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 38.19 16.88 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 81.17 59.46 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.13 135.96 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.00 146.90 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.47 150.18 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.51 150.24 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 183.05 155.53 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 70.29 48.43 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.73 3.38 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.05 144.32 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 86.58 57.38 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.50 152.66 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.44 145.30 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.15 128.52 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.74 139.19 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.70 143.93 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.61 143.33 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.96 143.04 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.63 148.20 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.31 147.71 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 55.16 23.77 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.82 147.76 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.12 149.38 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.29 150.56 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.68 149.21 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.82 148.17 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.47 137.80 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.51 142.27 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.86 145.99 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.97 149.87 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.08 146.42 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.69 142.43 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.69 147.17 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.88 152.97 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.78 139.54 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.38 153.67 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 119.67 89.78 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.41 149.77 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.62 148.44 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.02 154.10 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.26 149.95 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.17 150.31 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 50.60 23.38 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.60 153.18 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.08 150.11 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.40 143.67 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 74.48 42.58 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.31 145.99 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.42 144.69 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.63 144.36 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.16 179.71 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 138.84 103.51 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 23.53 9.13 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 121.80 74.08 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.06 147.06 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.78 146.70 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.68 148.90 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 27.59 9.40 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 181.25 135.67 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.67 127.75 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.33 139.51 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 181.11 141.53 None memsafety/test-0137_false-valid-deref.i unknown 6.53 2.49 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 181.20 148.77 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 180.31 139.11 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 95.56 68.30 None memsafety/test-0232_false-valid-free.i unknown 6.55 2.65 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.06 179.74 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.86 151.45 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 183.06 150.24 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.22 149.85 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.38 117.68 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-free) 46.18 20.97 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.73 3.85 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 45.25 27.17 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 190.99 153.09 None memsafety/test-0232_false-valid-memtrack.i unknown 6.04 2.50 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 39.06 16.45 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 38.59 14.96 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.63 142.08 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.90 148.59 None memsafety/test-0019_true-valid-memsafety_true-termination.i FALSE(valid-free) 45.18 19.84 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.06 2.65 None memsafety/test-0134_true-valid-memsafety.i unknown 6.57 2.52 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 57.50 29.35 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.73 2.51 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.98 2.71 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.45 2.77 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.19 155.94 None memsafety/test-0232_true-valid-memsafety.i unknown 6.70 2.57 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 39.32 13.89 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 33.84 15.09 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 36.35 13.95 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 37.81 13.90 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.34 2.44 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.38 2.48 None memsafety/test-0521_true-valid-memsafety.i unknown 6.28 2.42 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i FALSE(valid-free) 48.02 22.01 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.91 149.25 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.36 2.49 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.40 2.50 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.84 2.57 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.58 2.56 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.94 156.83 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.76 2.56 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.47 2.47 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.36 2.50 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.65 2.52 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.57 2.55 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.04 158.57 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.05 153.58 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.52 2.54 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.78 2.55 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.87 159.60 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.02 155.78 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.42 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 183.98 150.75 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 186.18 152.94 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 182.07 151.89 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 181.45 145.03 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 186.01 160.60 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-deref) 140.74 108.17 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 182.07 159.33 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.57 2.52 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.94 147.82 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.32 156.66 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.90 159.05 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.37 150.70 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 124.60 91.55 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.74 160.36 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.67 2.49 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.66 2.54 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.41 2.47 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.49 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.53 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.91 159.42 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c TIMEOUT (ERROR (143)) 182.33 153.49 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.70 147.76 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 39.42 18.05 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 45.55 22.25 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 181.36 121.28 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.37 120.72 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.53 3.69 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 9.97 3.82 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.44 3.67 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 9.81 3.84 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 9.32 3.59 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 9.95 3.75 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 185.39 152.79 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 185.69 133.60 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.76 116.43 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 187.97 134.47 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.37 114.63 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 180.92 117.59 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 181.51 155.72 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 185.74 162.55 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 181.35 163.61 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 17.81 7.59 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 26.73 13.19 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.07 7.66 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 27.95 13.74 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 27.04 13.69 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 26.51 13.37 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.97 2.58 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.09 2.65 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 6.95 2.59 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.95 2.56 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.80 2.62 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.82 2.60 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 6.90 2.63 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 6.87 2.66 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 6.90 2.62 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.00 2.64 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.80 2.56 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 6.80 2.53 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.02 2.65 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.77 2.65 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.97 2.68 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.60 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.04 2.69 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.90 2.63 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.25 2.74 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.59 2.81 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.40 2.81 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.26 2.76 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.31 2.86 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.52 3.08 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.20 2.66 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.52 2.81 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.12 2.64 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.41 2.77 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.82 3.23 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.42 3.34 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.74 3.42 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.70 3.40 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.83 3.63 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.73 3.27 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.85 3.60 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.51 3.41 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.73 3.39 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.07 3.19 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.66 3.13 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.89 3.14 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.59 3.15 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.95 3.36 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.80 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.54 2.80 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.21 2.67 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.23 2.64 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.22 2.79 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.73 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.10 2.61 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.26 2.66 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.02 2.66 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.94 2.63 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.25 2.75 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.36 3.03 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.21 2.71 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.20 2.71 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.00 2.66 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.54 2.83 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.19 2.72 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.15 2.73 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.02 2.57 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.40 2.76 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.20 2.66 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.34 2.81 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.13 2.71 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.65 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.90 2.62 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.27 2.78 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 71.85 51.06 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 50.98 30.26 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i FALSE(valid-deref) 47.76 29.12 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 163.26 143.46 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i FALSE(valid-deref) 75.23 51.62 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 68.95 50.86 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i FALSE(valid-deref) 52.59 30.56 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 185.85 158.98 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i FALSE(valid-deref) 72.69 50.32 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 185.55 165.79 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.75 2.51 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.67 2.50 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.55 2.50 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.72 2.59 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.46 2.50 None heap-manipulation/tree_false-valid-deref.i unknown 6.52 2.57 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.52 2.51 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.78 2.62 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.44 2.51 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.43 151.52 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.99 157.15 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.87 159.41 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 183.11 159.45 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.87 161.03 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 183.71 156.25 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 184.91 160.56 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.23 2.64 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.17 2.72 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.26 2.73 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.67 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.77 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.18 2.72 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.68 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.42 2.69 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.13 2.66 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.74 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.79 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.69 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.36 2.79 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.53 2.43 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.51 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.53 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.58 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.51 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.46 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.71 2.51 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.52 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.54 2.47 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.74 2.57 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.74 160.77 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.70 2.51 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.42 2.53 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.54 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.74 154.64 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.25 158.36 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.38 2.44 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.60 2.51 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.43 2.47 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.54 2.52 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.70 2.54 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 183.72 153.67 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 181.26 138.16 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.77 3.12 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.80 2.94 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.57 5.97 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.94 6.19 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.86 4.96 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.48 4.96 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.53 4.50 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.59 5.33 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.12 5.51 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.81 4.02 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.23 4.55 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.03 4.44 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.30 3.22 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.14 3.17 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.45 3.58 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.57 3.24 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.77 3.37 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.98 3.38 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.84 3.41 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.85 3.31 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.88 3.25 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.94 3.09 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.13 3.14 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.05 3.11 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.68 2.97 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 22607.17 9292.70 - HeapSep.32bitMem Run set 3 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 186.25 150.26 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 75.14 53.41 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.63 144.39 None array-memsafety/cstrcat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.77 158.14 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 33.37 12.32 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 27.77 10.48 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 185.87 161.92 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.11 155.10 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 27.08 10.06 None array-memsafety/diff_usafe_false-valid-deref.i unknown 80.96 60.23 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 184.17 133.90 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.41 149.77 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 184.75 154.97 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.18 146.70 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 183.09 155.85 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 65.49 47.12 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 8.53 3.19 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.66 142.54 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 84.96 56.71 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.45 149.65 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.05 146.15 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 132.90 100.12 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.64 143.57 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.12 141.43 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.75 149.64 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.45 145.29 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.37 155.16 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.43 143.93 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 53.98 22.17 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.32 148.92 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.61 142.83 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.79 149.86 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.57 151.94 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.85 145.47 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.53 139.64 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 176.11 146.02 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.48 145.25 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.03 148.34 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.63 154.06 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 123.61 91.73 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 20.47 7.41 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 22.04 7.70 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 87.76 59.11 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.02 151.30 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 125.94 94.67 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.21 148.61 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.63 151.58 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.15 149.54 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.22 147.44 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.96 137.26 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 46.65 22.51 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.20 154.10 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.66 147.38 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.83 146.75 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 65.72 39.26 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.54 150.74 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.09 146.46 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.55 144.34 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.15 179.51 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 138.19 100.31 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 14.11 4.94 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 103.10 69.51 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.58 145.35 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.14 142.84 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.59 147.44 None array-examples/relax_false-valid-deref.i unknown 21.73 7.30 None array-examples/sanfoundry_24_false-valid-deref.i unknown 7.41 2.81 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 7.25 2.85 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 6.90 2.72 None memsafety/960521-1_false-valid-deref.i unknown 157.28 121.74 None memsafety/test-0137_false-valid-deref.i unknown 6.73 2.51 None memsafety/test-0235_false-valid-deref.i unknown 29.09 10.48 None memsafety/960521-1_false-valid-free.i unknown 138.17 106.80 None memsafety/test-0158_false-valid-free.i unknown 83.78 59.96 None memsafety/test-0232_false-valid-free.i unknown 6.47 2.52 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.17 177.82 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 166.98 136.80 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 154.64 128.47 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 156.25 130.58 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 75.59 49.51 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 41.87 19.20 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.36 2.80 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 44.75 24.55 None memsafety/test-0220_false-valid-memtrack.i unknown 36.11 13.32 None memsafety/test-0232_false-valid-memtrack.i unknown 7.06 2.59 None memsafety/test-0234_false-valid-memtrack.i unknown 31.82 11.08 None memsafety/test-0235_false-valid-memtrack.i unknown 36.73 12.76 None memsafety/960521-1_true-valid-memsafety.i unknown 148.04 115.81 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 159.14 134.57 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 41.19 17.89 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.69 3.24 None memsafety/test-0134_true-valid-memsafety.i unknown 7.62 3.16 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 59.15 34.94 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 8.54 3.79 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 8.49 3.53 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.78 3.73 None memsafety/test-0219_true-valid-memsafety.i unknown 33.00 12.47 None memsafety/test-0232_true-valid-memsafety.i unknown 7.53 2.95 None memsafety/test-0234_true-valid-memsafety.i unknown 36.35 13.75 None memsafety/test-0235_true-valid-memsafety.i unknown 42.81 16.08 None memsafety/test-0236_true-valid-memsafety.i unknown 36.15 15.53 None memsafety/test-0237_true-valid-memsafety.i unknown 38.01 15.26 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 7.88 3.52 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 7.69 3.50 None memsafety/test-0521_true-valid-memsafety.i unknown 7.66 2.93 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 44.45 21.19 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.60 149.42 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 7.18 2.90 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 7.14 2.91 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.35 2.81 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.07 2.99 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.10 151.88 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.72 2.88 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.38 2.50 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.74 2.72 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.81 2.76 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.61 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.91 157.91 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.93 152.34 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 7.07 2.87 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 7.05 2.74 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.08 155.02 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.22 150.54 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 7.15 3.55 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 183.15 146.56 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 180.28 139.27 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.16 149.87 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 180.77 146.77 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 185.76 162.09 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 156.28 127.60 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 185.04 159.36 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 7.10 2.90 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.54 145.43 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.26 153.12 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.30 158.36 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.98 158.05 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 124.40 100.08 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.93 161.57 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.60 2.98 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.58 3.06 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.01 2.83 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.87 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 7.34 2.97 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.65 151.70 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c TIMEOUT (ERROR (143)) 185.77 154.67 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c TIMEOUT (ERROR (143)) 181.52 147.88 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 43.79 20.25 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 47.63 25.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 26.95 9.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 25.87 9.23 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 9.92 4.04 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 10.28 3.92 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 10.13 3.94 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 10.31 4.06 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 9.71 3.80 None ldv-memsafety/memset_false-valid-deref-write.c unknown 9.33 3.76 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.32 149.19 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 30.40 10.87 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 30.38 11.44 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 31.69 11.30 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 46.30 24.89 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 30.10 12.11 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 185.69 158.87 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 182.84 158.43 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 180.84 161.17 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 9.15 3.60 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 9.58 3.66 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 9.43 3.66 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 9.72 3.73 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 9.14 3.48 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 9.31 3.65 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.22 3.00 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.55 2.94 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.69 3.03 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.64 2.93 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.59 2.86 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.73 3.04 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.39 2.78 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.06 2.71 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.33 2.81 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.45 2.71 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.58 2.75 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.21 2.81 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.48 2.92 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.67 3.21 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.78 2.98 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.71 2.92 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.71 3.01 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.65 3.05 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 8.01 2.98 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.82 3.11 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.66 2.84 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.53 3.00 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.79 3.11 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.73 3.18 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.68 3.04 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.82 3.41 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.09 3.53 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.71 3.01 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.03 3.18 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.73 3.20 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.91 3.03 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.24 3.07 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.11 3.11 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.91 3.10 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.15 3.38 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.97 3.02 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.90 3.13 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.12 3.07 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.08 3.26 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.73 3.21 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.04 3.14 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.50 3.17 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.11 3.30 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.17 3.13 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.66 3.25 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.70 3.08 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.79 2.90 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.05 3.42 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.89 3.09 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.01 3.11 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.33 3.31 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.05 3.13 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.92 3.07 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.08 3.40 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.09 3.22 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.54 3.00 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.91 3.06 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.75 3.01 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.79 3.06 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.81 3.18 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 8.27 3.48 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.06 3.31 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.26 3.40 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.82 3.26 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.70 3.29 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.25 3.41 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.43 3.20 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.04 3.35 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 77.42 59.45 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 51.82 32.84 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 52.60 30.61 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.15 160.64 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 77.11 54.79 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 79.90 57.11 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 51.58 32.08 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 185.51 166.13 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 74.40 54.71 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 185.44 166.10 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.68 3.04 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.17 3.23 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.67 3.12 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 7.28 3.24 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 7.56 3.11 None heap-manipulation/tree_false-valid-deref.i unknown 7.56 3.10 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.79 3.14 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.34 3.14 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.20 3.01 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.21 154.57 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.61 156.22 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 183.93 158.78 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.64 163.32 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.25 159.19 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.01 157.10 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.68 162.95 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.91 3.20 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 8.27 3.22 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.66 2.97 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 8.26 3.10 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.86 3.07 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 8.02 3.09 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.64 3.08 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 8.31 3.18 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.93 3.10 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 8.30 3.09 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.69 3.10 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.78 3.07 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.98 3.08 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.99 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.22 2.99 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.87 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.80 2.88 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.20 2.88 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.86 2.90 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.99 2.86 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.29 2.91 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.11 2.85 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.89 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.70 159.88 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.25 2.82 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.03 2.88 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.38 2.88 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.03 156.77 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.99 158.70 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.56 2.98 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.27 2.92 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.30 2.88 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.34 2.91 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.33 2.96 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 181.66 148.62 None loop-acceleration/array3_false-valid-deref.i unknown 7.89 3.24 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.89 3.26 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.89 3.34 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 16.59 6.20 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 17.27 6.40 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.88 4.78 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.96 4.94 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.48 5.10 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.59 5.56 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.99 5.30 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.99 3.82 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.54 4.69 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.05 4.60 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.16 3.77 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.05 3.82 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.15 3.94 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.32 3.87 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 9.20 3.79 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.26 3.95 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 9.05 3.53 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.43 3.95 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.27 3.47 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.80 3.72 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.44 3.52 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.70 3.53 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.46 3.56 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 21059.89 8103.96 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978