I think the leaderboard would make sense if tied ratings were given the same rank. At this point, the top 30th and 31st debaters have the same exact rating point, but one is ranked lower than the other for no reasonable origin, hmm...
I would think that ratings of [2000, 1743, 1698, 1698, 1500, 1500, 1482] would have ranks [1,2,3,3,5,5,7] relatively as so on.