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.MemSafety-Heap
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
memsafety/960521-1_false-valid-deref.i timeout 900    871    889053184
memsafety/test-0137_false-valid-deref.i error (7) 14.1  7.89 225378304
memsafety/test-0235_false-valid-deref.i timeout 900    880    1150390272
memsafety/960521-1_false-valid-free.i timeout 900    866    932376576
memsafety/test-0158_false-valid-free.i false(valid-free) 12.4  7.26 397766656
memsafety/test-0232_false-valid-free.i false(valid-free) 711    670    1941970944
memsafety/20020406-1_false-valid-memtrack.i timeout 900    886    1102610432
memsafety/20051113-1.c_false-valid-memtrack.i timeout 901    869    857329664
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 137    89.8  949272576
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 32.4  18.5  505053184
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 213    145    2792595456
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 40.2  25.1  537755648
memsafety/test-0102_false-valid-memtrack.i error (7) 14.4  7.98 222818304
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 21.0  11.9  309637120
memsafety/test-0220_false-valid-memtrack.i timeout 901    867    868945920
memsafety/test-0232_false-valid-memtrack.i unknown 80.9  56.8  709525504
memsafety/test-0234_false-valid-memtrack.i timeout 900    883    2176675840
memsafety/test-0235_false-valid-memtrack.i timeout 900    884    891121664
memsafety/960521-1_true-valid-memsafety.i timeout 900    867    1032564736
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 901    783    7765884928
memsafety/test-0019_true-valid-memsafety_true-termination.i true 29.5  19.2  656310272
memsafety/test-0102_true-valid-memsafety.i error (7) 13.7  7.67 225447936
memsafety/test-0134_true-valid-memsafety.i error (7) 13.6  7.72 223535104
memsafety/test-0158_true-valid-memsafety_true-termination.i true 12.5  7.20 344227840
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 901    857    1989115904
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900    861    1543950336
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 901    852    1952530432
memsafety/test-0219_true-valid-memsafety.i timeout 900    867    868524032
memsafety/test-0232_true-valid-memsafety.i timeout 901    846    1096773632
memsafety/test-0234_true-valid-memsafety.i timeout 900    883    1003520000
memsafety/test-0235_true-valid-memsafety.i timeout 900    881    1720737792
memsafety/test-0236_true-valid-memsafety.i timeout 900    870    1132347392
memsafety/test-0237_true-valid-memsafety.i timeout 900    871    1008398336
memsafety/test-0504_true-valid-memsafety.i timeout 901    832    1852579840
memsafety/test-0513_true-valid-memsafety.i timeout 901    806    2143797248
memsafety/test-0521_true-valid-memsafety.i timeout 900    818    2371006464
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 901    822    893378560
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900    806    1712365568
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 901    833    1201602560
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 901    858    1147973632
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 901    863    2073706496
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 901    866    1373155328
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 901    831    2291961856
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 901    867    1490653184
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 901    857    2056523776
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 901    856    3269550080
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 901    807    817913856
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900    854    982265856
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900    876    1737752576
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-free) 59.7  37.2  730533888
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 901    797    795783168
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 901    849    1061175296
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900    878    1333534720
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 901    858    1500676096
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 901    862    1412042752
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.1  10.0  491483136
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 901    783    1488691200
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 14.3  8.46 459419648
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 18.4  10.8  511156224
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.3  7.24 377171968
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 156    128    832921600
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  317227008
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 85.0  61.3  750542848
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900    886    875909120
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900    787    2137563136
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 901    797    2066669568
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 901    834    2413891584
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 50.2  35.5  745127936
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.5  7.24 350941184
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900    862    1389187072
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 901    819    1060823040
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 901    863    1160929280
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 901    835    2292301824
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 901    819    2177802240
memory-alloca/c.03-alloca_true-valid-memsafety.i true 14.0  8.09 430542848
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.3  6.09 282595328
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 11.4  6.78 298934272
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.27 4.95 246116352
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.58 5.18 249950208
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 901    793    4686942208
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 901    791    4688392192
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.01 4.89 251387904
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.45 5.04 252428288
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.69 4.63 241917952
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.55 4.64 245223424
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.94 4.83 246788096
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.73 4.65 245407744
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 901    853    2123513856
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 36.7  27.9  582762496
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 31.5  19.3  596713472
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 24.2  15.0  566865920
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 27.4  16.3  565739520
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 28.1  17.1  585465856
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 12.5  7.31 354742272
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 12.5  7.28 354369536
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.44 4.55 245977088
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 11.6  6.99 315170816
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 11.5  6.99 312246272
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.7  7.21 319680512
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 11.8  7.15 315072512
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 11.5  7.06 316923904
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 11.5  7.05 313454592
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 14.3  8.12 233680896
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 901    840    2281865216
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 900    833    2865274880
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 177    160    756637696
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 76.8  53.3  882114560
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 229    196    818106368
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 901    830    956129280
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 196    161    2253983744
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 176    149    815546368
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 14.2  7.98 395845632
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.5  6.57 350179328
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 30.3  17.7  594587648
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 14.4  8.31 423288832
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 901    844    909000704
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i timeout 901    845    833957888
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 216    194    745844736
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 778    716    939487232
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 14.1  7.95 225427456
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 15.3  8.41 228737024
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900    864    1273634816
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-free) 14.9  8.56 411656192
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 27.2  15.2  389636096
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-free) 215    175    2243047424
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 901    836    977518592
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 49.5  30.2  521625600
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 901    844    929869824
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout 901    845    871178240
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 24.8  14.0  382672896
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 28.4  16.1  421871616
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 25.0  14.2  393650176
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 424    371    1337868288
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 101    76.1  1135845376
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 444    394    1331388416
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-free) 14.1  8.02 414347264
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 26.9  15.1  384761856
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 29.5  16.6  432349184
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 184    162    645296128
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 160    139    657842176
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 138    118    541196288
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 24.4  14.0  379502592
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 27.8  15.9  427659264
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 25.8  14.7  396587008
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 901    848    905093120
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 901    851    1323020288
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 901    826    976330752
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 118    84.6  949317632
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 14.6  8.21 225579008
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 900    869    1168973824
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i false(valid-free) 16.0  9.14 474144768
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i false(valid-free) 209    171    2180685824
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i false(valid-free) 46.3  28.9  725667840
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 901    863    1095110656
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 901    844    789819392
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i false(valid-free) 13.6  7.65 384684032
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 18.6  11.0  524779520
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.9  10.4  520466432
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 901    835    2648166400
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 901    830    2393915392
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 901    814    2557743104
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 172    156    758697984
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 901    824    1344720896
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 16.0  9.29 467197952
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i false(valid-free) 13.8  7.85 401899520
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 16.9  9.92 530853888
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 29.6  17.6  618610688
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 26.9  16.1  625844224
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 17.1  9.62 476844032
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 16.4  9.45 480940032
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 11.4  6.79 198004736
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 11.0  6.56 198172672
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 11.4  6.63 200163328
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 11.0  6.53 198885376
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 11.4  6.78 200327168
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 11.0  6.64 199979008
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 11.3  6.67 199471104
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 11.7  6.86 198975488
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 11.1  6.62 199254016
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 11.2  6.79 198189056
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 180 71800 66400 178360393728
    correct results 53 2440 1940 27497197568
        correct true 28 646 412 13467189248
        correct false 25 1800 1530 14030008320
    incorrect results 10 775 610 8725364736
        incorrect true 0
        incorrect false 10 775 610 8725364736
score (180 tasks, max score: 270) -79
Run set sv-comp19_prop-memsafety.MemSafety-Heap