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: Wed, 2018-04-11 20:02:24 CEST tool: ULTIMATE Automizer 0.1.23-8168ed23 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) 9.40 3.82 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.04 3.44 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 10.67 4.08 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.54 3.00 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 20.98 8.91 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 13.09 5.01 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.67 3.07 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.44 3.29 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.88 8.34 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 8.13 3.30 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 11.98 4.43 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 21.70 9.40 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 10.13 3.87 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 15.63 5.95 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 11.35 4.25 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.97 3.52 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.30 2.94 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.77 275.70 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 18.40 7.31 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 18.51 7.17 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 18.42 7.41 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.80 236.01 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.89 233.11 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.43 265.36 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 19.81 8.65 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 71.36 50.90 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.83 255.29 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 70.74 48.26 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.47 8.70 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.10 267.92 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 44.43 25.11 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.21 249.01 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 153.67 126.51 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 163.30 137.46 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.80 255.72 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 23.73 9.84 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.65 238.78 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 36.74 19.30 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 29.16 19.55 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.52 281.02 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.15 268.03 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.35 271.70 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.10 267.16 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.62 257.53 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.16 6.32 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.20 250.31 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 75.25 56.30 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.62 257.95 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 81.31 58.54 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.03 252.15 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.06 8.16 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.07 272.56 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 54.54 36.37 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.90 255.19 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 22.52 9.90 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 77.19 57.00 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.30 281.27 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.00 274.30 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.40 297.85 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 22.22 9.24 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 19.25 7.79 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 21.80 8.62 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 23.06 10.49 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 130.94 107.72 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.96 265.23 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 11.84 4.34 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.36 233.37 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.27 228.59 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.56 248.15 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.94 257.74 None memsafety/test-0137_false-valid-deref.i unknown 6.49 2.48 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 18.92 7.03 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.93 257.92 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 13.04 5.15 None memsafety/test-0232_false-valid-free.i unknown 6.26 2.43 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.42 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.35 253.18 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 69.58 28.05 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 21.69 7.57 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 179.38 112.37 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 19.92 8.97 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.08 2.67 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.47 4.00 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT 323.80 140.07 None memsafety/test-0232_false-valid-memtrack.i unknown 6.31 2.76 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 17.91 6.67 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 19.24 6.99 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.04 257.46 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 163.52 99.17 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 22.32 11.00 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.72 None memsafety/test-0134_true-valid-memsafety.i unknown 6.52 2.52 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 13.15 5.70 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.50 2.51 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.55 2.59 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.84 2.60 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 52.21 40.44 None memsafety/test-0232_true-valid-memsafety.i unknown 6.36 2.51 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 20.84 10.44 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 19.70 8.65 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 19.66 8.55 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 19.71 8.51 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.53 264.18 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.42 258.28 None memsafety/test-0521_true-valid-memsafety.i unknown 6.58 2.49 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.57 262.41 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.25 275.64 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.45 2.49 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.42 2.40 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 303.01 263.86 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 300.78 249.48 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.08 259.34 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.06 269.58 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.06 265.34 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 69.87 45.15 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.05 264.33 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.78 256.74 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 240.71 215.39 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.21 257.80 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.65 259.47 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.35 271.16 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.11 262.91 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.32 255.91 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 60.26 36.24 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 17.59 7.01 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.66 258.13 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 16.10 6.25 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 22.58 9.56 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 12.46 4.71 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 37.49 19.69 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.09 3.88 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.57 2.53 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.54 269.39 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.68 258.15 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 81.07 53.92 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.47 265.98 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 40.96 22.04 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 12.56 4.82 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.66 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.64 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.66 2.60 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 271.79 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.57 252.86 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 17.24 7.46 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 10.96 4.14 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 14.95 7.16 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 8.63 3.43 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 8.79 3.39 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.32 225.63 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 301.05 229.25 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 8.06 3.23 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.03 3.22 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 7.61 3.18 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 7.79 3.18 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 8.12 3.10 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.99 3.17 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.44 263.40 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 306.20 249.90 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.11 230.21 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.76 246.31 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.10 230.70 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.19 225.53 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 10.42 3.88 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 10.10 3.79 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.96 3.37 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 18.26 7.78 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 28.23 13.99 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.15 7.97 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 28.81 14.09 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 27.38 13.68 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 28.10 13.82 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.90 2.90 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 302.40 270.16 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 305.38 274.63 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.75 2.57 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.69 2.52 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.86 2.60 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.06 2.63 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 215.88 188.76 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 249.60 232.63 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 14.30 5.35 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 12.68 4.71 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 150.97 134.46 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 17.79 6.75 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 178.49 162.42 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.12 2.88 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 42.21 28.78 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 289.23 253.02 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.58 2.90 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.46 2.80 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT 323.90 155.40 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.69 6.43 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.67 4.92 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.98 278.44 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 252.17 228.61 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 39.15 22.11 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 122.24 108.45 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.79 287.78 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 12.84 4.62 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 14.23 5.20 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.76 5.05 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 301.67 270.23 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 46.48 28.10 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 301.25 267.96 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.10 5.92 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.44 4.77 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 14.96 5.38 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 185.37 169.87 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 144.68 130.10 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 16.21 6.04 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.81 4.97 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.77 5.05 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.49 4.78 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 240.63 225.09 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.69 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.12 2.69 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.17 263.50 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.29 2.76 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 21.39 7.95 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 23.31 11.88 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 247.57 221.15 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.88 273.26 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 102.05 86.67 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 262.96 245.64 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 20.35 10.88 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 20.81 8.36 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 18.33 7.23 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.92 268.05 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.39 271.70 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.98 264.93 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.71 2.49 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.77 2.66 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.71 6.40 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 20.44 8.23 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.85 6.93 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 162.04 145.74 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.48 6.28 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 17.49 6.37 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.86 6.47 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 9.90 3.83 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 18.40 8.22 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.88 287.37 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.08 284.49 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.60 287.36 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 9.80 3.85 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 301.00 287.59 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.50 4.44 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.48 287.75 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 301.83 285.68 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.19 2.71 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.45 297.14 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.61 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.91 2.58 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.64 2.59 None heap-manipulation/tree_false-valid-deref.i unknown 6.88 2.54 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 297.33 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 52.24 30.34 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.94 272.51 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.96 262.46 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.39 254.68 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.44 4.60 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 18.01 7.11 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 14.87 5.74 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.97 6.28 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 13.01 4.73 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.00 2.71 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.26 2.70 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.17 2.74 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.46 2.72 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.60 2.85 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.27 2.69 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.19 2.72 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.11 2.73 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.81 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.84 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.23 2.72 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.13 2.68 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.52 2.79 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.14 258.22 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 223.15 188.02 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 172.74 134.80 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.68 274.19 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.30 262.92 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.25 262.65 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.07 272.67 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.68 278.23 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 67.08 42.23 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 262.87 224.90 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 82.86 55.49 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.84 266.94 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TRUE 61.26 33.68 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.56 244.81 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.14 246.00 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.09 249.48 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.22 257.83 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.78 247.89 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.62 259.43 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 235.51 196.91 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 77.19 52.01 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.35 257.97 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.90 233.90 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 9.09 3.21 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.02 2.95 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.68 5.75 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.81 5.41 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.81 4.91 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.57 4.97 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.96 4.94 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.22 5.55 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.68 5.35 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.41 3.82 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.91 4.43 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.70 4.57 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.03 3.13 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.11 3.23 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.27 3.20 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.53 3.29 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.66 3.24 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.60 3.32 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.79 3.31 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.76 3.36 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.57 3.05 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.64 2.97 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.77 3.07 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.89 3.14 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.45 2.98 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 19919.00 15988.60 - 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) 84.43 51.12 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 38.06 15.37 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 139.44 109.83 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 46.07 23.21 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 52.96 24.62 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 34.13 12.99 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 250.84 225.28 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 56.04 32.24 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 74.81 40.36 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 32.70 15.72 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 298.21 246.38 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.19 262.26 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 146.40 113.43 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.01 265.52 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.29 266.21 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 38.31 15.34 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.52 3.33 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.39 257.73 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 49.95 20.94 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 73.34 41.38 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 178.73 133.50 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.04 222.92 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.00 233.76 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.45 261.56 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 56.81 31.16 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 173.05 130.62 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 216.86 165.71 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.72 261.07 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.19 13.25 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.37 258.89 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 159.01 115.43 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.06 259.47 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.38 268.94 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.94 264.66 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.70 238.59 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 71.77 38.85 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.90 223.71 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.29 260.36 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 213.50 167.70 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.01 257.44 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.19 264.27 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.04 264.41 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.45 251.28 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 197.25 150.54 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.45 260.16 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.18 254.37 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 113.58 75.70 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 185.44 140.52 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 142.91 105.21 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.10 259.51 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 36.35 14.47 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.65 257.89 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 138.57 97.66 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.03 261.72 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 45.79 21.72 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 193.94 151.41 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 116.85 71.09 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.73 254.94 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.28 298.38 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 69.76 35.82 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 24.82 11.00 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 53.83 22.90 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 171.74 133.07 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.27 259.42 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 295.86 250.45 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 24.68 9.06 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.40 249.95 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.94 241.65 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.58 253.17 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.55 254.90 None memsafety/test-0137_false-valid-deref.i unknown 6.81 2.72 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.37 296.56 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 301.06 242.55 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 84.82 53.20 None memsafety/test-0232_false-valid-free.i unknown 7.15 2.82 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.40 296.90 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.45 268.21 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.44 269.97 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.00 270.04 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.00 267.35 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.94 274.88 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.75 3.06 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 54.03 26.54 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.41 296.43 None memsafety/test-0232_false-valid-memtrack.i unknown 7.35 3.02 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 295.85 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.36 295.69 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.18 241.52 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.18 267.78 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 74.21 42.93 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 8.04 3.15 None memsafety/test-0134_true-valid-memsafety.i unknown 7.04 2.81 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 57.62 29.70 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.97 2.86 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.14 2.91 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.10 2.85 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.42 296.56 None memsafety/test-0232_true-valid-memsafety.i unknown 7.29 2.80 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.43 295.77 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.40 295.63 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.41 295.42 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.41 295.41 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.88 273.71 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.19 268.87 None memsafety/test-0521_true-valid-memsafety.i unknown 7.16 2.91 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.92 274.41 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.56 267.32 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 7.02 2.78 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 7.18 2.75 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 303.39 272.51 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 304.13 267.04 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 271.48 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.04 271.65 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.01 272.57 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 304.93 259.95 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.96 262.53 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.57 269.57 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.99 270.34 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.15 265.82 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.90 267.82 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.80 271.72 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.21 265.75 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.21 262.15 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.98 268.48 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 225.91 191.00 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.57 262.27 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.30 267.34 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 234.09 201.21 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 233.85 205.35 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.94 271.49 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 134.21 104.79 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.76 2.67 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 277.85 206.58 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.58 257.47 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.21 270.95 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 271.21 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 150.63 117.02 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i FALSE(valid-free) 190.25 162.30 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.03 2.99 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.91 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.68 2.81 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 274.78 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.06 267.12 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.29 266.03 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 134.18 107.51 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 182.00 151.97 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 32.48 12.19 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 34.85 13.22 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 303.20 232.13 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 301.15 229.94 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.67 4.26 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 10.04 4.26 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.77 3.99 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 9.94 4.03 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 9.85 3.95 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 9.80 3.96 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 303.48 262.30 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.44 241.47 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.20 226.70 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.83 246.10 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.74 215.80 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 302.30 222.99 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.10 272.00 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 305.94 280.40 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.90 283.67 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 17.41 8.09 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 28.00 14.12 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.26 8.10 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 27.15 13.79 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 27.70 13.92 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 29.99 14.03 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.65 3.33 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 11.20 4.35 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 11.11 4.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.12 2.94 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.00 3.16 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.10 2.69 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.03 3.06 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 12.03 4.46 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 11.66 4.18 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 11.05 4.27 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 55.51 30.54 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 11.82 4.45 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 11.00 4.05 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.77 4.55 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.05 2.68 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.33 4.17 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 11.45 4.22 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.66 2.96 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.45 3.12 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.50 269.36 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.46 4.37 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.18 4.31 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 12.13 4.43 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 11.89 4.56 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.12 4.19 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.71 4.04 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.91 4.06 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.17 4.03 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.14 4.26 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.26 4.13 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.72 4.31 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.65 3.96 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.72 4.18 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.00 4.39 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.38 4.17 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.07 4.38 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.81 4.29 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.11 4.38 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.51 4.28 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.73 4.33 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.92 4.06 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.08 3.97 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.49 4.36 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.87 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.04 3.12 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 12.01 4.34 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.84 3.06 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.49 4.68 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.36 4.15 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.16 4.42 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.39 4.51 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.76 4.50 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.46 4.47 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.83 4.30 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.59 4.29 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.10 4.10 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.31 4.28 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.87 4.09 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.11 4.50 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.05 2.84 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.83 2.69 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.63 4.33 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.30 4.78 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.79 4.31 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.95 4.30 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.21 5.01 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.15 4.06 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.69 4.18 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 67.31 44.65 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.24 272.34 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.12 276.90 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.18 273.00 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.66 271.34 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 70.76 45.52 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 306.18 273.45 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 301.93 269.37 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.68 273.10 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 306.08 275.34 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.03 4.08 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.57 297.33 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.94 2.84 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.94 2.86 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 7.05 2.89 None heap-manipulation/tree_false-valid-deref.i unknown 6.78 3.01 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.52 297.52 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.30 269.50 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.32 265.22 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.76 260.89 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.96 274.52 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.25 269.20 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.10 278.05 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.06 273.64 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.40 272.40 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.26 269.43 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.59 2.94 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.51 2.94 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.55 2.81 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.56 2.81 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.77 2.93 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 8.03 2.97 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.43 3.06 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.37 2.77 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.93 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 3.31 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.46 2.90 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.61 2.93 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.44 269.12 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 308.92 279.15 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.95 272.77 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 270.11 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 274.45 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.55 265.31 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.21 267.62 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.13 267.66 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 270.38 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 274.40 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.98 275.98 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 276.11 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.60 260.28 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.34 262.17 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 271.33 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 275.71 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.22 264.54 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.99 263.01 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.38 262.47 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.00 268.21 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.15 274.25 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.06 273.41 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.42 234.51 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.90 3.20 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.83 2.97 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.18 6.00 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 17.29 6.17 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.46 4.88 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.69 4.99 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.65 4.62 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.25 5.52 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.92 5.32 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.57 3.95 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.32 4.56 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.05 4.54 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.58 3.41 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.51 3.45 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.74 3.35 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.83 3.67 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.96 3.49 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.63 3.36 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.77 3.34 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.05 3.40 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.00 3.07 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.93 3.19 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.86 3.05 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.13 3.19 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.19 3.38 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 45677.86 20184.99 - 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 86.46 52.43 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 37.09 15.27 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 136.95 109.26 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 44.67 24.57 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 41.58 19.58 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 28.50 11.33 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 260.07 229.34 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 53.91 32.11 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 65.04 35.32 None array-memsafety/diff_usafe_false-valid-deref.i unknown 34.57 15.96 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 288.57 243.49 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.71 265.89 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 149.32 110.51 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.71 265.83 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 306.06 269.15 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 35.32 13.96 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 8.13 3.15 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 80.19 51.43 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 41.74 18.41 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 69.43 38.82 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 164.24 126.69 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 51.08 24.90 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 143.14 114.69 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.36 256.70 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 56.36 32.40 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 167.23 127.19 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 206.50 162.41 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.31 259.34 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 33.08 13.08 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.42 252.24 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 145.56 109.16 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.04 260.68 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.64 252.97 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.07 264.93 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 77.77 36.93 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 53.20 27.93 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 52.58 27.00 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.18 267.05 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 147.49 108.51 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 46.67 19.47 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 13.67 4.77 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 15.36 5.28 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 45.08 21.46 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 177.30 138.10 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.03 262.94 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.36 261.77 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 106.84 70.20 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 190.08 146.88 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 134.14 97.61 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.55 264.61 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 34.97 12.96 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.33 253.40 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 122.00 81.77 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.96 262.68 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 41.71 18.95 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 172.61 134.58 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 104.62 63.27 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.76 256.39 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.51 297.31 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 47.78 23.39 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 13.58 4.75 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 36.19 13.98 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 140.15 104.74 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.04 261.63 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 254.26 214.58 None array-examples/relax_false-valid-deref.i unknown 17.54 6.01 None array-examples/sanfoundry_24_false-valid-deref.i unknown 7.13 2.81 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 6.84 2.75 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 6.90 2.72 None memsafety/960521-1_false-valid-deref.i unknown 229.45 181.78 None memsafety/test-0137_false-valid-deref.i unknown 7.23 2.67 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.47 295.01 None memsafety/960521-1_false-valid-free.i unknown 159.67 125.75 None memsafety/test-0158_false-valid-free.i unknown 79.36 49.62 None memsafety/test-0232_false-valid-free.i unknown 6.75 2.67 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.45 296.55 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.33 268.16 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.30 266.12 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.16 268.86 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.17 272.88 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 306.08 275.31 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.33 2.87 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 43.61 21.18 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.50 295.66 None memsafety/test-0232_false-valid-memtrack.i unknown 6.85 2.62 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 295.17 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 294.64 None memsafety/960521-1_true-valid-memsafety.i unknown 194.27 155.09 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.26 266.78 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 57.02 33.11 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.39 2.78 None memsafety/test-0134_true-valid-memsafety.i unknown 6.71 2.54 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 50.65 25.61 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.63 2.59 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.62 2.58 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.87 2.60 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 295.86 None memsafety/test-0232_true-valid-memsafety.i unknown 6.79 2.59 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 295.28 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 294.77 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.92 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.48 295.01 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 269.57 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.90 271.29 None memsafety/test-0521_true-valid-memsafety.i unknown 6.63 2.57 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.04 274.43 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.41 264.49 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.80 2.53 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.50 2.49 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.56 268.36 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.11 273.13 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.85 267.36 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.16 271.58 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.21 273.72 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 306.20 264.35 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.18 268.11 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.94 271.25 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.99 272.94 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.50 263.80 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.14 265.57 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.48 263.95 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.29 270.33 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.37 263.50 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.13 267.14 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 199.73 167.40 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.18 267.21 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.08 259.53 None list-ext-properties/960521-1_1_false-valid-free.i unknown 207.54 169.46 None list-ext-properties/test-0158_1_false-valid-free.i unknown 207.38 177.02 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.98 274.65 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 119.35 91.99 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.65 2.56 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 110.40 77.99 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.30 265.78 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.21 271.81 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.60 268.94 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 133.92 105.81 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 174.52 146.44 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.91 2.59 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.95 2.56 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.60 2.46 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.23 273.23 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.47 269.11 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.45 265.71 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 126.46 100.61 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 164.24 136.60 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 27.76 10.99 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 31.59 11.40 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 14.31 5.03 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 14.71 5.33 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 8.77 3.35 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.31 3.45 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 9.38 3.49 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 9.66 3.58 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 9.27 3.46 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.84 3.42 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 135.30 108.59 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 14.92 5.33 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 15.41 5.46 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 14.88 5.23 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 28.48 12.04 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 16.22 5.66 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.17 273.16 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.18 270.50 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.93 284.08 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.81 3.30 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 9.00 3.31 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.76 3.22 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 8.81 3.29 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.57 3.22 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.85 3.32 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.70 2.76 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 11.63 4.19 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 10.96 3.90 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.08 2.64 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.88 2.58 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.15 2.78 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.09 2.55 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 11.42 4.12 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 12.38 4.42 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 11.25 4.05 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 53.62 31.28 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 11.87 4.22 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 11.59 4.17 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 12.29 4.25 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.89 2.62 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.87 4.25 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 11.29 4.07 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.63 2.81 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.80 2.92 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.07 271.13 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 10.79 4.01 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.65 4.13 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 11.87 4.22 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 11.82 4.12 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.44 4.06 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.55 4.12 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.03 4.05 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.34 4.04 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.49 3.97 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.12 3.99 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.57 4.10 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.17 3.91 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.60 4.16 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.18 3.98 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.27 4.03 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.44 4.04 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.92 4.20 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.56 4.10 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.63 4.05 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.60 4.09 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.31 4.11 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 11.14 4.04 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.50 4.32 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.26 2.69 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.23 2.70 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 12.08 4.23 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 8.08 2.90 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.23 4.39 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.84 3.91 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.18 4.36 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.35 4.40 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.56 4.16 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.29 4.28 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 10.72 3.86 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.61 4.08 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.02 4.25 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.38 4.04 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.32 4.02 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.17 4.06 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.12 2.79 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.68 2.56 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.95 4.16 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.36 4.04 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.52 4.20 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.92 4.41 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 12.04 4.26 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.94 4.26 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 11.75 4.24 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 61.08 44.00 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.05 270.01 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.34 271.77 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.66 274.01 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.29 270.27 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 60.13 41.07 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 306.08 276.73 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 306.02 277.68 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.08 273.22 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 305.80 281.48 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.88 2.61 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.44 297.45 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.51 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.58 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.81 2.59 None heap-manipulation/tree_false-valid-deref.i unknown 6.88 2.57 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.82 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.13 268.62 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.85 267.00 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.36 265.36 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 270.26 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.48 268.02 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.81 274.86 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.02 275.40 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.52 274.90 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.55 255.54 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.37 2.75 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.73 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.19 2.71 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.82 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.75 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.18 2.68 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.97 2.64 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.77 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.78 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.87 2.64 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.82 2.81 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.15 2.68 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.13 2.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.06 268.15 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.14 276.50 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.56 266.11 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 270.81 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 274.15 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.29 264.86 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.17 265.61 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.12 267.26 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 272.41 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.29 266.94 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 273.20 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.20 265.56 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.28 274.69 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 307.55 264.71 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 268.50 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 273.70 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.16 269.16 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.96 278.33 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.12 268.91 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.08 269.14 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.01 273.58 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 302.74 266.25 None loop-acceleration/array3_false-valid-deref.i unknown 7.44 2.82 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 9.07 3.17 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.36 3.03 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.11 5.19 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.66 5.19 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.85 4.62 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.15 4.46 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.69 4.66 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.41 4.89 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.45 4.97 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.75 3.54 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.68 4.26 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.30 4.14 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.68 3.06 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.16 3.07 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.00 3.05 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.18 3.21 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.72 4.02 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.01 3.59 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.91 3.55 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 9.02 3.87 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.45 3.80 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.98 3.79 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.55 3.57 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.95 3.64 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.98 3.85 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 41125.02 17448.29 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978