pretty printing timings