Conclusion

Fulfilled the Objectives

• Evaluated the relative abilities of ATP systems
• Stimulated development and use of ATP systems

Highlights

• Almost complete proof and model output
• Few unique solutions by non-winners - portfolios less useful
• Some interesting new systems
• A real-world challenge in the SLH division
• Another fascinating LTB division

Cons and Pros

Next Year

• The Return of the Jedi (the TFA Division)
• Another great T-shirt
• Your Prover (You)