BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-memsafety-heapsep-32.xml name: equality-cav18-memsafety-heapsep-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Mon, 2018-01-29 22:33:03 CET tool: ULTIMATE Automizer 0.1.23-1cceb4a9 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 180 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ Automizer.32bitMem Run set 1 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+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) 8.37 3.07 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.13 2.92 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 8.80 3.34 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.61 2.63 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 18.25 7.45 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 11.22 4.16 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.49 2.61 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 7.08 2.87 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 16.22 6.53 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.31 2.99 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 9.89 3.61 None array-memsafety/lis_unsafe_false-valid-deref.i FALSE(valid-deref) 20.28 7.71 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 8.60 3.45 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 10.98 4.22 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 9.00 3.40 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.62 2.97 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.53 2.59 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.40 136.95 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 14.00 5.58 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 15.49 6.20 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 15.14 5.95 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 15.38 6.07 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 22.29 8.85 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.13 135.00 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 19.64 8.66 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 59.55 40.56 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 41.51 22.89 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.83 162.47 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 18.82 7.89 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.60 148.59 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 56.89 33.33 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 63.74 35.70 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 167.83 134.89 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 125.68 96.90 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 60.91 33.45 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 24.84 10.13 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 27.23 12.60 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TRUE 56.48 25.33 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 22.71 10.98 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 44.58 29.51 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 17.79 7.58 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 35.86 24.13 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 17.20 7.38 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 29.80 14.23 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TRUE 119.07 70.17 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.60 137.31 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 107.50 82.36 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 25.91 11.19 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.56 162.67 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TRUE 97.01 52.98 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 22.20 11.97 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.53 147.58 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 68.88 48.90 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TRUE 51.72 26.28 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 21.81 9.87 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 106.90 87.52 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 51.71 29.42 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.38 139.52 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 16.35 6.76 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 25.13 11.21 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 15.89 6.84 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 15.78 6.60 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 54.99 39.93 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 147.63 127.09 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.64 149.84 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 9.38 3.54 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 181.02 113.41 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.16 123.78 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.12 122.15 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 185.52 144.71 None memsafety/test-0137_false-valid-deref.i FALSE(valid-deref) 175.39 125.51 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 181.51 164.63 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 180.60 156.00 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 10.42 3.76 None memsafety/test-0232_false-valid-free.i FALSE(valid-free) 171.20 116.17 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.39 141.96 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.06 137.81 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 90.30 39.14 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 23.50 8.54 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 140.36 67.73 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.36 7.06 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 145.98 95.87 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.32 3.60 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.29 2.07 None memsafety/test-0232_false-valid-memtrack.i UNKNOWN: OverapproxCex 31.54 14.92 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.85 167.86 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.51 161.17 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.79 162.02 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.49 107.82 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 20.47 9.02 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 152.32 97.05 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.72 129.95 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 10.34 4.32 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.49 2.04 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.36 2.02 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.67 2.24 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.32 2.12 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 181.07 129.44 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.43 167.44 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.58 158.33 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.26 164.36 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.00 164.45 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.12 138.01 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 154.34 99.71 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.86 133.01 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.96 152.64 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.88 136.42 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.24 2.05 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.07 1.99 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 185.42 152.82 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 182.34 145.10 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.44 133.26 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 181.26 138.79 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 181.59 143.44 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR: EXCEPTION) 180.45 138.39 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.43 98.68 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR: EXCEPTION) 181.65 107.26 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 130.72 87.53 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.72 117.41 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.30 94.71 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.19 100.72 None memsafety-ext2/length_test03_true-valid-memsafety.i ERROR: EXCEPTION 124.92 84.00 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i ERROR: EXCEPTION 139.85 78.41 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.09 140.21 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 14.42 5.45 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 181.05 122.98 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 12.56 4.67 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 18.36 6.66 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 10.04 3.61 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 29.81 13.79 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.22 3.12 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 25.86 10.19 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.42 138.80 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.05 120.13 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.81 118.68 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.64 121.17 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 34.66 16.19 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 10.58 3.89 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.62 2.16 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.69 2.07 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.67 121.60 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 136.49 85.77 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.11 117.79 None memory-alloca/c.03-alloca_true-valid-memsafety.i TRUE 15.92 6.18 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.54 3.20 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 9.92 3.69 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 7.17 2.78 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.72 2.93 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 180.57 115.70 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.88 115.69 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 6.84 2.73 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 7.34 2.85 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.86 2.72 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 7.26 2.78 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.01 2.75 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.06 2.82 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.26 110.48 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 27.33 11.19 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 29.15 12.17 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 30.93 12.56 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 44.24 17.97 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 28.62 11.64 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.30 2.09 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.30 2.07 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.67 2.37 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 10.08 3.80 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 11.35 4.13 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 10.52 3.94 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 10.51 4.02 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 10.79 4.02 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 10.33 3.83 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.73 2.15 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.95 140.12 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 184.83 142.33 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.28 2.05 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.71 2.24 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.41 2.07 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 182.53 148.80 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 181.82 144.67 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 169.06 124.95 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 8.75 3.42 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 6.99 2.70 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 24.43 9.04 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 9.16 3.47 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 75.59 51.74 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.79 2.15 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.38 2.07 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.25 2.03 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.23 2.09 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.34 2.09 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.45 149.39 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.28 2.03 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.22 1.99 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.99 151.41 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.51 146.76 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 62.67 51.90 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 182.87 155.31 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 181.20 158.64 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.51 2.88 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.14 2.04 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.31 1.99 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 100.56 59.31 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 56.81 34.07 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 116.24 70.79 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.85 4.05 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.87 2.97 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.84 3.38 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 19.73 7.30 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 18.71 6.86 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.20 5.94 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.54 3.00 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.91 3.70 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.79 3.30 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 84.91 57.88 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.65 2.20 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.09 148.37 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.70 2.22 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.34 2.12 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.67 136.65 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.35 2.09 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.03 151.48 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.01 144.99 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.52 154.46 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 116.13 74.84 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 10.30 3.82 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.41 2.08 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.52 2.12 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.98 134.95 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.01 131.31 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.33 132.27 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.65 2.15 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.13 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 12.99 4.97 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 17.82 7.03 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 14.05 5.47 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 26.97 10.51 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 21.96 8.32 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 12.54 4.95 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 12.34 4.53 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.96 1.94 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.86 1.85 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.86 1.87 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.83 1.88 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.62 1.84 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.86 1.96 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.86 1.88 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.80 1.90 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.86 1.91 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 5.02 1.97 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 147.47 96.67 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.59 2.15 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.03 128.91 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.10 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.14 2.02 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.19 1.99 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.51 140.53 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 34.90 13.44 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 62.79 28.34 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 51.31 21.17 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.00 124.15 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 9.35 3.59 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 14.62 5.68 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.82 3.96 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 14.64 5.41 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 10.69 3.98 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.95 2.17 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.98 2.26 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.99 2.27 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.15 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.17 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.13 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.19 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.19 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.37 2.27 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.28 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.20 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.24 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.48 2.35 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 65.87 28.21 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.38 141.13 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 43.17 16.85 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.64 118.83 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.90 114.68 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.38 119.47 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.51 116.85 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.58 121.85 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.75 127.66 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 64.20 28.21 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.97 131.06 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.53 129.68 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 42.25 16.35 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.42 120.07 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.43 123.53 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.32 120.43 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.77 126.21 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.21 124.21 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.92 126.76 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 89.25 48.25 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 57.50 23.99 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 76.69 37.47 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.53 116.47 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.81 2.42 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.89 2.19 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.16 4.84 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.12 5.26 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.97 4.07 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.63 3.99 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.32 4.12 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.88 4.46 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.80 4.40 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.46 3.27 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.31 3.86 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.11 3.83 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.81 2.60 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.94 2.71 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.99 2.71 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.78 2.67 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.27 2.84 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.60 3.00 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.12 2.73 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.15 2.75 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.10 2.40 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.32 2.54 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.51 2.60 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.38 2.55 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.44 2.59 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 14322.81 7939.25 - 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_Camel+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) 71.84 47.35 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 27.49 10.78 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 86.67 57.12 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 33.83 22.21 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 19.56 6.72 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 16.82 5.74 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.01 158.72 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 74.28 53.65 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 24.21 8.82 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 22.60 7.68 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.75 144.02 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.31 148.34 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 182.27 153.21 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.60 151.36 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 185.18 154.27 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 30.96 13.19 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 7.97 3.14 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TRUE 105.90 65.52 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 31.01 11.10 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 91.14 60.42 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.34 149.45 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 49.11 24.27 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 85.33 56.66 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.65 139.38 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 31.32 11.62 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 110.99 73.23 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 82.03 45.60 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 113.92 75.06 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 33.97 12.12 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.73 135.89 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 113.45 76.71 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.57 140.52 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 102.25 68.60 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 127.10 85.53 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 141.53 93.91 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 72.73 37.27 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 71.51 39.55 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.69 148.34 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.55 146.45 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 43.60 22.41 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 41.25 23.48 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 52.93 34.11 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 38.21 18.48 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 77.31 41.53 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.57 149.06 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.53 140.70 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 132.16 81.54 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 74.39 42.43 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 86.37 51.24 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.67 143.52 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 32.21 11.74 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.67 140.83 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 136.41 87.82 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.77 142.65 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 43.53 16.69 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 76.42 43.30 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 78.20 43.36 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 127.47 86.42 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 32.68 11.61 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 69.04 35.96 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 20.22 7.21 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 36.63 13.77 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 150.08 108.73 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 138.63 94.24 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 115.01 78.32 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 54.89 29.37 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT (ERROR (143)) 180.16 112.71 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT (ERROR (143)) 180.95 123.92 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT (ERROR (143)) 180.62 119.30 None memsafety/960521-1_false-valid-deref.i FALSE(valid-deref) 45.30 19.82 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 181.63 145.88 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 181.33 130.53 None memsafety/960521-1_false-valid-free.i FALSE(valid-free) 47.15 20.17 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 109.86 80.88 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 182.79 148.80 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.54 139.60 None memsafety/20051113-1.c_false-valid-memtrack.i UNKNOWN: OverapproxCex 38.23 14.34 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.28 145.84 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.49 147.27 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.73 145.05 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-deref) 67.72 35.17 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.18 154.43 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 31.26 12.95 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.63 2.15 None memsafety/test-0232_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.41 149.32 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.60 120.33 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.39 127.00 None memsafety/960521-1_true-valid-memsafety.i TRUE 88.38 41.88 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.35 148.39 None memsafety/test-0019_true-valid-memsafety_true-termination.i FALSE(valid-deref) 22.83 8.35 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.00 156.14 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.77 140.59 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 37.45 16.41 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.58 3.19 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.99 2.45 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.44 2.15 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.98 2.47 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.28 152.20 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.81 144.20 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.76 131.53 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.11 127.20 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.86 143.09 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.30 143.96 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.42 139.58 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.20 152.46 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i FALSE(valid-deref) 97.98 68.47 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.65 150.97 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 6.13 2.76 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 6.11 2.71 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 186.07 154.24 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 185.48 148.28 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.97 151.86 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 184.64 142.70 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 186.27 151.92 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 182.38 132.17 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.32 138.22 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.47 147.77 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.78 148.91 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.49 145.54 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.26 141.61 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.60 143.94 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.52 147.89 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.77 144.56 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.38 149.16 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 68.93 37.53 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 182.12 137.83 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 184.25 142.51 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 73.42 37.71 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 185.95 157.85 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 185.64 149.13 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 84.49 60.33 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 186.10 150.02 None list-ext-properties/960521-1_1_true-valid-memsafety.i FALSE(valid-free) 96.59 57.20 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.70 141.47 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.13 139.99 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.72 160.12 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 99.26 69.79 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.28 148.55 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.24 2.50 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.95 2.50 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.54 149.35 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.67 151.61 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.27 143.95 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.22 148.90 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 76.82 46.31 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 76.69 46.26 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 34.27 13.49 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 41.94 18.12 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR: EXCEPTION) 180.74 119.23 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 181.05 115.38 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 10.91 4.42 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 11.51 4.32 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.78 4.02 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 11.16 4.49 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 10.64 4.18 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 10.26 4.23 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c FALSE(valid-deref) 76.20 45.74 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 62.23 26.48 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 71.11 31.51 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 61.72 28.00 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 70.12 32.81 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 65.34 29.30 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.90 2.45 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.72 2.29 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 6.70 2.86 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 11.94 4.85 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 12.17 4.91 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 11.60 4.58 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 12.46 4.93 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 11.23 4.34 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 11.97 4.84 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.94 2.54 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i UNKNOWN: OverapproxCex 100.55 55.18 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i UNKNOWN: OverapproxCex 83.96 47.58 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 6.60 3.21 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 6.49 3.32 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 6.38 3.42 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 181.37 137.66 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 181.86 144.40 None ldv-memsafety/memleaks_test19_false-valid-free.i UNKNOWN: OverapproxCex 63.31 46.12 None ldv-memsafety/memleaks_test1_false-valid-free.i UNKNOWN: OverapproxCex 11.02 4.92 None ldv-memsafety/memleaks_test3_false-valid-free.i UNKNOWN: OverapproxCex 9.79 4.42 None ldv-memsafety/memleaks_test6_2_false-valid-free.i UNKNOWN: OverapproxCex 43.17 15.24 None ldv-memsafety/memleaks_test8_2_false-valid-free.i UNKNOWN: OverapproxCex 10.94 4.34 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 181.48 146.81 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.42 3.05 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.27 2.95 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 6.13 2.75 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.97 2.41 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 6.19 2.64 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.17 135.59 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.05 3.24 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.88 2.50 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.97 139.52 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i UNKNOWN: OverapproxCex 144.31 102.79 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 40.41 15.60 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 35.20 13.14 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 20.15 7.15 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.48 3.85 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.90 2.52 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.86 2.39 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 84.62 47.88 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 62.48 34.78 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 98.41 50.40 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.15 4.31 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.48 4.06 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.21 3.98 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 32.30 11.46 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 32.31 11.18 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 20.63 7.44 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.92 4.55 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.96 3.88 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.61 3.78 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.82 138.55 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.85 2.40 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.02 134.56 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.86 2.25 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 6.16 2.70 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.87 145.50 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.27 2.82 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.36 143.58 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 141.47 106.64 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 44.87 17.04 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 59.87 35.37 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 9.14 3.49 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.64 2.25 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.91 2.37 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 76.26 41.22 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 94.61 55.54 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 95.14 52.68 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 6.23 2.53 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 6.08 2.52 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 9.96 4.06 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 11.46 4.37 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 10.84 4.27 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 35.79 12.60 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 26.42 9.57 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 11.68 4.43 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 10.82 3.99 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 5.50 2.33 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 5.38 2.21 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 5.54 2.33 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 5.46 2.26 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 5.27 2.08 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 5.85 2.46 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 5.64 2.63 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 5.81 2.66 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 5.91 2.51 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 5.22 2.09 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.63 143.15 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.83 2.48 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.56 142.08 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.12 2.23 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.85 2.47 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.94 2.44 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.58 153.66 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.85 138.84 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.60 144.35 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.36 149.21 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.90 139.87 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 184.42 150.02 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.10 152.38 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 184.40 160.08 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.50 149.06 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.56 146.33 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.25 2.57 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.41 2.56 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.38 2.62 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.37 2.48 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.18 2.47 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.52 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.35 2.65 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.41 2.56 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.30 2.49 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.80 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.28 2.62 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.38 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.28 2.68 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.07 159.25 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.57 150.12 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.32 154.36 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.55 150.51 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.39 157.16 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.04 151.98 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.49 146.96 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.16 152.79 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.45 149.27 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.30 145.72 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.48 145.68 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.97 152.91 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.84 143.98 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.39 147.41 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.56 150.47 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.45 143.91 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.52 153.18 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.71 142.60 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.42 144.30 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 180.64 147.29 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 182.37 140.56 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.52 157.47 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 181.33 124.86 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.04 3.13 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.15 2.48 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.46 5.82 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.14 5.66 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.34 4.54 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.83 4.43 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.11 4.74 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.46 4.95 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.51 4.92 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 8.76 3.64 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.36 3.97 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.17 4.07 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.92 2.93 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.96 2.86 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.09 2.81 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.36 3.15 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.13 3.03 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.32 3.02 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.42 3.08 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.35 2.87 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.28 2.61 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.56 2.69 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.50 2.58 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.65 2.76 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.71 2.80 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 28433.37 10558.05 - 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_Camel+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 79.85 48.70 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 25.41 10.83 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 85.18 57.67 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 41.32 22.30 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 20.49 7.06 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 16.48 6.17 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.13 157.39 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 76.99 55.89 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 26.49 12.38 None array-memsafety/diff_usafe_false-valid-deref.i unknown 26.52 9.32 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.68 136.96 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.64 151.71 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 180.68 141.94 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 181.65 154.67 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 183.01 152.64 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 28.31 13.88 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 7.19 2.72 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 79.77 46.88 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 22.59 8.28 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 81.85 56.63 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.31 152.94 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 43.51 21.99 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 71.25 50.32 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.69 138.90 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 27.40 10.18 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 102.10 72.25 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 68.90 41.91 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 113.52 72.19 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 25.82 9.29 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.44 144.64 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 100.01 72.62 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.21 142.68 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 106.34 69.61 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 115.07 75.92 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 82.41 55.43 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 54.08 26.95 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 53.14 29.71 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.96 144.67 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.63 142.69 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 32.49 14.60 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 17.50 6.14 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 17.89 6.19 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 31.95 12.86 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 73.01 39.98 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.10 145.20 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.62 141.94 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 77.92 50.89 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 70.05 36.27 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 71.11 44.20 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 184.25 143.14 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 24.16 8.63 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.05 139.32 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 100.30 71.38 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 185.35 146.70 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 30.42 12.20 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 75.06 40.92 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 73.68 40.12 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 121.28 84.02 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 22.92 8.49 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 49.09 28.23 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 12.04 4.35 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 30.22 11.22 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 133.00 103.45 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 129.68 95.80 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 109.66 79.84 None array-examples/relax_false-valid-deref.i unknown 51.14 28.18 None array-examples/sanfoundry_24_false-valid-deref.i unknown 5.64 2.67 None array-examples/standard_strcpy_false-valid-deref_ground.i unknown 5.93 2.69 None array-examples/standard_strcpy_original_false-valid-deref.i unknown 5.58 2.40 None memsafety/960521-1_false-valid-deref.i unknown 48.65 19.69 None memsafety/test-0137_false-valid-deref.i TIMEOUT (ERROR (143)) 181.51 147.35 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 181.36 131.26 None memsafety/960521-1_false-valid-free.i unknown 41.12 21.20 None memsafety/test-0158_false-valid-free.i unknown 107.29 78.09 None memsafety/test-0232_false-valid-free.i TIMEOUT (ERROR (143)) 186.15 152.77 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.87 142.36 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 31.98 11.66 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.01 143.80 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 183.63 141.45 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.51 143.61 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 66.62 35.99 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.23 155.47 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 29.35 13.48 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.25 2.18 None memsafety/test-0232_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.66 148.32 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.99 129.77 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.27 131.55 None memsafety/960521-1_true-valid-memsafety.i unknown 44.89 19.86 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.69 153.27 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 20.88 7.98 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.04 157.68 None memsafety/test-0134_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.67 143.81 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 31.38 15.42 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.86 2.26 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.68 2.24 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.63 2.19 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.65 2.21 None memsafety/test-0232_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.24 147.95 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.10 133.88 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.52 135.72 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.06 130.36 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.96 139.67 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.12 156.31 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.62 155.57 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.42 156.34 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 85.41 58.23 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.26 156.59 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.55 2.26 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.41 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 183.17 153.77 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 182.52 147.65 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.89 153.28 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 184.79 137.63 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 183.52 154.11 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 180.79 142.86 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.36 148.03 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.87 151.26 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.59 153.10 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.39 151.35 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.65 144.33 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.87 151.13 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.34 154.24 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 180.89 138.56 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.17 154.63 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 57.54 29.79 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 180.56 142.28 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 184.30 143.91 None list-ext-properties/960521-1_1_false-valid-free.i unknown 56.57 29.90 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 186.13 159.47 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 172.90 139.79 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 75.66 52.82 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 186.23 151.18 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 72.96 43.74 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.01 143.46 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.84 141.16 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.06 162.74 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 85.16 62.30 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 186.12 153.93 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.48 2.10 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.64 2.15 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.55 143.52 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.12 153.84 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.66 144.12 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.72 152.91 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 73.46 41.80 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 68.79 40.05 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 29.91 11.82 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 32.49 14.26 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 32.27 12.04 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 32.45 12.00 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 7.99 3.00 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 8.66 3.12 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 8.48 3.13 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 8.67 3.15 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 8.49 3.12 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.52 3.13 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 74.28 40.76 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 36.97 15.60 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 38.68 16.19 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 36.08 15.14 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 35.81 15.49 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 38.11 16.11 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.54 2.18 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.53 2.14 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 5.38 2.15 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 8.45 3.09 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 8.30 3.03 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 8.25 3.02 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 8.47 3.08 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 8.41 3.09 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 7.97 3.04 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.63 2.18 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 80.80 44.64 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 71.44 39.70 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.45 2.18 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.49 2.15 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.38 2.11 None ldv-memsafety/memleaks_test12_false-valid-free.i TIMEOUT (ERROR (143)) 180.95 145.54 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 155.97 121.81 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 53.65 31.20 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 8.38 3.04 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.76 2.89 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 33.99 11.45 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 9.91 3.71 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 180.66 143.33 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.78 2.25 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.75 2.34 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.73 2.15 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.54 2.16 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.60 2.13 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.33 135.44 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.21 2.05 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.32 2.08 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 162.12 128.31 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 137.91 94.24 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 33.76 13.76 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 28.70 11.60 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 17.26 5.83 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 8.47 3.05 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.59 2.10 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.51 2.13 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 72.68 42.32 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 56.17 29.18 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 81.42 40.84 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 9.14 3.27 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 8.21 3.07 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 9.12 3.20 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 28.30 9.55 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 32.18 10.84 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 19.46 6.65 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 8.41 3.07 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 9.13 3.35 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 8.62 3.16 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.93 140.94 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.72 2.23 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.47 133.02 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.52 2.16 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.58 2.18 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.62 136.45 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.69 2.27 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.94 150.02 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 128.31 95.74 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 33.01 14.16 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 55.81 31.99 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 8.22 3.00 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.47 2.17 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.30 2.07 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 69.51 36.72 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 80.72 48.32 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 83.19 45.83 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 6.08 2.22 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.63 2.11 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 8.32 3.07 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 9.74 3.48 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 9.19 3.30 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 32.08 11.42 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 19.68 6.75 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 9.25 3.35 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 9.20 3.29 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 5.02 2.20 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 5.01 1.97 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 5.20 2.00 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 5.18 2.03 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 5.03 1.97 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 5.20 2.06 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 5.05 2.01 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.76 2.11 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 5.07 2.04 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 5.34 1.97 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.94 138.60 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.69 2.20 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.60 140.39 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.27 2.10 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.33 2.06 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.15 2.03 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.31 153.52 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.46 146.57 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.18 153.18 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.15 146.29 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.07 143.98 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.32 150.40 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.18 147.83 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.48 154.17 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.04 158.22 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 185.70 141.12 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.93 2.23 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.18 2.34 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.02 2.26 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.07 2.24 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.20 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.10 2.33 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.19 2.47 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.91 2.21 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.08 2.22 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.21 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.05 2.16 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.03 2.28 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.97 2.19 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.07 153.12 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.68 149.87 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.64 155.21 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.64 153.68 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 185.28 156.09 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 184.59 150.93 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.42 155.60 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.91 152.95 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.14 146.73 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.18 151.67 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.11 153.52 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.01 157.16 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 183.96 139.02 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.27 160.45 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.23 154.03 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.28 153.63 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 181.71 150.45 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.01 155.02 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.39 143.11 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.51 152.88 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 183.30 146.29 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 185.80 157.67 None loop-acceleration/array3_false-valid-deref.i unknown 5.28 2.21 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.69 2.35 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.94 2.16 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 10.60 3.96 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 11.01 4.11 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.03 3.48 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 8.83 3.38 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 8.99 3.38 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.80 3.72 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 9.97 3.72 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 7.38 2.88 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 8.31 3.21 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 8.29 3.21 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.05 2.43 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.72 2.31 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.14 2.49 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.02 2.37 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 6.25 2.48 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.17 2.42 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 6.52 2.56 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 6.63 2.58 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.73 2.32 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.88 2.29 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.82 2.36 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.99 2.37 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 5.48 2.22 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 26636.60 9971.63 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978