- 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://www.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)