Usually comes down to Yamaha 2080-3080, Marantz 6013-7013, Denon 4500-6500, or Anthem 720.
If you’ve had great success with a particular brand, then probably stick to it.
Some people get excellent results with Marantz and Denon Audyssey XT32 like
@sven1olaf and
@PENG.
Some get excellent results with Yamaha YPAO + PEQ like our leader Gene.
Some get excellent results with Anthem ARC.
If you don’t care for any kind of auto room EQ, then it doesn’t matter.