tevador more accurate time measurement in the benchmark