http://www.3dmark.com/3dm11/4476049

i7 3770k at 4ghz scores 8000. Considering Charlie at SA is hinting strongly at the fact that the *mark benchmarks are all compiled with ICC, this is really good. All it takes is a hex editor and some poking around to see what something is compiled with.