This page states that it uses std::clock() to get the time, which has 1ms resolution, which I would like better than, if possible. This old page: http://unitedsoft.ch ...