BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-memsafety-heapsep-z3only-32.xml name: equality-cav18-memsafety-heapsep-z3only-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Thu, 2018-04-05 15:15:26 CEST tool: ULTIMATE Automizer 0.1.23-835382a9 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 300 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ Automizer.32bitMem Run set 1 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 12.66 10.91 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 10.58 9.53 None array-memsafety/count_down_unsafe_false-valid-deref.i FALSE(valid-deref) 13.53 11.42 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 9.63 8.34 None array-memsafety/cstrchr_unsafe_false-valid-deref.i FALSE(valid-deref) 32.29 35.60 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 16.39 16.09 None array-memsafety/cstrncat_unsafe_false-valid-deref.i FALSE(valid-deref) 9.59 8.51 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 10.32 8.95 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 29.63 30.99 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 10.76 9.67 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 15.24 14.53 None array-memsafety/lis_unsafe_false-valid-deref.i ERROR: EXCEPTION 34.18 33.98 None array-memsafety/mult_array_unsafe_false-valid-deref.i FALSE(valid-deref) 12.32 10.73 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i FALSE(valid-deref) 21.42 20.70 None array-memsafety/reverse_array_unsafe_false-valid-deref.i FALSE(valid-deref) 14.40 12.61 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 11.17 9.60 None array-memsafety/stroeder1_unsafe_false-valid-deref.i FALSE(valid-deref) 9.75 8.26 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT 300.57 350.80 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 23.94 23.63 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 27.23 25.07 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TRUE 27.12 25.61 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT 279.85 351.04 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT 269.49 351.05 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT 273.40 351.07 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i TRUE 31.89 35.17 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 130.32 155.79 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 275.21 351.05 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 103.79 111.72 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 30.00 32.21 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT 287.41 350.12 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 92.69 118.19 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 242.66 350.53 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 259.06 316.10 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.88 342.00 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT 279.20 351.10 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 36.74 40.85 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT 268.68 350.99 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 63.71 76.30 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TRUE 44.16 45.44 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT 296.31 351.04 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.46 328.57 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.77 292.50 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.58 292.99 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 281.26 351.09 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 22.23 21.92 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT 257.24 351.05 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TRUE 87.68 111.94 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 221.89 351.08 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TRUE 144.75 190.31 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 224.46 350.56 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i TRUE 27.04 30.10 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT 252.84 351.07 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TRUE 93.05 116.42 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT 254.25 351.05 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i TRUE 35.96 41.55 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TRUE 94.89 104.94 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.82 319.53 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.53 323.13 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.55 309.44 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 36.70 32.92 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i TRUE 28.12 25.85 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 31.20 28.76 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TRUE 36.85 35.45 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TRUE 233.40 258.56 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT 294.96 350.87 None array-examples/relax_false-valid-deref.i FALSE(valid-deref) 15.87 12.54 None array-examples/sanfoundry_24_false-valid-deref.i TIMEOUT 267.35 351.06 None array-examples/standard_strcpy_false-valid-deref_ground.i TIMEOUT 255.98 351.06 None array-examples/standard_strcpy_original_false-valid-deref.i TIMEOUT 257.91 351.04 None memsafety/960521-1_false-valid-deref.i TIMEOUT 275.80 351.07 None memsafety/test-0137_false-valid-deref.i unknown 8.34 7.13 None memsafety/test-0235_false-valid-deref.i ERROR: EXCEPTION 25.99 24.30 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 300.61 339.02 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 17.98 15.74 None memsafety/test-0232_false-valid-free.i unknown 8.29 6.82 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.76 308.66 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.75 271.72 None memsafety/lockfree-3.1_false-valid-memtrack.i UNKNOWN: OverapproxCex 77.48 39.40 None memsafety/lockfree-3.2_false-valid-memtrack.i UNKNOWN: OverapproxCex 24.23 9.27 None memsafety/lockfree-3.3_false-valid-memtrack.i UNKNOWN: OverapproxCex 243.83 190.09 None memsafety/test-0019_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 39.80 41.55 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 9.02 7.38 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 13.22 11.69 None memsafety/test-0220_false-valid-memtrack.i OUT OF MEMORY 293.12 158.29 None memsafety/test-0232_false-valid-memtrack.i unknown 8.38 6.93 None memsafety/test-0234_false-valid-memtrack.i ERROR: EXCEPTION 22.78 20.29 None memsafety/test-0235_false-valid-memtrack.i ERROR: EXCEPTION 18.88 8.46 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.60 296.79 None memsafety/lockfree-3.0_true-valid-memsafety.i ERROR: EXCEPTION 257.73 220.43 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 32.04 24.17 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.93 5.30 None memsafety/test-0134_true-valid-memsafety.i unknown 8.18 5.76 None memsafety/test-0158_true-valid-memsafety_true-termination.i TRUE 19.11 16.65 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 8.27 6.01 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.78 5.76 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 8.04 6.29 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT 321.02 205.32 None memsafety/test-0232_true-valid-memsafety.i unknown 7.72 4.91 None memsafety/test-0234_true-valid-memsafety.i ERROR: EXCEPTION 27.32 19.83 None memsafety/test-0235_true-valid-memsafety.i ERROR: EXCEPTION 24.44 15.77 None memsafety/test-0236_true-valid-memsafety.i ERROR: EXCEPTION 22.68 12.69 None memsafety/test-0237_true-valid-memsafety.i ERROR: EXCEPTION 30.27 24.40 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 7.83 6.05 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 7.92 5.65 None memsafety/test-0521_true-valid-memsafety.i unknown 7.27 3.14 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 313.47 283.37 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.38 286.49 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 8.88 6.48 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 8.31 6.12 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.17 2.81 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.91 3.07 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.60 267.19 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.04 2.75 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.28 2.98 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 7.81 4.13 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 8.07 3.95 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 8.00 3.70 None memsafety-ext2/length_test03_false-valid-memtrack.i ERROR: EXCEPTION 250.89 224.13 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.91 268.75 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 7.99 3.58 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 8.12 4.08 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.13 261.49 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.98 263.16 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 7.51 3.18 None list-ext-properties/960521-1_1_false-valid-deref.i FALSE(valid-deref) 20.19 8.73 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 300.47 255.57 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i FALSE(valid-deref) 18.26 7.68 None list-ext-properties/960521-1_1_false-valid-free.i FALSE(valid-free) 24.09 10.80 None list-ext-properties/test-0158_1_false-valid-free.i FALSE(valid-free) 13.19 5.07 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 43.19 23.63 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 10.95 5.18 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.69 3.40 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.26 283.08 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.29 277.64 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.30 279.86 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.97 280.80 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 40.79 22.66 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TRUE 14.46 6.45 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.03 3.03 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.02 2.95 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.95 5.20 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 7.61 6.00 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 7.81 5.78 None memory-alloca/c.03-alloca_true-valid-memsafety.i ERROR: EXCEPTION 24.94 21.50 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c FALSE(valid-deref) 13.66 10.46 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c FALSE(valid-deref) 19.39 16.27 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 11.11 8.86 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 11.18 8.76 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 6.90 5.18 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c TIMEOUT (ERROR (143)) 300.77 257.86 None ldv-memsafety/memset2_false-valid-deref-write.c FALSE(valid-deref) 9.81 8.13 None ldv-memsafety/memset3_false-valid-deref-write.c FALSE(valid-deref) 9.68 6.35 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c FALSE(valid-deref) 8.65 3.90 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c FALSE(valid-deref) 8.75 3.82 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c FALSE(valid-deref) 7.90 3.25 None ldv-memsafety/memset_false-valid-deref-write.c FALSE(valid-deref) 8.88 3.77 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 301.64 292.05 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.82 270.30 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c TIMEOUT (ERROR (143)) 302.63 257.54 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.95 4.39 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.71 278.09 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c TIMEOUT (ERROR (143)) 300.35 289.27 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c TRUE 12.62 10.02 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c TRUE 11.29 4.64 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c TRUE 9.17 4.30 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c TRUE 29.99 26.74 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c TRUE 64.92 73.75 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c TRUE 38.66 39.57 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c TRUE 45.95 45.31 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c TRUE 39.90 30.02 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c TRUE 30.82 15.71 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.33 2.86 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.61 3.28 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.34 3.07 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.70 3.04 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.34 2.93 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.61 3.02 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.68 2.99 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.48 2.94 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.30 2.89 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.35 2.91 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.47 2.91 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.37 2.92 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.60 3.07 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.52 2.84 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.34 2.96 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.65 2.98 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.63 3.32 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 3.40 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 8.96 8.80 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 9.25 8.69 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.96 9.09 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.84 8.96 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 9.00 7.40 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 8.88 7.08 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.00 6.98 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 9.05 7.22 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.74 7.46 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.66 6.85 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.92 7.36 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.86 7.33 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.57 4.54 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.01 4.06 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.04 4.12 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 8.23 4.19 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.73 2.96 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.53 3.30 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.42 2.95 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.52 3.02 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.04 3.63 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.43 3.62 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.16 3.00 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.34 2.85 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.64 3.24 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.70 3.04 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.34 2.99 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.23 2.90 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.71 2.91 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.86 3.08 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.62 2.89 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.31 2.84 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.18 2.89 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.42 2.79 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.44 2.93 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.28 3.01 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.53 3.27 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.27 2.80 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.98 3.37 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.75 3.19 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.40 11.21 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.76 11.11 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.63 3.01 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.47 3.00 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 6.89 2.77 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.58 3.03 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.39 3.19 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.19 2.96 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.24 2.82 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.41 2.96 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 11.53 5.06 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 21.23 10.20 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.11 213.67 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.72 283.28 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.51 288.98 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i FALSE(valid-deref) 11.34 5.00 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 301.74 288.04 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i FALSE(valid-deref) 11.70 4.50 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 301.01 287.39 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 301.33 288.98 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.03 2.59 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.56 2.54 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.37 2.48 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.34 2.43 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.50 2.49 None heap-manipulation/tree_false-valid-deref.i unknown 6.60 2.51 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.51 2.42 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.58 2.51 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.62 2.59 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.15 263.48 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.89 256.55 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.59 4.76 None list-properties/list_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 18.87 8.04 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 14.49 5.78 None list-properties/simple_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 16.42 6.36 None list-properties/splice_true-unreach-call_false-valid-memtrack.i UNKNOWN: OverapproxCex 12.83 4.63 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.69 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.84 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.35 2.91 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.69 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.38 2.77 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.94 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.88 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.93 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 8.21 3.04 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.66 3.07 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.86 2.97 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.54 3.01 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.69 2.94 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.79 2.70 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.83 2.72 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.71 2.60 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.12 2.94 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.37 2.63 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.16 2.93 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.09 2.81 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.07 2.64 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.58 2.69 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.17 2.79 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 87.76 57.49 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.23 2.93 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.17 3.06 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.44 3.07 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 300.25 257.65 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.01 257.12 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.77 2.70 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.98 2.62 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.51 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.78 2.60 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.81 2.66 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 158.02 121.32 None loop-acceleration/array3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.71 237.07 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 9.08 3.69 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.50 3.48 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 17.41 7.40 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 17.12 7.27 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.81 6.12 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.77 5.86 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.82 5.68 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 15.26 6.42 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 14.31 6.16 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.88 4.64 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 13.54 5.66 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 12.43 5.25 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.62 3.62 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.37 3.59 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.65 4.65 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.90 3.80 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.78 3.77 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.87 3.76 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.14 4.05 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.89 3.78 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.09 3.51 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.33 3.53 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.13 3.45 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.32 3.53 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.24 3.65 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 11515.23 11688.75 - AutomizerHeapSep.32bitMem Run set 2 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i FALSE(valid-deref) 237.02 194.09 None array-memsafety/bubblesort_unsafe_false-valid-deref.i FALSE(valid-deref) 67.20 36.53 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.45 267.12 None array-memsafety/cstrcat_unsafe_false-valid-deref.i FALSE(valid-deref) 133.84 108.91 None array-memsafety/cstrchr_unsafe_false-valid-deref.i ERROR: EXCEPTION 116.65 78.55 None array-memsafety/cstrlen_unsafe_false-valid-deref.i FALSE(valid-deref) 52.63 21.52 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.21 271.92 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i FALSE(valid-deref) 120.64 94.45 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i FALSE(valid-deref) 209.84 164.51 None array-memsafety/diff_usafe_false-valid-deref.i FALSE(valid-deref) 62.47 41.13 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.43 245.88 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.09 260.48 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.51 267.56 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.84 257.93 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.38 264.86 None array-memsafety/selectionsort_unsafe_false-valid-deref.i FALSE(valid-deref) 60.77 37.36 None array-memsafety/stroeder1_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.11 2.71 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.84 246.71 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i TRUE 90.82 56.54 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i TRUE 144.79 112.37 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.75 262.57 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.22 225.54 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.55 265.41 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.70 259.80 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 213.29 169.41 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.26 259.77 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.09 266.30 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.57 261.56 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 58.27 26.46 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.79 261.27 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.13 259.24 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.23 265.96 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.41 265.03 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.67 265.75 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.51 239.73 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i TRUE 129.92 88.22 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.03 229.93 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.74 270.66 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.66 259.55 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.47 251.67 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.67 3.22 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.52 3.15 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.92 246.08 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.84 268.01 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.19 269.60 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.12 262.26 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.22 260.38 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.00 272.08 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.63 265.21 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.55 257.40 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 64.54 26.67 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.16 257.80 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.52 264.61 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.83 260.58 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 91.97 55.85 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.90 261.19 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.48 256.82 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 304.52 254.85 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.46 297.45 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i TRUE 115.88 80.48 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.83 3.22 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i TRUE 77.77 44.31 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.72 258.79 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.21 260.53 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.40 263.21 None array-examples/relax_false-valid-deref.i ERROR: EXCEPTION 9.42 3.45 None array-examples/sanfoundry_24_false-valid-deref.i ERROR: EXCEPTION 7.23 2.82 None array-examples/standard_strcpy_false-valid-deref_ground.i ERROR: EXCEPTION 7.11 2.71 None array-examples/standard_strcpy_original_false-valid-deref.i ERROR: EXCEPTION 6.95 2.81 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 301.48 267.86 None memsafety/test-0137_false-valid-deref.i unknown 6.27 2.47 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.47 295.34 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 302.63 268.87 None memsafety/test-0158_false-valid-free.i FALSE(valid-free) 75.17 48.47 None memsafety/test-0232_false-valid-free.i unknown 6.55 2.49 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.46 297.17 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.60 256.80 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 304.18 270.89 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.08 266.25 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.66 266.72 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.88 277.25 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 6.97 2.60 None memsafety/test-0158_false-valid-memtrack_true-termination.i UNKNOWN: OverapproxCex 46.07 22.80 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.50 296.08 None memsafety/test-0232_false-valid-memtrack.i unknown 6.80 2.55 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 294.80 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.48 295.01 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.15 261.92 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.20 272.37 None memsafety/test-0019_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 66.47 41.61 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.12 2.67 None memsafety/test-0134_true-valid-memsafety.i unknown 6.49 2.51 None memsafety/test-0158_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 50.43 25.31 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.76 2.47 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.33 2.48 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.75 2.63 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 296.16 None memsafety/test-0232_true-valid-memsafety.i unknown 6.77 2.59 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 294.86 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.49 295.15 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 295.06 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.42 295.23 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 6.42 2.49 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.77 2.59 None memsafety/test-0521_true-valid-memsafety.i unknown 6.74 2.58 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.96 275.31 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.17 265.67 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.55 2.60 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.81 2.66 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.02 2.89 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.54 2.45 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.11 272.06 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.55 3.39 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.32 2.56 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.47 2.58 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.50 2.46 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.56 2.49 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.12 274.13 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.93 269.93 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.47 2.47 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.62 2.50 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.25 270.89 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.27 266.13 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.50 2.53 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.47 269.24 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 303.84 268.64 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 301.88 265.60 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 301.02 262.96 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 305.10 277.72 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.98 273.55 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 198.03 167.57 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.37 2.50 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.09 268.84 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.53 269.07 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.91 274.81 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.50 269.44 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i FALSE(valid-deref) 141.70 112.47 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.87 272.25 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 6.79 2.52 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 6.80 2.54 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.48 2.50 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.57 2.51 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.47 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 267.06 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.31 270.12 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c TIMEOUT (ERROR (143)) 301.39 269.27 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c FALSE(valid-deref) 40.54 18.66 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c FALSE(valid-deref) 44.63 22.67 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 7.20 2.80 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 7.01 2.67 None ldv-memsafety/memset2_false-valid-deref-write.c ERROR: EXCEPTION 6.81 2.69 None ldv-memsafety/memset3_false-valid-deref-write.c ERROR: EXCEPTION 6.72 2.69 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c ERROR: EXCEPTION 6.88 2.67 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c ERROR: EXCEPTION 6.84 2.73 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c ERROR: EXCEPTION 6.95 2.66 None ldv-memsafety/memset_false-valid-deref-write.c ERROR: EXCEPTION 6.91 2.81 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 305.42 277.52 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.11 2.81 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 7.19 2.84 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.18 2.77 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.60 221.80 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.05 2.77 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: EXCEPTION 8.29 3.18 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: EXCEPTION 8.31 3.56 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.48 2.84 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 6.90 2.77 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.32 2.88 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.30 2.80 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.43 2.85 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.56 2.92 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.33 2.91 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.43 2.73 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.25 2.69 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.44 2.78 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.76 2.55 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.28 2.70 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.06 2.66 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.44 2.82 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.19 2.73 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.26 2.87 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 6.96 2.66 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 7.26 2.66 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.07 2.68 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 6.99 2.57 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.11 2.64 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.36 2.74 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.02 2.63 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.01 2.64 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.96 2.69 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.27 2.71 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.30 2.68 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.20 2.74 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.03 2.64 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.16 2.67 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.11 2.66 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.07 2.59 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.23 2.72 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.19 2.73 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.69 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.32 2.71 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.28 2.65 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.39 2.73 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.42 2.62 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.06 2.70 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.80 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.97 2.64 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.30 2.66 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.19 2.62 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.34 2.70 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.35 2.72 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.65 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.10 2.65 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.28 2.68 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.36 2.78 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.73 2.79 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 6.84 2.61 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.02 2.62 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.24 2.69 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.58 2.72 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.41 2.73 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.37 2.72 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.35 2.78 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.35 2.72 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.00 2.65 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.32 2.72 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.24 2.68 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.02 2.72 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.15 2.68 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.22 2.77 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.19 2.68 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.02 2.70 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.14 2.63 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.18 2.73 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.41 2.73 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.11 2.66 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.08 2.65 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.27 2.71 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.29 2.72 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.21 2.68 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 68.61 47.59 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.01 274.67 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.37 274.44 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.83 278.91 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.99 272.24 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i ERROR: EXCEPTION 66.58 46.81 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 305.57 273.63 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 303.27 276.69 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 305.01 275.84 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 306.12 276.80 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.82 2.55 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.70 2.56 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.60 2.47 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.62 2.55 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.63 2.51 None heap-manipulation/tree_false-valid-deref.i unknown 6.79 2.62 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.52 2.54 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.79 2.62 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 6.92 2.65 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 301.16 264.00 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.89 273.21 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.19 269.70 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.03 276.66 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.98 279.73 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.89 271.74 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.06 272.26 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.77 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.10 2.67 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.29 2.67 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.23 2.61 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.42 2.65 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.16 2.62 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.15 2.68 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.73 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.80 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.12 2.62 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.39 2.75 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.14 2.62 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.26 2.71 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.42 2.51 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.53 2.56 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.48 2.45 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.53 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.47 2.52 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.47 2.47 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.34 2.49 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.34 2.47 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.88 2.64 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.59 2.54 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.11 279.05 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.72 2.52 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.52 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.46 2.50 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 271.60 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.21 274.35 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.52 2.52 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.55 2.57 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.61 2.62 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.54 2.51 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.68 2.59 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.07 274.77 None loop-acceleration/array3_false-valid-deref.i ERROR: EXCEPTION 7.20 2.72 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.50 3.02 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.06 2.90 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 15.16 5.54 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 14.96 5.30 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.08 4.41 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.82 4.26 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.01 4.26 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.89 4.73 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.18 4.72 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 9.54 3.42 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.33 4.12 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 10.94 4.07 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.87 3.01 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.73 2.97 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.01 3.05 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.10 3.13 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.29 3.13 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.83 3.08 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.39 3.10 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.01 3.13 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.23 2.82 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.77 3.02 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.46 2.92 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.47 2.90 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.47 2.95 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 35286.47 15327.94 - HeapSep.32bitMem Run set 3 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-memsafety/add_last_unsafe_false-valid-deref.i unknown 233.03 192.37 None array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 55.95 35.27 None array-memsafety/count_down_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 302.38 265.20 None array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 124.63 97.76 None array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 112.94 76.55 None array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 45.04 19.71 None array-memsafety/cstrncat_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 306.14 274.55 None array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 111.70 88.48 None array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 178.94 142.31 None array-memsafety/diff_usafe_false-valid-deref.i unknown 62.26 41.68 None array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 300.68 249.35 None array-memsafety/lis_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.37 265.58 None array-memsafety/mult_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.00 266.72 None array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.82 267.80 None array-memsafety/reverse_array_unsafe_false-valid-deref.i TIMEOUT (ERROR (143)) 301.33 261.98 None array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 61.37 39.90 None array-memsafety/stroeder1_unsafe_false-valid-deref.i ERROR: EXCEPTION 7.33 3.54 None array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 250.61 212.59 None array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 93.47 60.01 None array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 160.08 123.29 None array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.53 265.28 None array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 102.49 72.15 None array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.36 263.09 None array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.92 260.89 None array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 205.00 165.07 None array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.90 261.08 None array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.72 273.67 None array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.35 262.19 None array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 56.89 27.12 None array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.95 258.39 None array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.30 262.17 None array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.44 261.62 None array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.21 257.59 None array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.72 263.26 None array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 184.55 143.07 None array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 116.31 85.34 None array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 110.72 79.29 None array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.44 266.00 None array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.50 264.41 None array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 111.33 74.20 None array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.87 3.83 None array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 9.27 3.69 None array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 110.08 73.84 None array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.13 264.82 None array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 306.14 268.56 None array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.42 261.98 None array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.14 262.59 None array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 303.06 269.55 None array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.42 263.80 None array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.33 265.39 None array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 56.23 26.34 None array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.40 254.12 None array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.06 261.98 None array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.44 263.57 None array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 88.03 56.42 None array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.35 261.82 None array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.74 260.57 None array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.90 260.48 None array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.46 297.58 None array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 108.27 77.88 None array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.51 3.12 None array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 67.09 37.73 None array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.15 260.00 None array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.24 261.00 None array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 302.00 260.71 None array-examples/relax_false-valid-deref.i ERROR: EXCEPTION 9.79 3.51 None array-examples/sanfoundry_24_false-valid-deref.i ERROR: EXCEPTION 7.35 2.77 None array-examples/standard_strcpy_false-valid-deref_ground.i ERROR: EXCEPTION 7.07 2.71 None array-examples/standard_strcpy_original_false-valid-deref.i ERROR: EXCEPTION 6.47 2.65 None memsafety/960521-1_false-valid-deref.i TIMEOUT (ERROR (143)) 300.36 263.99 None memsafety/test-0137_false-valid-deref.i unknown 7.15 2.74 None memsafety/test-0235_false-valid-deref.i TIMEOUT (ERROR (143)) 305.46 295.29 None memsafety/960521-1_false-valid-free.i TIMEOUT (ERROR (143)) 305.20 268.06 None memsafety/test-0158_false-valid-free.i unknown 73.69 47.60 None memsafety/test-0232_false-valid-free.i unknown 6.73 2.46 None memsafety/20020406-1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.43 296.84 None memsafety/20051113-1.c_false-valid-memtrack.i TIMEOUT (ERROR (143)) 300.97 262.96 None memsafety/lockfree-3.1_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.12 271.22 None memsafety/lockfree-3.2_false-valid-memtrack.i TIMEOUT (ERROR (143)) 302.48 270.36 None memsafety/lockfree-3.3_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.71 272.41 None memsafety/test-0019_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.98 275.64 None memsafety/test-0102_false-valid-memtrack.i ERROR: EXCEPTION 7.15 2.69 None memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 45.90 22.88 None memsafety/test-0220_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.49 295.48 None memsafety/test-0232_false-valid-memtrack.i unknown 6.84 2.61 None memsafety/test-0234_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.46 294.89 None memsafety/test-0235_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.44 295.30 None memsafety/960521-1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.07 262.45 None memsafety/lockfree-3.0_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.58 264.36 None memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 64.83 38.45 None memsafety/test-0102_true-valid-memsafety.i ERROR: EXCEPTION 7.34 2.74 None memsafety/test-0134_true-valid-memsafety.i unknown 6.68 2.45 None memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 45.73 26.05 None memsafety/test-0214_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.12 2.55 None memsafety/test-0217_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.05 2.59 None memsafety/test-0218_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.85 2.62 None memsafety/test-0219_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.46 296.02 None memsafety/test-0232_true-valid-memsafety.i unknown 7.08 2.58 None memsafety/test-0234_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.42 295.25 None memsafety/test-0235_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.44 295.56 None memsafety/test-0236_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.40 295.39 None memsafety/test-0237_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.47 295.41 None memsafety/test-0504_true-valid-memsafety.i ERROR: EXCEPTION 7.11 2.72 None memsafety/test-0513_true-valid-memsafety.i ERROR: EXCEPTION 6.88 2.72 None memsafety/test-0521_true-valid-memsafety.i unknown 7.13 2.69 None memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.57 271.62 None memsafety-ext/dll_extends_pointer_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.30 266.47 None memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 7.11 2.71 None memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 7.98 3.61 None memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 8.05 3.34 None memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 7.86 3.32 None memsafety-ext/tree_of_cslls_true-valid-memsafety.i TIMEOUT (ERROR (143)) 301.65 262.39 None memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.43 2.48 None memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i ERROR: EXCEPTION 6.57 2.52 None memsafety-ext2/split_list_test05_false-valid-deref.i ERROR: EXCEPTION 6.72 2.67 None memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i ERROR: EXCEPTION 6.33 2.55 None memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i ERROR: EXCEPTION 6.71 2.50 None memsafety-ext2/length_test03_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.17 274.27 None memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.89 271.82 None memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i ERROR: EXCEPTION 6.69 2.61 None memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i ERROR: EXCEPTION 6.90 2.68 None memsafety-ext2/length_test03_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.04 272.88 None memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.98 272.71 None memsafety-ext2/split_list_test05_true-valid-memsafety.i ERROR: EXCEPTION 6.37 2.42 None list-ext-properties/960521-1_1_false-valid-deref.i TIMEOUT (ERROR (143)) 306.01 273.85 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.02 272.85 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 306.13 265.95 None list-ext-properties/960521-1_1_false-valid-free.i TIMEOUT (ERROR (143)) 301.90 269.94 None list-ext-properties/test-0158_1_false-valid-free.i TIMEOUT (ERROR (143)) 305.14 275.90 None list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i TIMEOUT (ERROR (143)) 305.92 271.04 None list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 203.28 176.73 None list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.60 2.71 None list-ext-properties/960521-1_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.91 270.23 None list-ext-properties/list-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.95 272.09 None list-ext-properties/list-ext_flag_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.24 272.31 None list-ext-properties/simple-ext_1_true-valid-memsafety.i TIMEOUT (ERROR (143)) 307.13 273.14 None list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 147.52 116.93 None list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.06 278.09 None list-ext-properties/test-0214_1_true-valid-memsafety.i ERROR: EXCEPTION 7.45 2.73 None list-ext-properties/test-0217_1_true-valid-memsafety.i ERROR: EXCEPTION 7.80 3.22 None list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.38 3.23 None list-ext-properties/test-0504_1_true-valid-memsafety.i ERROR: EXCEPTION 6.81 2.90 None list-ext-properties/test-0513_1_true-valid-memsafety.i ERROR: EXCEPTION 7.06 2.95 None memory-alloca/c.03-alloca_true-valid-memsafety.i TIMEOUT (ERROR (143)) 304.37 268.70 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c TIMEOUT (ERROR (143)) 301.04 268.70 None ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c TIMEOUT (ERROR (143)) 305.97 271.76 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 41.13 21.22 None ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 53.62 26.84 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c ERROR: EXCEPTION 8.48 3.65 None ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c ERROR: EXCEPTION 8.49 3.54 None ldv-memsafety/memset2_false-valid-deref-write.c ERROR: EXCEPTION 7.91 3.33 None ldv-memsafety/memset3_false-valid-deref-write.c ERROR: EXCEPTION 8.00 3.14 None ldv-memsafety/memsetNonZero2_false-valid-deref-write.c ERROR: EXCEPTION 7.97 3.55 None ldv-memsafety/memsetNonZero3_false-valid-deref-write.c ERROR: EXCEPTION 7.95 3.16 None ldv-memsafety/memsetNonZero_false-valid-deref-write.c ERROR: EXCEPTION 7.31 3.22 None ldv-memsafety/memset_false-valid-deref-write.c ERROR: EXCEPTION 7.92 3.27 None ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c TIMEOUT (ERROR (143)) 300.98 270.08 None ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.35 3.61 None ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c ERROR: EXCEPTION 8.00 3.35 None ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.78 3.35 None ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 53.08 27.23 None ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.72 4.28 None ldv-memsafety/StructInitialization1_true-valid-memsafety.c ERROR: EXCEPTION 9.34 4.30 None ldv-memsafety/StructInitialization2_true-valid-memsafety.c ERROR: EXCEPTION 9.24 4.46 None ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.52 3.82 None ldv-memsafety/memset2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.18 3.35 None ldv-memsafety/memset3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.97 3.56 None ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.17 3.49 None ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.00 3.37 None ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 8.19 3.54 None ldv-memsafety/memset_true-valid-memsafety_true-termination.c ERROR: EXCEPTION 7.92 3.49 None ldv-memsafety/memleaks_test14_3_false-valid-deref.i ERROR: EXCEPTION 7.61 3.09 None ldv-memsafety/memleaks_test22_3_false-valid-deref.i ERROR: EXCEPTION 7.61 3.02 None ldv-memsafety/memleaks_test22_5_false-valid-deref.i ERROR: EXCEPTION 7.52 3.04 None ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.42 3.03 None ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.45 2.92 None ldv-memsafety/memleaks_test11_1_false-valid-free.i ERROR: EXCEPTION 7.26 3.06 None ldv-memsafety/memleaks_test12_false-valid-free.i ERROR: EXCEPTION 7.57 3.01 None ldv-memsafety/memleaks_test17_2_false-valid-free.i ERROR: EXCEPTION 7.46 2.95 None ldv-memsafety/memleaks_test19_false-valid-free.i ERROR: EXCEPTION 7.51 3.07 None ldv-memsafety/memleaks_test1_false-valid-free.i ERROR: EXCEPTION 7.73 3.04 None ldv-memsafety/memleaks_test3_false-valid-free.i ERROR: EXCEPTION 6.91 2.82 None ldv-memsafety/memleaks_test6_2_false-valid-free.i ERROR: EXCEPTION 7.44 2.92 None ldv-memsafety/memleaks_test8_2_false-valid-free.i ERROR: EXCEPTION 7.72 2.89 None ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.72 2.90 None ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.71 3.13 None ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.92 2.98 None ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i ERROR: EXCEPTION 7.71 3.03 None ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.62 2.97 None ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i ERROR: EXCEPTION 7.65 2.93 None ldv-memsafety/memleaks_test15_false-valid-memtrack.i ERROR: EXCEPTION 7.64 3.00 None ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.50 2.99 None ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 6.88 2.78 None ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i ERROR: EXCEPTION 7.97 3.44 None ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i ERROR: EXCEPTION 7.50 3.01 None ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.76 2.98 None ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.49 2.94 None ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.99 3.11 None ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.57 2.98 None ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.22 2.90 None ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.53 2.94 None ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.55 2.97 None ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.69 3.04 None ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.09 2.80 None ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.56 2.99 None ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.71 2.74 None ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.52 2.83 None ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.21 2.70 None ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.24 2.76 None ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.58 2.97 None ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.92 3.00 None ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.39 2.86 None ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i ERROR: EXCEPTION 7.91 3.00 None ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.42 2.89 None ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.15 2.80 None ldv-memsafety/memleaks_test12_true-valid-memsafety.i ERROR: EXCEPTION 7.70 3.00 None ldv-memsafety/memleaks_test13_true-valid-memsafety.i ERROR: EXCEPTION 7.31 2.93 None ldv-memsafety/memleaks_test14_true-valid-memsafety.i ERROR: EXCEPTION 7.77 3.12 None ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.85 2.99 None ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.57 2.93 None ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.68 2.92 None ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.74 3.02 None ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.51 2.92 None ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.52 2.76 None ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.62 2.87 None ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.44 2.80 None ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.67 2.73 None ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.80 2.89 None ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.73 2.93 None ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.90 3.19 None ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.93 3.21 None ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.82 3.08 None ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.21 3.29 None ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.82 3.15 None ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.18 3.07 None ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.88 3.15 None ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.11 3.59 None ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 8.13 3.49 None ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i ERROR: EXCEPTION 7.68 3.51 None ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 78.68 55.73 None ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 301.71 271.42 None ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 300.25 272.42 None ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.83 276.62 None ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i TIMEOUT (ERROR (143)) 305.89 275.78 None ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 71.26 50.57 None ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i TIMEOUT (ERROR (143)) 301.13 273.90 None ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i TIMEOUT (ERROR (143)) 305.15 277.44 None ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i TIMEOUT (ERROR (143)) 300.77 273.07 None ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i TIMEOUT (ERROR (143)) 305.86 279.50 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.89 3.38 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.34 3.21 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.53 3.42 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 7.16 3.02 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 7.26 2.96 None heap-manipulation/tree_false-valid-deref.i unknown 7.91 3.19 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.24 3.23 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.19 3.09 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 7.63 3.16 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 306.02 269.06 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 302.90 267.67 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.76 273.12 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.10 273.24 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 303.78 279.93 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.81 279.52 None list-properties/splice_true-unreach-call_false-valid-memtrack.i TIMEOUT (ERROR (143)) 305.58 264.69 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 8.38 3.39 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 8.35 3.39 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 8.20 3.42 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.91 3.26 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.24 3.01 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 8.07 3.25 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.37 2.92 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.87 3.06 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.75 3.12 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 8.00 3.09 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 8.00 3.07 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.96 2.96 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.51 3.12 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.41 2.79 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.15 2.90 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.20 2.98 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.87 2.72 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.15 2.82 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.06 2.79 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.96 2.74 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.82 2.95 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.92 2.80 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.25 2.95 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 278.07 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.26 3.51 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.35 2.94 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.27 2.85 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 305.96 272.23 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR (143)) 306.07 273.07 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.49 3.68 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 6.97 2.99 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.42 2.88 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 6.89 2.86 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.15 2.93 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i TIMEOUT (ERROR (143)) 305.91 273.93 None loop-acceleration/array3_false-valid-deref.i ERROR: EXCEPTION 7.69 3.14 None ntdrivers/floppy_false-valid-deref.i.cil.c unknown 9.18 3.47 None ntdrivers/kbfiltr_false-valid-deref.i.cil.c ERROR: EXCEPTION 8.40 3.25 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 15.41 5.90 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 15.89 5.97 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.64 5.02 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.81 5.00 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.58 4.94 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.64 5.50 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 13.89 5.32 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 10.20 4.14 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 11.60 4.54 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c ERROR: EXCEPTION 12.04 4.60 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.31 3.40 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.23 3.31 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.89 3.47 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.79 3.47 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.93 3.50 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.85 3.65 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 9.07 3.62 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 9.39 3.82 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.81 3.15 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.64 3.18 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.42 3.48 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 7.90 3.38 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c ERROR: EXCEPTION 8.37 3.28 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 34668.26 14875.51 - Statistics: 978 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 978