e_stratpar - Man Page

manual page for e_stratpar 2.6-DEBUG Floral Guranse


e_stratpar [options] [file]


e_stratpar 2.6-DEBUG "Floral Guranse"

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 happend.

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


July 2023 e_stratpar 2.6-DEBUG Floral Guranse