Tool pea_to_boogie LEGACY
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-04-04 15:43:16 CEST
Run set pea_to_boogie.Paper
Options ${inputfile_path_abs}/${inputfile_name}.xml
status cputime (s) walltime (s) memUsage
accreqs1_extended.old.req unknown 1.08  .656 69468160
accreqs1.old.req unknown 21.1   15.8   791642112
accreqs2_extended.old.req unknown 109     97.2   1169010688
accreqs3.old.req unknown 92.6   85.3   3524440064
accreqs4.old.req unknown 1.45  .887 75415552
Evehicle_extended.old.req unknown 3.22  2.24  232566784
Evehicle.old.req unknown .749 .468 56688640
HMI_kurz.old.req unknown .679 .426 52088832
hybrid1_extended.old.req out of memory 779     766     8000000000
hybrid1.old.req unknown 138     131     6684250112
hybrid2.old.req unknown 16.9   11.4   567222272
hybrid_comp7.old.req unknown 1.28  .724 69840896
status cputime (s) walltime (s) memUsage
total 12 1160 1110 21292634112
local summary 482 767
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set pea_to_boogie.Paper