Tool ULTIMATE Taipan 0.1.23-3204b741
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-03 07:53:44 CET
Run set [sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
Options --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 5.7 290 45
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 4.4 260 36
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 5.8 290 45
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 4.3 260 35
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 16   700 130
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 7.4 380 63
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.2 260 35
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 4.5 260 36
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 14   580 130
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 4.9 280 44
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.7 290 52
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 15   820 130
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.1 300 44
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11   570 89
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 6.1 280 49
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 4.4 260 39
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 4.5 250 34
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i true 41   1200 400
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 11   550 83
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i timeout 900   770 12000
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i timeout 900   820 10000
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 15   690 130
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 17   810 150
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   14000 5600
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 17   830 150
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900   890 12000
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 13000
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   880 11000
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 900   980 12000
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   2600 13000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900   900 12000
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 28   1200 260
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   850 11000
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   890 11000
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 11000
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 37   1400 360
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 15   740 120
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 11000
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 54   1400 600
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 19   780 140
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 14   830 130
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout 900   740 10000
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 13   700 110
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   960 12000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   2200 11000
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   2000 9200
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900   880 11000
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   920 12000
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   860 12000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 74   2200 790
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 16   670 160
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   800 11000
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 11000
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 46   1900 450
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 17   710 140
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 12000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   890 11000
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 900   4600 12000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout 900   740 11000
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 34   1600 310
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i timeout 900   750 11000
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12   630 110
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 12000
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout 900   1500 13000
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 12000
array-examples/relax_false-valid-deref.i false(valid-deref) 6.5 310 58
array-examples/sanfoundry_24_false-valid-deref.i timeout 900   2000 14000
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900   1300 12000
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900   1200 11000
memsafety/960521-1_false-valid-deref.i timeout 900   1300 12000
memsafety/test-0137_false-valid-deref.i timeout 900   4700 12000
memsafety/test-0235_false-valid-deref.i error (7) 860   800 11000
memsafety/960521-1_false-valid-free.i timeout 900   1500 12000
memsafety/test-0158_false-valid-free.i false(valid-free) 9.5 520 72
memsafety/test-0232_false-valid-free.i error (7) 310   1000 3800
memsafety/20020406-1_false-valid-memtrack.i timeout 900   1800 13000
memsafety/20051113-1.c_false-valid-memtrack.i timeout 900   1100 11000
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 570   4100 8100
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 32   870 270
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 900   5400 11000
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 26   570 230
memsafety/test-0102_false-valid-memtrack.i error (7) 140   900 1600
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 13   350 110
memsafety/test-0220_false-valid-memtrack.i timeout 910   14000 3200
memsafety/test-0232_false-valid-memtrack.i unknown 86   880 960
memsafety/test-0234_false-valid-memtrack.i timeout 900   880 12000
memsafety/test-0235_false-valid-memtrack.i timeout 900   840 10000
memsafety/960521-1_true-valid-memsafety.i timeout 900   1700 10000
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900   5400 10000
memsafety/test-0019_true-valid-memsafety_true-termination.i true 30   630 290
memsafety/test-0102_true-valid-memsafety.i error (7) 160   860 2000
memsafety/test-0134_true-valid-memsafety.i timeout 900   3600 13000
memsafety/test-0158_true-valid-memsafety_true-termination.i true 16   470 130
memsafety/test-0214_true-valid-memsafety_false-termination.i error (7) 530   930 5700
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900   5600 10000
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 900   6300 11000
memsafety/test-0219_true-valid-memsafety.i timeout 910   14000 3600
memsafety/test-0232_true-valid-memsafety.i timeout 900   990 11000
memsafety/test-0234_true-valid-memsafety.i error (7) 430   840 4900
memsafety/test-0235_true-valid-memsafety.i timeout 900   870 13000
memsafety/test-0236_true-valid-memsafety.i timeout 900   830 12000
memsafety/test-0237_true-valid-memsafety.i timeout 900   790 12000
memsafety/test-0504_true-valid-memsafety.i timeout 900   1200 11000
memsafety/test-0513_true-valid-memsafety.i timeout 900   1300 13000
memsafety/test-0521_true-valid-memsafety.i timeout 900   1700 12000
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i error (7) 120   850 1400
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900   1400 11000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900   1400 12000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900   8800 10000
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error (7) 480   1400 6000
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i error (7) 570   1800 6600
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900   1000 13000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 900   990 9900
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 900   830 11000
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900   14000 4600
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900   2300 11000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900   2600 12000
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900   1600 11000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900   2000 8000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900   2600 11000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900   2400 12000
memsafety-ext2/length_test03_true-valid-memsafety.i error (7) 780   1700 9700
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900   1900 7000
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 910   13000 6800
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 15   860 120
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 900   2900 10000
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 41   730 380
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 17   870 150
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 10   540 80
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 140   910 1800
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 14   360 110
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 110   3400 1100
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900   1000 13000
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900   2700 10000
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   4600 11000
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 900   3400 11000
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 170   920 2000
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10   570 81
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900   1300 12000
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900   5000 11000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 900   3300 12000
list-ext-properties/test-0504_1_true-valid-memsafety.i error (7) 370   1100 4000
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 900   1800 12000
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12   530 95
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 6.1 290 49
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 6.7 330 54
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 5.0 290 46
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 5.0 280 41
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 900   3300 10000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 900   4100 11000
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 4.6 290 42
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 4.6 270 35
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 4.9 280 38
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 4.8 280 39
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 4.6 280 41
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 4.8 290 41
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900   4900 13000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 15   740 130
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 21   840 170
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 20   1000 160
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 43   1800 380
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 17   830 130
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error (7) 3.6 220 26
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error (7) 3.5 230 29
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.8 230 32
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.0 350 57
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.0 350 54
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 6.8 360 57
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 6.8 360 52
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 6.7 360 55
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.7 350 57
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 40   1000 360
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 900   3300 10000
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 900   2500 8400
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 900   1300 11000
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 900   1400 11000
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 350   810 4400
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 900   1100 13000
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 350   1100 4000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 430   880 5200
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 5.9 290 44
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.7 270 38
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 16   700 140
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 6.1 290 46
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 900   910 13000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 630   830 7300
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 38   740 380
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 370   1400 4300
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 30   640 260
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 180   1100 2000
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 910   13000 3000
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 14   330 100
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 10   300 88
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 900   1300 11000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 900   1000 12000
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 51   830 540
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 900   1100 11000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout 900   1700 12000
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 9.0 260 75
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 11   310 85
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 9.1 260 76
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 240   1500 3000
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 210   880 2200
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 250   1400 3200
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 13   300 110
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 9.0 260 72
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 12   320 100
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 98   630 1200
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 87   630 1200
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 29   540 280
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 9.0 260 79
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 12   310 87
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 9.3 260 76
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 900   1100 9600
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 900   830 13000
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 900   1100 10000
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 340   1100 4200
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 320   1400 3800
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 900   850 11000
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 9.2 480 74
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error (7) 260   1000 2900
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 900   4600 10000
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 900   980 13000
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 340   940 4600
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 6.2 300 47
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 8.8 470 69
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 8.0 390 61
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 900   3400 11000
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 900   1600 13000
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 900   1500 11000
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900   1900 14000
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900   1300 10000
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 7.3 350 58
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 39   730 370
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 8.1 400 64
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 17   680 140
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 14   610 120
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 6.9 340 59
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 7.5 370 61
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.6 230 28
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.5 220 28
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.5 220 31
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.4 220 29
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.4 230 32
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.5 220 26
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.5 220 27
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.4 220 28
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.4 230 29
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.6 230 28
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 900   840 11000
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (7) 370   1200 4600
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900   1800 12000
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900   930 10000
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error (7) 140   1200 1500
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 6.3 320 51
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 900   1200 14000
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 250   1400 3200
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   1500 11000
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   1500 11000
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900   1400 11000
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 24   540 200
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 54   790 530
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 20   600 170
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 32   710 290
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 17   420 130
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 230   4900 2600
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i timeout 900   6200 11000
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i timeout 900   6400 10000
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i timeout 900   6400 9900
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i timeout 900   6400 11000
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i timeout 900   5800 9500
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i timeout 900   6400 8300
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i timeout 900   6600 8900
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i timeout 900   4800 9200
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i timeout 900   6300 9100
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i timeout 900   6200 11000
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i timeout 900   6400 9500
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i timeout 900   6400 9600
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error (7) 360   1200 4600
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   1400 13000
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error (7) 560   1700 6900
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   1500 14000
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   1300 9600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   1500 11000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900   1500 12000
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   1600 12000
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 900   1200 10000
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error (7) 510   1100 6600
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error (7) 430   1500 5200
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   880 10000
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   1700 11000
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   1400 13000
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   1600 14000
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   1900 12000
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900   1300 12000
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   1500 11000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900   1500 13000
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 900   1800 15000
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 120   1100 1300
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 900   1400 15000
loop-acceleration/array3_false-valid-deref.i timeout 900   1500 11000
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.6 260 40
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 3.9 230 31
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.6 470 64
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.7 460 60
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.5 350 51
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.9 350 52
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.3 350 51
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.3 410 60
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.6 400 53
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.3 280 39
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.1 320 47
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.9 320 47
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 4.1 250 34
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 4.5 250 37
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 35
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 4.5 250 36
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 4.4 240 38
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 34
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 4.7 250 36
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 32
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.9 320 45
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 4.2 250 35
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 35
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 37
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 34
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 140000 510000 1700000
    correct results 108 3200 64000 35000
        correct true 73 2400 50000 26000
        correct false 35 810 14000 8800
    correct-unconfimed results 8 780 5500 9200
        correct-unconfirmed true 0
        correct-unconfirmed false 8 780 5500 9200
    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]