We use #4 in almost every instance.
We believe that it is more valuable to optimize the title tag for ranking and for eliciting clicks. Everyone can see our domain in the URL. Our website has been online and pulling lots of traffic for over 20 years. Still most visitors are first time visitors. Anyone who knows us, knows us. Domain in the title is a waste of valuable optimization or impact space.