benchmark: improve elapsed time format