I have a 3930K also and the fastest times in IBT are achieved by specifying six threads.
An additional performance gain is also obtained by specifying the affinity of the benchmark process via task manager to use every other logical core.
Results:
i7-3930K @ 4.2GHz (100x42) 1.28 vcore
IBT version 2.53
Setting: high 2048mb
10 runs
passed stable
ALL THREADS average time: 20.298 seconds
SIX THREADS average time: 17.816 seconds
SIX THREADS + affinity set average time: 15.657 seconds and much more consistent results
In other benchmarks like Cinebench, I see large gains from Hyperthreading while running 12 threads.
My temps are with an H70, high flow fans, and cool ambient . Max during above IBT testing was:
64
63
58
59
61
66
68