Conclusion

• Fulfilled the main aims and motivations
  • Evaluated the relative abilities of ATP systems
  • Stimulated development and use of ATP systems

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

• Next year ...
  • Run on StarExec
  • No paaaainful system installation
  • Focus on TFA division (Intersection with SMT-COMP?)
  • Another great T-shirt, Automated gambling
  • Your Prover (You)