Tool ULTIMATE Automizer 0.1.24-a613b84a
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:46:34 CEST
Run set Ultimate ReqAnalyzer.All
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
Benchmark1_ext.new.req unknown 14.9  8.22 283906048
Benchmark2_ext.new.req unknown 20.5  11.6  378740736
Evehicle.new.req unknown 32.5  18.0  485126144
Evehicle_extended.new.req unknown 35.3  19.7  532566016
HMI.new.req unknown 14.0  8.04 239837184
HMI_kurz.new.req unknown 13.0  7.71 274440192
Lambda.new.req timeout 901    817    3079659520
PCU_B_sample2_indSet.new.req unknown 4.50 2.61 131096576
PCU_B_sample_2.new.req unknown 107    87.6  960069632
accreqs1.new.req unknown 23.4  13.1  474664960
accreqs1_extended.new.req unknown 12.4  7.02 270385152
accreqs2.new.req unknown 22.6  12.6  401231872
accreqs2_extended.new.req unknown 19.5  11.2  300994560
accreqs3.new.req unknown 34.8  21.8  724692992
accreqs4.new.req unknown 14.0  7.80 243286016
acctest3.new.req unknown 14.8  8.19 243326976
exampleDeadlock.new.req unknown 23.8  13.4  324644864
exampleDeadlock2.new.req unknown 325    306    1184886784
hybrid1.new.req unknown 16.6  9.33 274829312
hybrid1_extended.new.req unknown 20.3  11.2  328810496
hybrid2.new.req unknown 29.0  16.2  442953728
hybrid2_extended.new.req unknown 363    319    1847496704
hybrid_comp7.new.req unknown 115    93.9  894345216
../../../../re2019-exp/ status cputime (s) walltime (s) memUsage
total 23 2180 1830 14321991680
local summary 1870 818
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set Ultimate ReqAnalyzer.All