Leaderboard

Ranking follows each group's best submission. Ties go to the group that reached the score first.