Leaderboard

Ranked by score, solved count, then fewer submissions.