Well, granted it is IP based uptime, there could, and should be failover in place, but there still very well could be some single machines in that mix.
Slightly offtopic, but what bothers me more about that list, is there is no BSD listed, 6 years ago, it was ruled by BSD, and Linux machines.