Purchase advice: Mounting mower

Hello dear forum members, I have been following the forum for some time and would like to ask you a question: I have about 1400 square meters of lawn to mow. So far I have done this with a hand turf mower (56 cm cutting width) and catch basket. Since I have to drive away the grass cut, it takes some time to mow. Now I have occupied myself with the purchase of a seat mower. He should have a catch basket but also be able to mulch. u be large (therefore no tractor) so that I can still accommodate it in the garage. In the narrow selection so far are the Cub Cadet 114 TA (cutting width 76 cm, unit power 11,5 HP, manufacturer MTD, identical to Wolf) and the Stiga Combi 1066 HQ (66 cm, power 4.5 HP). What difference does the different engine power make? With which mower do you have experience? With which processing is better? Thank you for your help!