Ubuntu 13.10 32-bit vs. 64-bit Performance