Conclusion

TPTP

• Has overcome the weaknesses of previously existing collections
• Is the de facto standard for testing 1st order ATP systems

CASC

• Meaningful public evaluation of ATP systems
• Effectively stimulates development of decent systems

SSCPA

• Easily maintained superiority
• Simple interface to ATP technology