Leaderboard

Rankings by solved puzzle count, with average time as the tie-breaker.