Conclusion
Users can easily and quickly submit a problem
- In TPTP syntax
- To an appropriate ATP system
User absolved of responsibilities and chores
- Selecting systems
- Installing systems
- Tranforming and formatting problems
- Controlling system execution
For users focusing on problem content
- Not for batch use
- Not for dedicated use of a particular system
Developers are invited to submit their systems