BENCHMARK INFORMATION benchmark definition: /storage/repos/ultimate/releaseScripts/default/benchexec/req_ultimate_req_analyzer.xml name: req_ultimate_req_analyzer run sets: Ultimate ReqAnalyzer.All date: Thu, 2019-04-04 17:46:34 CEST tool: ULTIMATE Automizer 0.1.24-a613b84a tool executable: ./Ultimate.py options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135155.56863999998 MB ------------------------------------------------------------ Ultimate ReqAnalyzer.All Run set 1 of 1 with 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' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------ Benchmark1_ext.new.req unknown 14.85 8.22 None Benchmark2_ext.new.req unknown 20.49 11.60 None Evehicle.new.req unknown 32.54 17.98 None Evehicle_extended.new.req unknown 35.33 19.67 None HMI.new.req unknown 14.01 8.04 None HMI_kurz.new.req unknown 13.04 7.71 None Lambda.new.req TIMEOUT 900.77 816.70 None PCU_B_sample2_indSet.new.req unknown 4.50 2.61 None PCU_B_sample_2.new.req unknown 107.26 87.62 None accreqs1.new.req unknown 23.41 13.13 None accreqs1_extended.new.req unknown 12.43 7.02 None accreqs2.new.req unknown 22.62 12.63 None accreqs2_extended.new.req unknown 19.48 11.19 None accreqs3.new.req unknown 34.77 21.81 None accreqs4.new.req unknown 13.98 7.80 None acctest3.new.req unknown 14.84 8.19 None exampleDeadlock.new.req unknown 23.80 13.38 None exampleDeadlock2.new.req unknown 325.34 305.89 None hybrid1.new.req unknown 16.55 9.33 None hybrid1_extended.new.req unknown 20.31 11.18 None hybrid2.new.req unknown 29.03 16.22 None hybrid2_extended.new.req unknown 363.08 318.65 None hybrid_comp7.new.req unknown 114.67 93.86 None ------------------------------------------------------------------------------------------ Run set 1 done 1868.61 817.66 - Statistics: 23 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 23