anchor.diff:          end,
         separator(Output, $#),
         print_log_msgs(Output, LogMsgs),
  -      Format = "Done! (Exit status: ~p)~n  Summary: ",
  +      FinishTimestamp = format_utc_timestamp(),
  +      Format = "Done at ~s (Exit status: ~p)~n  Summary: ",
  +      Args = [FinishTimestamp, ExitStatus],
  +      io:format(Output, Format, Args),
         IntMsg = interleavings_message(State),
  -      io:format(Output, Format, [ExitStatus]),
         io:format(Output, "~s", [IntMsg]),
         ok = file:close(Output),
         ok = graph_close(State),
         case Verbosity =:= ?lquiet of
           true -> ok;
           false ->
  -          printout(State#logger_state{ticker = show}, Format, [ExitStatus])
  +          printout(State#logger_state{ticker = show}, Format, Args)
         end,
         Scheduler ! {finished, ExitStatus},
         ok;
  
positive.code:      output = Output,
       output_name = OutputName,
       print_depth = ?opt(print_depth, Options),
       verbosity = ?opt(verbosity, Options)
      }.
  
  get_properties(Props, PropList) ->
  
negative.code:     fun() ->
          State = initialize(Options),
          Parent ! logger_ready,
          loop(State)
      end,
    P = spawn_link(Fun),
    receive
  