more accurate time measurement in benchmark routines