Your company here — click to reach over 10,000 unique daily visitors

e_stratpar - Man Page

manual page for e_stratpar 3.1.0-DEBUG Singbulli


e_stratpar [options] [file]


e_stratpar 3.1.0-DEBUG "Singbulli"

Run 8 instances of E with different strategies in parallel.


Print a short description of program usage and options.
Print the version number of the prover. Please include this with all bug reports (if any).
Limit the cpu time the prover should run. The optional argument is the CPU time in seconds. The option without the optional argument is equivalent to --cpu-limit=300.

Reporting Bugs

Report bugs to <schulz@eprover.org>. Please include the following, if possible:

* The version of the package as reported by eprover --version.

* The operating system and version.

* The exact command line that leads to the unexpected behaviour.

* A description of what you expected and what actually happened.

* If possible all input files necessary to reproduce the bug.


May 2024 e_stratpar 3.1.0-DEBUG Singbulli