掃地機器人舊換新，小米和石頭該怎麼選？

家裡的小米掃地機器人用了快7年，最近不知道是不是鏡頭有問題，地圖常常亂畫，所以想趁雙11的時候換一台

目前是在考慮小米掃拖機器人 5和石頭的Qrevo EdgeC

石頭1萬5以下的機子吸力跟小米差太多了，所以石頭直接選比小米5貴3千的機型

單看價格，小米5便宜一點，但吸力比較強（小米5 20,000Pa，EdgeC18,500Pa）
熱水洗拖布的功能小米的溫度也是略高一點（小米5 80度，EdgeC 75度），但差個 5 度不曉得會有很明顯的差別嗎？

因為2間的表格功能寫的洋洋灑灑，好像都很厲害，但EdgeC 比小米貴個3千左右，理論上應該要有更厲害的功能！？不知道是不是有什麼功能我沒注意到。

因為家裡目前這台也很久了，不管換哪台對我來說應該都是大升級，我需求也蠻單純的，
1.家裡都是地磚，沒有地毯，但有狗所以希望吸力強一點，能把狗毛吸乾淨
2.拖布不要潮濕有異味，可以添加地板清潔劑更好（石頭好像有這個功能）
3.頭髮可以自動切斷，不會纏繞刷子（目前的機型會纏繞，所以刷子容易損壞）
4.目前的機器人進去廁所後就爬不出來，所以廁所都是我們自己手動吸，所以新的希望可以自己爬進爬出，不被困住
然後本人懶，需要維護的項目越少越好（換水、清理集塵盒、洗拖布）

有沒有對掃地機器人有研究的，想聽聽大家會怎麼選？
或是差不多價格帶有沒有其他推薦的品牌和機種？