Tool PredatorHP 3.14
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-07 04:08:42 CET
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]
Options --witness error-witness.graphml
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 36 1.1
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .15 34 1.5
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .16 35 1.6
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .15 33 2.0
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .27 48 1.7
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .14 36 1.4
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .26 48 1.5
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .16 33 1.4
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .27 49 2.0
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 36 1.4
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23 49 1.9
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .15 36 1.3
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 200  
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .16 36 2.7
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .15 34 1.5
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .16 35 1.5
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 35 1.4
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 210  
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 210  
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 210  
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 200  
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 220  
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 200  
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .32 49 2.4
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 35 1.3
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 33 2.3
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .16 32 1.5
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .47 49 1.3
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .36 49 1.4
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .26 49 2.2
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .28 33 2.1
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 34 1.5
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 35 1.5
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .31 49 1.6
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 20    15000 190  
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 220  
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 200  
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 31    15000 290  
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 20    15000 230  
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .15 34 1.4
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .15 36 1.5
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .16 35 1.4
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .15 35 1.5
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 35 1.3
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .20 36 1.4
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .21 36 2.0
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 36 2.3
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .29 49 1.7
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .20 36 1.7
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .21 34 1.5
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .14 34 1.2
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .22 36 1.9
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .23 35 1.4
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .42 49 1.4
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .38 49 1.5
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .19 36 1.6
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .19 37 1.8
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .30 50 2.3
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .14 36 1.3
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 190  
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 19    15000 200  
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory (unknown) 20    15000 220  
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 35 2.2
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .17 35 1.4
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .18 35 1.3
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .14 35 1.1
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    4200 8700  
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack timeout 900    5500 8600  
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    4200 9800  
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack unknown .19 35 1.4
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown .18 37 1.5
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.0  140 72  
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .40 35 4.3
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    8200 11000  
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 7.0  170 80  
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .16 35 1.6
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .36 50 1.3
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21 40 1.7
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .17 35 1.3
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 37 1.9
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .17 36 1.7
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20 37 2.1
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .15 35 1.7
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 33    710 350  
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .15 33 1.5
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .42 38 5.1
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .17 35 1.4
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.7  130 40  
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.7  130 46  
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    6900 7900  
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 37    240 340  
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14 34 1.4
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .64 57 6.2
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .74 62 6.7
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .27 47 1.7
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true .58 51 3.7
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true .46 38 5.3
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true .47 38 5.0
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .83 58 8.2
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .39 35 5.1
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .82 65 7.8
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 3.9  160 38  
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .91 63 8.2
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .94 66 8.9
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .72 37 8.9
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .69 36 6.5
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.2  58 11  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14 34 1.6
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    890 5400  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    1800 8700  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    1300 6600  
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900    440 5800  
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900    310 6300  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    510 6900  
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900    480 6200  
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900    450 5300  
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    1000 6400  
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .33 49 1.8
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19 38 1.5
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .39 37 4.3
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .48 37 4.7
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    7200 9900  
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    2500 6800  
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    2600 12000  
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    1900 4000  
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    1000 7700  
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 36 1.3
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 13    63 140  
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .26 50 1.6
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .16 36 1.5
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .18 35 1.4
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .15 35 1.4
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26 49 1.8
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .16 34 1.4
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.1  58 8.5
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2.5  64 25  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    470 5300  
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 230    1700 2300  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16 35 1.2
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14 33 1.2
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 11    560 120  
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 3.2  130 33  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 1.3  38 15  
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    5200 5200  
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .24 38 2.2
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .49 35 4.3
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .16 34 1.3
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .36 49 1.3
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .18 36 1.3
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .24 49 1.8
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 1.4  44 14  
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 3.5  60 39  
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .24 48 1.5
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .14 33 1.4
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .36 48 1.2
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .18 33 1.3
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .14 33 1.2
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .31 48 1.0
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack timeout 900    1600 6800  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.1  77 24  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2.9  53 34  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2.1  79 23  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 210    700 3400  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 3.0  58 33  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .32 46 1.1
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .16 30 1.2
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .15 32 1.8
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .16 33 1.2
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .14 32 1.3
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .14 33 1.2
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .13 33 1.5
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .15 33 1.7
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .18 46 1.5
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .22 40 1.8
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .22 38 1.8
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23 40 1.7
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .29 40 2.1
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .28 37 2.3
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .25 39 1.8
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .29 40 2.9
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .73 36 2.9
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .23 38 1.8
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21 37 1.8
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .21 38 1.7
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .23 38 1.9
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .24 38 1.7
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 38 1.8
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 41 1.8
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 39 2.1
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 40 1.7
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .33 54 2.0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20 41 1.8
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 39 2.0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19 40 1.9
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 38 1.7
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 40 2.2
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 40 2.2
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 38 1.9
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25 37 1.6
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 120    670 760  
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19 39 2.5
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .30 54 2.1
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20 39 1.8
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21 39 2.0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 38 2.0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 39 1.8
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 39 1.8
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 38 3.4
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26 53 2.2
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .22 38 1.7
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25 39 1.7
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23 39 1.8
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 39 1.6
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24 37 1.6
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21 39 1.7
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22 39 2.7
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23 39 2.4
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .29 41 2.4
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 39 1.9
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20 37 1.7
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .25 40 1.9
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22 38 1.8
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .40 53 2.3
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .39 53 2.2
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .37 53 3.8
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .26 53 1.8
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .21 38 1.7
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .32 52 1.9
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23 38 1.6
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .33 52 1.8
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23 38 2.0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22 39 1.9
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 120    170 1400  
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 120    170 1400  
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19 38 1.8
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22 39 1.5
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .21 38 1.6
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .34 53 2.0
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22 38 2.0
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .19 39 1.6
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .31 52 1.9
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .13 31 2.1
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .16 32 1.3
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .15 33 1.2
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .26 46 1.4
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown .15 33 1.3
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .13 34 1.1
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .17 34 1.3
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .17 34 1.2
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .14 35 1.2
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack unknown .13 33 1.3
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .74 50 6.5
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .79 46 7.2
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .83 52 7.3
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .82 47 7.8
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .62 36 6.1
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 38 1.4
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19 37 1.4
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .16 37 1.3
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25 50 1.8
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19 34 1.3
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    1800 6600  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .35 50 1.4
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .16 36 1.4
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .16 32 1.8
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26 50 1.7
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .39 51 1.3
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .64 61 4.8
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .63 58 4.8
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .60 59 5.2
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .61 78 4.2
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .60 78 4.1
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .55 60 4.1
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .63 78 4.9
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .54 59 4.6
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .50 59 5.1
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .50 60 6.1
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .60 78 4.5
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .55 59 4.1
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .57 58 5.1
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .62 52 7.0
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .77 40 7.0
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    860 5900  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .64 36 7.2
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    3200 5300  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    3100 4900  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .70 38 7.7
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .66 40 6.5
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .52 49 5.6
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    310 6800  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .73 37 6.7
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .74 37 8.0
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    720 6100  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .63 38 7.1
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    3200 5300  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    3200 6500  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .69 39 7.8
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .67 39 7.0
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .61 49 4.3
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .24 37 2.1
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17 36 1.5
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23 35 2.0
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .33 49 1.4
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 37 1.4
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .35 49 1.5
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 37 1.5
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 36 1.3
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 37 1.5
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .37 49 1.3
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .31 49 1.6
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 36 1.6
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 37 1.3
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 36 1.4
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 36 1.2
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .30 49 1.5
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 37 2.3
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .17 37 1.3
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 35 2.2
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 36 1.5
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 35 4.0
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .29 49 1.5
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .17 35 1.3
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .26 49 3.7
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 35 1.6
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .34 49 1.3
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 37 2.6
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 37 1.6
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20 37 1.3
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .15 36 1.5
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 36 1.5
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21 49 1.8
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .26 49 1.9
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .17 36 1.3
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 35 1.3
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .19 36 1.3
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .17 36 1.4
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 37 1.4
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 36 1.3
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 37 1.5
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .17 35 1.3
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 36 1.4
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 35 1.4
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .39 36 4.3
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .16 36 1.7
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18 48 2.3
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .33 49 1.2
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.8  50 19  
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .74 61 7.4
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 4.4  86 41  
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown .14 35 1.1
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .16 35 1.6
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .19 50 2.3
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .39 51 1.4
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .15 35 1.5
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack unknown .16 48 1.7
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    88 11000  
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 1.2  90 11  
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) .40 48 3.2
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2.2  120 22  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2.3  120 22  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 65    590 690  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 7.1  130 75  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 7.2  130 71  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 8.2  150 85  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 8.6  170 79  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .82 47 8.5
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.7  70 16  
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2.2  72 22  
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 170    360 1800  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 820    1500 7900  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    1300 8100  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    1100 8100  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    1100 7800  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    1000 9800  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    1100 8300  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900    960 8000  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .69 52 5.3
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 1.9  42 18  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 6.9  80 67  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 17    85 160  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 44    120 490  
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .25 48 1.4
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15 34 1.6
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .14 35 1.4
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .26 47 1.8
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .21 35 1.4
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .46 48 1.8
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .19 35 1.3
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15 35 1.3
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15 34 1.4
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .36 48 1.3
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15 34 1.2
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .19 34 1.3
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .29 48 1.6
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack false(valid-free) .32 47 1.8
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .18 35 1.4
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .18 35 1.2
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .29 35 2.3
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .14 34 1.3
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .26 50 1.6
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .15 38 1.4
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .15 36 1.2
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup false(valid-memcleanup) .16 35 1.2
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .61 45 6.0
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 2.8  63 27  
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 38 1.6
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .79 58 4.2
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .54 50 4.1
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 37 1.6
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .14 38 1.3
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 34 1.4
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .39 49 1.4
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .19 36 1.3
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .44 37 4.6
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 37 1.5
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .18 37 1.3
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .17 33 1.3
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .35 49 1.3
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .18 35 1.4
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .37 49 1.9
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .15 34 1.5
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .50 49 3.5
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .38 49 1.2
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 34 1.5
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .21 35 1.1
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .16 35 1.2
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .18 37 1.5
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .17 35 1.5
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .33 49 1.4
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .28 50 1.8
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .17 35 1.3
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .22 37 2.2
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .46 51 3.5
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .52 36 5.0
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 36000 330000 300000
    correct results 296 2200 21000 23000
        correct true 154 2000 13000 21000
        correct false 142 230 7500 1800
    correct-unconfimed results 30 13 1500 110
        correct-unconfirmed true 0
        correct-unconfirmed false 30 13 1500 110
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]