Contents

Introduction

• What is ATP?
• What is ATP Used For?
• The Nature of ATP
• What is Required?
• Aims and motivations
  • For Evaluating ATP System
  • For Evaluating ATP Problems

Framework

• What ATP Systems are Considered?
  • Language
  • Automation and Solutions
  • Soundness and Completeness
• Criteria for Evaluation
• Resource Limit Independence
• What Problems should be Used?
  • Source of Problems
  • Encoding of Problems
  • Presentation of Problems
• Specialist Problem Classes

How Green is my Cactus?

• System Ranking by Subsumption
• The State-of-the-Art
• Problem Rating by SOTA
• Problem Rating by Rating Contributors
• System Rating by SOTA
• Resource Usage

Conclusion

• Use and Future Work