Contents

Introduction

• The Bad Old Days
• Summary
• A Brief History
• Sample Problems
• Domains

Growth of the TPTP

• Problem Sources
• Releases
• Growth
• Statistics @ v7.3.0

Inside the TPTP

• Axiomatizations
• The TPTP Language
• The SZS Ontologies
• Specialist Problem Classes
• Problem Ratings
• Documents

Conclusion

• The Good New Days
• Progress in ATP
• The Future of the TPTP

The End - Questions?