Also sort the problems on the leaderboard.