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/J11

• Next year ...
  • Another great T-shirt
  • Your Prover (You)

• CASC-J11 is in memory of Christian Suttner, 2/11/64 - 1/2/22.