It's worth keeping in mind that they are running benchmarks on a massive dual-socket 48 core machine where slight tweaks of the scheduler can have a big effect.

It's worth keeping in mind that they are running benchmarks on a massive dual-socket 48 core machine where slight tweaks of the scheduler can have a big effect. I would be very surprised to see such big differences on a normal desktop or server.