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