Use HP_TIMING for benchmarks if available