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 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-memsafety.MemSafety-Heap sv-comp19_prop-memsafety.MemSafety-Heap
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
memsafety/960521-1_false-valid-deref.i timeout 900    871    889053184 timeout 901    868    957042688
memsafety/test-0137_false-valid-deref.i error (7) 14.1  7.89 225378304 error (7) 13.7  7.77 219201536
memsafety/test-0235_false-valid-deref.i timeout 900    880    1150390272 timeout 900    881    1158377472
memsafety/960521-1_false-valid-free.i timeout 900    866    932376576 timeout 900    868    941887488
memsafety/test-0158_false-valid-free.i false(valid-free) 12.4  7.26 397766656 false(valid-free) 14.0  7.98 402558976
memsafety/test-0232_false-valid-free.i false(valid-free) 711    670    1941970944 false(valid-free) 732    690    1903071232
memsafety/20020406-1_false-valid-memtrack.i timeout 900    886    1102610432 timeout 900    884    955015168
memsafety/20051113-1.c_false-valid-memtrack.i timeout 901    869    857329664 timeout 901    868    835514368
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 137    89.8  949272576 unknown 132    86.4  939528192
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 32.4  18.5  505053184 unknown 32.6  18.6  520892416
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 213    145    2792595456 unknown 213    148    2942210048
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 40.2  25.1  537755648 unknown 38.0  24.2  527937536
memsafety/test-0102_false-valid-memtrack.i error (7) 14.4  7.98 222818304 error (7) 14.2  7.95 222597120
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 21.0  11.9  309637120 unknown 19.9  11.5  307503104
memsafety/test-0220_false-valid-memtrack.i timeout 901    867    868945920 timeout 901    861    952426496
memsafety/test-0232_false-valid-memtrack.i unknown 80.9  56.8  709525504 unknown 78.1  54.1  710631424
memsafety/test-0234_false-valid-memtrack.i timeout 900    883    2176675840 timeout 900    884    2235658240
memsafety/test-0235_false-valid-memtrack.i timeout 900    884    891121664 timeout 900    883    1160773632
memsafety/960521-1_true-valid-memsafety.i timeout 900    867    1032564736 timeout 900    870    1020743680
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 901    783    7765884928 timeout 901    788    7548313600
memsafety/test-0019_true-valid-memsafety_true-termination.i true 29.5  19.2  656310272 true 29.2  19.2  689885184
memsafety/test-0102_true-valid-memsafety.i error (7) 13.7  7.67 225447936 error (7) 13.2  7.51 221290496
memsafety/test-0134_true-valid-memsafety.i error (7) 13.6  7.72 223535104 error (7) 13.3  7.52 222720000
memsafety/test-0158_true-valid-memsafety_true-termination.i true 12.5  7.20 344227840 true 12.5  7.14 348467200
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 901    857    1989115904 timeout 901    856    1957249024
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 900    861    1543950336 timeout 900    861    1575014400
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 901    852    1952530432 timeout 901    855    2083737600
memsafety/test-0219_true-valid-memsafety.i timeout 900    867    868524032 timeout 900    865    961339392
memsafety/test-0232_true-valid-memsafety.i timeout 901    846    1096773632 timeout 901    848    1086803968
memsafety/test-0234_true-valid-memsafety.i timeout 900    883    1003520000 timeout 900    884    900235264
memsafety/test-0235_true-valid-memsafety.i timeout 900    881    1720737792 timeout 900    878    2197770240
memsafety/test-0236_true-valid-memsafety.i timeout 900    870    1132347392 timeout 901    878    1769877504
memsafety/test-0237_true-valid-memsafety.i timeout 900    871    1008398336 timeout 900    879    937873408
memsafety/test-0504_true-valid-memsafety.i timeout 901    832    1852579840 timeout 900    832    1629741056
memsafety/test-0513_true-valid-memsafety.i timeout 901    806    2143797248 timeout 901    806    2227810304
memsafety/test-0521_true-valid-memsafety.i timeout 900    818    2371006464 timeout 900    821    2363236352
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 901    822    893378560 timeout 901    819    886734848
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900    806    1712365568 timeout 901    818    1023451136
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 901    833    1201602560 timeout 901    839    1037946880
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 901    858    1147973632 timeout 901    859    1150603264
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 901    863    2073706496 timeout 900    864    1614577664
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 901    866    1373155328 timeout 901    858    1676206080
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 901    831    2291961856 timeout 901    828    2614591488
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 901    867    1490653184 timeout 901    863    981278720
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 901    857    2056523776 timeout 901    842    1992306688
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 901    856    3269550080 timeout 901    852    3211821056
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 901    807    817913856 timeout 901    807    818905088
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900    854    982265856 timeout 900    853    1034854400
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900    876    1737752576 timeout 900    876    2016870400
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-free) 59.7  37.2  730533888 false(valid-free) 57.3  36.1  706191360
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 901    797    795783168 timeout 901    792    850247680
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 901    849    1061175296 timeout 900    845    998510592
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900    878    1333534720 timeout 900    874    1375309824
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 901    858    1500676096 timeout 901    857    2463219712
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 901    862    1412042752 timeout 901    861    1169780736
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.1  10.0  491483136 false(valid-deref) 16.5  9.71 500895744
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 901    783    1488691200 timeout 901    784    1314164736
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 14.3  8.46 459419648 false(valid-deref) 14.3  8.48 455675904
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 18.4  10.8  511156224 false(valid-free) 19.7  11.5  513200128
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.3  7.24 377171968 false(valid-free) 12.5  7.34 379625472
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 156    128    832921600 unknown 159    130    834375680
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  317227008 unknown 20.7  12.0  319356928
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 85.0  61.3  750542848 unknown 87.6  63.3  722268160
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900    886    875909120 timeout 900    886    849936384
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900    787    2137563136 timeout 901    801    2219786240
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 901    797    2066669568 timeout 901    795    2180759552
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 901    834    2413891584 timeout 901    837    2158927872
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 50.2  35.5  745127936 true 49.8  35.2  735375360
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.5  7.24 350941184 true 13.0  7.57 351088640
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900    862    1389187072 timeout 901    860    1477828608
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 901    819    1060823040 timeout 901    818    1081663488
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 901    863    1160929280 timeout 901    861    1197301760
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 901    835    2292301824 timeout 901    848    1087246336
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 901    819    2177802240 timeout 901    820    2395009024
memory-alloca/c.03-alloca_true-valid-memsafety.i true 14.0  8.09 430542848 true 13.7  7.95 417554432
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.3  6.09 282595328 false(valid-deref) 10.1  5.97 276119552
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 11.4  6.78 298934272 false(valid-deref) 10.7  6.45 295112704
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.27 4.95 246116352 false(valid-deref) 8.58 5.07 248582144
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.58 5.18 249950208 false(valid-deref) 8.08 4.94 249753600
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 901    793    4686942208 timeout 900    793    4698292224
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 901    791    4688392192 false(valid-deref) 896    784    4692307968
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.01 4.89 251387904 false(valid-deref) 8.15 4.83 246849536
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.45 5.04 252428288 false(valid-deref) 8.08 4.87 245678080
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.69 4.63 241917952 false(valid-deref) 7.43 4.52 245387264
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.55 4.64 245223424 false(valid-deref) 7.92 4.79 248717312
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.94 4.83 246788096 false(valid-deref) 7.90 4.72 248295424
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.73 4.65 245407744 false(valid-deref) 7.49 4.63 246124544
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 901    853    2123513856 timeout 901    854    2269659136
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 36.7  27.9  582762496 true 38.4  28.8  579358720
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 31.5  19.3  596713472 true 29.9  18.6  595136512
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 24.2  15.0  566865920 true 23.9  14.8  571580416
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 27.4  16.3  565739520 true 26.3  15.7  570277888
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 28.1  17.1  585465856 true 25.6  16.0  574992384
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 12.5  7.31 354742272 true 12.3  7.26 366825472
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 12.5  7.28 354369536 true 12.4  7.16 359895040
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.44 4.55 245977088 true 7.81 4.73 248791040
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 11.6  6.99 315170816 true 11.5  7.08 310521856
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 11.5  6.99 312246272 true 10.9  6.74 304443392
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.7  7.21 319680512 true 11.3  6.95 317427712
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 11.8  7.15 315072512 true 11.4  7.03 315895808
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 11.5  7.06 316923904 true 11.7  7.19 318914560
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 11.5  7.05 313454592 true 10.9  6.69 311136256
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 14.3  8.12 233680896 error (7) 14.1  7.94 226742272
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 901    840    2281865216 timeout 901    841    2464608256
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 900    833    2865274880 timeout 901    832    2692771840
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 177    160    756637696 false(valid-deref) 198    181    788615168
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 76.8  53.3  882114560 timeout 901    865    1129299968
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 229    196    818106368 false(valid-free) 241    207    813031424
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 901    830    956129280 timeout 901    821    1085026304
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 196    161    2253983744 false(valid-free) 245    204    2227855360
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 176    149    815546368 false(valid-free) 206    175    828502016
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 14.2  7.98 395845632 false(valid-free) 13.2  7.52 376709120
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.5  6.57 350179328 false(valid-free) 11.5  6.57 338550784
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 30.3  17.7  594587648 false(valid-free) 27.8  16.4  629727232
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 14.4  8.31 423288832 false(valid-free) 16.3  9.17 448593920
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 901    844    909000704 timeout 901    850    868691968
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i timeout 901    845    833957888 timeout 901    850    1383723008
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 216    194    745844736 unknown 223    201    751620096
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 778    716    939487232 unknown 577    518    951595008
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 14.1  7.95 225427456 error (7) 14.3  8.10 225267712
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 15.3  8.41 228737024 error (7) 15.2  8.38 230522880
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900    864    1273634816 timeout 901    854    830582784
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-free) 14.9  8.56 411656192 false(valid-free) 13.7  8.00 400408576
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 27.2  15.2  389636096 unknown 26.2  14.8  385826816
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-free) 215    175    2243047424 false(valid-free) 245    208    2283585536
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 901    836    977518592 timeout 901    826    936595456
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 49.5  30.2  521625600 unknown 49.1  31.1  521478144
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 901    844    929869824 timeout 901    845    891060224
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout 901    845    871178240 unknown 350    310    1034264576
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 24.8  14.0  382672896 unknown 25.2  14.2  361967616
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 28.4  16.1  421871616 unknown 28.9  16.3  408440832
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 25.0  14.2  393650176 unknown 24.0  13.7  373706752
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 424    371    1337868288 unknown 431    379    1322799104
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 101    76.1  1135845376 unknown 82.5  57.6  1023344640
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 444    394    1331388416 unknown 435    383    1374941184
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-free) 14.1  8.02 414347264 false(valid-free) 13.6  7.82 397127680
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 26.9  15.1  384761856 unknown 24.7  14.0  362680320
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 29.5  16.6  432349184 unknown 27.9  16.0  404430848
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 184    162    645296128 unknown 190    170    616280064
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 160    139    657842176 unknown 157    137    626515968
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 138    118    541196288 unknown 119    102    537112576
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 24.4  14.0  379502592 unknown 25.4  14.4  375156736
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 27.8  15.9  427659264 unknown 27.3  15.5  414089216
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 25.8  14.7  396587008 unknown 24.7  14.0  366940160
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 901    848    905093120 timeout 901    849    902365184
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 901    851    1323020288 timeout 901    857    1337176064
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 901    826    976330752 timeout 901    823    960872448
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 118    84.6  949317632 true 119    88.3  968962048
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 14.6  8.21 225579008 error (7) 14.5  8.03 225189888
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 900    869    1168973824 timeout 900    864    1212272640
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i false(valid-free) 16.0  9.14 474144768 false(valid-free) 14.5  8.30 433070080
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i false(valid-free) 209    171    2180685824 false(valid-free) 248    212    2606014464
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i false(valid-free) 46.3  28.9  725667840 false(valid-free) 43.0  27.1  713330688
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 901    863    1095110656 timeout 901    843    962818048
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 901    844    789819392 timeout 901    844    806690816
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i false(valid-free) 13.6  7.65 384684032 false(valid-free) 13.0  7.40 371077120
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 18.6  11.0  524779520 true 18.9  11.1  514248704
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.9  10.4  520466432 true 17.8  10.4  517324800
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 901    835    2648166400 timeout 901    833    2795212800
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 901    830    2393915392 timeout 901    830    2619965440
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 901    814    2557743104 timeout 901    818    2517266432
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 172    156    758697984 false(valid-deref) 197    180    787951616
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 901    824    1344720896 timeout 901    860    1294417920
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 16.0  9.29 467197952 true 15.2  8.80 459735040
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i false(valid-free) 13.8  7.85 401899520 false(valid-free) 13.9  7.91 400195584
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 16.9  9.92 530853888 true 16.4  9.73 500482048
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 29.6  17.6  618610688 true 30.0  17.7  623382528
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 26.9  16.1  625844224 true 26.4  15.6  609767424
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 17.1  9.62 476844032 true 15.2  8.74 467636224
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 16.4  9.45 480940032 true 16.8  9.53 467460096
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 11.4  6.79 198004736 error (7) 12.0  6.98 198762496
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 11.0  6.56 198172672 error (7) 11.3  6.76 196964352
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 11.4  6.63 200163328 error (7) 11.6  6.74 201719808
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 11.0  6.53 198885376 error (7) 11.6  6.77 194568192
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 11.4  6.78 200327168 error (7) 12.2  7.02 197906432
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 11.0  6.64 199979008 error (7) 11.6  6.75 198152192
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 11.3  6.67 199471104 error (7) 11.7  6.89 198230016
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 11.7  6.86 198975488 error (7) 11.9  6.88 198447104
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 11.1  6.62 199254016 error (7) 11.0  6.71 200269824
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 11.2  6.79 198189056 error (7) 11.7  6.75 201252864
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 180 71800 66400 178360393728 180 72100 66700 179178409984
    correct results 53 2440 1940 27497197568 53 3390 2790 31266107392
        correct true 28 646 412 13467189248 28 638 412 13416566784
        correct false 25 1800 1530 14030008320 25 2750 2380 17849540608
    incorrect results 10 775 610 8725364736 10 860 702 9098952704
        incorrect true 0 0
        incorrect false 10 775 610 8725364736 10 860 702 9098952704
score (180 tasks, max score: 270) -79 -79
Run set sv-comp19_prop-memsafety.MemSafety-Heap sv-comp19_prop-memsafety.MemSafety-Heap