Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-01 09:05:19 CET
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) .52 28 5.7
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .36 27 3.9
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) .55 29 6.4
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .36 27 3.8
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .54 28 6.8
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 1.2  28 17  
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .35 27 3.5
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .36 27 3.9
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .70 28 9.5
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .35 27 4.1
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .86 29 11  
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .70 28 8.5
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) .66 28 8.2
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 1.8  28 21  
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) .60 29 7.2
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .36 27 3.9
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .36 27 3.8
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 700    110 9600  
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 890    280 11000  
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 890    320 9900  
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 890    470 11000  
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 890    330 8100  
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 890    270 8900  
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 900    84 13000  
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 160    46 2200  
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 39    34 460  
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 140    47 1700  
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 900    190 13000  
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 100    30 1400  
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 890    130 13000  
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 62    79 800  
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900    960 12000  
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 890    140 14000  
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 900    140 12000  
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 890    170 10000  
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 890    190 7900  
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 890    330 9400  
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 890    190 8200  
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 320    90 4000  
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 100    33 1300  
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 110    43 1400  
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 32    34 460  
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 94    31 1000  
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 130    45 1800  
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900    940 12000  
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 900    84 11000  
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 260    81 2900  
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 130    45 1700  
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 900    1100 12000  
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 900    120 11000  
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 94    29 1200  
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 900    65 12000  
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 220    120 3300  
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900    940 11000  
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 110    32 1500  
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 900    370 13000  
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 890    120 10000  
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 900    590 12000  
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 1.1  29 16  
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 890    310 8200  
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 100    53 1400  
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 890    260 12000  
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 890    75 11000  
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 890    63 11000  
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 900    220 11000  
array-examples/relax_false-valid-deref.i false(valid-deref) .62 29 6.3
array-examples/sanfoundry_24_false-valid-deref.i unknown 110    100 1500  
array-examples/standard_strcpy_false-valid-deref_ground.i unknown 67    31 850  
array-examples/standard_strcpy_original_false-valid-deref.i unknown 67    30 820  
memsafety/960521-1_false-valid-deref.i unknown 110    75 1300  
memsafety/test-0137_false-valid-deref.i false(valid-deref) .53 29 5.9
memsafety/test-0235_false-valid-deref.i unknown 610    510 4900  
memsafety/960521-1_false-valid-free.i unknown 110    77 1400  
memsafety/test-0158_false-valid-free.i false(valid-deref) 16    490 120  
memsafety/test-0232_false-valid-free.i false(valid-deref) 1.4  28 17  
memsafety/20020406-1_false-valid-memtrack.i unknown 900    4800 6400  
memsafety/20051113-1.c_false-valid-memtrack.i unknown 530    170 7100  
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 7.3  39 92  
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1.2  29 14  
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 39    76 550  
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .54 28 6.4
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 11    110 120  
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) .46 28 4.7
memsafety/test-0220_false-valid-memtrack.i unknown 900    8300 7000  
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .58 28 6.8
memsafety/test-0234_false-valid-memtrack.i unknown 620    510 4500  
memsafety/test-0235_false-valid-memtrack.i unknown 620    510 5000  
memsafety/960521-1_true-valid-memsafety.i unknown 110    72 1500  
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 900    170 11000  
memsafety/test-0019_true-valid-memsafety_true-termination.i true .83 28 9.5
memsafety/test-0102_true-valid-memsafety.i unknown 890    550 8700  
memsafety/test-0134_true-valid-memsafety.i unknown 890    290 12000  
memsafety/test-0158_true-valid-memsafety_true-termination.i true .88 28 12  
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 890    1900 5700  
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 890    1800 5100  
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 890    1800 5200  
memsafety/test-0219_true-valid-memsafety.i unknown 900    8500 5700  
memsafety/test-0232_true-valid-memsafety.i unknown 890    260 9600  
memsafety/test-0234_true-valid-memsafety.i unknown 620    510 5500  
memsafety/test-0235_true-valid-memsafety.i unknown 590    510 6100  
memsafety/test-0236_true-valid-memsafety.i unknown 710    510 5300  
memsafety/test-0237_true-valid-memsafety.i unknown 620    510 5900  
memsafety/test-0504_true-valid-memsafety.i unknown 890    380 8400  
memsafety/test-0513_true-valid-memsafety.i unknown 890    250 9100  
memsafety/test-0521_true-valid-memsafety.i unknown 890    760 11000  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 890    630 7300  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 890    210 7500  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 890    93 11000  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 890    110 9500  
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 890    160 13000  
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 890    270 10000  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 890    520 9600  
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 890    300 10000  
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 890    340 12000  
memsafety-ext2/split_list_test05_false-valid-deref.i unknown 900    15000 10000  
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 890    550 8200  
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 890    490 8000  
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 10    48 130  
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-deref) .81 29 9.7
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 890    590 6400  
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 890    500 6900  
memsafety-ext2/length_test03_true-valid-memsafety.i unknown 890    200 12000  
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i false(valid-deref) .82 29 10  
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 900    15000 11000  
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1.5  29 19  
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1.3  30 16  
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1.3  29 18  
list-ext-properties/960521-1_1_false-valid-free.i unknown 1.5  28 19  
list-ext-properties/test-0158_1_false-valid-free.i false(valid-deref) .54 28 8.5
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .52 28 7.6
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .45 28 5.9
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .57 28 7.1
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 890    110 11000  
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 890    210 9700  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 890    200 8300  
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 890    190 8700  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .87 28 12  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 1.1  28 14  
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 890    860 6900  
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 890    1100 6300  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 210    160 2200  
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 890    440 8800  
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 890    2600 10000  
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 160    70 1900  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .40 28 4.8
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown .35 27 3.7
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown .37 27 4.1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown .36 27 3.5
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 590    570 6000  
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 640    570 7200  
ldv-memsafety/memset2_false-valid-deref-write.c unknown 75    29 1100  
ldv-memsafety/memset3_false-valid-deref-write.c unknown 270    38 3100  
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 75    29 920  
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 270    38 4100  
ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 270    38 3800  
ldv-memsafety/memset_false-valid-deref-write.c unknown 270    38 3200  
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 900    1800 9100  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 900    620 6900  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 690    580 5400  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 900    680 9800  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 900    640 8800  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 680    570 8400  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 3.9  250 37  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.8  250 42  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.2  230 30  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 41    250 610  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 230    250 2800  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 40    230 540  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 230    250 2900  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 230    250 3000  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 230    240 2500  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) .81 35 11  
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 34    36 400  
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 34    35 450  
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 540    350 6200  
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 590    320 6600  
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-deref) 1.6  35 23  
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 260    210 3200  
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 890    320 12000  
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-deref) .73 30 9.2
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-deref) .54 30 5.9
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-deref) .41 30 4.3
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-deref) .57 30 6.5
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-deref) .55 30 6.5
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-deref) .88 30 9.5
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-deref) 1.2  32 16  
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .50 30 5.7
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.3  44 47  
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .48 30 6.5
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 3.8  45 46  
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 78    82 1000  
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .50 30 5.7
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .50 30 5.5
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 890    260 10000  
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 370    180 4900  
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .52 30 6.2
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 600    160 7400  
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 10    36 140  
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) .46 30 6.5
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) .48 30 5.5
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) .49 30 5.5
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 30    34 430  
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 16    30 170  
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 30    34 380  
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) .53 30 6.4
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .47 30 5.3
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .46 30 6.1
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .49 30 7.4
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) .50 30 6.0
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) .51 30 5.9
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .49 30 5.8
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .49 30 6.2
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .49 30 6.1
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i false(valid-deref) .86 31 11  
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i false(valid-deref) 1.3  34 16  
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 270    210 3600  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 30    360 300  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 20    290 170  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i false(valid-deref) 1.1  35 13  
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 1.0  30 13  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 890    270 9000  
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 890    280 7700  
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 890    220 9100  
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 1.1  30 14  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true .99 30 11  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 1.0  30 13  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 1.0  30 13  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 27    33 330  
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 37    36 470  
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 37    36 530  
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 470    340 5100  
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i false(valid-deref) 210    200 1900  
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true .97 30 11  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 1.0  30 11  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 1.0  30 14  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 1.0  30 11  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 1.1  30 13  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true .99 30 12  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 1.0  30 13  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 17    28 190  
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 18    28 210  
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 18    29 260  
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 9.0  28 100  
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i false(valid-deref) 9.6  28 130  
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 17    28 200  
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 18    28 230  
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 38    28 420  
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 9.5  28 120  
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 19    28 240  
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 900    1300 10000  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 890    360 11000  
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 890    850 12000  
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 890    310 9800  
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 1.4  29 17  
heap-manipulation/tree_false-valid-deref.i false(valid-deref) .39 29 4.6
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.2  29 12  
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.8  38 20  
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.4  32 18  
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.3  29 17  
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 890    190 8500  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .47 28 5.0
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .45 28 5.4
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.0  28 13  
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.0  29 15  
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .46 29 5.0
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 900    1100 11000  
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 890    990 11000  
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 890    1200 10000  
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 890    990 11000  
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 890    970 12000  
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 890    970 10000  
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 890    1000 9600  
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 890    1000 9900  
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 890    1200 9500  
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 890    1100 9100  
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 890    1100 10000  
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 890    1000 8500  
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 890    1200 10000  
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 890    220 9000  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 890    490 9900  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 890    260 9300  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 890    200 11000  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 890    330 9800  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 890    280 11000  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 890    170 11000  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 890    160 10000  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 890    200 9600  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 890    230 9500  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 890    340 8300  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 890    540 10000  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 890    240 9400  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 890    200 9100  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 890    410 9700  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 890    360 9900  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 890    170 12000  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 890    190 11000  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 890    200 9900  
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 1.5  36 17  
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) .60 29 7.2
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 1.4  30 18  
loop-acceleration/array3_false-valid-deref.i unknown 54    27 680  
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 130    790 940  
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 740    1100 7100  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 75    4000 930  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 79    3900 950  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 900    4800 14000  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 68    4000 680  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 66    4000 640  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 130    4400 1200  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 130    4300 1200  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.3  610 80  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 24    2000 210  
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 23    1800 210  
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    7100 11000  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    7200 11000  
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 910    7100 11000  
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    7000 10000  
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900    3800 13000  
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    6800 10000  
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900    3700 12000  
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    6700 9900  
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 910    8300 9200  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    9100 10000  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 910    8400 9100  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    8300 11000  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900    7700 9900  
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 130000 250000 1500000
    correct results 62 3400 34000 37000
        correct true 43 3400 34000 37000
        correct false 19 12 550 150
    correct-unconfimed results 64 3900 5400 43000
        correct-unconfirmed true 0
        correct-unconfirmed false 64 3900 5400 43000
    incorrect results 19 720 1500 7400
        incorrect true 0
        incorrect false 19 720 1500 7400
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]