Benchmarking results on Linux, gcc 4.7.2 (Core i5-3570k)