e_stratpar man page

e_stratpar — manual page for e_stratpar 2.3-DEBUG Gielle

Synopsis

e_stratpar [options] [file]

Description

e_stratpar 2.3-DEBUG "Gielle"

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

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

Info

July 2019 e_stratpar 2.3-DEBUG Gielle