Tool symbiotic 6.0.3-77d4af47
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-07 21:42:05 CET
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]
Options --witness witness.graphml
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .21  18 2.4 
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .18  19 2.1 
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .21  17 2.9 
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .15  15 1.7 
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .95  17 12   
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .31  18 3.1 
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .17  16 1.7 
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .17  18 2.4 
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .76  18 10   
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .19  18 2.0 
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .25  18 4.3 
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .40  18 5.3 
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .31  21 3.8 
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .54  18 8.0 
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23  18 3.0 
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .19  17 1.9 
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .18  18 2.3 
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  19 2.4 
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1400 12000   
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     6400 13000   
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1300 10000   
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     130 12000   
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     470 7500   
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     320 13000   
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     350 11000   
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     470 11000   
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     300 13000   
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     380 13000   
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     390 11000   
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     140 9400   
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     300 13000   
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     340 9800   
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     400 11000   
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     390 14000   
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1300 11000   
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1400 9800   
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     880 11000   
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     460 12000   
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1100 12000   
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     330 10000   
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     580 13000   
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     270 12000   
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1400 11000   
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     280 10000   
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     520 13000   
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     340 13000   
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     200 11000   
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     230 12000   
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     420 11000   
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     370 11000   
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     350 13000   
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     140 10000   
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     310 11000   
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     490 14000   
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     370 11000   
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     330 12000   
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     360 11000   
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     310 12000   
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     570 11000   
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1100 11000   
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1400 13000   
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     1500 11000   
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     350 12000   
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     430 11000   
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     390 14000   
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack witness invalid (false(valid-deref)) .67  18 7.8 
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout (verification) 900     1100 11000   
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack false(valid-deref) 2.0   100 31   
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 2.1   100 29   
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .24  17 2.3 
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.3   19 18   
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .19  15 1.9 
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .25  18 2.7 
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .33  18 4.4 
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .18  16 2.4 
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .18  16 1.8 
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .22  17 2.7 
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .24  17 2.6 
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  15 2.1 
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .30  17 3.1 
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .23  17 2.8 
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .58  26 8.3 
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .20  16 1.9 
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25  18 3.1 
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .16  15 1.9 
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  17 2.8 
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21  18 2.5 
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  18 3.0 
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .32  18 4.2 
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .62  23 9.3 
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3700 6100   
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14  15 1.5 
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     2900 8200   
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1500 15000   
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .13  16 1.5 
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 230     82 2400   
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     130 8600   
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     260 12000   
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     2900 6700   
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     940 11000   
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     2800 6700   
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3000 7900   
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     2800 6400   
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     2800 4800   
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3200 8400   
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1600 12000   
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3500 7100   
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16  15 2.1 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3800 6800   
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3000 7900   
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3000 7700   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     190 12000   
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     150 12000   
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     550 14000   
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     230 12000   
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     240 10000   
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .90  38 12   
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 3.5 
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .32  18 4.2 
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 3.0 
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .32  18 3.8 
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3100 4600   
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3100 8800   
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1100 8700   
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3500 5300   
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3400 6400   
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23  18 2.7 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .81  19 10   
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .37  18 4.6 
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .25  18 2.6 
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .20  18 2.1 
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .18  15 1.9 
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .19  18 2.2 
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .21  17 2.9 
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .37  17 5.1 
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .42  19 4.8 
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 600     3100 5700   
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .42  19 5.4 
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .14  15 1.6 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16  16 1.7 
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 1.6   22 21   
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 3.4   24 43   
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .31  18 3.8 
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.4   39 17   
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  17 2.8 
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .15  16 2.0 
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .20  16 1.7 
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .18  15 2.0 
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .17  15 1.9 
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .17  16 2.5 
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) .21  15 2.4 
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .18  16 1.9 
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .16  15 2.0 
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .16  16 1.7 
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .16  15 1.9 
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .17  17 1.9 
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .15  16 2.1 
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) .16  16 2.0 
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack probably out of memory (killed (signal 9, verification)) 290     15000 4100   
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .18  15 1.7 
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .15  15 1.7 
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .15  15 1.8 
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .18  15 1.7 
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .17  15 1.6 
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .14  16 1.6 
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .15  15 1.6 
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .13  16 1.6 
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .13  16 1.5 
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .16  14 1.5 
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .13  16 1.4 
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .14  16 1.5 
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .15  16 1.7 
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true .13  15 1.5 
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .27  18 3.8 
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .27  19 3.2 
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .28  18 4.4 
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .59  18 7.8 
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .59  18 7.2 
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .29  18 3.5 
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .70  21 10   
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .33  18 3.3 
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .29  18 4.0 
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .28  18 3.3 
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .26  18 3.4 
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .29  18 4.2 
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .25  18 3.3 
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  18 3.2 
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  18 3.4 
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  17 3.3 
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 3.1 
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .32  18 2.6 
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 3.8 
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .45  17 6.4 
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  19 3.5 
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 3.7 
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .30  18 3.4 
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .38  17 3.6 
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  19 3.4 
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .33  18 3.7 
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .40  25 4.7 
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25  17 3.5 
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 3.7 
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25  17 3.1 
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 3.7 
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  19 2.9 
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .30  18 2.9 
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 4.0 
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  17 2.8 
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 2.8 
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 3.2 
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 3.2 
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 3.6 
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25  18 3.4 
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .28  18 2.9 
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 2.8 
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .25  23 3.0 
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .26  17 2.5 
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .47  21 6.0 
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  18 2.8 
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  18 3.0 
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .29  18 3.3 
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  18 2.6 
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .29  17 3.9 
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout (verification) 900     460 14000   
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .28  17 3.6 
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  18 2.7 
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  19 2.4 
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  18 2.5 
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  18 2.5 
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .26  18 2.8 
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  19 3.2 
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .23  18 2.7 
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     92 13000   
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     92 11000   
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .21  19 2.3 
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  18 2.8 
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .24  17 2.5 
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .24  18 2.8 
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .24  18 2.8 
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .24  17 2.3 
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .22  18 2.5 
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .18  16 2.1 
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16  16 2.1 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .17  16 2.7 
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .18  16 1.8 
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true .16  16 2.0 
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .18  17 2.4 
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .20  16 1.9 
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .19  16 2.3 
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .19  16 2.3 
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) .20  18 2.5 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1100 13000   
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     5600 5800   
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1800 12000   
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4400 10000   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) .36  18 4.5 
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .26  19 3.5 
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  18 4.0 
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .27  18 3.1 
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .29  19 3.7 
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .36  17 3.5 
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1800 10000   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  20 3.2 
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 3.1 
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .25  18 2.9 
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 3.0 
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  18 2.7 
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .70  35 9.6 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .72  34 7.8 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .77  35 9.1 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .91  33 7.8 
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .92  33 9.2 
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .93  33 9.3 
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .92  33 9.8 
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .91  33 9.6 
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .86  33 9.7 
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .86  33 11   
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .91  33 9.8 
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .87  33 11   
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .88  33 9.8 
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4400 6100   
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     6200 9200   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4800 8100   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 460     3200 3200   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 550     4000 4000   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 570     3900 3800   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4000 11000   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4800 5300   
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1400 9000   
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4400 5800   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     3800 4900   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     6100 7100   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4600 5500   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error(unknown, verification-finished) 480     3200 4000   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     5000 6400   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4900 5600   
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4200 10000   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     4800 5400   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout (verification) 900     1700 10000   
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .28  19 3.2 
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .29  22 3.8 
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .31  18 3.5 
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  16 2.9 
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.2 
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  16 2.6 
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .27  17 2.3 
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.8 
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  17 2.5 
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .23  16 2.3 
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  17 2.5 
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .24  15 2.9 
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.3 
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  16 2.6 
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  16 3.1 
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .24  16 2.6 
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  17 2.2 
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  17 2.4 
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.7 
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  17 2.4 
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .23  16 2.8 
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .22  16 2.3 
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.6 
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.7 
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  16 2.4 
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  16 2.4 
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  17 2.4 
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  17 2.7 
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  17 2.4 
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.5 
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  17 2.5 
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.6 
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .23  16 2.0 
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  16 2.4 
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.2 
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  17 2.3 
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .23  16 2.6 
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .21  16 2.4 
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  16 2.6 
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .25  18 2.9 
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .25  16 2.3 
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .20  16 2.3 
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .47  18 5.7 
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 1.8   44 23   
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 6.3   100 81   
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true .18  15 2.0 
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .22  17 2.7 
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) .23  16 2.9 
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .30  17 3.0 
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) .26  16 2.3 
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .75  18 7.9 
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 13     21 190   
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack error(unknown, verification-finished) 1.9   110 26   
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) .94  31 13   
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.0   120 13   
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 1.0   120 11   
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .44  39 5.1 
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .39  36 4.5 
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .38  36 4.7 
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .53  52 6.6 
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .53  52 6.6 
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .24  17 3.1 
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .31  22 5.0 
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true .31  22 3.8 
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .20  17 2.4 
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.7 
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.3 
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.4 
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.5 
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.7 
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.6 
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.3 
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .19  16 2.7 
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .19  17 2.2 
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .22  16 2.5 
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .21  16 2.5 
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true .20  17 2.1 
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .18  16 1.7 
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .17  15 1.8 
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .17  16 1.6 
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack error(unknown, verification-finished) .24  17 2.6 
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .18  16 1.8 
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .18  15 2.0 
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .17  15 1.9 
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .19  16 3.2 
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .16  16 2.0 
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .22  18 2.5 
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .16  16 2.0 
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .16  16 1.9 
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) .15  16 2.0 
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack error(unknown, verification-finished) .23  18 2.8 
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .14  15 1.4 
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .14  15 1.5 
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .15  16 1.9 
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true .13  17 1.6 
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .089 14 1.0 
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .086 15 .93
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown .11  19 1.2 
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup false(valid-memcleanup) .25  18 2.8 
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  18 2.8 
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .35  22 3.1 
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  17 3.3 
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .27  18 3.4 
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  17 2.8 
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  17 3.0 
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .24  19 3.5 
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .24  18 2.8 
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 2.4 
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  18 3.2 
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .24  18 2.9 
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .23  17 3.0 
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .27  17 4.1 
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .23  17 3.0 
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .23  18 2.6 
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.2 
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .30  17 2.5 
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.2 
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.5 
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .22  18 2.4 
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.3 
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.6 
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .26  18 3.2 
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .19  16 2.1 
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .20  16 2.2 
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  19 2.8 
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .25  18 2.8 
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .27  17 2.7 
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .30  18 4.1 
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .31  18 3.5 
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memcleanup) .32  18 3.5 
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 92000   210000 1000000
    correct results 299 110   5800 1300
        correct true 135 44   2800 530
        correct false 164 64   3100 790
    correct-unconfimed results 8 5.8 320 79
        correct-unconfirmed true 0
        correct-unconfirmed false 8 5.8 320 79
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp19_prop-memsafety.MemSafety-Arrays; sv-comp19_prop-memsafety.MemSafety-Heap; sv-comp19_prop-memsafety.MemSafety-LinkedLists; sv-comp19_prop-memsafety.MemSafety-Other; sv-comp19_prop-memsafety.MemSafety-MemCleanup]