Implemented benchmark timer (for the testsuite).