anchor.diff:  
   progress_header_common(SSB) ->
     "    Errors |  Explored " ++ SSB ++
  -    "| Planned | ~ Rate |  Total(?) | Time(?) ".
  +    "| Planned |  ~ Rate |  Total(?) | Time(?) ".
   
   progress_line(#logger_state{traces_ssb = 0}) ->
     progress_line_common("");
  
positive.code: 
  progress_line_common(SSB) ->
    "-----------------------" ++ SSB ++
      "-----------------------------------------".
  
  progress_content(State) ->
    #logger_state{
  
negative.code:     concuerror_estimator:estimate_completion(Estimation, TracesExplored, Rate),
    RateStr =
      case Rate of
        wait -> "   wait";
        0    -> " <1 /s";
        _    -> io_lib:format("~4w /s", [Rate])
      end,
    Str =
      io_lib:format(
  