Is it possible to know how much of the available data (percentage) is used for the public leaderboard?