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-05 11:56:18 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
ACC_110302.new.req unknown 9.26 5.38 197775360
Benchmark1_ext.new.req unknown 13.8  7.95 277172224
Benchmark2_ext.new.req unknown 19.0  10.7  395227136
Evehicle.new.req unknown 25.9  14.7  461504512
Evehicle_extended.new.req unknown 43.1  25.0  707964928
HMI.new.req unknown 13.0  7.44 269615104
HMI_kurz.new.req unknown 13.3  7.92 267362304
Lambda.new.req timeout 901    810    2940059648
Lambda.reqind_set_0.new.req unknown 8.78 5.01 196804608
Lambda.reqind_set_1.new.req unknown 8.01 4.79 209784832
Lambda.reqind_set_3.new.req unknown 13.4  7.53 247652352
PCU_B_sample2_indSet.new.req unknown 4.61 2.48 132423680
PCU_B_sample_2.new.req unknown 90.5  68.9  876335104
Test.new.req unknown 19.9  11.2  365264896
accreqs1.new.req unknown 23.0  12.6  422199296
accreqs1_extended.new.req unknown 12.5  7.01 261517312
accreqs2.new.req unknown 19.6  11.0  335581184
accreqs2_extended.new.req unknown 19.5  10.9  386560000
accreqs3.new.req unknown 34.8  21.9  793640960
accreqs4.new.req unknown 13.2  7.43 239579136
acctest3.new.req unknown 12.9  7.21 239308800
exampleDeadlock.new.req unknown 25.4  14.1  304467968
exampleDeadlock2.new.req unknown 333    306    1116065792
hybrid1.new.req unknown 18.8  10.4  286867456
hybrid1_extended.new.req unknown 19.2  10.7  323125248
hybrid2.new.req unknown 30.1  16.7  402796544
hybrid2_extended.new.req unknown 365    323    3591102464
hybrid_comp7.new.req unknown 226    194    898519040
testVacuous.new.req unknown 9.00 5.16 199401472
../../../../re2019-exp/ status cputime (s) walltime (s) memUsage
total 29 2350 1950 17345679360
local summary 2200 811
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set Ultimate ReqAnalyzer.All