Tool CBMC Path 5.10 ()
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-04 22:45:10 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 --graphml-witness 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 error (134) .056 8.7 .55
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .11  7.4 .44
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .061 8.8 .58
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .098 6.9 .29
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .069 8.7 .58
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .10  7.1 .49
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .078 6.8 .31
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .059 7.5 .51
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .073 7.4 .59
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .075 7.2 .56
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .086 8.3 .96
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .11  7.3 .88
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .064 7.4 .55
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .11  7.5 .64
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .062 8.3 .61
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .058 7.0 .53
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .069 6.7 .30
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     830   10000   
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 870     3800   12000   
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     11000   12000   
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     5600   12000   
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory 840     15000   13000   
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     9000   14000   
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .082 8.3 .48
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .057 7.9 1.0 
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .075 8.5 .57
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .060 8.8 .57
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .094 8.0 .56
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .062 8.3 .51
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .11  7.6 .57
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .069 8.7 .55
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .067 8.5 .65
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .085 8.0 .40
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .062 8.8 .72
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     14000   12000   
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 870     2000   12000   
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory 830     15000   13000   
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack out of memory 840     15000   14000   
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     260   11000   
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  7.5 .42
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .058 8.6 .61
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .12  6.8 .49
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .057 8.2 .55
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .057 7.8 .72
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .075 7.5 .48
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .071 8.1 .59
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .089 7.7 .48
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .088 7.6 .41
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .092 8.0 .52
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .072 8.5 .52
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .063 7.9 .49
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .066 7.8 1.2 
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .064 8.5 .58
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  7.4 .53
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .067 8.3 .50
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .067 7.7 .64
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .095 7.5 .56
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .11  7.4 .56
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .091 7.3 .44
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     12000   11000   
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     160   10000   
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 870     3300   12000   
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .059 7.8 .54
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .071 8.2 .66
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .088 9.1 .56
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .13  7.8 .83
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack out of memory 180     15000   1900   
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack out of memory 200     15000   2300   
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack out of memory 410     15000   6300   
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .16  8.5 1.0 
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .15  11   1.3 
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 3.2   34   44   
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .15  9.6 1.6 
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .13  11   1.8 
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 4.8   45   62   
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .087 9.0 .70
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .071 7.5 .97
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  12   3.9 
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1.9   20   25   
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .076 8.5 .50
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .075 7.9 .54
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .073 7.6 .49
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .12  6.7 .66
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .093 7.8 .85
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .064 7.5 .52
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .094 8.7 .92
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .11  7.0 .55
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .16  11   1.3 
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .14  11   1.5 
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     14000   12000   
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .090 8.0 .62
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .13  8.0 1.6 
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  7.8 .81
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 650     15000   7200   
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .081 7.7 .79
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .10  9.3 1.2 
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .13  8.3 1.0 
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .11  9.0 1.0 
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .098 8.4 .99
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .075 7.5 .81
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  11   1.6 
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  11   1.6 
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  12   1.9 
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  12   1.7 
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .10  7.8 .60
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .088 8.0 .75
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.2 .92
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .12  8.6 1.4 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .080 7.4 .78
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.7 1.3 
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  10   1.5 
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .12  8.8 1.1 
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .12  9.4 1.3 
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .15  8.3 .96
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .095 8.2 1.2 
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error (134) .11  8.9 1.4 
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .19  9.3 1.3 
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .11  8.8 1.4 
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .12  10   1.5 
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .11  8.5 1.1 
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .086 8.8 .77
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  9.2 1.2 
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  9.6 1.4 
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  8.6 .98
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  7.3 .75
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  9.0 1.4 
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .090 7.9 .57
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .088 7.9 .61
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .062 8.5 .81
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .067 7.9 .61
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .076 9.1 .81
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .093 7.5 .80
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .061 8.1 .67
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .086 7.3 .68
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  7.3 .48
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .082 7.9 .80
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .095 7.1 .45
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 330     15000   4800   
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .21  8.7 2.6 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .11  8.2 1.1 
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .10  8.7 1.1 
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.0 .95
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .094 7.7 .70
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .082 7.6 .80
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .094 7.8 1.0 
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     9100   11000   
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .067 7.2 .50
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .058 7.8 .63
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .073 7.6 .42
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .089 7.9 .48
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 1.5   26   21   
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1.5   26   20   
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .13  7.7 .54
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .081 8.3 .62
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .075 8.8 .65
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .077 7.8 .58
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .075 7.7 .62
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .082 7.6 .55
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack error (42) 870     4300   9400   
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 1.9   26   23   
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 1.5   18   19   
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 1.9   26   26   
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 22     140   180   
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 1.6   18   20   
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .11  6.2 .31
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .057 6.8 .47
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .077 6.1 .34
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .084 8.5 .80
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .081 8.0 .65
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .10  7.8 .61
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .12  7.8 .69
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .089 8.5 .57
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .079 8.0 .71
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .096 10   1.0 
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .14  8.0 .97
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .14  8.4 1.0 
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .12  9.8 1.4 
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .12  9.2 1.3 
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .097 9.5 1.1 
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .14  10   1.6 
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack error (134) .13  9.0 .95
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack error (42) 95     210   1200   
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .12  8.7 1.2 
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .15  9.5 1.1 
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .14  9.4 1.4 
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .12  9.3 1.2 
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 3.1   64   44   
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  10   1.1 
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .14  8.6 .90
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .091 8.7 1.1 
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .13  8.7 .83
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .12  8.8 .95
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 2.5   56   36   
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .11  9.7 1.0 
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .11  8.3 .84
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .12  9.7 1.2 
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .099 9.1 1.0 
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .095 9.8 1.3 
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .097 9.1 1.1 
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .11  8.6 .96
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .097 9.8 1.0 
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .11  8.7 .93
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .090 9.4 .87
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .15  8.5 1.1 
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  9.6 1.2 
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  9.8 1.2 
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .11  9.7 1.4 
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .093 8.8 .88
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .11  10   1.4 
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .13  9.0 1.3 
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .11  9.3 1.3 
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .12  8.9 1.3 
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .095 9.2 1.1 
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .10  9.6 .97
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .13  8.4 .95
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 24     270   320   
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .10  9.6 1.2 
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  9.9 1.7 
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.7 .97
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  8.6 .98
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .13  9.7 1.4 
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .15  8.7 1.6 
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .13  9.0 1.2 
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (42) 880     10000   13000   
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .096 9.0 .96
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .77  27   8.2 
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14  8.8 1.7 
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .13  8.5 .85
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .098 9.3 .98
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .15  8.2 1.0 
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .14  8.6 .98
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .13  8.7 1.2 
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  9.9 1.7 
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  9.5 1.2 
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .15  9.5 1.7 
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16  8.7 2.0 
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .15  8.9 1.7 
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .21  8.6 2.9 
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .30  12   3.3 
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .15  8.7 1.6 
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .15  9.4 1.8 
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .32  18   4.0 
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .27  21   3.5 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 10     140   130   
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) .97  75   12   
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (134) 20     1400   240   
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .13  7.3 1.2 
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .12  8.0 .86
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .088 7.9 .79
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .095 8.0 .75
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .30  21   3.4 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 450     15000   5700   
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  9.5 1.3 
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  9.0 1.1 
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 360     15000   4800   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .14  7.4 .96
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .13  7.8 1.1 
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack out of memory 620     15000   7800   
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .11  8.1 .91
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .11  8.3 1.1 
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .092 7.8 .88
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 580     15000   7700   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .065 7.8 .60
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .071 7.8 .70
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .064 7.6 .52
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .17  7.3 1.1 
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .10  7.2 .91
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .48  29   7.1 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .47  29   5.9 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .52  28   6.2 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .48  29   5.4 
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .48  28   5.7 
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  28   6.3 
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .48  29   6.4 
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .52  29   5.4 
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  29   7.0 
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .48  29   5.0 
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  28   6.7 
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  28   5.6 
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .47  29   6.0 
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.5 .96
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.4 1.2 
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .14  8.3 .94
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  9.6 1.2 
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  8.9 1.1 
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  8.1 1.1 
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  9.4 1.3 
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  9.4 1.4 
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.0 1.0 
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.2 1.0 
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.4 1.0 
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  7.8 .95
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .17  7.4 1.4 
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  9.0 1.4 
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .13  8.5 1.1 
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .10  7.6 1.4 
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.6 1.0 
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .11  8.4 1.1 
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .12  7.6 .95
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .11  8.4 1.7 
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .10  8.2 1.1 
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error (134) .11  8.2 1.0 
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 870     12000   13000   
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 870     7100   14000   
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     12000   11000   
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 870     7200   11000   
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     12000   11000   
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     7200   10000   
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.5   16   18   
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.7   16   23   
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 710     5800   10000   
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 720     5800   8200   
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     14000   12000   
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     15000   12000   
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 650     6300   9000   
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 640     6200   7800   
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 290     2800   3500   
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 290     2800   3400   
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 24     98   300   
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2.6   27   35   
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 230     1900   3300   
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 260     2200   3200   
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 440     15000   6300   
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 400     15000   5100   
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     12000   11000   
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 780     6500   12000   
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 440     15000   6500   
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 510     15000   7200   
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     3700   12000   
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 31     150   450   
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 660     5500   6200   
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 630     5500   9100   
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     13000   11000   
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     13000   11000   
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 290     2800   3500   
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 280     2800   4000   
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 270     2600   3900   
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 270     2600   3400   
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 21     98   280   
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .65  12   10   
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 230     2200   3300   
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 230     2200   2900   
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 19     160   290   
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .087 8.1 .94
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 880     7400   11000   
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 15     150   190   
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (42) 870     7100   12000   
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack out of memory 760     15000   11000   
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (134) .084 9.2 .81
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .13  8.8 1.9 
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack error (42) 880     15000   12000   
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack out of memory 830     15000   11000   
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (134) .079 9.2 1.2 
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .091 8.5 .83
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack false(unreach-call) .14  9.2 .52
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 78     660   600   
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 1.7   67   20   
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) .38  21   5.6 
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 7.4   140   110   
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 7.3   140   90   
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error (42) 880     690   11000   
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2.5   100   31   
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2.5   100   30   
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 5.6   180   73   
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 5.4   170   66   
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .54  15   6.9 
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.0   21   14   
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.0   21   13   
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 140     15000   1600   
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 130     15000   1600   
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 130     15000   1800   
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 120     15000   1700   
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 240     15000   3500   
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 100     15000   1200   
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 82     15000   1100   
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 83     15000   1200   
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 130     15000   1800   
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 83     15000   1000   
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 89     15000   1200   
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 110     15000   1500   
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack out of memory 160     15000   2200   
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .068 8.0 .62
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .17  8.0 1.9 
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack true .073 6.9 .47
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack true .22  8.8 1.7 
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .21  7.3 .84
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15  7.3 2.0 
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15  6.9 .47
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack error (134) .12  6.8 .44
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .092 7.7 .27
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .066 7.2 .38
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .12  7.5 1.2 
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .073 11   .56
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .12  7.1 .29
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack true .24  9.1 2.8 
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .093 6.5 .64
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .080 6.3 .79
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .17  6.2 1.4 
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .074 6.0 .32
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-free) .12  11   1.3 
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-free) .13  10   1.6 
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .17  10   1.4 
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup out of memory 330     15000   3600   
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup out of memory 450     15000   5800   
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .12  9.4 1.4 
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .12  7.7 1.0 
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .097 8.2 .88
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .10  7.9 .96
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .11  8.8 1.0 
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .11  8.0 .99
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .11  8.0 1.1 
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .12  9.6 1.6 
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .12  8.6 .98
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .12  8.9 1.5 
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .11  7.9 1.1 
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .10  8.4 .96
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .092 8.0 1.1 
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .099 8.0 1.1 
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .15  8.8 1.2 
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .092 8.5 .88
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .095 8.2 .82
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .11  8.6 1.1 
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .087 7.8 1.1 
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup out of memory 570     15000   7100   
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .090 7.9 .50
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .069 7.5 .48
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .20  16   2.2 
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) 430     2200   5900   
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .14  7.2 1.2 
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .096 8.0 .88
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (42) 880     7100   9900   
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (42) 870     7500   13000   
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup out of memory 580     15000   7200   
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error (134) .087 8.9 .64
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 50000    870000 670000  
    correct results 126 7700    70000 100000  
        correct true 71 7600    69000 100000  
        correct false 55 87    1200 680  
    correct-unconfimed results 24 450    2600 6100  
        correct-unconfirmed true 0
        correct-unconfirmed false 24 450    2600 6100  
    incorrect results 5 .78 45 7.8
        incorrect true 3 .53 25 4.9
        incorrect false 2 .25 21 2.9
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]