Index of /LNF/linux/ubuntu/focal/LNFeprover/reloc/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP
Name Last modified Size Description
Parent Directory -
Axioms/ 2020-10-27 20:39 -
BOO006-1.p 2020-07-28 22:03 1.7K
BOO010-2.p 2020-07-28 22:03 1.4K
CAT004-4.p 2020-07-28 22:03 2.1K
COL042-8.p 2020-07-28 22:03 2.1K
CSR036+2.p 2020-07-28 22:03 2.6K
GEO288+1.p 2020-07-28 22:03 135K
GRP237-1.p 2020-07-28 22:03 5.8K
HEN011-2.p 2020-07-28 22:03 3.3K
LCL365-1.p 2020-07-28 22:03 2.0K
MGT063+1.p 2020-07-28 22:03 6.9K
PLA012-1.p 2020-07-28 22:03 1.8K
PUZ028-6.p 2020-07-28 22:03 3.6K
SET183-6.p 2020-07-28 22:03 2.5K
SET844-1.p 2020-07-28 22:03 3.2K
SEU027+1.p 2020-07-28 22:03 6.6K
SWB008+1.p 2020-07-28 22:03 2.0K
SWB030+3.p 2020-07-28 22:03 1.8K
SWC078-1.p 2020-07-28 22:03 2.8K
SWV851-1.p 2020-07-28 22:03 151K
SWW194+1.p 2020-07-28 22:03 347K
SYN190-1.p 2020-07-28 22:03 1.4K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80