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 11:31:00 CET
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
Options -s kinduction
../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.4 
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .20  28 1.9 
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) .26  29 2.4 
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .30  28 3.7 
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .23  29 2.2 
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) .20  29 2.5 
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .28  28 3.2 
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .41  28 4.1 
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .37  29 3.6 
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .27  28 2.6 
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .36  31 4.1 
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .40  29 3.9 
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) .63  36 7.7 
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .40  29 3.7 
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) .23  29 2.4 
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .15  28 1.4 
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .23  28 1.9 
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 900     440 11000   
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i timeout 900     520 12000   
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i timeout 900     510 13000   
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i timeout 900     1500 12000   
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 8800   
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout 900     510 13000   
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900     730 11000   
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i timeout 900     830 12000   
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900     660 12000   
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1400 9400   
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900     620 11000   
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 900     850 10000   
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900     570 11000   
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900     790 9600   
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3500 11000   
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900     650 12000   
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900     640 9700   
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 900     310 13000   
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i timeout 900     520 11000   
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout 900     1100 8600   
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 900     990 9000   
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i timeout 900     1800 11000   
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout 900     1900 10000   
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout 900     1300 9300   
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout 900     360 9600   
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true .17  27 1.3 
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1300 11000   
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3500 9900   
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900     660 11000   
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900     860 11000   
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     1300 12000   
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900     1000 11000   
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 900     350 11000   
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 900     790 10000   
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900     640 10000   
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900     1200 10000   
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900     3500 10000   
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i timeout 900     830 11000   
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900     660 11000   
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900     250 12000   
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 900     390 11000   
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout 900     960 11000   
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i timeout 900     310 9900   
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i timeout 900     2000 12000   
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i timeout 900     780 14000   
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i timeout 900     250 9800   
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout 900     310 13000   
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 900     720 11000   
array-examples/relax_false-valid-deref.i false(valid-deref) .28  30 3.2 
array-examples/sanfoundry_24_false-valid-deref.i timeout 900     910 10000   
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900     210 12000   
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900     1200 12000   
memsafety/960521-1_false-valid-deref.i false(valid-deref) 29     110 290   
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1.2   43 12   
memsafety/test-0235_false-valid-deref.i out of memory 790     15000 6900   
memsafety/960521-1_false-valid-free.i false(valid-free) 31     110 250   
memsafety/test-0158_false-valid-free.i false(valid-free) .39  29 3.7 
memsafety/test-0232_false-valid-free.i false(valid-free) .49  29 5.7 
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 29     1100 320   
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 6.0   89 73   
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 2.2   44 27   
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) .11  27 1.3 
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 8.4   89 110   
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .18  28 1.8 
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 3.2   56 30   
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  27 .87
memsafety/test-0220_false-valid-memtrack.i out of memory 310     15000 2800   
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .35  28 3.9 
memsafety/test-0234_false-valid-memtrack.i timeout 900     8800 7700   
memsafety/test-0235_false-valid-memtrack.i out of memory 780     15000 6700   
memsafety/960521-1_true-valid-memsafety.i timeout 900     9900 9700   
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900     640 12000   
memsafety/test-0019_true-valid-memsafety_true-termination.i true .12  27 1.4 
memsafety/test-0102_true-valid-memsafety.i timeout 900     900 8200   
memsafety/test-0134_true-valid-memsafety.i timeout 900     1900 10000   
memsafety/test-0158_true-valid-memsafety_true-termination.i true .18  27 1.6 
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 900     920 9400   
memsafety/test-0217_true-valid-memsafety_false-termination.i out of memory 180     15000 1900   
memsafety/test-0218_true-valid-memsafety_false-termination.i out of memory 130     15000 1500   
memsafety/test-0219_true-valid-memsafety.i out of memory 120     15000 1700   
memsafety/test-0232_true-valid-memsafety.i timeout 900     730 11000   
memsafety/test-0234_true-valid-memsafety.i timeout 900     8200 6300   
memsafety/test-0235_true-valid-memsafety.i out of memory 770     15000 6600   
memsafety/test-0236_true-valid-memsafety.i unknown .49  36 5.5 
memsafety/test-0237_true-valid-memsafety.i out of memory 110     15000 1400   
memsafety/test-0504_true-valid-memsafety.i timeout 900     690 11000   
memsafety/test-0513_true-valid-memsafety.i timeout 900     1100 11000   
memsafety/test-0521_true-valid-memsafety.i timeout 900     1100 11000   
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true .67  29 9.1 
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900     370 12000   
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900     230 13000   
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900     210 11000   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 900     450 12000   
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 900     620 10000   
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900     990 10000   
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 900     670 10000   
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 900     2000 10000   
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 100     15000 1100   
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900     1800 9600   
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900     2300 11000   
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 7.4   54 72   
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900     550 10000   
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900     1800 9900   
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900     2100 11000   
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900     620 12000   
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900     450 10000   
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 110     15000 910   
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .25  29 2.3 
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 130     210 1600   
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) .26  29 2.7 
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) .26  29 2.2 
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .38  28 3.2 
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .27  28 2.9 
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .10  27 .88
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .64  29 5.3 
list-ext-properties/960521-1_1_true-valid-memsafety.i true 6.2   39 75   
list-ext-properties/list-ext_1_true-valid-memsafety.i true 200     210 2400   
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i true 60     110 810   
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 230     190 2400   
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .12  27 1.4 
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true .18  27 1.9 
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900     4700 11000   
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900     2900 9800   
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 100     240 1100   
list-ext-properties/test-0504_1_true-valid-memsafety.i true 160     160 1900   
list-ext-properties/test-0513_1_true-valid-memsafety.i true 12     170 150   
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 900     650 10000   
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .19  29 1.9 
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .17  29 1.7 
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .11  28 .65
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .077 28 .99
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 2.8   44 40   
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 2.8   45 40   
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1.6   44 20   
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 18     350 230   
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1.6   44 23   
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 18     350 260   
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 18     350 260   
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 18     350 220   
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900     2800 11000   
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 1.1   29 17   
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2.7   42 41   
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 1.1   30 17   
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 83     840 920   
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 3.0   45 39   
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .11  29 1.3 
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .10  29 1.2 
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true .082 26 .95
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 1.7   44 25   
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 19     360 220   
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 1.7   44 24   
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 19     360 290   
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 19     360 260   
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 19     360 280   
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1.5   34 15   
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 2.1   30 17   
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 2.1   30 20   
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 900     2600 8900   
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 900     2600 10000   
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 15     180 180   
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 15     120 160   
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .29  30 2.4 
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) .12  29 1.5 
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .15  29 1.3 
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .30  29 3.3 
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .18  29 1.3 
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) .78  32 7.4 
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1.1   32 17   
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .23  29 2.7 
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1.5   34 16   
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .26  29 2.3 
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 2.0   34 18   
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 2.1   37 24   
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .24  29 2.1 
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .14  29 1.5 
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 11     120 140   
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 18     84 190   
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .35  31 4.4 
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 48     97 590   
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 13     37 160   
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) .12  28 1.0 
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 1.3 
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 1.1 
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1.8   30 24   
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .59  29 7.7 
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 2.0   30 22   
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) .23  29 1.9 
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 1.1 
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 1.0 
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .25  29 2.9 
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) .22  29 2.0 
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) .21  29 2.1 
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .091 28 1.0 
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 .88
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .11  28 .90
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true .90  31 12   
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true .85  32 10   
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 12     180 160   
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true .85  33 11   
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true .76  32 8.8 
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 9.4   39 120   
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true .13  28 .95
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 70     140 790   
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 900     400 11000   
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 68     110 890   
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true .15  28 1.5 
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true .11  28 1.2 
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true .11  28 1.3 
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true .13  28 .74
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true .68  28 7.8 
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true .82  28 9.8 
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true .85  28 9.7 
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900     2500 11000   
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900     2600 8900   
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true .13  28 1.0 
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true .14  28 1.6 
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true .10  28 1.0 
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true .13  28 1.3 
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true .11  28 1.2 
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true .099 28 1.1 
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true .13  28 1.1 
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true .13  26 .85
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true .15  26 1.6 
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true .18  26 1.8 
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true .25  26 2.9 
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true .34  27 3.5 
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .21  28 2.6 
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) .20  27 1.7 
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) .32  26 4.3 
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) .34  27 4.0 
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) .18  26 1.8 
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i out of memory 310     15000 2900   
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900     12000 5700   
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900     3000 8900   
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900     780 12000   
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) .68  29 6.5 
heap-manipulation/tree_false-valid-deref.i false(valid-deref) .20  27 1.9 
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .41  29 4.5 
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) .64  30 7.5 
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .78  30 7.2 
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .74  29 6.2 
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900     600 10000   
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .24  28 2.5 
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .44  29 4.4 
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .26  28 2.1 
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .27  28 2.6 
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .18  29 1.8 
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true .21  40 2.2 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true .21  40 2.0 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true .20  40 2.2 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 8.7   260 130   
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.5   250 92   
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 8.7   250 100   
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.6   260 90   
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 8.7   250 120   
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.8   250 83   
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 8.7   250 96   
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 9.3   260 110   
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 8.9   260 100   
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 8.9   250 110   
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900     400 11000   
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     2700 10000   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900     380 8400   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     580 9300   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900     390 13000   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     480 12000   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900     1100 11000   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900     670 8700   
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     410 13000   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900     230 11000   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     2700 11000   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900     390 11000   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     460 10000   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900     410 11000   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     420 12000   
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900     900 11000   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900     610 11000   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900     520 10000   
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) .86  29 8.0 
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) .82  30 7.9 
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) .80  29 7.9 
loop-acceleration/array3_false-valid-deref.i false(valid-deref) 72     370 620   
ntdrivers/floppy_false-valid-deref.i.cil.c timeout 900     1100 12000   
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 .54  44 6.7 
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .55  44 6.7 
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .28  31 3.1 
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 .20  31 2.4 
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .31  33 4.3 
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .34  33 4.5 
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 .18  30 2.0 
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .17  30 1.5 
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true .13  27 .96
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true .10  27 1.0 
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true .12  27 1.1 
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true .10  27 1.5 
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true .12  27 1.2 
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true .11  27 1.2 
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true .15  27 1.4 
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true .12  27 1.3 
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true .10  27 .95
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true .088 27 1.1 
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true .11  27 1.0 
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true .091 27 .75
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true .098 27 .99
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 100000 330000 1200000
    correct results 121 1300 8500 16000
        correct true 80 1100 5700 13000
        correct false 41 250 2800 3100
    correct-unconfimed results 71 290 4100 3100
        correct-unconfirmed true 0
        correct-unconfirmed false 71 290 4100 3100
    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]