This page contains links to the solutions developed by participants during the competition, and polished afterwards. Solutions may be updated as time goes on.

• Jean-Christophe Filliâtre & Guillaume Melquiond (Why3)
• Gidon Ernst & Jörg Pfähler (KIV)
• Nadia Polikarpova & Carlo A. Furia (AutoProof): relaxed prefix, gcd, dancing lists
• Rustan Leino (Dafny)
• Jan Friso Groote (mCRL2), attached to this page: relaxed prefix, gcd, dancing lists