Tool ESBMC ESBMC version 4.6.0 64-bit x86_64 linux
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-02 00:00:31 CET
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
Options -s incr
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) .17  29 2.0 
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .17  28 1.5 
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) .21  29 1.9 
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .13  28 1.4 
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .22  29 2.7 
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) .25  29 3.0 
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .17  28 1.4 
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .36  28 3.2 
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .31  29 3.3 
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .19  28 3.6 
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .32  30 3.0 
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .20  29 2.2 
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) .43  33 6.2 
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .28  29 3.5 
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) .23  29 2.0 
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .14  28 1.3 
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .24  28 1.9 
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 900     470 11000   
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 13000   
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i timeout 900     550 14000   
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i timeout 900     1400 13000   
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout 900     1600 8600   
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout 900     530 12000   
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900     710 11000   
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i timeout 900     840 11000   
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900     650 10000   
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1400 11000   
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900     630 10000   
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 900     840 11000   
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900     570 12000   
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900     830 11000   
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3400 11000   
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900     620 12000   
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900     620 10000   
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 900     300 10000   
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i timeout 900     520 12000   
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout 900     1500 7500   
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 900     980 11000   
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i timeout 900     1800 10000   
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout 900     1900 9200   
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout 900     1300 12000   
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout 900     560 9500   
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout 900     1900 11000   
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 10000   
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3400 11000   
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900     680 8700   
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900     880 10000   
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 12000   
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900     1100 11000   
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     360 10000   
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 900     790 11000   
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900     640 11000   
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 13000   
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3400 10000   
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i timeout 900     830 9500   
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900     670 11000   
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900     240 13000   
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 900     380 11000   
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout 900     960 9300   
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i timeout 900     310 10000   
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i timeout 900     2000 11000   
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i timeout 900     770 11000   
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i timeout 900     270 12000   
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout 900     320 11000   
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 900     750 12000   
array-examples/relax_false-valid-deref.i false(valid-deref) .29  29 2.6 
array-examples/sanfoundry_24_false-valid-deref.i timeout 900     910 12000   
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900     210 13000   
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900     1000 10000   
memsafety/960521-1_false-valid-deref.i false(valid-deref) 32     110 250   
memsafety/test-0137_false-valid-deref.i false(valid-deref) .36  29 4.8 
memsafety/test-0235_false-valid-deref.i out of memory 780     15000 6500   
memsafety/960521-1_false-valid-free.i false(valid-free) 30     110 220   
memsafety/test-0158_false-valid-free.i false(valid-free) .39  29 3.9 
memsafety/test-0232_false-valid-free.i false(valid-free) .66  30 6.3 
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 22     990 250   
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 6.0   88 66   
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 1.6   36 18   
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) .26  29 2.4 
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 6.6   74 72   
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  28 1.8 
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 11     200 110   
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  27 .78
memsafety/test-0220_false-valid-memtrack.i out of memory 150     15000 1500   
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .28  28 2.7 
memsafety/test-0234_false-valid-memtrack.i out of memory 790     15000 7200   
memsafety/test-0235_false-valid-memtrack.i out of memory 760     15000 5800   
memsafety/960521-1_true-valid-memsafety.i timeout 900     9900 9600   
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900     700 11000   
memsafety/test-0019_true-valid-memsafety_true-termination.i true .12  27 1.7 
memsafety/test-0102_true-valid-memsafety.i timeout 900     2600 9900   
memsafety/test-0134_true-valid-memsafety.i timeout 900     2600 8400   
memsafety/test-0158_true-valid-memsafety_true-termination.i true .19  27 1.6 
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 900     2500 8300   
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900     3600 11000   
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 900     2900 11000   
memsafety/test-0219_true-valid-memsafety.i out of memory 120     15000 1700   
memsafety/test-0232_true-valid-memsafety.i timeout 900     740 11000   
memsafety/test-0234_true-valid-memsafety.i out of memory 770     15000 6700   
memsafety/test-0235_true-valid-memsafety.i out of memory 800     15000 6200   
memsafety/test-0236_true-valid-memsafety.i out of memory 760     15000 7500   
memsafety/test-0237_true-valid-memsafety.i out of memory 760     15000 6200   
memsafety/test-0504_true-valid-memsafety.i timeout 900     880 9900   
memsafety/test-0513_true-valid-memsafety.i timeout 900     870 12000   
memsafety/test-0521_true-valid-memsafety.i timeout 900     1900 11000   
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true .62  29 8.1 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900     430 10000   
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900     200 10000   
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900     280 12000   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 900     450 11000   
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 900     790 10000   
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900     730 9800   
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 900     490 10000   
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 900     460 11000   
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 150     15000 1000   
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900     2000 9400   
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900     4500 8600   
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 5.2   47 52   
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900     480 10000   
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900     1900 9100   
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900     4000 6400   
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900     600 11000   
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900     490 9800   
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 120     15000 1100   
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .48  29 4.6 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 150     210 1900   
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) .41  29 3.8 
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) .29  29 3.1 
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .32  28 3.3 
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .27  28 3.0 
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .084 27 .99
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  28 1.3 
list-ext-properties/960521-1_1_true-valid-memsafety.i true 5.9   38 72   
list-ext-properties/list-ext_1_true-valid-memsafety.i true 170     210 2500   
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i true 54     110 690   
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 240     190 2600   
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .14  27 1.3 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true .15  27 1.7 
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900     3900 12000   
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900     2800 10000   
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 120     250 1400   
list-ext-properties/test-0504_1_true-valid-memsafety.i true 230     190 3000   
list-ext-properties/test-0513_1_true-valid-memsafety.i true 17     210 200   
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 900     680 11000   
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .19  29 1.8 
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .087 28 .87
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .091 28 1.0 
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .081 28 .82
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 2.6   41 31   
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 2.5   43 35   
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1.5   42 18   
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 18     340 260   
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1.5   42 21   
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 18     340 190   
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 18     340 200   
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 18     340 250   
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900     2400 11000   
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 1.1   29 14   
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2.5   41 34   
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 1.1   29 15   
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 80     820 960   
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 2.7   43 36   
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .10  29 1.0 
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .11  29 1.3 
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true .12  26 .87
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 1.6   43 18   
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 18     350 230   
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 1.6   43 18   
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 18     350 270   
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 18     350 270   
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 18     350 230   
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) .91  29 10   
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 2.0   30 23   
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1.9   30 22   
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 900     2200 8500   
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 900     2100 8800   
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1.6   33 14   
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 2.8   59 36   
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 12     120 120   
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .24  29 2.7 
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) .13  29 1.5 
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .13  29 1.5 
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .33  29 2.9 
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .13  29 1.3 
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) .68  32 8.2 
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1.3   33 11   
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .24  29 2.0 
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 2.3   37 22   
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .23  29 2.1 
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 2.1   37 19   
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 2.0   34 20   
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .22  29 2.0 
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .12  29 1.4 
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 14     120 210   
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 12     82 140   
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  29 2.3 
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 37     85 480   
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 6.3   37 93   
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) .095 28 .93
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) .092 28 1.1 
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) .12  28 .84
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 2.1   30 19   
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .54  29 7.8 
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 2.1   30 15   
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  29 2.3 
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .091 28 1.2 
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .090 28 1.2 
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .30  29 2.5 
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) .24  29 2.2 
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) .23  29 2.5 
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .091 28 .92
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .12  28 .87
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .089 28 .93
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true .87  31 11   
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true .86  32 11   
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 2.8   59 38   
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 1.5   37 18   
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2.7   41 32   
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 8.7   39 110   
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true .11  28 1.2 
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 47     130 540   
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 900     370 10000   
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 48     100 640   
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true .15  28 1.9 
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true .13  27 1.0 
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true .099 28 1.3 
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true .13  28 1.1 
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true .61  28 7.3 
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true .72  28 9.9 
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true .72  28 8.9 
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900     2200 9300   
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900     2100 8800   
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true .12  27 1.0 
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true .13  28 1.5 
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true .13  28 1.2 
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true .11  28 .90
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true .12  28 1.3 
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true .13  28 1.1 
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true .12  28 1.1 
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true .12  26 .93
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true .16  26 1.5 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true .16  26 1.3 
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true .21  27 2.7 
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true .29  27 3.6 
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .25  28 1.8 
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) .16  26 1.5 
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) .32  26 3.4 
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) .25  27 3.6 
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) .14  26 1.5 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 900     6600 6100   
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900     9700 5400   
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900     1600 8000   
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900     840 11000   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-memtrack) 1.2   32 11   
heap-manipulation/tree_false-valid-deref.i false(valid-deref) .11  27 1.1 
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .75  30 6.5 
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.1   33 12   
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.3   32 15   
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .93  32 10   
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900     500 11000   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .21  28 1.8 
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .19  29 1.7 
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .41  28 3.4 
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .54  29 4.8 
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .15  29 1.6 
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true .22  40 2.8 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true .23  40 2.0 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true .24  40 2.4 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.9   230 91   
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.9   230 77   
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.8   230 83   
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.7   230 92   
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.2   230 57   
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.7   230 56   
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.7   220 75   
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.4   230 68   
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.8   230 64   
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.8   230 56   
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900     380 12000   
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     2700 12000   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900     460 12000   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     570 13000   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900     450 13000   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     530 11000   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900     1100 10000   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900     730 12000   
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 900     600 10000   
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 900     390 12000   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900     210 12000   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     2600 11000   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900     460 11000   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     520 10000   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900     430 11000   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     430 11000   
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900     840 11000   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900     760 12000   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900     540 11000   
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 1.5   32 14   
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) .41  29 5.3 
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) .99  32 12   
loop-acceleration/array3_false-valid-deref.i false(valid-deref) 69     380 790   
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 17     510 200   
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 16     370 210   
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .57  44 6.9 
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .55  44 8.1 
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 900     1200 12000   
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .23  31 2.2 
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .19  31 2.9 
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .31  33 3.9 
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .32  34 4.2 
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .13  29 1.3 
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .17  31 2.0 
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .15  30 1.9 
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2100 8900   
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2200 7600   
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2300 9600   
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2300 8600   
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2500 11000   
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2400 7400   
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2500 7100   
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2500 8000   
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     1600 8200   
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     1800 11000   
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     1900 8700   
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2000 9000   
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     2000 9000   
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 120000   360000 1400000
    correct results 106 1400   8000 17000
        correct true 65 1100   5300 14000
        correct false 41 270   2800 3200
    correct-unconfimed results 69 270   4000 3000
        correct-unconfirmed true 0
        correct-unconfirmed false 69 270   4000 3000
    incorrect results 2 1.6 61 14
        incorrect true 0
        incorrect false 2 1.6 61 14
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]