advanced prove formatted_time