Good list. 147, thats not a huge amount.
The world record now i think is 3.43, or around that mark. So thats nearly 20 seconds quicker than a 4 minute mile first ran by Roger Bannister not that long ago, which in athletics terms is a massive amount. Even a one second gain over a mile is alot.
3.43- thats incredible. That pace is outstanding.