Yo he puesto el setcpuclock a tope (lo recomendado por superatmel) y he realizado la prueba en repetidas ocasiones (unas diez o doce). En casi todas las ocasiones me dieron valores de doce mil y pico (entre 12300 y 12700). Una de las veces me dió 16820, mientras que otra vez tuve 11893.
Tengo la rom Rogers's Enomthers 1.8.4
Edito: He vuelto a probar y he obtenido 11773, y me he colocado en el puesto 391