The benchmarks were run on a computer with hyperthreading disabled.