verifyThis 2021 was organized by Siddharth Krishna and Wytse Oortwijn.
The competition report can be found here (PDF, 433 KB).
Challenge 1
Lexicographic Permutations (PDF, 105 KB)
Challenge 2
DLL to BST (PDF, 204 KB)
Challenge 3
Shearsort (PDF, 123 KB)
Click on the team name to get to their solutions:
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