Contents

Introduction

• What is ATP?
• What is ATP Used For?
• Some Impressive Achievements
• But it's Hard
• Aims and Motivations

Performance Data

• The TPTP Problem Library
• Specialist Problem Classes
• System and Problem Rating

Progress in ATP

• SOTA System Performance, part I
• Exponential Curve Fitting
• SOTA System Performance, part II
• Problems Solved for the First Time
• Decreasing Problem Ratings
• CASC Fixed Points

Conclusion