No se puede comparar una ROM destripada y tuneada con stock puro y duro.
Yo venia de ics stock puesto que tiro mucho del adaptador hdmi para ver pelis cuando viajo y la diferencia es mas que notable comparado con ics stock.
Por cierto el benchmark medio de ics era 6500.
Saludos