Tool pea_to_boogie LEGACY
Limits timelimit: 9000 s, memlimit: 32000 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-04-05 14:30:42 CEST
Run set pea_to_boogie.Big
Options ${inputfile_path_abs}/${inputfile_name}.xml
status cputime (s) walltime (s) memUsage
all.old.req timeout 9000 8860 8370184192
status cputime (s) walltime (s) memUsage
total 1 9000       8860 8370184192
local summary .00810 8860
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set pea_to_boogie.Big