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: Mon, 2018-04-09 19:44:43 CEST tool: ULTIMATE Automizer 0.1.23-453dfdae 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.78 3.72 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.16 3.30 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 10.53 4.03 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.56 2.99 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 20.07 8.55 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 13.00 4.93 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 7.77 3.13 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 8.49 3.40 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.92 8.81 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 8.87 3.67 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 11.99 4.38 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 21.42 9.43 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 10.06 3.88 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 14.99 5.78 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 11.69 4.27 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 8.84 3.44 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.54 2.97 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.77 275.62 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 17.94 7.15 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 18.28 7.15 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 17.95 7.00 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.89 236.79 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.93 232.20 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.07 265.56 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 20.05 8.24 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 62.33 41.17 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.79 254.92 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 85.26 64.91 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 20.49 8.90 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.03 271.49 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 64.33 45.65 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.20 249.30 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 148.29 117.98 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 185.96 158.43 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.71 254.27 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 23.05 9.79 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.75 238.92 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.17 17.36 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 41.25 31.47 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.34 281.83 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.15 267.83 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.11 271.73 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.15 268.47 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.65 257.35 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 16.39 6.48 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.14 250.20 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 64.51 45.22 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.60 258.20 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 91.98 70.23 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.05 253.51 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 18.98 8.06 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.17 265.91 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 59.97 40.84 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.02 255.21 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 21.28 9.59 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 53.20 33.38 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 181.06 159.09 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.25 275.48 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.46 297.50 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 22.35 9.24 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 19.76 8.03 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 20.03 8.38 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 23.31 10.70 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 147.46 126.52 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.90 266.03 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 12.10 4.51 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.23 234.28 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.14 229.84 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.49 248.80 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.95 257.68 None memsafety/test-0137_false-valid-deref.i unknown 6.73 2.51 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 18.03 6.81 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.94 257.15 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 13.63 5.00 None memsafety/test-0232_false-valid-free.i unknown 6.36 2.50 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.53 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.40 251.33 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 69.54 28.43 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 22.75 7.90 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 179.70 111.83 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.32 9.66 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.96 2.73 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.70 4.08 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT 323.80 145.40 None memsafety/test-0232_false-valid-memtrack.i unknown 6.50 2.73 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 16.78 6.40 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 17.22 6.65 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.02 256.47 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 158.67 95.83 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 22.63 10.80 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.32 2.71 None memsafety/test-0134_true-valid-memsafety.i unknown 6.71 2.54 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 13.25 5.64 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.82 2.50 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.64 2.58 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.59 2.59 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT 301.84 130.06 None memsafety/test-0232_true-valid-memsafety.i unknown 6.21 2.42 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 21.36 10.98 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 22.05 10.72 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 19.17 8.43 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 21.68 10.56 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.78 263.85 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 284.56 244.71 None memsafety/test-0521_true-valid-memsafety.i unknown 6.34 2.47 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.53 264.06 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.29 274.34 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.57 2.46 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.70 2.55 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.61 255.73 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 300.55 250.44 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.78 260.20 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.20 270.99 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.40 270.45 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 70.40 44.16 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.86 267.56 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.96 275.43 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.83 271.62 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.79 257.44 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.27 259.83 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.64 264.46 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.06 266.51 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.22 255.36 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 68.15 41.40 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 18.18 7.05 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.23 256.96 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 17.24 6.66 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 22.13 9.68 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 13.69 5.04 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 38.89 20.39 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.27 3.88 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.39 2.47 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.57 267.44 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.66 254.59 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i ERROR: EXCEPTION 81.77 54.49 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.44 266.03 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 40.61 21.87 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 12.42 4.92 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.95 2.56 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.84 2.65 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.52 2.54 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.50 266.98 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.56 254.28 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 16.29 7.11 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 10.90 4.22 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 14.81 6.95 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 8.57 3.39 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 8.98 3.50 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.07 229.75 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 301.15 229.70 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 7.83 3.16 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 8.10 3.16 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 7.78 3.16 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.01 3.24 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.99 3.25 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.98 3.23 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.92 287.45 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 306.08 251.00 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.16 227.44 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.43 247.83 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.45 228.98 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 302.61 228.56 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 10.45 4.00 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 10.03 3.80 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 8.65 3.34 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 18.61 7.88 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 27.80 13.63 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 18.10 7.65 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 27.55 13.70 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 27.34 13.76 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 26.87 13.55 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.29 2.70 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 6.71 2.64 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 6.77 2.64 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.20 2.70 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.17 2.64 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.01 2.72 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.38 2.78 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.01 2.68 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 6.96 2.80 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 6.84 2.70 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.05 2.75 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.07 2.67 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.04 2.67 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.69 2.71 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.25 2.74 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 2.76 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.12 2.75 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.02 2.73 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.14 2.70 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 6.97 2.70 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.02 2.76 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.64 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.01 2.67 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.29 2.73 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.72 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.98 2.67 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.17 2.74 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.13 2.82 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.30 2.82 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.74 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.29 3.10 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.28 2.86 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.99 2.69 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.10 2.56 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.01 2.62 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.18 2.59 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.64 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.63 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 2.77 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.81 2.62 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.95 2.74 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.68 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.01 2.68 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.29 2.71 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.15 2.78 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.19 2.71 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.23 2.78 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.13 2.74 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.69 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.74 2.72 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.78 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.98 2.68 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.02 2.76 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.80 2.70 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.12 2.67 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.15 2.67 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.66 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.01 2.71 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.05 2.71 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.07 2.67 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.10 2.64 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.68 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.29 2.79 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.73 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.14 2.88 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.10 2.86 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.24 2.76 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.82 2.68 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 10.55 4.17 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 21.44 9.21 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.58 288.08 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.60 285.25 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.46 287.69 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 10.23 3.96 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 301.41 288.44 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.42 4.44 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.43 288.15 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 300.89 283.63 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.59 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.43 297.37 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.05 2.69 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.64 2.51 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.40 2.67 None heap-manipulation/tree_false-valid-deref.i unknown 6.38 2.51 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 297.14 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 51.06 28.65 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.13 269.68 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.79 258.91 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.24 250.29 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 11.91 4.36 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 17.53 7.03 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.30 5.96 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 15.38 6.25 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 13.30 4.71 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.59 2.80 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.53 2.81 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.79 2.74 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.09 2.59 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.54 2.72 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.30 2.79 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.03 2.76 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.73 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.40 2.71 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.79 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.45 2.80 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.69 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.75 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.20 255.05 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 166.45 132.80 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.95 266.19 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.80 272.89 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.30 265.16 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.92 265.97 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 241.51 202.89 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.19 279.58 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 65.17 39.84 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.02 261.95 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 70.77 43.88 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.88 265.80 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TRUE 68.07 39.64 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.50 249.63 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.39 258.74 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.62 259.42 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.72 252.06 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.71 247.33 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.82 257.85 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 159.18 124.23 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 78.97 53.72 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 158.68 122.05 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.79 234.42 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.77 3.17 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 7.92 2.91 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.38 5.91 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.54 6.01 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.37 4.87 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.97 4.72 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.49 4.86 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.58 5.24 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.56 5.27 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.51 3.88 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.77 4.34 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.82 4.32 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.60 3.16 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.14 3.20 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.06 3.17 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.26 3.19 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.36 3.18 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.26 3.22 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.46 3.27 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.52 3.28 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.47 3.02 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.70 3.06 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.62 3.01 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.85 3.18 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.11 3.17 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 15806.61 13102.12 - 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) 87.98 54.02 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 40.63 15.26 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 148.15 115.58 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 45.05 24.24 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 52.75 23.99 None array-memsafety/cstrlen_unsafe_false-valid-deref.i ERROR: EXCEPTION 32.57 13.60 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 255.02 220.50 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 53.15 32.77 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i ERROR: EXCEPTION 74.75 40.09 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 37.30 15.69 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 293.54 245.68 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.14 261.47 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 144.64 104.87 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.06 262.57 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.30 266.33 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 39.96 16.06 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.82 3.41 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.89 257.22 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 47.16 21.20 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 73.93 41.46 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 173.77 128.96 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.07 223.41 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.03 232.88 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.22 260.38 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 58.04 30.92 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 172.05 129.42 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 211.89 167.01 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.28 259.01 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 36.40 13.87 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.39 257.28 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 158.39 115.37 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.13 258.52 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.03 258.38 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.89 267.11 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.53 228.92 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 77.15 36.65 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.98 225.94 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.44 264.87 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 184.68 136.28 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.01 265.15 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.19 263.19 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.29 267.23 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.46 249.88 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 194.15 147.56 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.37 250.64 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.48 263.75 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 113.31 73.39 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 184.70 143.14 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 150.53 105.69 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.25 262.16 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 38.12 13.77 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.17 258.61 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 145.26 101.75 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.53 254.27 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 47.30 22.33 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 188.52 141.28 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 104.72 66.83 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.97 244.75 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.44 297.18 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 61.13 28.98 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 22.54 8.78 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 48.42 19.90 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 152.71 114.19 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.13 259.42 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 269.95 224.95 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 23.10 7.72 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 300.30 233.79 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 300.24 228.28 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 300.49 248.82 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.33 249.32 None memsafety/test-0137_false-valid-deref.i unknown 6.46 2.52 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.47 294.98 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.49 243.76 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 78.22 50.80 None memsafety/test-0232_false-valid-free.i unknown 6.71 2.53 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 296.24 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.64 267.85 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.14 267.82 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.42 266.85 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.28 272.32 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.84 276.66 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.32 2.74 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 49.20 24.59 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 296.65 None memsafety/test-0232_false-valid-memtrack.i unknown 7.01 2.64 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.46 295.64 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.46 295.48 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.37 249.53 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.32 260.69 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 68.88 39.31 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.74 None memsafety/test-0134_true-valid-memsafety.i unknown 6.52 2.47 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 54.92 27.96 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.72 2.53 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.94 2.63 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.67 2.53 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 295.77 None memsafety/test-0232_true-valid-memsafety.i unknown 6.74 2.60 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.48 294.81 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 294.98 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.48 294.86 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 294.89 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 272.32 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.42 271.68 None memsafety/test-0521_true-valid-memsafety.i unknown 6.47 2.48 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.90 272.72 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.19 270.01 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.73 2.66 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 7.97 3.57 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 301.99 265.92 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.04 269.69 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.27 270.35 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.05 271.11 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.31 272.65 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 306.04 266.29 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.97 270.17 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.78 266.76 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.03 271.05 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.58 266.29 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 266.84 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.82 267.70 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 265.23 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.03 263.92 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 269.13 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 239.38 198.53 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.31 260.19 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 304.32 265.21 None list-ext-properties/960521-1_1_false-valid-free.i ERROR: EXCEPTION 232.51 190.86 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 222.82 192.18 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 306.14 270.24 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 128.25 101.05 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 7.47 2.91 None list-ext-properties/960521-1_1_true-valid-memsafety.i ERROR: EXCEPTION 281.53 206.69 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.41 262.86 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.08 266.63 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.78 269.00 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 153.04 117.41 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i FALSE(valid-free) 196.35 166.62 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.97 2.86 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.28 2.86 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.83 2.75 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.77 277.73 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.93 272.68 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 261.13 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 144.93 117.18 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 199.60 166.03 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 34.53 12.06 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 35.51 13.88 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 302.54 235.83 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 302.26 237.17 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 10.19 4.46 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 11.03 4.42 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 10.29 4.28 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 11.43 4.98 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 10.76 4.51 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 10.33 4.21 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.82 259.96 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.44 242.46 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.02 229.53 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 306.24 248.59 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.58 222.48 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.77 229.31 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 304.47 274.20 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 304.38 276.66 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.57 283.15 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 18.79 8.37 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 29.98 15.90 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 19.39 9.04 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 29.40 15.52 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 30.51 16.50 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 29.70 16.11 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.72 3.24 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.61 3.27 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.52 3.13 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.34 3.09 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.29 3.04 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.47 2.93 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.56 3.38 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.30 3.17 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.27 2.87 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.45 3.22 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.28 3.59 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.38 2.91 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.36 3.22 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.27 3.10 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.41 2.85 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.42 3.12 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.41 3.11 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.44 2.85 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.57 3.10 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.32 2.89 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.65 3.33 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.54 3.01 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.32 3.00 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.40 3.26 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.37 3.65 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 3.12 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.33 3.11 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.54 3.28 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.28 2.95 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.48 3.10 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.67 3.31 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.53 3.22 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.26 3.63 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 3.39 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.38 3.04 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.75 3.38 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.74 3.29 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.91 3.33 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.65 3.13 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.08 3.46 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.85 3.23 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.68 3.17 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.48 3.07 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.07 3.29 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 8.02 3.41 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 8.00 3.26 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.87 3.11 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.29 3.40 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.81 3.70 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.69 3.37 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.76 3.79 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.77 3.52 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.04 3.32 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.61 3.31 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.68 3.16 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.55 3.24 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.64 3.30 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.80 3.34 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.64 3.24 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.65 3.42 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.79 3.40 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.97 3.49 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.54 3.23 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.76 4.07 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.49 3.09 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.91 3.30 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.51 2.84 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.49 2.98 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 71.34 49.49 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.48 271.67 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.63 272.42 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.14 272.20 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.63 268.63 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 72.64 53.02 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 306.14 274.01 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 303.26 277.26 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.47 272.25 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 306.06 277.34 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.91 3.12 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.43 298.62 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.66 3.82 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 7.52 2.96 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 7.29 2.85 None heap-manipulation/tree_false-valid-deref.i unknown 7.38 2.86 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.41 298.51 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.89 272.67 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.57 268.72 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.69 261.45 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 273.39 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.29 268.93 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.91 274.28 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.13 274.43 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.11 274.03 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.11 276.43 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.15 4.24 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.25 3.14 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.26 3.19 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.81 2.70 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.65 2.98 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.46 2.80 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.07 2.98 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.78 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 3.08 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.89 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.37 3.83 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.97 3.38 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.26 3.16 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.77 272.03 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.18 275.73 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.21 267.91 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.21 269.69 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.01 274.89 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 273.31 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.62 261.80 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 269.71 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 270.05 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.75 269.61 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 274.37 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.08 274.83 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.20 269.18 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.09 270.02 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.47 270.22 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.24 269.96 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.16 266.27 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.13 269.47 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.18 267.33 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.94 274.97 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.99 270.55 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 304.39 268.64 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.97 235.23 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.97 4.69 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.00 3.13 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.37 6.17 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 16.30 6.23 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.92 5.37 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.30 5.30 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.96 5.30 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.63 5.87 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.82 5.41 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.43 4.55 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.76 5.21 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.11 5.03 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.54 3.54 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.53 3.64 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.55 3.91 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.63 3.85 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.88 3.71 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.48 3.72 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.60 3.75 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.84 2.43 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.94 3.44 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.22 3.53 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.46 3.46 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.64 3.59 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.04 3.30 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 44658.09 19967.77 - 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 90.83 58.43 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 42.85 17.58 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 154.70 119.80 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 44.53 23.36 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 44.07 20.38 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 28.59 11.56 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 268.52 234.73 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 58.56 34.96 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 67.51 36.67 None array-memsafety/diff_usafe_false-valid-deref.i unknown 37.38 15.65 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 300.49 253.19 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.27 259.28 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 146.64 111.16 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 303.16 262.82 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.30 264.50 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 41.65 17.64 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 8.91 3.46 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 88.63 56.61 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 43.76 20.76 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 67.56 50.59 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 163.47 161.15 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 61.04 44.16 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 151.89 119.26 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.78 259.43 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 52.24 30.34 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 165.43 125.13 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 197.57 157.64 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.67 262.09 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 33.03 11.83 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.94 255.59 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 147.18 112.08 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.91 258.21 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.19 264.26 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.44 267.32 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 74.67 37.48 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 58.14 30.06 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 53.91 27.96 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.25 266.81 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 150.39 111.32 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 44.70 21.52 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 14.66 5.01 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 14.69 5.04 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 42.82 20.65 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 177.31 141.29 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.79 265.33 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.15 260.97 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 112.84 74.28 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 183.01 140.44 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 138.89 100.82 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.29 257.05 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 33.53 11.88 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.14 260.38 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 116.09 79.25 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.10 252.06 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 40.17 19.10 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 168.30 132.57 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 102.46 66.28 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.93 263.42 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.47 297.40 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 57.55 24.83 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 13.11 4.54 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 39.17 13.63 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 138.47 106.52 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.07 263.71 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 256.97 213.83 None array-examples/relax_false-valid-deref.i unknown 17.93 6.23 None array-examples/sanfoundry_24_false-valid-deref.i unknown 7.01 2.85 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 7.00 2.70 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 7.22 2.86 None memsafety/960521-1_false-valid-deref.i unknown 215.99 181.92 None memsafety/test-0137_false-valid-deref.i unknown 6.63 2.53 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.52 295.48 None memsafety/960521-1_false-valid-free.i unknown 162.72 126.16 None memsafety/test-0158_false-valid-free.i unknown 77.80 48.54 None memsafety/test-0232_false-valid-free.i unknown 6.61 2.51 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.49 296.81 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.38 266.22 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.00 273.60 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.51 264.79 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 268.14 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.98 274.82 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.09 2.69 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 45.25 23.81 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.53 295.79 None memsafety/test-0232_false-valid-memtrack.i unknown 7.05 2.64 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 295.16 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.50 294.64 None memsafety/960521-1_true-valid-memsafety.i unknown 188.14 153.75 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.19 266.73 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 57.57 33.21 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.54 2.79 None memsafety/test-0134_true-valid-memsafety.i unknown 6.72 2.55 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 50.79 24.78 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.03 2.62 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.02 2.64 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.03 2.64 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.51 295.91 None memsafety/test-0232_true-valid-memsafety.i unknown 6.87 2.61 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.48 295.37 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 294.62 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.52 295.21 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.52 294.79 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.06 271.41 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.23 267.29 None memsafety/test-0521_true-valid-memsafety.i unknown 6.82 2.63 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.45 273.28 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.95 265.29 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.68 2.51 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.73 2.52 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.58 268.85 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.09 272.29 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.18 269.82 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.24 271.07 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.03 269.67 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 306.26 264.70 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.16 268.32 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.10 267.44 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.28 265.71 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.37 262.21 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.54 264.67 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.05 270.33 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.30 267.33 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.17 267.64 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 267.80 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 200.13 165.25 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.75 264.08 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.83 266.75 None list-ext-properties/960521-1_1_false-valid-free.i unknown 213.49 171.62 None list-ext-properties/test-0158_1_false-valid-free.i unknown 200.23 172.82 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.95 275.79 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 112.40 89.09 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.43 2.50 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 116.51 79.21 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.17 268.06 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.64 267.39 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.36 266.35 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 133.63 105.41 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 181.32 151.65 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.08 2.66 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.03 2.62 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.61 2.52 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.02 272.77 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.58 268.62 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.80 261.47 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 131.81 103.61 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 170.76 142.94 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 33.02 12.38 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 32.70 11.45 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 15.65 5.50 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 14.95 5.29 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 9.32 3.47 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 9.60 3.64 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 9.34 3.55 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 9.46 3.68 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 9.00 3.39 None ldv-memsafety/memset_false-valid-deref-write.c unknown 9.19 3.41 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 133.27 105.59 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 16.97 6.05 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 17.39 6.09 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 16.27 5.83 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 30.30 11.71 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 17.03 6.19 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TIMEOUT (ERROR (143)) 305.14 276.75 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 305.98 278.94 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 305.71 284.22 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.59 3.27 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 9.04 3.34 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.61 3.21 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 9.18 3.42 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.92 3.33 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 8.87 3.32 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 6.90 2.64 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 6.96 2.55 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.14 2.68 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.14 2.68 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.01 2.52 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.97 2.61 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.03 2.65 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 6.95 2.57 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.26 2.73 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.20 2.77 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.78 2.62 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 6.94 2.70 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.87 2.61 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.14 2.69 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.64 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.91 2.57 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.22 2.71 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.09 2.67 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.06 2.59 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 6.68 2.64 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.92 2.64 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.02 2.68 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 6.82 2.56 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.10 2.71 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.88 2.67 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.91 2.57 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.90 2.59 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.64 2.61 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.17 2.76 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.93 2.63 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.89 2.66 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.16 2.64 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.13 2.68 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.73 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.10 2.74 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.74 2.54 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.89 2.65 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.02 2.67 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.74 2.67 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.18 2.72 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.77 2.64 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.65 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.28 2.67 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.68 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.00 2.67 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.01 2.69 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.63 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.05 2.73 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.85 2.54 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.98 2.64 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.68 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.07 2.76 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.75 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.17 2.66 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.98 2.69 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.69 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.96 2.70 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.37 2.69 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.99 2.64 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.72 2.67 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.13 2.69 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.15 2.65 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.68 2.69 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.35 2.73 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.87 2.67 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.08 2.70 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.16 2.70 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.89 2.68 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 62.58 43.67 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.25 272.00 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.01 274.66 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.40 268.54 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.24 270.44 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 57.33 41.37 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 303.71 270.52 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 301.42 271.30 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.19 269.56 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 306.09 276.92 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.81 2.58 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 297.20 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.17 2.77 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 7.17 2.67 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.96 2.66 None heap-manipulation/tree_false-valid-deref.i unknown 6.82 2.67 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 296.78 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.11 266.44 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.62 268.02 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.51 265.90 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.47 274.04 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.57 270.27 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.71 269.16 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.96 278.52 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.39 274.07 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.64 266.22 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.40 2.76 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.09 2.75 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.38 2.79 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.27 2.71 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.39 2.87 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.25 2.77 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.21 2.67 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.82 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.28 2.68 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.32 2.70 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.40 2.71 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.53 2.85 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.73 2.76 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.60 265.12 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 275.44 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.26 268.40 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.02 273.16 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.98 276.66 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 272.24 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.26 264.20 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.20 265.05 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.18 262.95 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.01 272.27 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 278.91 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 275.92 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.23 265.89 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.28 264.88 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 269.08 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.26 273.93 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.17 266.35 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.34 269.14 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.36 263.06 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.12 269.56 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.02 274.36 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.22 270.99 None loop-acceleration/array3_false-valid-deref.i unknown 7.37 2.87 None ntdrivers/floppy_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.81 3.10 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.24 2.95 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 14.73 5.29 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.91 4.98 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.93 4.34 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.01 4.39 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.94 4.33 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 13.52 4.81 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 12.58 5.18 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.07 3.41 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.28 4.15 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 10.71 3.99 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.77 3.13 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.70 3.19 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.98 3.08 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.87 3.05 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.04 3.11 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.14 3.15 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 8.39 3.17 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 8.19 3.21 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.18 2.88 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.49 3.01 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.75 3.11 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.30 3.07 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 7.71 2.93 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 40617.47 17351.49 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978