1E_STRATPAR(1)                    User Commands                   E_STRATPAR(1)
2
3
4

NAME

6       e_stratpar - manual page for e_stratpar 2.5-DEBUG Avongrove
7

SYNOPSIS

9       e_stratpar [options] [file]
10

DESCRIPTION

12       e_stratpar 2.5-DEBUG "Avongrove"
13
14       Run 8 instances of E with different strategies in parallel.
15

OPTIONS

17       -h
18
19       --help
20
21              Print a short description of program usage and options.
22
23       -V
24
25       --version
26
27              Print the version number of the prover. Please include this with
28              all bug reports (if any).
29
30       --cpu-limit[=<arg>]
31
32              Limit the cpu time the prover should run. The optional  argument
33              is  the CPU time in seconds. The option without the optional ar‐
34              gument is equivalent to --cpu-limit=300.
35

REPORTING BUGS

37       Report bugs to <schulz@eprover.org>. Please include the  following,  if
38       possible:
39
40       * The version of the package as reported by eprover --version.
41
42       * The operating system and version.
43
44       * The exact command line that leads to the unexpected behaviour.
45
46       * A description of what you expected and what actually happend.
47
48       * If possible all input files necessary to reproduce the bug.
49

51       Copyright  1998-2020  by  Stephan Schulz, schulz@eprover.org, and the E
52       contributors (see DOC/CONTRIBUTORS).
53
54       This program is a part of the distribution of  the  equational  theorem
55       prover E. You can find the latest version of the E distribution as well
56       as additional information at http://www.eprover.org
57
58       This program is free software; you can redistribute it and/or modify it
59       under  the  terms of the GNU General Public License as published by the
60       Free Software Foundation; either version 2 of the License, or (at  your
61       option) any later version.
62
63       This  program  is  distributed  in the hope that it will be useful, but
64       WITHOUT ANY  WARRANTY;  without  even  the  implied  warranty  of  MER‐
65       CHANTABILITY  or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
66       Public License for more details.
67
68       You should have received a copy of the GNU General Public License along
69       with this program (it should be contained in the top level directory of
70       the distribution in the file COPYING); if not, write to the Free  Soft‐
71       ware   Foundation,  Inc.,  59  Temple  Place,  Suite  330,  Boston,  MA
72       02111-1307 USA
73
74       The original copyright holder can be contacted via email or as
75
76       Stephan  Schulz  DHBW  Stuttgart  Fakultaet  Technik  Informatik  Rote‐
77       buehlplatz 41 70178 Stuttgart Germany
78
79
80
81e_stratpar 2.5-DEBUG Avongrove   January 2021                    E_STRATPAR(1)
Impressum