I'd say #1 is #1! But that's just my opinion ;)
The second one is best, it has a higher clock speed
#2 is the best like nemmyy said it has a higher clock speed but there shouldn't be much difference there the same chip anyways.
I'd say the second one, higher clock speed etc etc etc..
Thx for replies guys, I think it will be ASUS then!