Leaderboards

Each person's best score. Times count when lower is better.