Tool ULTIMATE Automizer 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:39:25 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.2 280 42
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 4.7 270 40
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 5.5 290 45
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 4.2 240 35
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 11   540 95
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 7.3 360 53
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.4 250 36
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 4.3 260 35
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 10   530 94
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 4.7 280 43
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.2 310 48
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 11   540 89
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 5.4 290 44
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.3 280 46
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 5.9 280 51
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 5.1 290 40
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 4.2 250 40
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 900   2500 11000
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i timeout 900   770 11000
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i timeout 900   760 12000
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 8.3 420 77
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 8.7 400 63
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 11   530 96
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   1600 12000
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 10   520 100
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900   870 11000
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1600 12000
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 12000
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 9.5 540 83
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   870 11000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 14000
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1200 9900
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   930 12000
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   890 12000
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 900   1400 12000
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 12   540 110
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 8.8 450 68
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 900   870 13000
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 12   530 130
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout 900   840 12000
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout 900   740 12000
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout 900   780 11000
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout 900   870 11000
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   980 10000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 900   960 10000
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900   1600 11000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 900   860 12000
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 12000
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 900   1000 12000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 900   1600 11000
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 9.2 520 80
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900   870 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 timeout 900   2300 11000
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i timeout 900   790 13000
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 900   840 13000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 900   900 12000
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 900   900 9100
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 19   550 200
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 10   540 88
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 8.7 430 75
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   950 12000
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 11000
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 900   1100 14000
array-examples/relax_false-valid-deref.i false(valid-deref) 5.4 290 44
array-examples/sanfoundry_24_false-valid-deref.i timeout 900   2400 13000
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900   2700 13000
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900   2600 14000
memsafety/960521-1_false-valid-deref.i timeout 900   1100 9900
memsafety/test-0137_false-valid-deref.i false(valid-deref) 46   970 470
memsafety/test-0235_false-valid-deref.i timeout 900   880 11000
memsafety/960521-1_false-valid-free.i timeout 900   1000 9800
memsafety/test-0158_false-valid-free.i false(valid-free) 6.5 290 58
memsafety/test-0232_false-valid-free.i error (7) 320   870 4000
memsafety/20020406-1_false-valid-memtrack.i error (7) 710   2700 7500
memsafety/20051113-1.c_false-valid-memtrack.i timeout 900   1000 13000
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 68   970 590
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 20   570 160
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 110   3000 1100
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 19   510 150
memsafety/test-0102_false-valid-memtrack.i error (7) 140   1100 1700
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 11   330 89
memsafety/test-0220_false-valid-memtrack.i timeout 900   760 13000
memsafety/test-0232_false-valid-memtrack.i unknown 61   690 630
memsafety/test-0234_false-valid-memtrack.i timeout 900   780 10000
memsafety/test-0235_false-valid-memtrack.i timeout 900   790 12000
memsafety/960521-1_true-valid-memsafety.i timeout 900   1300 9400
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900   10000 7800
memsafety/test-0019_true-valid-memsafety_true-termination.i true 22   580 210
memsafety/test-0102_true-valid-memsafety.i error (7) 150   1100 1700
memsafety/test-0134_true-valid-memsafety.i timeout 900   1100 9300
memsafety/test-0158_true-valid-memsafety_true-termination.i true 14   370 120
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 900   1400 12000
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900   1400 13000
memsafety/test-0218_true-valid-memsafety_false-termination.i error (7) 670   1400 9500
memsafety/test-0219_true-valid-memsafety.i timeout 900   750 13000
memsafety/test-0232_true-valid-memsafety.i error (7) 270   850 3400
memsafety/test-0234_true-valid-memsafety.i timeout 900   820 11000
memsafety/test-0235_true-valid-memsafety.i timeout 900   790 11000
memsafety/test-0236_true-valid-memsafety.i timeout 900   800 14000
memsafety/test-0237_true-valid-memsafety.i timeout 900   790 10000
memsafety/test-0504_true-valid-memsafety.i timeout 900   1100 12000
memsafety/test-0513_true-valid-memsafety.i timeout 900   840 10000
memsafety/test-0521_true-valid-memsafety.i timeout 900   1700 8700
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i error (7) 170   990 1900
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900   1600 11000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900   1000 10000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900   950 13000
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 900   1300 9700
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 900   920 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900   920 10000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error (7) 600   810 7700
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 900   980 14000
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900   4000 11000
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900   3000 11000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900   1900 11000
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900   1600 14000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900   930 11000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900   3000 10000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900   1600 11000
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900   1500 11000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900   1000 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 900   3400 12000
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 9.2 470 76
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 900   1500 12000
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 18   540 170
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 12   520 110
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 7.0 310 62
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 150   920 2100
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 11   350 100
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 56   700 590
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900   1200 11000
list-ext-properties/list-ext_1_true-valid-memsafety.i error (7) 300   810 3400
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   2300 12000
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (7) 400   920 4000
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 120   900 1300
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 14   380 110
list-ext-properties/test-0214_1_true-valid-memsafety.i error (7) 860   1300 10000
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900   1400 14000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error (7) 270   830 3300
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 900   1200 10000
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 900   860 11000
memory-alloca/c.03-alloca_true-valid-memsafety.i true 9.5 530 73
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 5.7 280 49
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 6.4 300 53
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 4.9 280 41
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 5.1 290 40
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 900   5400 10000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 730   5500 9200
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 4.8 280 35
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 4.7 290 43
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 4.4 280 38
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 4.7 280 43
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 4.7 280 43
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 4.7 280 40
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900   5100 12000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 8.6 470 65
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 9.6 530 73
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 8.4 470 67
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 10   520 85
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 8.6 460 76
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error (7) 3.6 220 32
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error (7) 3.6 220 32
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.9 230 32
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 6.3 310 50
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 6.4 300 55
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 6.3 300 51
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 6.2 310 51
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 6.5 300 56
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.3 300 55
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 34   860 310
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 900   3300 8700
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 900   3100 8800
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 310   1200 3200
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 97   1200 1100
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 650   880 8600
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 900   1400 9000
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 900   2400 11000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 130   990 1500
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 5.9 290 45
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.4 250 38
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 12   540 110
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 6.0 290 52
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 900   880 13000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i timeout 900   860 13000
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 29   680 280
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 230   1000 2800
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 26   570 250
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 190   1100 2000
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900   990 12000
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 15   370 120
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 10   290 84
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 900   2400 12000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error (7) 620   840 7200
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 61   540 750
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 900   1400 10000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout 900   1000 12000
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 9.8 280 90
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 11   320 89
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 9.9 280 89
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 230   850 2700
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 45   710 430
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 240   920 2800
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 13   350 120
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 10   290 80
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 12   350 110
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 39   550 370
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 80   550 970
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 20   560 180
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 10   300 77
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 12   350 110
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 10   290 80
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 900   890 9300
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 530   1100 7100
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 900   1300 12000
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 71   1200 660
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 60   1100 640
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 900   840 12000
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 8.6 470 76
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 900   2400 11000
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 900   1800 11000
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 900   1100 13000
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 310   960 3800
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 6.8 320 52
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 8.8 480 73
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 8.7 450 65
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 900   2600 9700
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 900   3000 10000
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 900   3100 11000
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900   1200 10000
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900   1300 12000
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 7.4 370 66
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 23   540 220
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 8.3 420 71
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 14   600 110
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 12   520 110
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 7.4 360 60
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 7.8 360 58
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.5 220 28
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.4 220 31
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.3 220 27
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 27
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.4 220 29
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.5 220 30
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.5 230 30
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.3 220 28
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.6 220 29
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error (7) 410   1200 4800
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900   1600 11000
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900   1200 11000
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900   960 13000
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 320   880 4400
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 5.7 300 47
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 900   1000 11000
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 51   760 490
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   860 10000
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error (7) 230   880 2600
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i error (7) 210   850 2400
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 13   320 100
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 20   540 190
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 14   340 110
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 18   470 150
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 13   320 110
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 160   1800 950
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 150   1900 850
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 140   1800 1000
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 430   1900 2900
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 430   1900 2700
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 430   1900 3600
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 430   1900 2900
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 430   1900 3300
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 430   1900 3700
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 440   1800 2500
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 430   1800 3200
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 430   1800 3200
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 420   1900 3200
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900   1600 12000
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   990 13000
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   1100 12000
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   960 9300
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   1200 9200
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   880 10000
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   1200 11000
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error (7) 250   1300 2700
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 900   1600 11000
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900   1100 11000
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   880 9200
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 750   1100 9000
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   950 9600
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   1200 11000
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   900 10000
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900   3000 7600
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   1100 12000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error (7) 300   890 3400
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 73   1100 760
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 130   760 1400
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 42   1000 450
loop-acceleration/array3_false-valid-deref.i timeout 900   4400 12000
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 4.6 250 41
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.0 230 34
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.0 480 64
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.5 460 57
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.1 350 50
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.3 340 53
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.1 340 55
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.1 400 52
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.2 400 63
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.3 280 47
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.2 320 47
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.9 320 49
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 4.1 240 36
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 240 39
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 36
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 4.3 250 37
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 4.2 240 38
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 36
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 4.5 250 35
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 4.2 240 39
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 4.0 230 37
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 4.2 250 37
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 35
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 4.4 250 39
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 326 130000 320000 1600000
    correct results 117 5200 60000 59000
        correct true 71 2800 36000 30000
        correct false 46 2400 25000 29000
    correct-unconfimed results 3 440 3300 4500
        correct-unconfirmed true 0
        correct-unconfirmed false 3 440 3300 4500
    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]