Tool ULTIMATE Taipan 0.1.23-635dfa2a
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-08 14:19:36 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 --full-output
../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) 9.5 370 77
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.3 370 57
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.4 380 72
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.6 350 57
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 16   590 130
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 11   430 81
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.9 370 62
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.3 350 58
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 23   520 260
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 8.0 370 70
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.6 380 81
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 14   510 120
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.9 380 78
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.9 390 81
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.9 390 78
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.1 330 56
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.8 350 56
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   2500 14000
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 10   450 94
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   500 93
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 13   530 110
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 11   410 89
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14   560 120
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   8200 5400
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15   610 130
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 35   780 330
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 19   650 160
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 160   760 2300
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14   580 120
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   2200 13000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 28   610 240
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 25   710 190
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 33   820 280
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 61   960 640
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 20   690 180
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17   650 150
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   560 98
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 23   550 200
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26   510 240
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16   530 150
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15   590 120
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17   640 160
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 13   500 130
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26   590 250
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 89   820 1100
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   2200 11000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 55   720 600
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18   680 150
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   1500 14000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 41   840 400
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14   600 120
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   2100 12000
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 38   680 340
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 31   760 300
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 13   580 110
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 170   910 2000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 35   820 340
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   1200 13000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14   550 130
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17   540 150
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   520 92
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   490 110
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15   590 130
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26   610 270
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 200   1200 2900
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.3 370 76
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   860 8600
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   980 9100
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 11   420 82
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 12000
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   910 10000
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 13   340 110
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   960 12000
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack timeout 900   1000 10000
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 10   400 76
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack timeout 900   780 11000
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1200 11000
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   13000 5200
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 110   1200 960
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 24   590 210
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 180   4100 1800
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 25   570 240
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 12   330 110
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 15   340 120
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1600 11000
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 58   750 660
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   970 12000
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   930 13000
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   770 11000
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   12000 7700
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18   520 160
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 12   340 94
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 13   340 110
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 10   390 76
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   13000 7500
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   3700 12000
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 12000
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   910 13000
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   950 10000
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   12000 10000
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   880 11000
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   940 13000
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2100 14000
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   900 12000
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2200 12000
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   940 11000
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   790 12000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   950 13000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   880 13000
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   2100 12000
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   1000 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   860 10000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   1000 13000
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900   1500 10000
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 910   13000 6600
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1200 11000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1900 11000
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1800 12000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   940 12000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1300 11000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2000 11000
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2300 12000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   950 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   990 11000
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 14   590 110
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   1000 9200
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 11   470 93
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 19   600 160
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 9.9 390 80
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 120   920 1300
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 16   350 120
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 69   780 710
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 12000
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   920 9700
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 11000
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 9900
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 34   830 270
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 10   390 78
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 12000
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 11000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   860 11000
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1700 11000
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   820 11000
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 12   450 93
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 9.3 370 69
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 9.6 390 89
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 7.5 350 53
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2 350 59
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 730   5200 8700
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 660   5100 8200
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.2 340 60
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2 370 68
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.9 370 70
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3 370 65
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.2 370 60
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.3 350 61
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack timeout 900   5500 11000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 18   660 140
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 30   680 330
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 27   530 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 21   660 200
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 18   650 150
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 11   420 91
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 11   400 80
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 8.0 360 68
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 10   400 77
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 9.8 390 79
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 10   400 94
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 9.2 370 78
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 9.8 400 90
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 10   400 83
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 13   360 110
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   2400 11000
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   1200 9000
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 130   740 1600
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   1300 13000
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 430   790 5400
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack timeout 900   1600 13000
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 350   850 5000
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 590   870 7300
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 10   390 76
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 8.8 360 63
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 17   560 130
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 10   380 73
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 900   930 12000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 900   780 12000
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 200   690 2700
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   6900 11000
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (7) 12   320 110
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 13   360 120
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 910   14000 8500
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 20   390 160
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 16   370 120
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   830 11000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   900 14000
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 49   600 550
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 900   850 11000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 440   1100 5600
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 15   370 120
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 17   380 150
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 15   380 140
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 260   1300 3500
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 72   1000 710
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 270   1300 3500
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 19   390 150
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 16   380 140
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 18   380 140
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 110   620 1200
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 78   630 910
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 92   530 1100
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 16   370 120
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 17   380 130
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 15   340 110
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   970 14000
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   820 11000
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2100 11000
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 680   810 8900
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 13   360 100
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   860 11000
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   530 100
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   820 13000
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   780 12000
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   840 12000
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 880   830 12000
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 9.7 370 72
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   520 89
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   460 92
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   980 9300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   870 11000
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900   940 12000
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 130   750 1700
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1300 11000
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 11   410 97
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 130   600 1800
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   490 92
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17   590 150
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16   590 130
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 11   430 91
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12   420 91
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11   330 93
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 10   320 87
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11   330 88
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11   340 93
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11   330 88
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11   330 91
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11   330 95
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11   330 79
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 12   330 93
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack error (7) 11   330 88
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 10000
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 11000
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 780   2200 9500
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   860 11000
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   860 10000
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.7 360 75
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   4000 11000
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 66   810 770
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1200 13000
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900   1200 9700
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 10000
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 18   380 150
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 25   520 220
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 19   380 170
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 24   570 230
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 19   380 140
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 28   570 220
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 28   580 220
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 29   590 220
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 29   560 220
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 29   560 220
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 29   620 240
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 27   590 230
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 30   590 220
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 28   570 210
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 28   580 230
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 29   590 220
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 29   590 220
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 28   570 210
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1800 11000
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2100 11000
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   800 11000
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   960 11000
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   790 9900
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   730 12000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   920 10000
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   750 10000
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1300 13000
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1600 9300
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 13000
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1800 9800
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 9900
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 12000
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   970 13000
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 10000
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   950 11000
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   920 9900
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2100 10000
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   800 11000
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 35   820 310
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   1000 11000
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1800 12000
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 900   2300 11000
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   980 14000
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   860 12000
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1700 11000
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 12000
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 13000
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   14000 5300
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   14000 7100
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 13000
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 820   2300 10000
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   900 13000
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   960 14000
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 9200
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1600 14000
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1600 12000
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1600 12000
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 830   1200 8900
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 10000
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 860   2200 9900
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 840   2300 10000
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   790 13000
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   810 12000
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1300 11000
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1400 12000
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   730 11000
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   730 12000
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   13000 5300
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 910   12000 10000
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1600 11000
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2200 11000
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   990 12000
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1400 10000
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1000 11000
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   860 14000
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 11000
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 9800
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 11000
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   2000 6700
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1100 11000
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   940 11000
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1900 14000
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   1200 14000
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900   910 12000
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 71   530 880
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   2200 10000
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   900 10000
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 410   950 5100
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 36   620 370
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.0 360 63
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900   2400 11000
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 53   1100 460
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 27   800 230
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 13   460 90
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 12   450 90
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 10   360 77
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11   380 84
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11   370 87
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 12   430 88
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11   410 92
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 9.3 380 78
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 10   380 73
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 9.7 380 82
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.6 350 66
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.1 370 66
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.0 400 63
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.3 370 65
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.1 360 64
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.1 370 61
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.3 370 69
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.3 350 61
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.7 370 67
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.3 340 59
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.8 370 67
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.3 370 64
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.1 330 58
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 7.6 360 64
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 11   510 83
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.8 390 73
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 13   490 110
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 25   730 220
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 60   900 620
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack true 10   410 92
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 15   600 130
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 7.9 370 57
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.1 370 61
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 13   570 120
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.6 370 67
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 6.9 330 57
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack true 17   480 160
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12   500 94
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 10   470 94
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 44   1100 400
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 15   530 120
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 16   680 120
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 15   500 120
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 60   820 580
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup true 33   650 400
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1300 9700
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1000 11000
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 25   580 190
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   970 12000
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   930 9800
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   880 11000
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   2000 10000
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   960 11000
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   960 10000
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   2200 11000
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   970 12000
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1000 10000
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   970 12000
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   2100 10000
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   820 10000
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   820 11000
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1000 10000
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1400 11000
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1000 11000
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   720 12000
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 47   640 480
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 13   580 110
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 9.8 390 71
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 910   14000 5300
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   2500 7600
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 14   590 120
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 9.6 370 70
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1400 11000
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 910   12000 11000
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1700 12000
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900   1000 11000
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 434 180000 540000 2200000
    correct results 161 8300 94000 96000
        correct true 102 4700 56000 54000
        correct false 59 3600 38000 42000
    correct-unconfimed results 4 48 1900 360
        correct-unconfirmed true 0
        correct-unconfirmed false 4 48 1900 360
    incorrect results 6 270 3500 3000
        incorrect true 5 130 2800 1300
        incorrect false 1 130 750 1700
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]