Enabled setting timeout, and printing time information. Moreover, more error checking in postcondition.