Yeah, I'd say so, considering no HT. Hmm, that makes me wonder if the CPU tests are using the 6 cores/12 threads of the i7-3930K. We're at the same clock speed it looks like (in the following tests), and I most likely have more CPU memory.
(OK, I just retested it and it looks like it does use all 12 threads, but total CPU usage never got over 70% and that was the high spikes.)
You guys make me want an SSD... Still holding out for a 1TB one for now. Hopefully it doesn't take them too long to make them reasonably affordable.
Decided to go with 4.2GHz CPU clock since I don't need to raise the voltage at all to make it stable (take that, 3.9GHz 3960X), and the CPU only gets up to a max of about 50 °C on air. I could keep it a little cooler with faster fan speeds, but there's no real need to and I like my PC to run quietly.
Here are the WinSAT Formal results for it: