Quote Originally Posted by Oliverda View Post
I get around 9500 in Cinebench with my 9950@3GHz.
Well, you're running 64bit Cinebench. Check.