2022
verifyThis 2022 was organized by Marie Farrell and Peter Lammich.
The competition report can be found Download here (PDF, 285 KB)
Challenges
Challenge 1
Download Downsampling a Point Cloud (PDF, 131 KB)
Challenge 2
Download Mergesort with Runs (PDF, 121 KB)
Challenge 3
Download The World’s Simplest Lock-Free Hash Set (PDF, 125 KB)
Prizes
Best Overall Team
Acid Jazz: Jonas Fiala, Thibault Dardinier
2nd place
VerCors Yellow: Robert Rubbens, Philip Tasche
and
Team CIVL: Stephen Siegel
Distinguished tool feature
Tool: Stainless
Used by team: assert(false): Noé De Santo, Mario Bucev