Conclusion

• Fulfilled the main aims and motivations
  • Evaluated the relative abilities of current ATP systems
  • Stimulated development of and interest in ATP systems

• Development efforts have received public recognition
  • Provided exposure for system builders ... both within and beyond the community
  • Provided an overview of the implementation state of running, fully automatic, first order ATP systems
  • Trophies were presented at the banquet

• A year of great improvements!

• See all the details online at http://tptp.org/CASC/J5

• Next year ...
  • TFA competition division
  • Question answering in LTB division
  • THF model finding division ... maybe
  • Another great T-shirt
  • Your Prover (You)