elapsed_time must be set before output_results() is called.