When we stopped the servers, it took a few minutes for the servers to actually stop running matches. We are using the leaderboard as you see it in its current state for the competitions. Fortunately, the same 10 players are in your screenshot and the current leaderboard, so hopefully nobody is to upset about the re-ordering.
If multiple players get the same number of wins, the winner will be the player with the most wins amongst that subset of players. Further ties follow that step recursively until no players are removed from the subset. In such a case, the highest Elo player will move up.
Sorry if I did not communicate the above, I thought it was in the details above, but it is described incorrectly as we did not account for 3 way ties in the round robin group. Ill just remove it for now.
Sorry about reduced communication on an important day for terminal, i’m on vacation rn.