BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-rmemsafety-heapsep-32.xml name: equality-cav18-rmemsafety-heapsep-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Wed, 2018-01-31 08:17:45 CET tool: ULTIMATE Automizer 0.1.23-5f7ec6ee 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: 2 hardware requirements: - cpu cores: 2 - 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-examples/relax_false-valid-deref.i FALSE(valid-deref) 10.44 7.38 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.11 142.33 None array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 8.31 4.51 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 17.04 9.49 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 16.79 9.52 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 17.66 10.17 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.53 4.03 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 25.33 14.45 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 9.10 4.92 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.99 141.61 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 6.18 3.51 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 22.82 13.61 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 19.26 11.18 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 72.73 56.54 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 47.29 31.79 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.06 164.06 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 19.49 11.58 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 11.54 6.25 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 61.02 42.40 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 6.63 3.67 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.16 156.85 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 18.17 10.38 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 122.40 95.11 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 79.46 52.46 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 7.21 3.94 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 27.31 15.84 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 29.25 17.93 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 40.77 28.54 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 19.87 11.66 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 36.38 26.73 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 20.29 11.87 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TRUE 33.64 20.93 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.73 140.69 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 101.55 80.88 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TRUE 29.94 17.60 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 89.52 70.92 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 23.11 15.57 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 86.24 69.08 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 23.50 14.22 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 110.86 93.59 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TRUE 58.38 39.69 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.30 153.85 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TRUE 18.09 10.49 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 29.49 17.61 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 7.63 4.16 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 17.99 10.60 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 6.70 3.56 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 18.50 10.72 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 163.74 150.89 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 120.40 101.94 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.65 153.79 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 8.90 4.81 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 11.92 6.34 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 180.27 127.64 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 32.05 18.21 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 33.10 19.26 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 34.75 20.00 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 7.77 4.24 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 7.66 4.16 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 54.87 31.11 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 181.45 128.75 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 180.21 123.93 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 32.50 18.94 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 85.12 64.91 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 68.49 45.70 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 105.57 83.56 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.28 156.89 None ldv-memsafety/memleaks_test17_2_false-valid-free.i TIMEOUT (ERROR (143)) 181.57 154.50 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.62 153.84 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 181.10 151.27 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 66.02 56.73 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 180.85 156.90 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 181.31 162.30 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.89 159.09 None ldv-memsafety/memleaks_test19_false-valid-free.i FALSE(valid-free) 175.97 139.75 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 137.07 100.47 None ldv-memsafety/memleaks_test1_false-valid-free.i FALSE(valid-free) 9.31 4.98 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.36 4.02 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i TRUE 10.91 5.98 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 126.39 94.77 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.15 142.57 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 57.90 39.30 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.94 141.94 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i TIMEOUT (ERROR (143)) 180.45 148.51 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.15 138.26 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 129.80 94.23 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i TIMEOUT (ERROR (143)) 185.01 151.80 None ldv-memsafety/memleaks_test3_false-valid-free.i FALSE(valid-free) 6.56 3.55 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i TRUE 12.95 7.09 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 11.55 6.21 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i TRUE 19.74 11.09 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.37 4.01 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.12 4.91 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i TRUE 14.74 8.24 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 22.29 12.29 None ldv-memsafety/memleaks_test6_2_false-valid-free.i FALSE(valid-free) 24.79 13.77 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 21.02 11.48 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i TRUE 29.14 16.64 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.75 9.24 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i TRUE 25.04 14.10 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 7.70 4.20 None ldv-memsafety/memleaks_test8_2_false-valid-free.i FALSE(valid-free) 9.40 5.14 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i TRUE 13.11 7.20 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.88 5.43 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.49 4.55 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i TRUE 15.17 8.21 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 7.11 3.81 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 11.61 6.18 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 7.23 3.97 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 11.59 6.35 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 7.20 3.88 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 6.79 3.75 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 11.37 6.16 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 6.99 3.85 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 11.64 6.34 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.31 3.92 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 11.51 6.21 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 11.05 5.99 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 15.36 8.46 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 18.54 10.32 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 182.35 146.88 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 32.76 20.16 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i TRUE 39.98 24.61 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.78 4.72 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 186.44 147.66 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 185.93 148.93 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 182.36 161.21 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 186.31 165.29 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 87.29 50.99 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 17.29 9.72 None memsafety/test-0019_true-valid-memsafety_true-termination.i TRUE 21.06 12.27 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 11.66 6.29 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.27 4.45 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 10.61 5.98 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 182.34 157.24 None ------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 5399.16 3424.38 - 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-examples/relax_false-valid-deref.i FALSE(valid-deref) 62.34 38.46 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TRUE 120.03 80.95 None array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 84.12 56.62 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 31.06 16.37 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 93.00 65.55 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TRUE 55.37 32.63 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 26.13 13.71 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TRUE 100.26 70.17 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 90.65 65.95 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.99 141.18 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 42.37 24.47 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 34.40 17.88 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 16.36 8.54 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 130.95 92.69 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 85.90 55.51 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 123.71 89.15 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 34.51 18.34 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 13.89 7.18 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 131.13 92.33 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 81.02 60.99 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 128.70 91.26 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 25.48 13.08 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 125.04 90.29 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TRUE 162.31 105.03 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 21.17 10.92 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 71.69 42.41 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TRUE 78.80 47.68 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TRUE 49.52 27.43 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TRUE 27.16 15.42 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TRUE 48.68 33.93 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TRUE 43.87 23.97 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 82.68 51.20 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 181.33 137.93 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 123.62 85.51 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 83.68 49.08 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 96.03 60.23 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 35.66 18.64 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 158.59 110.88 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 43.88 23.94 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 97.92 61.43 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 86.64 54.29 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 135.33 97.84 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 31.31 16.40 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 67.60 43.62 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 31.69 17.36 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 19.71 10.78 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 8.11 4.38 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 38.13 20.16 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 169.98 128.34 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 140.58 99.89 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 115.47 76.54 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 73.70 47.68 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 81.80 50.63 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c FALSE(valid-deref) 76.12 48.20 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TRUE 55.90 30.77 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TRUE 66.14 36.79 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c TRUE 55.45 30.62 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 28.94 15.26 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 39.41 20.82 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TRUE 63.44 35.76 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c TIMEOUT (ERROR (143)) 181.27 126.85 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 181.25 125.14 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TRUE 58.46 32.69 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 180.91 148.14 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.90 146.14 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.53 148.43 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.65 150.15 None ldv-memsafety/memleaks_test17_2_false-valid-free.i UNKNOWN: OverapproxCex 166.50 132.72 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 134.76 107.26 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i UNKNOWN: OverapproxCex 159.34 124.68 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 29.30 16.83 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 30.22 16.27 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.80 8.66 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 33.08 18.63 None ldv-memsafety/memleaks_test19_false-valid-free.i UNKNOWN: OverapproxCex 61.22 38.53 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 59.98 39.10 None ldv-memsafety/memleaks_test1_false-valid-free.i UNKNOWN: OverapproxCex 8.65 4.60 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.18 4.36 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 8.31 4.46 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 79.12 48.37 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 69.74 42.37 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 53.86 33.44 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 96.58 58.83 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i UNKNOWN: OverapproxCex 89.77 53.53 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 83.59 50.80 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 77.23 47.43 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i UNKNOWN: OverapproxCex 71.32 45.43 None ldv-memsafety/memleaks_test3_false-valid-free.i UNKNOWN: OverapproxCex 8.47 4.52 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 8.81 4.69 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 9.08 4.86 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 9.75 5.15 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.33 4.45 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.70 4.67 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 8.64 4.60 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 27.71 14.20 None ldv-memsafety/memleaks_test6_2_false-valid-free.i UNKNOWN: OverapproxCex 32.06 16.35 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 26.92 13.83 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 27.84 14.24 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 16.86 8.68 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 19.28 9.88 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.16 4.43 None ldv-memsafety/memleaks_test8_2_false-valid-free.i UNKNOWN: OverapproxCex 9.16 4.89 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 8.63 4.67 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.94 4.72 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 8.15 4.45 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i UNKNOWN: OverapproxCex 9.14 4.86 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.05 4.84 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 9.68 5.22 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 9.35 4.95 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 10.58 5.57 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 8.91 4.75 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 9.14 4.87 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 9.68 5.21 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.89 4.80 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 10.00 5.41 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 8.93 4.80 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 9.95 5.28 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 10.34 5.51 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 62.74 37.74 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 65.93 40.95 None list-ext-properties/960521-1_1_true-valid-memsafety.i FALSE(valid-free) 97.63 62.77 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i FALSE(valid-deref) 158.78 132.34 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 93.20 70.15 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 78.00 59.72 None memsafety/20051113-1.c_false-valid-memtrack.i UNKNOWN: OverapproxCex 40.02 21.00 None memsafety/960521-1_false-valid-deref.i FALSE(valid-deref) 42.82 24.22 None memsafety/960521-1_false-valid-free.i FALSE(valid-free) 47.69 27.20 None memsafety/960521-1_true-valid-memsafety.i TRUE 93.08 53.93 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 180.83 148.11 None memsafety/test-0019_false-valid-memtrack_true-termination.i FALSE(valid-deref) 68.57 43.08 None memsafety/test-0019_true-valid-memsafety_true-termination.i FALSE(valid-deref) 19.68 10.12 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 121.92 91.70 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 32.37 17.99 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 35.88 19.24 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i FALSE(valid-deref) 89.75 63.93 None ------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 8662.52 3004.35 - 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-examples/relax_false-valid-deref.i unknown 60.48 35.78 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 73.11 50.58 None array-memsafety/add_last_unsafe_false-valid-deref.i unknown 85.14 56.28 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 22.31 11.50 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 88.44 62.16 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 48.57 28.11 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 24.00 12.82 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 76.65 57.42 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 92.54 67.27 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 183.03 141.65 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 42.05 24.27 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 30.96 15.74 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 16.35 8.46 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 115.46 82.50 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 70.55 47.05 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 113.30 81.92 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 23.72 12.11 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 13.25 6.92 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 112.71 84.26 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 78.96 58.29 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 121.78 90.29 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 20.88 10.77 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 115.54 83.52 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 92.46 58.94 None array-memsafety/diff_usafe_false-valid-deref.i unknown 20.31 10.45 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 52.89 30.41 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 58.34 35.72 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 32.95 17.38 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 13.93 7.25 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 13.98 7.29 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 31.09 16.03 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 84.19 51.70 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.88 145.82 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 84.62 58.46 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 74.97 44.80 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 87.22 55.57 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 23.65 12.11 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 111.12 79.47 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 32.55 16.96 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 86.38 53.75 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 86.76 51.48 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 124.26 89.83 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 22.60 11.60 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 54.77 34.19 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 30.38 16.51 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 10.79 5.63 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 7.36 3.98 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 28.42 14.52 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 157.00 118.67 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 125.24 93.75 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 103.31 71.00 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 86.16 52.94 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 72.30 47.34 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 75.99 48.39 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 44.54 22.77 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 35.91 19.45 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 35.43 19.06 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 29.86 15.28 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 34.26 18.48 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 32.89 18.05 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 33.45 17.19 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 32.54 16.70 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 41.80 21.98 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 181.20 143.37 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.65 145.95 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.55 150.36 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 180.73 149.83 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 161.66 130.04 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 142.77 110.31 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 143.29 116.53 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 30.88 17.34 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 33.48 17.27 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 15.16 7.91 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 34.16 19.46 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 63.18 39.25 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 60.27 39.33 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 8.41 4.47 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.66 4.05 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.90 4.22 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 75.47 48.86 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 70.00 41.73 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 52.61 32.44 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 84.13 53.60 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 82.45 51.15 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 87.11 52.66 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 72.72 46.55 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 78.21 46.77 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.61 4.11 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.83 4.25 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 8.64 4.69 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 9.24 4.92 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.74 4.18 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 8.51 4.58 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 8.34 4.40 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 27.18 13.85 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 28.27 14.43 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 27.27 13.88 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 27.63 14.13 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 15.96 8.27 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 18.85 9.66 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 8.08 4.26 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 8.29 4.43 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 8.40 4.50 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 8.07 4.34 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.86 4.18 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 8.13 4.36 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 7.71 4.09 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 7.60 4.11 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 7.65 4.10 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 7.80 4.21 None ldv-memsafety/memset_false-valid-deref-write.c unknown 8.11 4.27 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 7.61 4.11 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 7.81 4.18 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 7.68 4.13 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 7.66 4.11 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 7.87 4.19 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 7.50 4.01 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 7.62 4.10 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 59.71 36.63 None list-ext-properties/960521-1_1_false-valid-free.i unknown 59.26 36.47 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 82.79 52.79 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 166.84 134.79 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 88.09 68.64 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 83.38 61.15 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 31.68 16.25 None memsafety/960521-1_false-valid-deref.i unknown 43.23 23.71 None memsafety/960521-1_false-valid-free.i unknown 48.52 25.93 None memsafety/960521-1_true-valid-memsafety.i unknown 43.83 24.27 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 182.68 152.10 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 69.14 44.00 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 19.37 10.02 None memsafety/test-0158_false-valid-free.i unknown 112.34 88.50 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 38.40 19.84 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 33.26 18.02 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 85.20 62.31 None ------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 7645.92 2632.74 - Statistics: 405 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 405