The good old clock() is not precise enough, so I'm now using the chrono
part of C++11. It looks good.