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 17:26:43 CEST
Run set pea_to_boogie.All
Options ${inputfile_path_abs}/${inputfile_name}.xml
status cputime (s) walltime (s) memUsage
ACC_110302.old.req unknown .892 .604 57524224
Benchmark1_ext.old.req unknown 1.08  .651 69025792
Benchmark2_ext.old.req unknown 402     355     2849865728
Evehicle.old.req unknown .827 .507 62263296
Evehicle_extended.old.req unknown 3.45  2.45  228343808
HMI.old.req unknown .831 .511 68538368
HMI_kurz.old.req unknown .683 .431 51949568
Lambda.old.req timeout 901     760     2162688000
Lambda.reqind_set_0.old.req unknown .386 .294 23814144
Lambda.reqind_set_1.old.req unknown .317 .250 22102016
Lambda.reqind_set_3.old.req unknown .354 .265 23146496
PCU_B_sample2_indSet.old.req unknown .511 .353 30916608
PCU_B_sample_2.old.req timeout 901     867     7936135168
Test.old.req unknown 225     217     1283780608
accreqs1.old.req unknown 22.7   16.8   792596480
accreqs1_extended.old.req unknown 1.07  .644 69120000
accreqs2.old.req unknown 363     323     2849845248
accreqs2_extended.old.req unknown 115     103     1169031168
accreqs3.old.req unknown 91.1   84.6   3524501504
accreqs4.old.req unknown 1.18  .715 78221312
acctest3.old.req unknown 1.97  1.27  83611648
exampleDeadlock.old.req unknown .704 .452 50937856
exampleDeadlock2.old.req unknown .393 .290 24195072
hybrid1.old.req unknown 137     131     6684250112
hybrid1_extended.old.req out of memory 777     765     8000000000
hybrid2.old.req unknown 12.8   9.53  561426432
hybrid2_extended.old.req unknown 774     765     1686433792
hybrid_comp7.old.req unknown 1.20  .680 68911104
testVacuous.old.req unknown .304 .230 21889024
status cputime (s) walltime (s) memUsage
total 29 4740 4410 40535064576
local summary 2510 868
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set pea_to_boogie.All