anchor.diff:                  {Mins, Secs} = concuerror_util:to_elapsed_time(T1, T2),
                   ?debug("Done in ~wm~.2fs\n", [Mins, Secs]),
                   %% Print analysis summary
  -                RunCount = element(2, Result),
  -                SBlocked = element(3, Result),
  +                {Tickets, RunCount, SBlocked, Trans, STrans} = Result,
                   StrB =
                       case SBlocked of
                           0 -> " ";
                           _ -> io_lib:format(
  -                                " (encountered ~w sleep-set blocked traces) ",
  -                                [SBlocked])
  +                                " (encountered ~w sleep-set blocked traces (~w transitions)) ",
  +                                [SBlocked, STrans])
                       end,
                   concuerror_log:log(0, "\n\nAnalysis complete. Checked "
  -                    "~w interleaving(s)~sin ~wm~.2fs:\n",
  -                    [RunCount, StrB, Mins, Secs]),
  -                case Result of
  -                    {ok, _, _} ->
  +                    "~w interleaving(s) (~w transitions)~sin ~wm~.2fs:\n",
  +                    [RunCount, Trans, StrB, Mins, Secs]),
  +                case Tickets =:= [] of
  +                    true ->
                           concuerror_log:log(0, "No errors found.~n"),
                           {ok, {Target, RunCount, SBlocked}};
  -                    {error, _, _, Tickets} ->
  +                    false ->
                           TicketCount = length(Tickets),
                           concuerror_log:log(0,
                                   "Found ~p erroneous interleaving(s).~n",
  
positive.code:           target                  :: analysis_target(),
            run_count    = 1        :: pos_integer(),
            sleep_blocked_count = 0 :: non_neg_integer(),
            show_output  = false    :: boolean(),
            tickets      = []       :: [concuerror_ticket:ticket()],
            trace        = []       :: [trace_state()],
  
negative.code:     %% Return the analysis result
      RunCnt = State#dpor_state.run_count,
      SBlocked = State#dpor_state.sleep_blocked_count,
      Transitions = State#dpor_state.total_trans,
      STransitions = State#dpor_state.sleep_trans,
      Tickets = State#dpor_state.tickets,
      {Tickets, RunCnt, SBlocked, Transitions, STransitions}.
  
  %% =============================================================================
  %% ENGINE (manipulation of the Erlang processes under the scheduler)
  