Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 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 23:12:01 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) .54  13 5.9 
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 1.2   13 15   
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) .60  13 7.7 
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .57  11 5.7 
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .99  14 12   
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 1.8   13 25   
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .67  12 7.3 
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 1.1   13 16   
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 1.1   14 14   
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 1.8   14 23   
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 1.1   14 12   
array-memsafety/lis_unsafe_false-valid-deref.i unknown 1.3   14 18   
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 1.2   18 16   
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .64  79 9.1 
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) .61  29 7.5 
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 1.3   14 15   
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .83  13 11   
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i true .83  13 9.5 
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 1.2   13 16   
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 890     13 13000   
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 1.5   13 17   
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 2.2   13 30   
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 900     410 11000   
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i true 370     25 4500   
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 6.4   14 78   
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i out of memory 36     15000 480   
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 2.7   14 30   
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 3.9   15 45   
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 2.4   13 30   
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i true 320     41 3900   
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 240     20 2800   
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 7.4   14 100   
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 4.9   14 55   
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 5.0   13 52   
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 5.6   14 76   
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 1.4   13 19   
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 2.2   13 25   
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 2.5   14 33   
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 4.1   18 49   
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 120     15 1800   
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 6.2   14 77   
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 6.6   14 80   
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 4.6   13 61   
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 2.3   14 28   
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 7.3   14 78   
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i true 370     25 4400   
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 5.4   13 64   
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 2.5   13 37   
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 9.0   13 100   
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 7.3   14 90   
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 2.4   12 31   
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i true 330     34 4200   
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 230     18 3100   
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 7.1   13 86   
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 120     14 1600   
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 7.3   13 110   
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 12     13 160   
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i true 11     17 140   
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 3.4   13 39   
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 1.8   13 20   
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 2.0   14 27   
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 2.1   13 25   
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 6.6   14 91   
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 5.9   15 66   
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 5.9   15 67   
array-examples/relax_false-valid-deref.i unknown .042 11 .39
array-examples/sanfoundry_24_false-valid-deref.i unknown 900     470 10000   
array-examples/standard_strcpy_false-valid-deref_ground.i false(valid-deref) 18     12 230   
array-examples/standard_strcpy_original_false-valid-deref.i false(valid-deref) 15     12 220   
memsafety/960521-1_false-valid-deref.i false(valid-deref) .68  12 8.6 
memsafety/test-0137_false-valid-deref.i false(valid-deref) .96  14 13   
memsafety/test-0235_false-valid-deref.i false(valid-deref) 7.3   26 95   
memsafety/960521-1_false-valid-free.i false(valid-free) .71  12 8.3 
memsafety/test-0158_false-valid-free.i false(valid-free) .42  12 5.2 
memsafety/test-0232_false-valid-free.i false(valid-free) 1.0   14 12   
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 2.4   16 36   
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) .73  12 8.7 
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 2.3   15 26   
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1.5   15 17   
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 6.5   20 86   
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .53  12 6.5 
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 2.1   15 31   
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) .39  11 4.6 
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 1.6   14 20   
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .60  13 8.2 
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 2.2   15 26   
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 5.2   22 72   
memsafety/960521-1_true-valid-memsafety.i true 35     14 480   
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 900     1200 6500   
memsafety/test-0019_true-valid-memsafety_true-termination.i true .54  11 6.1 
memsafety/test-0102_true-valid-memsafety.i unknown 900     480 9700   
memsafety/test-0134_true-valid-memsafety.i unknown 900     430 9800   
memsafety/test-0158_true-valid-memsafety_true-termination.i true .41  11 4.0 
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 900     1300 11000   
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 900     860 11000   
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 900     930 13000   
memsafety/test-0219_true-valid-memsafety.i unknown 900     640 11000   
memsafety/test-0232_true-valid-memsafety.i unknown 890     93 11000   
memsafety/test-0234_true-valid-memsafety.i unknown 900     910 11000   
memsafety/test-0235_true-valid-memsafety.i unknown 900     930 8400   
memsafety/test-0236_true-valid-memsafety.i unknown 900     900 8900   
memsafety/test-0237_true-valid-memsafety.i unknown 900     920 8400   
memsafety/test-0504_true-valid-memsafety.i unknown 900     590 10000   
memsafety/test-0513_true-valid-memsafety.i unknown 900     440 11000   
memsafety/test-0521_true-valid-memsafety.i unknown 900     330 11000   
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true .46  12 4.5 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 900     390 10000   
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 900     620 10000   
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 900     600 9700   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 900     2000 10000   
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown .33  12 3.3 
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 900     1400 8300   
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 900     1500 9800   
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 900     1700 8900   
memsafety-ext2/split_list_test05_false-valid-deref.i unknown 900     3200 5900   
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 2.2   17 24   
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 2.1   17 25   
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 2.3   15 27   
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 2.3   15 28   
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 900     1300 9000   
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 900     1400 13000   
memsafety-ext2/length_test03_true-valid-memsafety.i unknown 890     87 11000   
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 900     750 10000   
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 900     3400 6000   
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .68  13 8.2 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 110     19 1400   
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) .72  14 10   
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) .65  13 8.1 
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .51  13 6.4 
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .54  12 6.4 
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .50  13 6.0 
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .66  13 8.9 
list-ext-properties/960521-1_1_true-valid-memsafety.i true 14     15 170   
list-ext-properties/list-ext_1_true-valid-memsafety.i true 200     22 3100   
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 900     1600 6500   
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 73     16 940   
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .57  14 6.7 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true .52  13 6.1 
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 900     180 11000   
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 890     150 12000   
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 37     15 500   
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 900     190 11000   
list-ext-properties/test-0513_1_true-valid-memsafety.i true 7.8   15 94   
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 900     58 11000   
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .87  12 11   
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .80  12 10   
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .62  12 9.4 
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .63  12 8.6 
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1.3   12 16   
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1.4   12 18   
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) .35  11 4.5 
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) .38  11 3.8 
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) .33  11 4.7 
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) .38  11 4.1 
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) .32  11 4.2 
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) .34  11 4.2 
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 890     14 13000   
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 1.7   11 21   
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 1.5   11 20   
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 1.7   12 21   
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 13     12 180   
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 1.4   11 16   
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .34  11 4.9 
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .35  11 4.4 
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true .31  11 3.3 
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true .34  11 3.5 
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true .34  11 4.2 
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true .34  11 3.6 
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true .36  11 4.7 
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true .35  11 3.7 
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true .32  11 3.7 
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 5.0   17 77   
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 4.7   17 63   
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 4.8   17 65   
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 21     54 300   
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 19     61 250   
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 12     22 160   
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 43     33 590   
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.3   19 65   
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 9.1   18 130   
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 3.9   17 47   
ldv-memsafety/memleaks_test3_false-valid-free.i unknown .064 12 .63
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 7.7   18 110   
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 4.0   16 54   
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 10     18 140   
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 13     19 150   
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.2   16 50   
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 5.0   17 59   
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.3   16 51   
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 5.2   18 63   
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 9.7   19 120   
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.6   17 92   
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.8   16 68   
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.3   19 76   
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 20     19 240   
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.4   20 50   
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 20     22 230   
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 280     72 3300   
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.8   18 45   
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.2   16 53   
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0   16 50   
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.4   17 64   
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0   16 59   
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.6   17 57   
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.6   17 64   
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.9   16 52   
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.1   16 50   
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.8   17 90   
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.6   17 110   
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.0   17 110   
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0   16 53   
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.0   16 46   
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.9   16 46   
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 11     18 130   
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 13     19 150   
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 53     33 820   
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.2   17 65   
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 5.3   19 74   
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 17     24 210   
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 6.2   16 72   
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 34     19 490   
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i true 65     23 800   
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 28     18 350   
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 9.0   18 120   
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 3.8   16 45   
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 4.6   17 67   
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 4.5   16 56   
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 4.5   19 57   
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 4.8   17 66   
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 5.0   17 59   
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 890     53 11000   
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 890     53 12000   
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 3.9   16 56   
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 5.7   17 76   
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 4.1   16 50   
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 8.3   18 100   
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 8.3   18 110   
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 4.0   16 50   
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 4.1   16 48   
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true .41  12 5.0 
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true .45  12 5.4 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true .44  12 5.6 
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true .45  12 6.7 
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true .54  12 6.4 
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i out of memory 30     15000 480   
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown .36  11 4.0 
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown .35  11 3.7 
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown .33  12 4.0 
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) .46  12 5.6 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 900     210 11000   
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 900     420 10000   
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 900     340 11000   
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 890     370 12000   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 2.7   15 31   
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 1.1   15 15   
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown .42  12 5.0 
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) .95  15 11   
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.3   14 19   
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.2   14 13   
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 890     220 14000   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .71  14 9.3 
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .65  13 7.8 
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .74  13 8.6 
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .61  13 7.3 
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .70  14 9.4 
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i out of memory 27     15000 350   
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i out of memory 27     15000 380   
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i out of memory 27     15000 340   
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 78   
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 77   
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 74   
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   31 83   
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 81   
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 83   
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   30 82   
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 63   
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.5   29 79   
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.6   29 91   
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown 900     470 12000   
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown 890     260 10000   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 900     750 11000   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown 900     75 11000   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 900     430 11000   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 900     450 11000   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown 890     200 13000   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown 900     960 11000   
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown 890     100 9900   
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown 900     390 12000   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 900     580 13000   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown 900     320 10000   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown 900     1000 10000   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown 890     75 11000   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown 900     510 11000   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown 900     550 12000   
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown 890     200 13000   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown 900     920 11000   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown 890     120 9600   
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 1.5   15 18   
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 1.6   16 20   
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 1.4   14 19   
loop-acceleration/array3_false-valid-deref.i unknown 890     33 11000   
ntdrivers/floppy_false-valid-deref.i.cil.c unknown .15  19 1.6 
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown .069 15 .85
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 900     330 11000   
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 890     330 10000   
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 900     230 10000   
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 890     170 11000   
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 890     170 11000   
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 900     220 11000   
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 900     210 8600   
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 310     30 3800   
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .047 12 .42
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .071 12 .44
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     360 8400   
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     430 8100   
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     600 7200   
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     1000 6500   
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 900     500 12000   
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     1200 5300   
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 900     990 11000   
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     1500 6300   
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     190 7500   
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     230 8500   
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     240 11000   
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     270 9300   
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 900     310 8300   
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 80000 130000 910000
    correct results 193 4000 3100 51000
        correct true 100 3300 1500 42000
        correct false 93 720 1600 8800
    correct-unconfimed results 32 190 700 2500
        correct-unconfirmed true 0
        correct-unconfirmed false 32 190 700 2500
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]