Ciao, ottima Rom! Devo dire che ha delle prestazioni spesso superiori a quelle della DarkyRom.
Però ho una domanda: come mai il benchmark mi arriva solo a 3100? C'è qualche ottimizzazione che non ho fatto? Oppure è una questione di hardware, che difatti a volte ha comportamenti diversi su dispositivi diversi?