| Tool | ULTIMATE Automizer 0.1.24-a613b84a | |||
| Limits | timelimit: 9000 s, memlimit: 32000 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 14:30:22 CEST | |||
| Run set | Ultimate ReqAnalyzer.Big | |||
| 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 |
| all.new.req | unknown | 128 | 113 | 1323737088 |
| ../../../../re2019-exp/ | status | cputime (s) | walltime (s) | memUsage |
| total | 1 | 128 | 113 | 1323737088 |
| local summary | 128 | 114 | ||
| correct results | 0 | |||
| correct true | 0 | |||
| correct false | 0 | |||
| incorrect results | 0 | |||
| incorrect true | 0 | |||
| incorrect false | 0 | |||
| Run set | Ultimate ReqAnalyzer.Big | |||