Now it prints how long it took.

It took 10.9 seconds on my laptop; I'm interested to see how fast it'll be on
the desktop.