Leaderboards

Earliness + hit-rate, scored the same way for every category.