Една от опциите би била да направите zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number
(променете Long.MAX_VALUE на каквато и да е разумна най-висока възможна стойност за вашата времева марка - Подписаното 64-битово int ще съхранява милисекунди на стойност около 300 милиона години, така че може да не е необходимо)
РЕДАКТИРАНЕ:Не забравяйте да добавите водещи нули :)