Need help with picking a receiver

Hello all, I need a little bit of help with a receiver. From my research, I have narrowed it down to the following options:

Yamaha RX-V581

Onkyo TX-NR555, Onkyo TX-NR646, Onkyo TX-NR656

Pioneer VSXLX101

Denon AVR-S710W, Denon AVR-S720W, Denon AVR-X1300W

I plan to buy it used or refurbished and the price seems to be around $250-$320 range on eBay/Amazon.

They all seem to have the features I am looking for( 4k 60fps, 7.1 with atmos support, minimum of 4 hdmi ports). Is there one that stands out among these?

Thanks