Pauschale Empfehlungen für die Große eines Pools werden dir nicht weiterhelfen.
Natürlich ist es eine großer Pool mit Whirlpool klasse, er sollte aber in erster Linie zum verfügbaren Platz und der Größe eures Geldbeutels passen. Denn nicht zu vergessen sind die Nebenkosten zur Erstellung und Unterhalt des Pools.
Großer Pool = große Heizung, Poolpumpe, Filtert und Screen was sie Entstehungskosten und die späteren Unterhaltskosten stark beeinflussen. Zudem werden "normale" Pools oft als Kunststoffwanne angeboten, die recht günstig von der ausführenden Firma eingebaut werden und für die das permit schnell und günstig zu beantragen ist.
Vor allem wenn der Pool von einem Screen abgedeckt werden soll, werden große Screens aufgrund der zu überbrückenden Spannweite unverhältnismäßig teurer als kleinere Screens.
Davon mal abgesehen, wie oft wird richtig geschwommen in einem Pool? Bei den meisten dient er doch überwiegend der Abkühlung und zum Vergnügen/Planschen und 10 Meter halte ich zum richtigen Schwimmen ohnehin für zu klein.
Lasst euch anständig beraten, ein seriöser Poolbauer wird euch - passend zum Bedarf und Budget - den richtigen Pool und Screen verkaufen.