The TPTP World - Status Quo

Lots of Components

• The TPTP problem library
• The TSTP solution library
• The TPTP languages and SZS ontologies
• The SystemOnTPTP (etc.) services
• The CADE ATP System Competition (CASC)
• An integral part of our community

Funding

• NSF grants for the TPTP
• NSF grants for StarExec
• EU grant for THF
• Donations from users
• NSF proposal for expansion and modernisation declined

Crisis, What Crisis?

• No crisis that requires immediate action
• Long term need for community support