In the event of a tie between players, the winner will be the one who first collected all his badges. This means that badges obtained during the group stage will weigh more than those in the final. If there is still a tie after applying the previous rule, the bet time (upvote) of the players will decide, the winner being the first to have made their bet (upvote).
