The Latest Benchmarks Of The Linux 3.13 Kernel