> Which one is better. Which one is faster?
It depends on what you mean by "better" and "faster".
The 7200rpm drives are obviously better in cost/byte terms.
For transfer rates, the two are probably similar.
For access times, the 10000rpm drives will be faster.
In general, most people asking about performance are looking for faster boot and application load times. For that kind of performance, the 10000rpm drives would be best.