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-MemCleanup sv-comp19_prop-memsafety.MemSafety-MemCleanup
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i true 28.0 17.5  596299776 true 27.7 17.8  602058752
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i timeout 900   854    1113206784 timeout 901   854    1078554624
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i timeout 901   862    1112936448 timeout 901   861    1129889792
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i true 40.9 25.5  673554432 true 43.7 27.4  681914368
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i timeout 901   845    1342111744 timeout 901   834    1564364800
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i timeout 901   855    1160183808 timeout 900   858    1143300096
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i timeout 901   838    966864896 timeout 901   834    1048829952
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i timeout 901   820    759525376 timeout 901   818    767090688
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i timeout 901   807    1996443648 timeout 901   809    1957044224
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i timeout 900   829    929636352 timeout 901   817    929886208
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i timeout 900   780    971304960 timeout 901   779    972214272
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 900   797    1003048960 timeout 901   798    993026048
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i timeout 901   807    2338983936 timeout 901   806    2275962880
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i timeout 901   803    2087874560 timeout 901   818    2182696960
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i timeout 901   786    2026856448 timeout 901   800    992325632
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i timeout 901   828    2222993408 timeout 901   818    1041920000
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i timeout 901   814    1065930752 timeout 901   802    943247360
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i timeout 901   797    1973977088 timeout 901   809    1959628800
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i timeout 901   796    1834815488 timeout 901   793    1538162688
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 900   800    977862656 timeout 901   799    972808192
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i timeout 901   831    2226577408 timeout 901   839    2686615552
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i true 35.9 23.8  684720128 true 35.9 23.7  669122560
list-properties/list_false-unreach-call_false-valid-memcleanup.i false(valid-memtrack) 16.8 10.2  512323584 false(valid-memtrack) 16.5 9.91 520720384
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i false(valid-memtrack) 11.8 6.74 333914112 false(valid-memtrack) 11.7 6.70 316915712
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i true 481   445    837087232 true 491   452    842493952
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i timeout 901   856    1713655808 timeout 901   850    1426153472
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false(valid-memtrack) 15.7 9.37 497397760 false(valid-memtrack) 15.9 9.46 481034240
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false(valid-memtrack) 12.0 6.99 329506816 false(valid-memtrack) 12.2 6.97 345108480
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i timeout 901   834    1227907072 timeout 901   837    1276256256
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i timeout 901   846    1201602560 timeout 901   836    1194049536
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i timeout 901   850    838610944 timeout 901   851    813682688
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i timeout 900   883    892100608 timeout 901   878    771346432
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 32 22300 20400 38449815552 32 22300 20400 36118425600
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 4 586 512 2791661568 4 598 521 2795589632
        incorrect true 4 586 512 2791661568 4 598 521 2795589632
        incorrect false 0 0
score (32 tasks, max score: 32) -128 -128
Run set sv-comp19_prop-memsafety.MemSafety-MemCleanup sv-comp19_prop-memsafety.MemSafety-MemCleanup