Added time printing, and pretty printing to files.