Jetzt ist die Sache klar. Danke. Wie groß doch so ein kleiner Unterschied (=PRO) sein kann!

Des Atlantas kurze Lösungszeiten dürfen m.E. akzeptiert werden, da er # in 4 bzw. # in 3 angibt, es sich also nicht um offene Aufgabenstellungen mit ungewissem Ausgang handelt. In letzterem Falle müsste man das Gerät natürlich länger rechnen lassen, um zu klären, ob es sich bei den Lösungen eventuell um Schnellschüsse handelt oder nicht.