Publish benchmark results for Linux, gcc 4.7.2 (Core i5-3570k)