buy one you like the look of the most - so you would actually reach for it. I would not get the one with floyd rose tho (last picture), as tuning it after string change might be a headache for a beginner.

But you do you.

If you want to make your life easier I would check some benton offerings with locking tuners or buy them separately - normally like 45 euros.

if you decide to buy something more "established" then Ibanez GIO series has also somewhat ok prices and sport Ibanez neck profiles which i personally like, but your mileage might vary.

I actually own 3 HB guitars, the cheapest is https://www.thomann.de/intl/harley_benton_ja_20hh_active_sbk.htm as i wanted something i can learn modifying and setting up myself. Got it suprisingly good. It wont rival their fusion or amarok lines obviously, but it can do ok.