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: Fri, 2018-04-06 18:56:35 CEST tool: ULTIMATE Automizer 0.1.23-35b68b2d tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 300 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) 10.24 8.18 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.47 8.05 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 10.54 4.05 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.60 3.02 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 19.66 8.43 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 12.67 5.00 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.66 3.10 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.14 3.30 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.75 8.25 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 8.68 3.33 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 12.60 4.60 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 22.26 9.60 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 9.98 3.79 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 16.42 6.17 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 12.02 4.42 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 9.21 3.56 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.39 2.94 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.22 278.36 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 18.45 7.30 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 18.52 7.22 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 17.81 7.12 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.75 238.57 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.91 233.12 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.50 262.25 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 20.23 8.67 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 84.32 61.60 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.78 255.73 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 69.07 49.58 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 20.17 8.80 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.47 261.80 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 41.67 22.09 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.23 248.34 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 170.48 145.78 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 129.30 99.51 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.67 257.14 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 23.67 9.81 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.69 238.76 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 34.83 17.30 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 40.06 30.04 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.71 281.37 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.10 266.09 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.22 270.71 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.11 266.40 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.67 257.11 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.13 6.58 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.07 251.85 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 49.59 30.46 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.58 258.74 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 96.21 73.34 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.93 256.85 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 18.66 8.03 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.75 257.69 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 47.50 29.50 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.92 254.44 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 21.76 9.71 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 55.36 35.08 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 247.70 224.79 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.30 274.07 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.41 297.30 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 21.76 8.95 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 19.04 7.74 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 20.25 8.28 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 23.09 10.67 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 189.26 167.38 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.28 267.12 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 12.18 4.47 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.34 233.08 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.16 229.17 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.51 247.82 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.95 257.70 None memsafety/test-0137_false-valid-deref.i unknown 6.38 2.53 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 18.49 6.83 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.92 256.65 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 12.70 4.88 None memsafety/test-0232_false-valid-free.i unknown 6.40 2.46 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 296.73 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.29 256.67 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 64.74 27.27 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 22.89 8.02 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 184.78 114.35 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.19 9.79 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.31 2.79 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.67 4.24 None memsafety/test-0220_false-valid-memtrack.i OUT OF MEMORY 283.14 136.25 None memsafety/test-0232_false-valid-memtrack.i unknown 6.09 2.81 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 17.16 6.36 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 17.11 6.47 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.03 256.97 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 153.43 94.37 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 22.14 10.78 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.21 2.67 None memsafety/test-0134_true-valid-memsafety.i unknown 6.53 2.53 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 13.73 5.76 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.72 2.57 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.86 2.64 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.95 2.69 None memsafety/test-0219_true-valid-memsafety.i OUT OF MEMORY 263.22 121.86 None memsafety/test-0232_true-valid-memsafety.i unknown 6.38 2.47 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 18.39 8.21 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 22.76 11.36 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 20.53 10.29 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 21.28 10.41 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.91 267.99 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.54 259.96 None memsafety/test-0521_true-valid-memsafety.i unknown 6.42 2.56 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.31 268.37 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.31 272.64 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.36 2.47 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.36 2.47 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 302.44 257.42 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 300.55 249.30 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.94 261.61 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.55 270.79 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 300.21 265.79 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 71.91 45.19 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.32 265.26 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.60 278.75 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 319.45 234.25 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.96 260.78 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.37 249.43 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.98 272.15 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.01 265.49 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.25 254.55 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 70.58 44.23 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 16.92 6.78 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.82 255.15 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 16.05 6.08 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 22.47 9.67 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 12.40 4.67 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 40.36 20.41 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.39 3.88 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.46 2.56 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.82 270.40 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.31 253.95 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.75 259.90 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.23 263.59 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 41.92 22.43 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 12.99 5.01 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.59 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.73 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.31 2.46 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 226.78 180.55 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.45 255.81 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 16.94 7.37 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 10.88 4.22 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 15.00 7.05 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 8.69 3.40 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 8.99 3.54 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.14 230.00 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 301.59 230.82 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 8.02 3.26 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.11 3.22 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 7.83 3.16 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.13 3.36 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.81 3.21 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.99 3.24 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 304.01 290.29 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.94 246.05 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.77 233.43 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 306.52 248.09 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.98 230.89 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 301.11 228.74 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 10.49 3.85 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 10.45 3.83 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.91 3.42 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 18.64 7.98 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 29.02 14.11 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.04 7.74 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 27.62 13.88 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 28.07 13.92 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 28.44 13.96 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.02 2.69 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 6.88 2.71 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.08 2.72 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.73 2.64 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.95 2.60 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.08 2.66 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.34 2.79 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 6.90 2.58 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.00 2.64 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.05 2.64 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.90 2.63 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 6.98 2.60 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.79 2.64 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.61 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.25 2.67 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.08 2.68 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 6.98 2.63 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.63 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.03 2.59 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.13 2.63 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.62 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.21 2.64 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.05 2.61 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 6.91 2.63 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.88 2.68 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.13 2.74 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.20 2.65 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.69 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.05 2.64 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.88 2.68 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.90 2.58 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.63 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.05 2.70 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.65 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.67 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.15 2.59 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.92 2.61 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.68 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.08 2.68 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.65 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.58 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.10 2.67 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.27 2.63 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.16 2.71 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.06 2.61 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.67 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.78 2.59 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.71 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.69 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.88 2.58 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.63 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.48 2.59 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.80 2.64 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.86 2.57 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.10 2.64 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.85 2.64 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.61 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.81 2.67 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.09 2.71 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.91 2.60 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.08 2.68 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.94 2.61 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.83 2.62 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.68 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.13 2.68 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.69 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 10.41 4.04 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 19.60 8.71 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 108.62 97.33 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.61 283.31 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.75 290.14 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 9.69 3.80 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 300.41 286.89 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.45 4.52 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.61 288.50 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 300.43 288.42 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.87 2.59 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.43 297.48 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.84 2.62 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.84 2.59 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.86 2.63 None heap-manipulation/tree_false-valid-deref.i unknown 6.70 2.59 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 297.24 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 51.29 29.88 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.98 272.47 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.36 263.43 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.01 255.65 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.74 4.38 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 17.76 7.05 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.66 5.98 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.62 6.20 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.27 4.64 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.22 2.76 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.16 2.72 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.59 2.85 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.26 2.66 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.41 2.72 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.42 2.82 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 2.69 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.82 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.78 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.81 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.27 2.79 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.77 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.76 249.99 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 158.26 125.14 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.91 266.36 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.34 268.22 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.29 264.80 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.22 266.24 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.45 272.45 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.29 278.72 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 64.80 39.84 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 247.88 213.08 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 73.85 48.14 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.73 270.67 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TRUE 64.99 38.85 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.09 245.78 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.54 258.66 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.54 255.06 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.09 260.26 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.75 249.11 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.15 252.94 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.35 252.89 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 77.59 51.40 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.58 257.38 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.20 235.31 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.95 3.13 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.08 2.91 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.91 5.84 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.19 5.61 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.10 4.87 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.88 4.70 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.34 4.86 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.45 5.22 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.12 5.14 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.44 3.89 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.28 4.56 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.87 4.34 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.19 3.14 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.05 3.20 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.39 3.25 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.44 3.27 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.31 3.20 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.41 3.19 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.55 3.29 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.55 3.24 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.74 3.01 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.60 2.96 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.84 3.15 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.89 3.04 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.29 2.97 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 16058.58 13181.50 - 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 FALSE(valid-deref) 85.29 51.97 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 39.97 15.22 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 143.46 113.97 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 51.81 25.55 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 43.40 21.50 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 33.18 12.06 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 266.69 232.83 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 56.65 32.58 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 81.05 40.34 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 37.19 15.01 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 293.92 245.92 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.34 263.27 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 144.50 107.49 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.79 266.00 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 300.96 265.11 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 34.98 14.33 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.45 3.32 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.84 259.12 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 53.73 21.80 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 72.33 41.99 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 166.48 128.00 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.03 224.95 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.81 231.82 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.16 255.84 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 54.30 29.74 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 178.03 130.23 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 208.27 165.97 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.26 258.69 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.19 13.32 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.11 252.43 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 183.57 132.69 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.12 264.55 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.96 264.61 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.05 265.53 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.89 236.60 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 74.80 37.10 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.91 228.17 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.33 260.16 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 169.69 127.39 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.50 261.41 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.19 263.22 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.43 267.74 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.38 253.25 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 188.01 144.91 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.49 263.75 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.07 256.52 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 156.55 110.17 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 189.40 142.71 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 151.00 106.20 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.48 265.09 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 34.00 13.05 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.14 254.49 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 125.94 86.21 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.72 256.27 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 49.06 19.83 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 183.20 139.84 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 109.67 71.60 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.00 258.17 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.48 297.39 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 61.88 28.63 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 22.69 8.87 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 45.97 18.51 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 158.08 117.19 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.76 257.07 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.20 246.63 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 22.61 7.67 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.36 235.00 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.36 229.38 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.50 248.21 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.44 247.73 None memsafety/test-0137_false-valid-deref.i unknown 6.81 2.59 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.51 295.23 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.49 242.00 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 82.13 50.59 None memsafety/test-0232_false-valid-free.i unknown 6.79 2.58 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.54 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.68 267.23 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.98 274.22 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.15 266.08 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.78 270.86 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 306.00 276.10 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.90 2.62 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 49.16 22.53 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.50 295.70 None memsafety/test-0232_false-valid-memtrack.i unknown 6.83 2.56 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.49 294.86 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.52 295.39 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.14 248.57 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 272.28 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 63.32 35.68 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.47 2.70 None memsafety/test-0134_true-valid-memsafety.i unknown 6.63 2.45 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 56.08 28.43 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.78 2.47 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.74 2.53 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.67 2.46 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 295.69 None memsafety/test-0232_true-valid-memsafety.i unknown 6.88 2.63 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 295.43 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.90 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.82 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.84 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.08 272.00 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.98 270.73 None memsafety/test-0521_true-valid-memsafety.i unknown 6.46 2.48 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.01 274.13 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.30 264.12 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.48 2.49 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.48 2.52 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.15 272.57 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.77 264.00 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 271.02 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.22 272.87 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 303.52 270.67 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 305.90 263.46 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.02 267.88 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.89 262.62 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.16 271.00 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.13 266.39 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.88 265.56 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 272.09 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.29 270.70 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.52 265.20 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.01 270.90 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 196.41 164.87 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 303.59 263.26 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 302.28 269.65 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 240.02 193.87 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 214.40 186.34 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.88 277.90 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 121.00 94.33 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 7.13 2.89 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 153.06 110.09 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.20 266.28 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.00 268.79 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.56 270.38 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 160.08 123.41 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i FALSE(valid-free) 198.30 167.50 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.84 2.92 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.33 2.94 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.90 2.91 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.92 274.93 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.48 277.28 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.57 270.42 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 142.18 114.39 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 193.42 163.22 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 31.13 12.83 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 36.21 14.37 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.17 240.19 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 300.81 235.12 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 10.21 4.73 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 10.56 4.34 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 10.30 4.33 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 11.02 4.74 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 10.36 4.27 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 10.30 4.36 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.95 253.26 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 304.72 246.89 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.77 234.90 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 306.01 253.71 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.96 235.14 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 302.19 244.39 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.60 273.16 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 304.60 275.56 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.60 285.53 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 19.64 8.99 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 29.39 15.59 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 19.29 8.77 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 30.37 15.73 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 30.50 15.81 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 29.00 15.66 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.59 3.00 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.21 2.85 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.54 2.86 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.39 2.87 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.45 2.86 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.47 2.98 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.65 3.01 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.56 2.97 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.47 3.02 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.61 2.91 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.48 3.01 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.38 2.92 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.22 2.97 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.49 3.03 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.47 2.85 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.32 2.79 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.54 2.81 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.32 2.90 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.28 2.91 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.52 2.94 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.16 2.91 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.42 3.03 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.26 2.90 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.54 2.98 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.53 3.08 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.43 2.89 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.49 2.82 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.16 2.82 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.54 2.94 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.87 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.87 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.47 2.95 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.36 2.97 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.46 2.97 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.27 2.96 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.90 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.51 2.88 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.49 3.03 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.44 2.81 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.36 2.87 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.28 2.92 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.32 2.89 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.71 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.63 2.94 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.16 2.90 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.27 2.88 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.12 2.83 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.03 2.82 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.67 3.01 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.05 2.92 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.44 2.98 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.46 2.85 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.39 2.93 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.53 2.96 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.35 2.86 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.78 2.90 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.02 3.12 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.66 3.05 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.60 3.10 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.73 3.07 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.67 3.14 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.62 3.14 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.95 3.13 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.54 2.85 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.74 3.19 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 3.30 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.57 3.10 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.78 2.95 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 77.16 52.06 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.60 263.51 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.97 274.77 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.81 275.06 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.41 270.07 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 65.99 47.79 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 301.24 267.56 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 305.61 279.12 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 302.48 269.34 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 304.06 275.36 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.62 2.93 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.38 298.24 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.19 2.78 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 7.63 2.94 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 7.24 2.94 None heap-manipulation/tree_false-valid-deref.i unknown 7.44 2.97 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.38 297.74 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.14 275.48 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.26 261.70 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.27 266.81 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.82 272.87 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.30 268.43 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.74 272.86 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.45 274.62 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.91 275.17 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.44 266.67 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.31 2.89 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.51 2.76 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.68 2.84 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 8.59 4.10 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 8.50 3.98 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 8.51 3.67 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 8.25 4.05 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 8.41 3.33 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 8.13 3.23 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 8.65 3.84 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 8.30 5.03 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.51 3.51 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 8.50 3.39 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.00 269.66 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 276.16 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.51 270.87 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 270.49 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 270.39 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 311.14 278.26 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.23 259.79 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 268.85 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 265.14 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.95 271.69 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.13 275.95 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.84 269.61 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.17 270.58 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.02 265.90 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 271.35 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.43 273.46 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.40 268.99 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.19 271.11 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.58 265.76 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.11 273.26 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.95 277.51 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.98 275.98 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.73 234.57 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 9.37 4.02 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.02 3.06 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.95 6.25 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.13 5.98 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.85 5.22 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.17 4.93 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.80 4.42 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.05 5.66 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.92 5.64 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.62 4.14 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.92 4.99 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.30 4.65 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.35 3.54 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.89 2.51 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.34 3.43 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.69 3.55 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.56 3.49 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.87 3.74 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.21 3.71 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.66 3.52 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.73 3.27 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.26 3.45 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.13 3.30 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.95 3.25 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.57 3.13 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 44522.56 19958.46 - 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 unknown 82.09 51.16 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 33.91 16.09 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 141.12 112.85 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 46.89 23.14 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 45.25 20.63 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 28.93 11.63 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 265.25 231.34 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 55.70 32.87 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 68.24 34.85 None array-memsafety/diff_usafe_false-valid-deref.i unknown 33.43 16.24 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 293.85 249.76 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.56 261.88 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 150.29 112.24 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.84 266.48 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.09 264.05 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 34.90 15.47 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 8.68 3.52 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 88.13 54.49 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 41.49 18.42 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 65.99 39.67 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 170.85 131.97 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 52.89 26.31 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 149.16 117.91 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.15 257.21 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 53.71 31.15 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 171.73 131.81 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 205.58 165.67 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.27 264.56 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 30.31 12.12 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.47 254.59 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 156.75 115.95 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.67 258.51 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.27 267.09 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.38 262.59 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 78.48 41.04 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 59.84 29.25 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 56.75 27.74 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.18 265.76 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 147.89 113.28 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 48.40 22.50 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 14.56 5.16 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 15.55 5.39 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 55.90 25.42 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 190.78 144.49 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.81 255.72 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.48 257.78 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 112.24 75.47 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 182.78 141.97 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 141.43 106.51 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.49 254.52 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 32.27 12.63 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.14 261.80 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 121.33 82.99 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.20 257.61 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 47.77 21.07 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 183.03 139.03 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 106.25 67.56 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.47 258.23 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.46 297.73 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 49.67 26.84 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 13.29 4.66 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 40.21 14.74 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 145.80 112.36 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.31 256.37 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 265.47 223.71 None array-examples/relax_false-valid-deref.i unknown 18.35 6.26 None array-examples/sanfoundry_24_false-valid-deref.i unknown 7.23 2.80 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 7.31 2.80 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 7.27 2.85 None memsafety/960521-1_false-valid-deref.i unknown 216.64 181.85 None memsafety/test-0137_false-valid-deref.i unknown 6.75 2.57 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.48 294.81 None memsafety/960521-1_false-valid-free.i unknown 162.80 130.18 None memsafety/test-0158_false-valid-free.i unknown 74.16 48.39 None memsafety/test-0232_false-valid-free.i unknown 6.64 2.53 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.74 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.00 269.92 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.10 270.03 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.94 275.00 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.80 269.52 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 306.01 275.76 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.14 2.66 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 44.98 22.80 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.53 295.71 None memsafety/test-0232_false-valid-memtrack.i unknown 6.98 2.67 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 295.16 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.54 294.94 None memsafety/960521-1_true-valid-memsafety.i unknown 195.05 155.22 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.20 269.05 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 58.93 32.86 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.37 2.66 None memsafety/test-0134_true-valid-memsafety.i unknown 6.62 2.51 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 44.59 23.88 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.96 2.59 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.80 2.61 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.84 2.55 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.46 296.07 None memsafety/test-0232_true-valid-memsafety.i unknown 6.72 2.52 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.51 295.23 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.54 294.66 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.89 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.51 295.42 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.94 272.49 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 271.16 None memsafety/test-0521_true-valid-memsafety.i unknown 6.61 2.51 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.92 273.51 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.42 266.97 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.60 2.56 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.52 2.46 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.41 270.60 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.09 270.84 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.51 262.07 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.15 273.27 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 304.81 268.53 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 306.27 268.78 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.05 272.70 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.81 261.47 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.03 272.72 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.40 262.35 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.14 266.90 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.19 266.05 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.27 266.81 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.55 262.07 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 267.73 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 195.45 162.72 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.22 264.17 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 303.65 267.02 None list-ext-properties/960521-1_1_false-valid-free.i unknown 202.51 165.91 None list-ext-properties/test-0158_1_false-valid-free.i unknown 192.84 169.93 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.98 273.88 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 117.08 88.32 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.78 2.51 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 114.76 81.89 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.25 272.47 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.23 270.59 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.18 269.51 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 134.64 107.32 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 176.72 149.78 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.88 2.51 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.02 2.67 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.64 2.55 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.09 275.88 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.66 269.79 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.90 263.20 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 127.95 101.24 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 168.80 140.91 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 28.13 10.80 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 33.06 13.04 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 15.39 5.44 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 14.10 5.00 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 9.27 3.49 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.40 3.67 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 9.52 4.28 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 9.63 3.59 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 9.24 3.47 None ldv-memsafety/memset_false-valid-deref-write.c unknown 9.15 3.46 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 139.83 111.54 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 16.71 6.02 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 14.86 5.22 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 15.26 5.37 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 31.45 11.76 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 16.82 5.87 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 303.75 275.65 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.56 274.11 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.80 284.09 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.69 3.19 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 8.79 3.32 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.54 3.21 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 9.01 3.35 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.78 3.21 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.50 3.17 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.11 2.67 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 6.90 2.56 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.00 2.62 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.49 2.58 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.81 2.61 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.08 2.66 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.32 2.74 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.25 2.75 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 6.78 2.55 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.10 2.59 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.82 2.63 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 6.90 2.55 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.80 2.61 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.61 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.68 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.61 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.12 2.64 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.89 2.75 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.64 2.55 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.06 2.65 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.97 2.56 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.99 2.59 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 6.99 2.59 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.06 2.65 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.35 2.52 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.29 2.71 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.68 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.35 2.75 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.80 2.62 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.66 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.66 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.61 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.77 2.63 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.77 2.59 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.86 2.65 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.75 2.61 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.00 2.66 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.64 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.17 2.61 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.69 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.94 2.66 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.70 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.03 2.62 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.14 2.74 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.27 2.66 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.60 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.66 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.72 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 6.78 2.64 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.73 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.92 2.67 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.10 2.72 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.68 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.40 2.60 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.08 2.72 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.70 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.02 2.60 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.00 2.68 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.55 2.57 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.88 2.68 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.69 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.60 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.60 2.60 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.98 2.69 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.01 2.61 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.74 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.93 2.62 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 63.57 43.22 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.40 268.74 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.99 273.88 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.64 274.05 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.77 273.60 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 63.30 42.90 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 306.14 272.95 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 304.25 274.65 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.13 271.56 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 305.85 279.96 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.88 2.51 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 296.91 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.14 2.64 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.99 2.68 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.89 2.59 None heap-manipulation/tree_false-valid-deref.i unknown 6.79 2.65 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 297.11 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.11 266.82 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.34 268.69 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.32 260.69 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.03 273.36 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.08 275.09 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.68 273.47 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.97 280.59 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.72 275.37 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.57 268.49 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.23 2.71 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.31 2.77 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.09 2.68 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.36 2.78 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.28 2.72 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.16 2.69 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.76 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.02 2.65 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.18 2.69 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.37 2.74 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.38 2.69 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.75 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.02 2.71 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.34 270.07 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 276.11 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.86 269.55 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.12 269.70 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.18 262.98 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.44 265.85 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.19 268.84 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.13 267.23 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 271.47 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 276.88 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 280.30 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.09 264.10 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.12 272.94 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 269.26 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.09 271.06 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 273.99 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.22 264.19 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 272.03 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.97 265.77 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.07 273.66 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.14 272.03 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 304.72 272.12 None loop-acceleration/array3_false-valid-deref.i unknown 7.42 2.87 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.53 3.07 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.16 2.93 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.23 5.04 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.69 4.87 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.28 4.69 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.21 4.37 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.34 4.57 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.22 4.69 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.01 4.58 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.29 3.50 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 10.84 3.98 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 10.78 3.95 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.39 2.96 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.78 2.95 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.64 3.13 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.99 3.09 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 7.69 3.05 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.80 3.08 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 7.89 3.11 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.15 3.18 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.20 2.89 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.60 2.95 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.42 2.87 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.34 2.96 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.44 3.06 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 40655.08 17352.10 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978