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