Real Implementation
Suite of Publicly Available Systems
- Database for suite
- Implicit links between
TPTP results collection and database
- SSCPA is always as up-to-date as the database and results
Scripts
- Extract system recommendations
- Control the parallel execution
-
tptp2X
to convert to systems' input formats