I personally use AOKP builds as they have more features. Both ICS roms are stable in terms of performance. Glitch kernels as opposed to the stock rom kernels fixes several issues and I would advise using it if you are interested in speed (under/overclocking).