Added tests for format_time