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-LinkedLists sv-comp19_prop-memsafety.MemSafety-LinkedLists
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 787   748    1170735104 timeout 901   861    1127067648
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1 787 748 1170735104 1 901 861 1127067648
    correct results 1 787 748 1170735104 0
        correct true 1 787 748 1170735104 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (1 tasks, max score: 2) 2 0
Run set sv-comp19_prop-memsafety.MemSafety-LinkedLists sv-comp19_prop-memsafety.MemSafety-LinkedLists