Use correct time pattern for benchmark result file