Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-memsafety
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.85 6.17 286474240
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.18 4.48 244957184
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 9.33 5.39 272859136
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.28 4.64 243032064
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 19.9  12.4  529215488
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 12.7  7.53 390098944
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.34 4.49 242933760
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.50 4.81 245927936
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 33.2  24.5  524292096
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.96 4.74 247885824
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 10.9  6.26 288911360
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 17.5  10.7  516657152
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 10.2  5.98 298967040
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 11.9  6.77 335298560
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 10.9  6.33 299446272
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.92 4.95 248365056
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 7.10 4.41 239677440
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    810    980307968
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15.2  9.30 421982208
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14.6  8.74 452378624
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15.0  8.90 449937408
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12.6  7.52 396402688
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18.2  11.1  506933248
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900    854    2323628032
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 19.5  12.7  516722688
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 40.5  27.2  679088128
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 30.2  19.2  623710208
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 44.4  33.0  689274880
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17.4  10.6  516362240
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    833    2079653888
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 34.5  22.4  668012544
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 30.0  19.2  649703424
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 65.4  51.4  726597632
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 130    113    824762368
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 25.3  15.5  606244864
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 20.1  12.6  536145920
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16.5  9.83 480055296
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 34.9  22.2  665399296
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 29.7  23.1  479997952
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18.6  11.4  502218752
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 19.3  11.9  508919808
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 21.4  14.0  599531520
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 19.0  11.8  507117568
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 23.0  14.0  516317184
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 116    85.1  944517120
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    840    2634047488
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 40.9  26.9  703967232
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26.9  17.7  603234304
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 636    607    1153785856
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900    854    1089888256
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17.4  10.7  513769472
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900    879    2208124928
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 44.5  29.4  678445056
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 40.5  26.1  660504576
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 19.4  12.0  509956096
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 44.0  31.7  720990208
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 60.0  43.8  771010560
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 192    162    924016640
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18.1  11.2  492277760
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26.2  15.8  599171072
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 15.0  8.92 442998784
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 14.7  8.89 453120000
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 24.2  16.2  548737024
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 37.5  26.1  674582528
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 331    310    919535616
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 11.2  6.53 312975360
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    769    907063296
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack timeout 901    824    895606784
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    813    885460992
array-memsafety-realloc/array-realloc_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 13.4  7.80 393347072
array-memsafety-realloc/array-realloc_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 66.3  51.5  682213376
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    871    889053184
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 14.1  7.89 225378304
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    880    1150390272
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack timeout 900    866    932376576
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 12.4  7.26 397766656
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 711    670    1941970944
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    886    1102610432
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    869    857329664
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 137    89.8  949272576
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 32.4  18.5  505053184
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 213    145    2792595456
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 40.2  25.1  537755648
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 14.4  7.98 222818304
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 21.0  11.9  309637120
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    867    868945920
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 80.9  56.8  709525504
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    883    2176675840
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    884    891121664
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    867    1032564736
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    783    7765884928
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 29.5  19.2  656310272
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 13.7  7.67 225447936
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 13.6  7.72 223535104
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12.5  7.20 344227840
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    857    1989115904
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 900    861    1543950336
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    852    1952530432
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    867    868524032
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    846    1096773632
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    883    1003520000
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    881    1720737792
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    870    1132347392
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    871    1008398336
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    832    1852579840
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    806    2143797248
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    818    2371006464
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    822    893378560
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    806    1712365568
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    833    1201602560
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    858    1147973632
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    863    2073706496
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    866    1373155328
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    831    2291961856
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    867    1490653184
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 901    857    2056523776
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    856    3269550080
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    807    817913856
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    854    982265856
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    876    1737752576
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-free) 59.7  37.2  730533888
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    797    795783168
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    849    1061175296
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    878    1333534720
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    858    1500676096
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    862    1412042752
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 17.1  10.0  491483136
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    783    1488691200
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 14.3  8.46 459419648
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 18.4  10.8  511156224
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 12.3  7.24 377171968
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 156    128    832921600
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 20.5  11.8  317227008
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 85.0  61.3  750542848
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    886    875909120
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    787    2137563136
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    797    2066669568
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    834    2413891584
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 50.2  35.5  745127936
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 12.5  7.24 350941184
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    862    1389187072
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    819    1060823040
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    863    1160929280
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    835    2292301824
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    819    2177802240
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 14.0  8.09 430542848
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 10.3  6.09 282595328
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 11.4  6.78 298934272
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 8.27 4.95 246116352
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.58 5.18 249950208
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack timeout 901    793    4686942208
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack timeout 901    791    4688392192
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.01 4.89 251387904
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 8.45 5.04 252428288
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.69 4.63 241917952
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.55 4.64 245223424
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.94 4.83 246788096
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 7.73 4.65 245407744
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack timeout 901    853    2123513856
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 36.7  27.9  582762496
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 31.5  19.3  596713472
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 24.2  15.0  566865920
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 27.4  16.3  565739520
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 28.1  17.1  585465856
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12.5  7.31 354742272
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12.5  7.28 354369536
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 7.44 4.55 245977088
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.6  6.99 315170816
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.5  6.99 312246272
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.7  7.21 319680512
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.8  7.15 315072512
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.5  7.06 316923904
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 11.5  7.05 313454592
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 14.3  8.12 233680896
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    840    2281865216
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 900    833    2865274880
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 177    160    756637696
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 76.8  53.3  882114560
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 229    196    818106368
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack timeout 901    830    956129280
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 196    161    2253983744
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 176    149    815546368
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 14.2  7.98 395845632
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 11.5  6.57 350179328
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 30.3  17.7  594587648
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 14.4  8.31 423288832
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 901    844    909000704
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 901    845    833957888
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 216    194    745844736
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 778    716    939487232
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack error (7) 14.1  7.95 225427456
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 15.3  8.41 228737024
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 900    864    1273634816
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 14.9  8.56 411656192
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 27.2  15.2  389636096
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-free) 215    175    2243047424
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    836    977518592
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 49.5  30.2  521625600
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 901    844    929869824
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack timeout 901    845    871178240
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 24.8  14.0  382672896
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 28.4  16.1  421871616
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 25.0  14.2  393650176
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 424    371    1337868288
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 101    76.1  1135845376
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 444    394    1331388416
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 14.1  8.02 414347264
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 26.9  15.1  384761856
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 29.5  16.6  432349184
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 184    162    645296128
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 160    139    657842176
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 138    118    541196288
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 24.4  14.0  379502592
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 27.8  15.9  427659264
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 25.8  14.7  396587008
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    848    905093120
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    851    1323020288
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    826    976330752
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 118    84.6  949317632
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 14.6  8.21 225579008
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 900    869    1168973824
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 16.0  9.14 474144768
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 209    171    2180685824
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 46.3  28.9  725667840
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    863    1095110656
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    844    789819392
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 13.6  7.65 384684032
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 18.6  11.0  524779520
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17.9  10.4  520466432
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    835    2648166400
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    830    2393915392
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 901    814    2557743104
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 172    156    758697984
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    824    1344720896
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16.0  9.29 467197952
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack false(valid-free) 13.8  7.85 401899520
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16.9  9.92 530853888
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 29.6  17.6  618610688
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 26.9  16.1  625844224
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 17.1  9.62 476844032
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 16.4  9.45 480940032
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11.4  6.79 198004736
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11.0  6.56 198172672
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11.4  6.63 200163328
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11.0  6.53 198885376
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack error (7) 11.4  6.78 200327168
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11.0  6.64 199979008
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11.3  6.67 199471104
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11.7  6.86 198975488
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 11.1  6.62 199254016
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack error (7) 11.2  6.79 198189056
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    859    769286144
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    863    1015578624
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    808    2353876992
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    827    1200058368
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    846    2026536960
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 10.6  6.11 292638720
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    816    2097438720
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 109    75.8  738803712
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    843    1374564352
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 901    844    1270345728
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    829    2477445120
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 25.4  14.8  401829888
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 38.7  24.1  502943744
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 27.6  16.0  436375552
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 32.9  20.0  496173056
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 26.7  15.3  360988672
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 37.2  20.6  531361792
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 38.4  21.1  543813632
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 38.2  20.8  530116608
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 38.4  21.3  528396288
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 38.5  21.3  524849152
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 39.8  21.5  526708736
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 37.2  20.2  535801856
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 39.3  21.2  541380608
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 38.8  21.0  529031168
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 38.1  20.8  520642560
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 37.0  20.1  532815872
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 38.0  20.9  524947456
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack error (7) 37.1  20.3  528826368
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    834    944173056
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    819    832782336
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    808    2095456256
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    828    872841216
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    794    980299776
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    783    2237485056
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    772    959463424
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    807    1001115648
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    854    2069037056
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    851    891592704
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    818    2245554176
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    780    986812416
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    827    2233114624
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    808    1041129472
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    801    967401472
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    814    1972822016
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    772    1062608896
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    784    1022873600
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    829    2427600896
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 128    93.5  944029696
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 51.2  33.4  736210944
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 91.1  65.5  914210816
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    853    851636224
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    851    893915136
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    847    2025828352
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    848    1951744000
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    867    805232640
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    855    1145139200
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    864    1214185472
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    842    949706752
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 459    417    1172799488
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 461    418    1078452224
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    859    2287570944
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    868    2115649536
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    857    1717755904
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    854    2093568000
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    860    2182078464
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 616    571    1104199680
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    851    2275962880
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 222    184    1084313600
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    871    1124913152
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    869    945430528
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    850    860061696
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    857    854372352
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    863    872710144
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    861    911613952
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    852    849281024
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    840    1982042112
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    833    900345856
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    854    1863049216
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 483    441    905601024
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    839    1031491584
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    873    2219032576
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    872    1454641152
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    871    1040912384
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    875    1065590784
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    860    2397491200
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    867    2093412352
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 286    248    1023373312
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 100    77.9  836509696
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 620    585    1116475392
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 787    748    1170735104
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    829    1948811264
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 900    870    1820463104
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    831    2250297344
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    849    1430577152
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    839    1473888256
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    853    833949696
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    859    841437184
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 21.6  13.5  513077248
list-ext3-properties/dll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    816    1651535872
list-ext3-properties/sll_circular_traversal_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    843    4534747136
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 460    408    951586816
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 45.7  33.0  503058432
loops/invert_string_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.30 5.00 243769344
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    839    948715520
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 104    68.1  1400303616
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 41.9  25.8  757653504
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 14.0  7.98 425218048
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 14.5  8.20 424095744
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11.6  6.75 321748992
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11.4  6.60 314626048
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 11.8  6.73 325443584
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 12.7  7.22 371970048
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 13.5  7.62 378421248
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 9.22 5.43 251502592
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 9.84 5.83 292098048
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 10.8  6.31 300277760
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.03 4.72 244355072
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.93 4.76 245383168
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.80 4.74 237625344
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.98 4.83 247779328
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.42 4.52 248602624
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 8.28 4.96 247885824
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.92 4.80 242790400
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.76 4.75 246861824
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.37 4.52 240455680
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.65 4.61 241422336
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.71 4.61 244039680
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.96 4.76 240828416
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 7.67 4.64 241872896
memsafety-ext3/derefAfterFree1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 9.22 5.69 251912192
memsafety-ext3/derefAfterFree2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 14.0  8.40 426934272
memsafety-ext3/derefInLoop1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.50 5.12 254980096
memsafety-ext3/getNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 17.1  10.1  473497600
memsafety-ext3/getNumbers2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 33.3  20.9  606277632
memsafety-ext3/getNumbers4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 89.7  68.5  814010368
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack true 11.5  6.89 340733952
memsafety-ext3/realloc1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 18.3  10.8  472313856
memsafety-ext3/scopes1_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 7.75 4.68 243630080
memsafety-ext3/scopes2_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 7.44 4.48 244113408
memsafety-ext3/scopes3_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 17.1  9.91 479367168
memsafety-ext3/scopes4_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 8.06 4.93 249622528
memsafety-ext3/scopes5_false-valid-deref.c valid-deref valid-free valid-memtrack false(valid-deref) 7.37 4.57 244576256
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack false(valid-free) 21.9  14.8  473427968
memsafety-ext3/getNumbers1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 15.1  9.25 479215616
memsafety-ext3/getNumbers3_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12.9  7.72 376528896
memsafety-ext3/getNumbers4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 67.4  45.5  920498176
memsafety-ext3/scopes4_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 12.6  7.35 360341504
pthread-memsafety/fillarray1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 20.2  11.4  332689408
pthread-memsafety/fillarray_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 19.8  11.3  336252928
pthread-memsafety/list1_false-valid-deref.i valid-deref valid-free valid-memtrack error (7) 21.5  12.2  348176384
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup true 28.0  17.5  596299776
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    854    1113206784
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    862    1112936448
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 40.9  25.5  673554432
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    845    1342111744
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    855    1160183808
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    838    966864896
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    820    759525376
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    807    1996443648
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    829    929636352
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    780    971304960
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    797    1003048960
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    807    2338983936
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    803    2087874560
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    786    2026856448
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    828    2222993408
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    814    1065930752
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    797    1973977088
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    796    1834815488
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    800    977862656
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    831    2226577408
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 35.9  23.8  684720128
list-properties/list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 16.8  10.2  512323584
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 11.8  6.74 333914112
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 481    445    837087232
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    856    1713655808
list-properties/simple_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 15.7  9.37 497397760
list-properties/splice_false-unreach-call_false-valid-memcleanup.i valid-memcleanup false(valid-memtrack) 12.0  6.99 329506816
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    834    1227907072
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    846    1201602560
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 901    850    838610944
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i valid-memcleanup timeout 900    883    892100608
busybox-1.22.0/basename_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 901    838    2680139776
busybox-1.22.0/head_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 8.89 4.77 245288960
busybox-1.22.0/sleep_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 9.39 5.01 243499008
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 8.88 4.79 238583808
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 248    213    2930503680
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.52 4.72 230408192
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.65 5.08 245854208
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.78 5.77 253227008
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    832    3111165952
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.46 5.10 241364992
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.06 4.52 241135616
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.47 4.62 239480832
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.27 4.94 242601984
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.53 4.59 233832448
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 901    822    1530310656
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.28 4.59 229806080
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack error (7) 21.7  12.4  265920512
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.00 4.92 250105856
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.62 4.63 222932992
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.93 5.66 260567040
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.62 5.20 251441152
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.18 4.57 237166592
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.48 4.63 227741696
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.83 5.77 257298432
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.43 4.62 237334528
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.57 5.14 243347456
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 10.1  5.89 306933760
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.23 4.49 227721216
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.41 5.05 232112128
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.25 4.99 250707968
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 10.3  5.47 254582784
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 10.1  5.84 255504384
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.44 4.55 245714944
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.03 4.82 238452736
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.22 4.95 235212800
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.98 5.78 252604416
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.46 5.43 243621888
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 9.12 4.89 244723712
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.48 4.57 238075904
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 8.88 4.73 227393536
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 474 177000 163000 428569677824
local summary 47800 12000
    correct results 170 8980 7270 87162089472
        correct true 106 6260 5140 56447279104
        correct false 64 2720 2130 30714810368
    incorrect results 15 1370 1130 11857760256
        incorrect true 5 597 519 3132395520
        incorrect false 10 775 610 8725364736
score (474 tasks, max score: 751) -44
Run set sv-comp19_prop-memsafety