reliable_newton_237 Read 'Format and Difficulty' in the overview: 'If there is a tie between two participants, the one whose last productive submission (i.e., a submission that added at least one point) was made earlier will be ranked higher in the leaderboard.'