yo opino lo siguient:
Lo que has propuesto está bien, pero propongo que al ir empate de nivel, el desempate sea por calidad de los trofeos, me explico:
pepito Nivel 13, 1000 trofeos, 15 platinos
manolito Nivel 12 1200 trofeos, 10 platinos
antoñito Nivel 12 900 trofeos, 11 platinos
Pues la clasificacion quedaria:
pepito Nivel 13, 1000 trofeos, 15 platinos
antoñito Nivel 12 900 trofeos, 11 platinos
manolito Nivel 12 1200 trofeos, 10 platinos
porque tiene más platinos, independientemente de donde este la barra de nivel, si al principio o al final. En caso de empate a platinos se miraria los de oro y asi consecutivamente, creo que te ahorraria bastante trabajo...