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