The difference between Core2Duo 4.1 vs i7 4.1 is almost 50% every case, so Crysis does take advantage of SMT.

Such a "bad coded" game, huh?

Interesting to see also that adding a second card offers performance increases below 30%, something wrong with GPU scaling, but CPU scaling seems ok. Drivers, perhaps?