BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-mempurity-memsafety.xml name: equality-cav18-mempurity-memsafety run sets: AbsInt.32bitMem, AbsInt_imprecise.32bitMem date: Wed, 2018-01-31 19:08:05 CET tool: ULTIMATE Automizer 0.1.23-a5595af3 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 300 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ AbsInt.32bitMem Run set 1 of 2 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 33.31 15.83 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 12.72 4.64 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 49.00 27.15 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 20.88 8.07 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 11.50 4.08 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 10.86 3.94 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 222.14 200.74 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 20.24 7.53 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 11.50 4.11 None array-memsafety/diff_usafe_false-valid-deref.i unknown 10.55 3.65 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 68.62 39.93 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 110.05 86.66 None array-memsafety/mult_array_unsafe_false-valid-deref.i ERROR: EXCEPTION 63.73 42.36 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.05 276.04 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.75 277.47 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 13.72 5.18 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.75 2.55 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 25.41 11.20 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 14.62 5.08 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 25.40 8.66 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 35.68 15.14 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 19.73 6.67 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 42.07 21.05 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 140.27 96.31 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 26.43 9.43 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 53.88 26.99 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 57.72 24.83 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 57.20 28.06 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 16.73 5.83 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.87 257.90 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 56.81 26.27 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 105.30 75.06 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 55.78 27.64 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 64.57 29.60 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 34.26 14.16 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 20.84 7.16 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 23.86 8.08 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 224.84 196.31 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 149.05 124.41 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 33.02 13.14 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 18.05 6.27 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 18.05 6.23 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 27.30 9.37 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 59.38 32.22 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.41 264.99 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 158.35 120.64 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 48.77 21.54 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 54.56 29.35 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 54.64 21.50 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.16 265.01 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 16.55 5.77 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.52 263.11 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 49.92 25.44 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 69.86 45.14 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 27.09 9.30 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 51.15 24.88 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 53.16 22.43 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 90.08 49.69 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 19.08 6.56 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 23.17 8.10 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 9.22 3.33 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 15.38 5.33 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 56.81 27.11 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 65.31 34.79 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 53.04 26.99 None array-examples/relax_false-valid-deref.i unknown 11.49 4.05 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 7.09 2.72 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.98 2.89 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 7.61 2.84 None memsafety/960521-1_false-valid-deref.i unknown 31.00 11.50 None memsafety/test-0137_false-valid-deref.i unknown 15.05 5.36 None memsafety/test-0235_false-valid-deref.i unknown 11.26 4.01 None memsafety/960521-1_false-valid-free.i unknown 27.82 10.07 None memsafety/test-0158_false-valid-free.i unknown 54.53 36.43 None memsafety/test-0232_false-valid-free.i unknown 52.08 31.18 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.82 264.24 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 10.61 3.85 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 87.72 64.06 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 88.61 65.61 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 80.72 55.48 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 12.30 4.35 None memsafety/test-0102_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.19 274.08 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 22.62 8.01 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.29 2.04 None memsafety/test-0232_false-valid-memtrack.i unknown 48.31 29.86 None memsafety/test-0234_false-valid-memtrack.i unknown 10.82 3.86 None memsafety/test-0235_false-valid-memtrack.i unknown 11.49 4.14 None memsafety/960521-1_true-valid-memsafety.i unknown 27.42 9.35 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 94.26 70.46 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 12.31 4.36 None memsafety/test-0102_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.56 277.68 None memsafety/test-0134_true-valid-memsafety.i unknown 13.83 4.83 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 24.56 9.58 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.55 2.09 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.56 2.13 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.45 2.11 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.32 2.06 None memsafety/test-0232_true-valid-memsafety.i unknown 56.42 33.68 None memsafety/test-0234_true-valid-memsafety.i unknown 11.05 3.93 None memsafety/test-0235_true-valid-memsafety.i unknown 11.39 4.16 None memsafety/test-0236_true-valid-memsafety.i unknown 10.44 3.74 None memsafety/test-0237_true-valid-memsafety.i unknown 11.17 3.97 None memsafety/test-0504_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.88 280.39 None memsafety/test-0513_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.99 274.90 None memsafety/test-0521_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.99 278.97 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 18.04 6.49 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.82 281.89 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.22 2.07 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.16 2.01 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 305.95 277.38 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.23 277.68 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 307.14 276.77 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 307.00 279.49 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i TIMEOUT (ERROR (143)) 306.18 276.02 None memsafety-ext2/split_list_test05_false-valid-deref.i TIMEOUT (ERROR (143)) 306.21 276.33 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.27 265.25 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.20 275.28 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.28 272.62 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.10 274.58 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.55 268.68 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.11 269.84 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 307.18 271.86 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 269.27 None memsafety-ext2/split_list_test05_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 276.92 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 37.58 16.71 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.56 266.46 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 307.53 276.75 None list-ext-properties/960521-1_1_false-valid-free.i unknown 37.36 16.38 None list-ext-properties/test-0158_1_false-valid-free.i unknown 117.60 94.99 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 21.82 7.59 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 36.26 18.74 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 50.54 29.66 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 24.53 9.06 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.52 269.96 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.20 271.36 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.29 274.67 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 25.76 8.90 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 94.24 75.11 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.73 2.22 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.59 2.12 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 52.55 29.23 None list-ext-properties/test-0504_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.80 270.20 None list-ext-properties/test-0513_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.27 273.67 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.96 275.86 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 18.06 6.26 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 17.94 6.21 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 9.87 3.61 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 11.38 4.01 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 16.51 5.65 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 17.51 6.02 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 6.78 2.63 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 6.97 2.61 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.69 2.56 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 6.81 2.65 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 6.85 2.55 None ldv-memsafety/memset_false-valid-deref-write.c unknown 6.94 2.60 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 16.20 5.60 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 14.20 5.03 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 15.90 5.39 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 14.87 5.15 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 11.47 4.02 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 15.23 5.27 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.33 2.06 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.26 2.02 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.88 2.35 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 6.79 2.62 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 6.72 2.60 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 6.93 2.59 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 7.16 2.67 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 7.12 2.60 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.76 2.59 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.12 2.09 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.47 3.12 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.53 3.08 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.62 2.21 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.67 2.14 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.51 2.11 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 15.84 5.57 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.52 2.81 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 9.60 3.47 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.63 2.85 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.49 2.68 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 10.13 3.76 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.41 2.85 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.65 2.87 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.60 2.20 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.43 2.08 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.58 2.18 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.45 2.11 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.51 2.11 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 44.04 23.45 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.48 2.19 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.36 2.19 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 7.74 2.91 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.72 2.86 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.43 2.82 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 8.32 2.99 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.56 2.78 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.22 2.63 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.58 2.09 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.39 2.09 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.60 3.20 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.05 3.06 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.81 3.15 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.48 2.81 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.22 2.76 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.49 2.76 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 10.05 3.61 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 10.31 3.79 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 8.32 3.09 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.34 2.74 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.63 2.87 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.64 2.83 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.91 3.12 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.62 2.19 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 15.73 5.39 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.54 2.11 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.45 2.27 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 9.11 3.30 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.40 2.33 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 7.76 2.90 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.90 2.95 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.69 2.90 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 9.54 3.35 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.31 2.73 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.46 2.13 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.62 2.11 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.36 3.17 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.69 3.17 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.99 3.29 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.63 2.14 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.73 2.17 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.44 2.80 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.51 2.79 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.48 2.81 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 9.95 3.65 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 8.06 3.02 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.47 2.85 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.48 2.71 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 21.59 8.01 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 10.62 3.87 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 11.41 4.19 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 18.54 7.24 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 14.72 5.20 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 19.43 7.47 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 10.95 3.95 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 22.90 10.48 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 14.81 5.24 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 19.01 7.21 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 15.74 5.40 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.48 2.15 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.99 272.72 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.65 2.22 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.60 2.19 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.74 2.17 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.06 279.83 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.31 275.05 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.75 271.74 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.88 275.06 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.37 272.06 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.13 269.91 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.35 275.68 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.92 281.91 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.70 274.68 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.05 276.62 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.16 2.31 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.33 2.29 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.91 2.24 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.22 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.24 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.79 2.25 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.26 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.20 2.26 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.21 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.70 2.21 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.14 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.31 2.23 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.15 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.15 277.01 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.66 286.09 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 303.18 274.03 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.57 276.26 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.91 277.64 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 277.93 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.25 276.12 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.10 280.35 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.88 281.47 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.28 270.63 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.15 279.34 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.20 278.73 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.86 278.66 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.25 268.27 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 278.11 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.89 279.03 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 276.34 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.10 270.65 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.09 277.54 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.97 279.87 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 303.99 272.69 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.65 274.35 None loop-acceleration/array3_false-valid-deref.i TRUE 6.18 2.42 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.72 2.41 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.93 2.26 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 71.21 42.62 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 74.98 43.11 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 200.84 151.61 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 101.40 71.75 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 105.26 71.95 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 117.21 80.89 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 118.48 79.89 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 25.74 8.84 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 30.93 12.53 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 31.51 12.92 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.27 3.78 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.07 3.99 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.35 4.04 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.12 4.32 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.64 4.81 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.49 4.78 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.93 5.03 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.15 5.03 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.77 2.97 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.09 3.03 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.58 3.19 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.31 3.40 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.89 3.31 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 27574.03 11331.94 - AbsInt_imprecise.32bitMem Run set 2 of 2 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 8.55 3.10 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 8.23 3.10 None array-memsafety/count_down_unsafe_false-valid-deref.i unknown 8.84 3.19 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 7.74 3.15 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 7.22 2.81 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 6.97 2.78 None array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 8.14 3.03 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 7.94 3.03 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 7.28 2.82 None array-memsafety/diff_usafe_false-valid-deref.i unknown 7.68 3.06 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 14.08 4.88 None array-memsafety/lis_unsafe_false-valid-deref.i unknown 10.58 3.80 None array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 9.93 3.58 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 9.53 3.51 None array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 9.50 3.40 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 8.13 2.94 None array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.66 2.54 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 8.07 3.03 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 8.29 3.05 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 10.03 3.64 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 9.37 3.33 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 9.83 3.50 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 9.12 3.29 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 14.28 4.97 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 10.16 3.64 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 12.09 4.22 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 10.20 3.68 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 14.08 4.92 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 8.29 3.09 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 14.51 5.03 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 12.55 4.44 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 11.99 4.19 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 14.54 5.03 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 14.18 4.92 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 11.52 4.18 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 9.77 3.52 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 9.35 3.33 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 12.78 4.52 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 9.84 3.47 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 9.08 3.29 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 9.36 3.27 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 9.12 3.31 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 9.17 3.24 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 10.13 3.76 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 11.63 4.04 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 12.89 4.45 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 10.61 3.82 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 10.07 3.64 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 12.51 4.40 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 13.87 4.83 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 8.65 3.10 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 14.58 4.99 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 12.17 4.28 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 11.26 3.97 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 9.93 3.49 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 11.35 3.99 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 11.57 4.06 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 22.67 7.71 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 9.16 3.30 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 10.11 3.70 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 7.86 3.00 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 9.06 3.13 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 9.89 3.53 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 12.07 4.23 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 13.47 4.59 None array-examples/relax_false-valid-deref.i unknown 11.11 3.78 None array-examples/sanfoundry_24_false-valid-deref.i TRUE 6.77 2.62 None array-examples/standard_strcpy_false-valid-deref_ground.i TRUE 7.07 2.64 None array-examples/standard_strcpy_original_false-valid-deref.i TRUE 6.75 2.57 None memsafety/960521-1_false-valid-deref.i unknown 8.37 3.08 None memsafety/test-0137_false-valid-deref.i unknown 17.54 6.03 None memsafety/test-0235_false-valid-deref.i unknown 214.95 149.67 None memsafety/960521-1_false-valid-free.i unknown 8.90 3.26 None memsafety/test-0158_false-valid-free.i unknown 7.84 2.96 None memsafety/test-0232_false-valid-free.i unknown 9.54 3.43 None memsafety/20020406-1_false-valid-memtrack.i unknown 47.39 19.87 None memsafety/20051113-1.c_false-valid-memtrack.i unknown 7.89 2.97 None memsafety/lockfree-3.1_false-valid-memtrack.i unknown 15.40 5.38 None memsafety/lockfree-3.2_false-valid-memtrack.i unknown 16.47 5.67 None memsafety/lockfree-3.3_false-valid-memtrack.i unknown 15.14 5.24 None memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 7.92 2.91 None memsafety/test-0102_false-valid-memtrack.i unknown 12.36 4.35 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.57 2.52 None memsafety/test-0220_false-valid-memtrack.i ERROR: EXCEPTION 5.54 2.18 None memsafety/test-0232_false-valid-memtrack.i unknown 8.37 3.06 None memsafety/test-0234_false-valid-memtrack.i unknown 40.17 16.46 None memsafety/test-0235_false-valid-memtrack.i unknown 143.46 98.45 None memsafety/960521-1_true-valid-memsafety.i unknown 8.11 3.19 None memsafety/lockfree-3.0_true-valid-memsafety.i unknown 15.85 5.40 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 7.35 2.79 None memsafety/test-0102_true-valid-memsafety.i unknown 14.30 4.94 None memsafety/test-0134_true-valid-memsafety.i unknown 16.45 5.66 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 6.89 2.59 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.57 2.12 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.44 2.11 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 5.66 2.12 None memsafety/test-0219_true-valid-memsafety.i ERROR: EXCEPTION 5.36 2.10 None memsafety/test-0232_true-valid-memsafety.i unknown 9.20 3.33 None memsafety/test-0234_true-valid-memsafety.i unknown 42.20 18.66 None memsafety/test-0235_true-valid-memsafety.i unknown 151.36 103.54 None memsafety/test-0236_true-valid-memsafety.i unknown 39.72 17.47 None memsafety/test-0237_true-valid-memsafety.i unknown 37.79 16.84 None memsafety/test-0504_true-valid-memsafety.i unknown 11.80 4.17 None memsafety/test-0513_true-valid-memsafety.i unknown 15.62 5.41 None memsafety/test-0521_true-valid-memsafety.i unknown 23.49 9.17 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 8.55 3.09 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 10.49 3.77 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.09 2.05 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i ERROR: EXCEPTION 5.41 2.13 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 12.38 4.42 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 16.62 5.74 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 17.19 5.94 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 12.60 4.37 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 13.91 4.91 None memsafety-ext2/split_list_test05_false-valid-deref.i unknown 9.67 3.52 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 28.08 10.23 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 33.14 12.00 None memsafety-ext2/length_test03_false-valid-memtrack.i unknown 8.62 3.14 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 11.95 4.19 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 27.54 10.21 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 30.88 12.11 None memsafety-ext2/length_test03_true-valid-memsafety.i unknown 8.83 3.29 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 12.93 4.49 None memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 9.84 3.65 None list-ext-properties/960521-1_1_false-valid-deref.i unknown 9.37 3.29 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 12.66 4.47 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 11.77 4.21 None list-ext-properties/960521-1_1_false-valid-free.i unknown 9.54 3.38 None list-ext-properties/test-0158_1_false-valid-free.i unknown 7.98 2.96 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 8.27 2.99 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 7.39 2.76 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 9.61 3.39 None list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 9.20 3.33 None list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 12.60 4.40 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 12.54 4.44 None list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 10.01 3.66 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 8.12 3.03 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 8.09 3.13 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 5.82 2.38 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 5.67 2.16 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 9.73 3.47 None list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 12.11 4.30 None list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 16.60 5.83 None memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 8.43 3.14 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 8.64 3.26 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 9.41 3.40 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 7.86 2.90 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 8.46 3.07 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 8.88 3.31 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 8.74 3.24 None ldv-memsafety/memset2_false-valid-deref-write.c unknown 6.90 2.52 None ldv-memsafety/memset3_false-valid-deref-write.c unknown 6.48 2.53 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.41 2.54 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 6.71 2.61 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 6.67 2.51 None ldv-memsafety/memset_false-valid-deref-write.c unknown 6.73 2.57 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 8.89 3.25 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 8.70 3.28 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 8.96 3.23 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 8.76 3.15 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 8.20 3.27 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 8.98 3.15 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: TYPE ERROR 5.33 2.16 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: TYPE ERROR 5.42 2.12 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 5.69 2.30 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 6.72 2.52 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 6.71 2.56 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 6.52 2.52 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 6.63 2.53 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 6.87 2.43 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.19 2.50 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 5.56 2.13 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.37 3.09 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.63 3.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i ERROR: EXCEPTION 5.62 2.17 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i ERROR: EXCEPTION 5.58 2.07 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 5.67 2.18 None ldv-memsafety/memleaks_test12_false-valid-free.i unknown 12.83 4.58 None ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.66 2.88 None ldv-memsafety/memleaks_test19_false-valid-free.i unknown 7.58 2.91 None ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.06 2.67 None ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.72 2.61 None ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 7.61 2.91 None ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.43 2.75 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.45 2.95 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.34 2.16 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.56 2.12 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 5.53 2.12 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.52 2.17 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 5.46 2.18 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 10.95 3.76 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.59 2.20 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.57 2.25 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 7.35 2.77 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.47 2.79 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.98 2.68 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 7.45 2.82 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.56 2.82 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.76 2.71 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.43 2.13 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 5.50 2.19 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.55 3.13 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 7.51 2.84 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.72 3.15 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.46 2.81 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.39 2.70 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.22 2.68 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 7.62 2.89 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 7.88 3.03 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 7.49 2.83 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.98 2.64 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.09 2.69 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.32 2.78 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.55 2.85 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.59 2.11 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 12.50 4.39 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 5.47 2.17 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 5.96 2.26 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 8.37 3.08 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.68 2.13 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 7.59 2.99 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.62 2.95 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.43 2.81 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 7.73 2.91 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.07 2.64 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.40 2.14 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 5.48 2.13 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.02 2.96 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.39 3.07 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.60 3.27 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i ERROR: EXCEPTION 5.51 2.17 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i ERROR: EXCEPTION 5.65 2.24 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.02 2.67 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.02 2.75 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.63 2.76 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 8.01 3.05 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 7.50 2.89 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.24 2.74 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.41 2.77 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 7.29 2.85 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 8.28 3.07 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 8.64 3.15 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 9.02 3.31 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 9.98 3.67 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 7.49 2.92 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 8.68 3.16 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 9.14 3.34 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 10.35 3.81 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 8.73 3.15 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 76.92 42.95 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.67 2.17 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 43.22 19.66 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 5.44 2.11 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 5.31 2.06 None heap-manipulation/tree_false-valid-deref.i ERROR: EXCEPTION 5.56 2.11 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.10 231.60 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 12.50 4.37 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 12.38 4.36 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 12.19 4.32 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 10.47 3.79 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 9.71 3.48 None list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 10.37 3.73 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 8.34 3.00 None list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 8.60 3.11 None list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 11.88 4.21 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.89 2.16 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.64 2.20 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.83 2.21 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.24 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.05 2.25 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.21 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.90 2.24 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.84 2.22 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.20 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.18 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.22 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.88 2.17 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 unknown 15.06 5.25 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 12.22 4.29 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 12.76 4.48 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 14.41 5.09 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 12.24 4.33 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 13.97 4.72 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 13.10 4.55 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 13.07 4.57 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 11.31 4.05 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 14.14 4.90 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 16.49 5.76 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 13.99 4.85 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 14.26 4.96 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 13.88 4.82 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 11.48 4.02 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 12.83 4.46 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 13.07 4.58 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 12.38 4.37 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 11.35 3.90 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 11.88 4.04 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 15.58 5.36 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown 12.98 4.50 None loop-acceleration/array3_false-valid-deref.i TRUE 6.32 2.50 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.77 2.36 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.01 2.27 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 73.93 42.91 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 73.88 43.70 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 200.95 153.12 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 102.67 70.94 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 102.39 71.64 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 115.30 81.36 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 110.66 78.43 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 23.58 9.11 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 31.25 12.00 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 29.41 12.38 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.74 3.86 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.37 3.79 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.31 4.04 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.97 4.29 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.50 4.81 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.92 4.90 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.01 5.23 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.21 5.03 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.71 2.90 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.14 3.06 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.13 3.25 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.46 3.38 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.04 3.29 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 4921.80 1207.01 - Statistics: 652 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 652