SystemOnTPTP - ATP Systems and Tools

How do TPTP Problems get Solved?

The Basic Components

• ATP is CPU bound, so get a BIG computer
• Systems' IO and execution interfaces
• The user will choose the system

The Processing Steps

• Prepare the problem for the system
• Control the execution of the system
• Postprocess the output from system

Packaging

• Hide it all from the application driven user

Utility available online at tptp.org/TPTPWorld.tgz

• As part of the TPTPWorld package