Uma opção seria fazer zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number (altere Long.MAX_VALUE para o valor mais alto possível para o seu carimbo de data/hora - Um int de 64 bits assinado armazenará cerca de 300 milhões de anos de milissegundos, portanto, isso pode não ser necessário)

EDIT:Não se esqueça de adicionar zeros à esquerda :)