e_stratpar - Man Page

manual page for e_stratpar 3.1.0-DEBUG Singbulli

Synopsis

e_stratpar [options] [file]

Description

e_stratpar 3.1.0-DEBUG "Singbulli"

Run 8 instances of E with different strategies in parallel.

Options

-h
--help
Print a short description of program usage and options.
-V
--version
Print the version number of the prover. Please include this with all bug reports (if any).
--cpu-limit[=<arg>]
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.

Info

July 2024 e_stratpar 3.1.0-DEBUG Singbulli