2021
verifyThis 2021 was organized by Siddharth Krishna and Wytse Oortwijn.
The competition report can be found Download here (PDF, 433 KB)
Challenges
Challenge 1
Download Lexicographic Permutations (PDF, 105 KB)
Challenge 2
Download DLL to BST (PDF, 204 KB)
Challenge 3
Download Shearsort (PDF, 123 KB)
Prizes
Best overall team
YYY (Jean-Christophe Filliâtre and Andrei Paskevich)
Best student team, first place (two awards)
KIV (Martin Bitterlich and Stefan Bodenmüller)
Les Ancients (Quentin Garchery and Xavier Denis)
Best student team, second place
MEVA (Marco Eilers and Vytautas Astrauskas)
Tool used by most teams
Viper
Most distinguished tool feature
RefinedC