2021

verifyThis 2021 was organized by Siddharth Krishna and Wytse Oortwijn.

The competition report can be found Downloadhere (PDF, 433 KB)

Challenges

Challenge 1
DownloadLexicographic Permutations (PDF, 105 KB)

Challenge 2
DownloadDLL to BST (PDF, 204 KB)

Challenge 3
DownloadShearsort (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