i7-3960X "OCed" to 4.0GHz?! Seriously? That is a joke. Anyone with at least a halfway decent air cooler should be able to safely and reliably hit 4.6GHz by just raising the Vcore and multiplier.
I consider 4.2GHz as the base clock for my i7-3930K, and in my opinion there is no reason to not at least dynamically clock it that high. 4.0GHz, while technically being an OC, I basically consider to be an underclock.
They either have the worst 60X ever (or possibly the other components like the motherboard were bad), or they were intentionally setting up biased test results, since there is no way they couldn't otherwise easily push that CPU higher.
Not that it would have really mattered much for one card, but also PCIe gen. 3 isn't officially supported on X79 CPUs (though it has only worked flawlessly for me), and they might have forgotten to use the NVIDIA patch to enable it.Edited by Wrend - 4/6/13 at 10:14pm