Tool DIVINE
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-06 11:06:04 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]
../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 unknown 1.6   200   22    
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.8   430   110    
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   110    
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   23    
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   100    
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.5   430   93    
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.5   430   120    
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.7   430   110    
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   23    
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.5   200   22    
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   18    
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   26    
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.5   200   22    
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   23    
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   24    
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   23    
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   27    
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.5   200   23    
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   23    
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.5   200   22    
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   18    
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.5   200   23    
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   24    
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   22    
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   19    
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.6   430   94    
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack unknown 8.2   430   100    
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.1   430   98    
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack unknown 9.0   450   110    
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.1   450   130    
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.6   450   98    
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.7   450   110    
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900     560   9500    
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.6   450   110    
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.3   450   89    
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.5   450   95    
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.8   450   100    
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.3   450   120    
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   120    
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   440   100    
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.7   450   110    
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.3   450   120    
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.8   440   120    
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.3   450   94    
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   440   110    
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   100    
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900     570   8000    
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900     570   10000    
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 100     6100   1000    
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     7000   8400    
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.5   390   96    
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     500   7200    
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   82    
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.4   390   120    
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     570   8400    
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     670   8200    
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     680   9000    
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     400   8800    
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     420   9500    
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     560   8500    
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     560   8400    
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     550   8400    
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     540   9900    
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     700   8000    
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   100    
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.7   450   110    
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.3   380   97    
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     640   7600    
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     400   8100    
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     420   8100    
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     1800   7800    
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     2100   7300    
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     2500   8500    
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     1900   8400    
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900     1800   8200    
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900     420   8800    
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   110    
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   120    
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   440   92    
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   99    
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   120    
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   130    
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   100    
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.8   450   120    
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     420   9500    
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.3   450   110    
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.4   450   110    
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 9.6   450   120    
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.3   440   100    
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.6   440   110    
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.2   450   92    
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.4   450   100    
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   110    
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.9   390   110    
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 9.3   390   100    
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     580   6600    
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.8   390   120    
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.4   380   100    
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.6   380   120    
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 21     550   240    
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 14     440   150    
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.5   390   120    
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 9.8   390   110    
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.6   390   110    
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   22    
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   100    
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   99    
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   110    
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   110    
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 8.5   430   120    
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.8   430   120    
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   100    
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   110    
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   98    
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.9   430   99    
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3   430   110    
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   120    
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12     380   160    
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 8.4   370   100    
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.4   370   100    
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 8.4   370   100    
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 9.9   380   120    
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 8.3   370   96    
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.1   370   100    
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.1   370   98    
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 8.4   370   91    
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   110    
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   99    
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   110    
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   100    
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   120    
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack false(valid-deref) 8.4   430   120    
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.6   450   100    
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.7   450   110    
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.5   450   96    
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 9.1   450   130    
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 9.0   450   110    
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.7   450   98    
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack unknown 8.7   450   100    
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack unknown 8.8   450   130    
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack unknown 8.7   450   110    
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.5   440   99    
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack unknown 8.6   450   100    
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack unknown 9.1   450   120    
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.6   450   130    
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.5   450   110    
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   140    
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.5   440   100    
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.3   450   110    
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.5   450   100    
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.8   450   110    
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 9.8   450   110    
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.9   450   100    
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   83    
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.5   450   110    
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.5   450   140    
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.9   450   120    
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.8   450   120    
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.3   450   99    
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   100    
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   110    
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   110    
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   110    
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.4   450   97    
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   120    
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 9.3   450   110    
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 9.3   450   120    
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 9.3   450   100    
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.4   450   97    
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   98    
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   110    
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.6   450   110    
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.4   450   100    
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.6   450   100    
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 10     450   140    
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 9.3   450   120    
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   100    
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.8   450   120    
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.9   450   95    
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   100    
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   91    
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   120    
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.5   450   100    
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   110    
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   110    
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.6   450   110    
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.8   450   110    
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.7   450   120    
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.5   450   100    
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   98    
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 9.0   450   100    
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 9.1   450   100    
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.4   450   140    
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 8.6   450   91    
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.0   370   110    
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.2   370   96    
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.2   370   120    
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.1   370   90    
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 8.1   370   86    
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   96    
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   110    
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   130    
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   93    
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 8.2   430   110    
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.4   450   100    
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     410   8000    
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.7   450   100    
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     440   8100    
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.7   450   110    
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.4   450   110    
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 9.5   450   99    
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.5   450   97    
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   100    
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   100    
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     400   8000    
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 9.7   450   120    
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   440   110    
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   100    
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.4   450   100    
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   450   97    
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   22    
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   19    
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   23    
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   22    
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   22    
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     670   8100    
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     440   8000    
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     1600   7900    
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     430   7600    
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     440   8300    
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     450   8200    
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     510   7800    
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     790   8000    
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     400   8700    
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     500   8900    
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     970   9100    
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     430   9000    
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     1000   8200    
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     420   7500    
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     430   8200    
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     430   7800    
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     460   8500    
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     640   8200    
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900     400   7700    
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.5   440   97    
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.6   450   120    
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.5   450   100    
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   390   110    
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   380   110    
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   98    
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   98    
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.5   380   100    
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.6   390   110    
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.5   380   120    
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.5   390   100    
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   100    
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.1   390   93    
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   100    
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   380   130    
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.6   380   120    
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   380   110    
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   380   120    
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   380   100    
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   100    
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   380   120    
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.5   390   94    
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   390   98    
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   390   110    
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   100    
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   120    
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.5   390   97    
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   390   110    
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   380   110    
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   380   110    
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   390   99    
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.3   390   110    
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   390   120    
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   390   98    
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.4   390   110    
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.2   390   97    
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 8.9   390   100    
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 9.2   390   100    
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 240     510   2100    
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 8.3   450   100    
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.4   450   100    
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.4   450   100    
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.6   450   130    
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.5   440   110    
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack unknown 1.6   200   21    
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.4   430   89    
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack error - divine failed with exitcode 1 1.3   170   16    
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack error - divine failed with exitcode 1 1.2   170   16    
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   22    
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   23    
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   19    
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   21    
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   23    
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   19    
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   18    
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack error - divine failed with signal 11 1.6   200   20    
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     410   9200    
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     400   8400    
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     400   8600    
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     400   9000    
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     410   9400    
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     400   9200    
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     410   8000    
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     400   10000    
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack false(valid-memtrack) 420     480   4600    
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     430   8500    
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     420   8600    
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     410   9400    
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 900     410   8900    
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.4   430   110    
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.0   430   110    
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack true 8.1   370   93    
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   100    
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   110    
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.4   430   110    
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   100    
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack unknown 1.5   200   18    
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   120    
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.5   430   120    
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   120    
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1   430   110    
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2   430   110    
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack false(valid-memtrack) 8.3   430   110    
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.2   370   120    
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.1   370   110    
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.3   370   94    
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 8.2   370   130    
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   21    
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 1.6   200   20    
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-memtrack) 8.9   450   92    
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .030 4.6 .16 
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .036 4.7 .19 
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .033 4.6 .10 
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .034 4.5 .30 
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .036 4.8 .18 
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .046 4.6 .17 
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .029 4.6 .20 
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .030 4.6 .21 
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .029 4.6 .27 
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .054 4.6 .17 
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .057 4.6 .18 
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .033 4.7 .19 
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .029 4.6 .19 
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .029 4.6 .17 
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .048 4.5 .14 
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .029 4.6 .18 
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .027 4.6 .21 
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .032 4.6 .22 
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .030 4.6 .21 
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .044 4.6 .20 
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .055 4.6 .15 
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .036 4.5 .20 
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .031 4.7 .20 
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .044 4.7 .20 
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .034 4.6 .19 
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .030 4.6 .18 
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .049 4.7 .20 
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .025 4.6 .26 
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .045 4.6 .18 
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .031 4.6 .086
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .054 4.6 .12 
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup error - missing or conflicting properties 0, 0, 0, 0, 0 at ./divine-svc line 64. .035 4.7 .17 
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 57000   180000 540000
    correct results 150 1600   67000 19000
        correct true 79 1000   36000 12000
        correct false 71 600   31000 7600
    correct-unconfimed results 6 54   2700 660
        correct-unconfirmed true 0
        correct-unconfirmed false 6 54   2700 660
    incorrect results 23 610   10000 6900
        incorrect true 1 8.1 370 93
        incorrect false 22 600   9700 6800
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]