2p rig: Xeon 5420 versus Opteron 2419 EE?

[Eulogy]

Hey,
Have a chance coming up to buy one or the other for either a full time folder or yet another ESX host. With regards to F@H exclusively, which one would net more PPD on average? Both are dual socket rigs: Intel Xeon E5420 (quad core @ 2.5GHz) or AMD Opteron 2419 EE (six core @ 1.8GHz). Overclocking not an option in either case, and all other stats being the same.

 

[Untitledone]

I would say that the Opteron 2419 EE 2P will do better that the E5420 2P. IPC is going to be similar, and the E5420's will work out to 20Ghz (8 x 2.5), and the 2419's work out to 21.6 Ghz (12 x 1.8).

EDIT: I also have a [H]ard on for Socket F