Tool ULTIMATE Kojak 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 04:40:15 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 320 45
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.0 260 45
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 5.6 300 45
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 4.6 250 41
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 8.9 470 78
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 10   530 85
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.7 260 38
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 4.7 260 41
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 9.9 550 79
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 4.9 290 43
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.8 330 54
array-memsafety/lis_unsafe_false-valid-deref.i timeout 900   1500 8600
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.1 330 46
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11   590 110
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 5.8 310 49
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 5.0 260 45
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 4.4 250 36
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 900   2300 13000
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 22   760 220
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 20   720 180
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i timeout 900   2000 12000
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 56   1200 710
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 64   1400 780
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 11000
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 43   1200 610
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 220   1400 2900
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 100   1300 1400
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1700 11000
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 21   790 230
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   1700 12000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 260   1200 3300
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1300 7000
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   1600 14000
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1700 12000
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 6500
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 76   1300 880
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 36   970 350
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 900   1800 13000
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i timeout 900   1300 5700
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 47   650 540
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 36   820 460
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 61   700 720
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 16   650 140
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 77   1400 1000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1500 13000
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   1300 13000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 260   1400 3900
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 77   1400 1100
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 11000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 610   1200 7400
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 22   800 260
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   1500 11000
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 270   1500 3600
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 6200
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 32   980 380
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   1700 12000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 7000
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 11000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 27   870 280
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i timeout 900   2700 11000
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 8.7 470 77
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 30   970 310
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 54   1300 630
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 420   1400 6600
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 900   1300 11000
array-examples/relax_false-valid-deref.i false(valid-deref) 6.2 310 53
array-examples/sanfoundry_24_false-valid-deref.i timeout 900   5800 12000
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900   5700 15000
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900   5200 11000
memsafety/960521-1_false-valid-deref.i timeout 900   3500 11000
memsafety/test-0137_false-valid-deref.i false(valid-deref) 450   2000 6500
memsafety/test-0235_false-valid-deref.i timeout 900   1300 10000
memsafety/960521-1_false-valid-free.i timeout 900   3800 12000
memsafety/test-0158_false-valid-free.i false(valid-free) 19   740 200
memsafety/test-0232_false-valid-free.i timeout 900   2100 13000
memsafety/20020406-1_false-valid-memtrack.i timeout 900   1600 13000
memsafety/20051113-1.c_false-valid-memtrack.i timeout 900   2200 12000
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 900   5400 12000
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 37   680 410
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 900   5500 11000
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 71   880 750
memsafety/test-0102_false-valid-memtrack.i timeout 900   1600 15000
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 17   470 150
memsafety/test-0220_false-valid-memtrack.i timeout 900   780 11000
memsafety/test-0232_false-valid-memtrack.i unknown 650   1800 8300
memsafety/test-0234_false-valid-memtrack.i timeout 900   3400 11000
memsafety/test-0235_false-valid-memtrack.i timeout 900   1300 11000
memsafety/960521-1_true-valid-memsafety.i timeout 900   3700 13000
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900   5500 12000
memsafety/test-0019_true-valid-memsafety_true-termination.i true 38   890 410
memsafety/test-0102_true-valid-memsafety.i timeout 900   1700 12000
memsafety/test-0134_true-valid-memsafety.i timeout 900   1900 15000
memsafety/test-0158_true-valid-memsafety_true-termination.i timeout 900   1500 11000
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 900   1500 12000
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900   1400 13000
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 900   1300 11000
memsafety/test-0219_true-valid-memsafety.i timeout 900   830 11000
memsafety/test-0232_true-valid-memsafety.i timeout 900   1900 14000
memsafety/test-0234_true-valid-memsafety.i timeout 900   810 10000
memsafety/test-0235_true-valid-memsafety.i timeout 900   1200 13000
memsafety/test-0236_true-valid-memsafety.i timeout 900   1200 11000
memsafety/test-0237_true-valid-memsafety.i timeout 900   1100 11000
memsafety/test-0504_true-valid-memsafety.i timeout 900   2500 12000
memsafety/test-0513_true-valid-memsafety.i timeout 900   1700 14000
memsafety/test-0521_true-valid-memsafety.i timeout 900   1400 13000
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 900   1700 11000
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900   2000 12000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900   11000 13000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900   12000 6100
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 900   3400 12000
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 910   2500 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900   2400 13000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 900   2300 14000
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 900   2200 13000
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900   2100 12000
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900   1800 12000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900   1800 13000
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900   1500 12000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900   1600 11000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900   1800 11000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900   2300 14000
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900   1700 14000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900   1700 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 900   1800 12000
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13   680 140
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 900   1600 14000
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 52   1100 670
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 28   870 300
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 29   830 340
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 470   1900 7200
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 29   670 290
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 550   1800 6800
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900   1800 9100
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900   1500 14000
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   2400 12000
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 900   4400 14000
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 170   1700 2000
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i timeout 900   3100 11000
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900   1500 12000
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900   1600 14000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 900   1700 12000
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 900   2300 11000
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 900   2200 12000
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 900   2000 12000
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 6.8 430 59
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.4 460 67
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 4.7 260 40
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 4.9 260 41
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 900   5500 13000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 900   5500 11000
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 4.5 260 41
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 4.5 250 42
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 4.6 250 38
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 4.8 250 38
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 4.6 260 33
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 4.4 260 33
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900   2200 14000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout 900   5500 12000
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout 900   5500 13000
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout 900   5500 13000
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 900   5300 12000
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout 900   5400 13000
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error (7) 3.5 220 30
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error (7) 4.1 230 29
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 4.1 240 34
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 29   880 280
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 63   1700 750
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 27   870 320
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 62   1600 690
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 63   1700 730
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 62   1600 840
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 300   1400 4500
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 340   1400 5700
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 340   1600 4300
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 900   1600 14000
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 900   1400 14000
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 190   1300 2300
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 900   1500 12000
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 900   2700 12000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 520   1300 6200
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 6.9 340 63
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.7 250 37
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 48   1000 590
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 7.6 470 70
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error (7) 430   1300 5000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error (7) 390   1300 5100
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error (7) 52   1000 620
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (7) 370   1300 4800
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 36   820 430
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 340   1400 4300
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900   2300 14000
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error (7) 10   290 87
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error (7) 10   270 87
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 900   1300 15000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 900   1500 11000
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error (7) 14   510 110
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 900   1400 12000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout 900   4900 10000
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error (7) 9.3 260 78
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error (7) 9.8 260 76
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error (7) 9.2 260 78
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error (7) 170   1300 2400
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error (7) 42   870 460
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error (7) 170   1300 2200
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error (7) 12   330 97
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error (7) 9.2 260 76
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error (7) 9.8 270 77
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error (7) 33   820 410
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error (7) 23   700 230
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error (7) 17   590 170
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error (7) 9.3 260 73
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error (7) 9.8 270 81
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error (7) 9.6 260 86
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 900   1300 11000
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 900   1400 12000
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 900   1600 9500
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 690   1400 8900
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 690   1400 8600
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 900   1300 13000
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 7.9 380 74
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 900   2500 14000
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 900   1300 13000
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 900   1300 12000
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 550   1200 8900
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 6.4 350 53
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 8.1 430 64
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 7.8 480 71
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 430   1300 6800
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 820   1400 11000
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 810   1300 11000
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900   1600 12000
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900   1500 12000
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 7.3 460 61
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 11   670 110
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 7.1 470 63
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 63   1200 700
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 40   910 440
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 7.5 480 64
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 7.5 360 68
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.4 230 29
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.6 230 27
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.5 220 29
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.5 230 29
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.4 220 29
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.5 220 28
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.4 220 29
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.5 220 32
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.5 230 30
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.6 230 26
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 900   1600 12000
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900   1500 10000
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900   1600 12000
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900   5300 13000
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 490   1900 7600
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 6.9 350 57
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 900   1400 12000
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error (7) 230   2100 3300
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   2100 12000
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   2000 14000
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900   1800 11000
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 43   720 460
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 69   870 990
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 40   700 470
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 69   950 760
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 19   530 170
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i timeout 900   5400 14000
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i timeout 900   5300 11000
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i timeout 900   5300 12000
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i timeout 900   4900 13000
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i timeout 900   5300 14000
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i timeout 900   5300 14000
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i timeout 900   5200 13000
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i timeout 900   5300 12000
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i timeout 900   5100 13000
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i timeout 900   5100 14000
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i timeout 900   5400 12000
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i timeout 900   5000 11000
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i timeout 900   5100 12000
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900   2200 14000
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   1700 12000
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   3100 12000
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   1900 12000
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   3200 14000
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   2600 14000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900   2200 13000
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   2400 12000
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 900   2200 13000
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 910   1900 12000
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900   2000 12000
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   1800 14000
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   2900 13000
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   2500 14000
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   1700 13000
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   2200 13000
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   2300 13000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900   1900 11000
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 900   2000 12000
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 510   1700 6800
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 480   1300 8100
loop-acceleration/array3_false-valid-deref.i timeout 900   5200 12000
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.6 250 39
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.0 230 39
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 17   760 130
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 17   760 140
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14   770 130
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.5 470 83
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.7 470 78
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11   580 92
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11   550 99
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.7 470 65
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.7 470 82
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10   470 75
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 4.8 260 42
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.0 260 46
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.1 270 45
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 5.1 270 41
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 5.1 270 43
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 5.1 270 45
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 5.4 280 46
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 5.5 290 48
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 38
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 4.5 250 36
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 39
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 4.6 260 38
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 4.9 260 44
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 150000 530000 2100000
    correct results 113 11000 84000 140000
        correct true 76 7800 63000 100000
        correct false 37 2800 21000 38000
    correct-unconfimed results 9 1200 8600 17000
        correct-unconfirmed true 0
        correct-unconfirmed false 9 1200 8600 17000
    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]