Leaderboard for Reddit

Rankings for normal_objective