Jednou z možností by bylo zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number (změňte Long.MAX_VALUE na jakoukoli rozumně nejvyšší možnou hodnotu pro vaše časové razítko – podepsaný 64bitový int uchová asi 300 milionů let v hodnotě milisekund, takže to nemusí být potřeba)
EDIT:Nezapomeňte přidat úvodní nuly :)