2022

verifyThis 2022 was organized by Marie Farrell and Peter Lammich.

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

Challenges

Challenge 1
DownloadDownsampling a Point Cloud (PDF, 131 KB)

Challenge 2
DownloadMergesort with Runs (PDF, 121 KB)

Challenge 3
DownloadThe 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