TSTP Organization
- TPTP Physical Organization
- Solutions directory - Domain directories - Problem
directories - System solution files
- Tools - Maintenance tools (not publicly available)
- File Naming
- Solution file names of the form
SystemName---SystemVersion.SZS-OUT.R
- SystemName - System name
- EM>SystemVersion - System version number
- SZS -
SZS
result status
- OUT -
SZS
output type
- .R - Result status indicator, s for success,
f for no success (failure)
- TSTP Content
- Systems run on problems that they might solve "in principle"
- IAP SZS result status if cannot solve "in principle"
- Updated with newest available versions of systems
- Updated with changes of systems' command line, input format
- Updated with improved CPU limit, hardware
- Updated with new and bugfixed problems