Re: Which is the fastest way to use a timer

[Stefan_Salewski]

The fact that the time of times module is not monotonic is a bit surprising for 
me -- well maybe when the user sets the wall time of his box? The fact should 
be noted in times module. But for all benchmarks done with times.getTime() I 
have never seen a negative delta yet.