format execution time.