I think we should use `time.clock()` here.

http://stackoverflow.com/questions/85451/python-time-clock-vs-time-time-accuracy