Tool ULTIMATE Automizer 0.1.24-a613b84a
Limits timelimit: 180 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 14:49:27 CEST
Run set Ultimate ReqAnalyzer.Paper
Options -tc /storage/repos/ultimate/trunk/examples/toolchains/ReqCheck.xml -s /storage/repos/ultimate/trunk/examples/settings/reqanalyzer/reqanalyzer-nonlin.epf --traceabstraction.limit.analysis.time 300 --pea2boogie.always.use.all.invariants.during.rt-inconsistency.checks true --pea2boogie.check.vacuity true --pea2boogie.check.consistency true --pea2boogie.check.rt-inconsistency true --pea2boogie.report.trivial.rt-consistency false --pea2boogie.rt-inconsistency.range 2
../../../../../re2019-exp/ status cputime (s) walltime (s) memUsage
accreqs1_extended.new.req unknown 13.9 8.19 223490048
accreqs1.new.req unknown 22.8 13.0  357158912
accreqs2_extended.new.req unknown 20.8 11.6  368746496
accreqs3.new.req unknown 45.1 31.1  638857216
accreqs4.new.req unknown 12.7 7.24 248004608
Evehicle_extended.new.req unknown 26.7 15.2  484835328
Evehicle.new.req unknown 31.7 17.5  495624192
HMI_kurz.new.req unknown 13.9 8.03 273219584
hybrid1_extended.new.req unknown 20.7 11.5  331771904
hybrid1.new.req unknown 18.1 9.92 283901952
hybrid2.new.req unknown 30.6 16.8  391389184
hybrid_comp7.new.req unknown 120   98.2  954302464
../../../../../re2019-exp/ status cputime (s) walltime (s) memUsage
total 12 377 248   5051301888
local summary 377 98.6
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set Ultimate ReqAnalyzer.Paper