Bei der Partie von Georg Kieninger fand der Mephisto VI die Lösung mit der Sucheinstellung selektiv + in 2min.10min.
Mit der Brute Force suche dauerte es wesentlich länger, nämlich 8min., 08 sek.

Trotzdem immer noch viel schneller als der Dallas, und es verwundert mich eigentlich, das der Mephisto Amsterdam auch in 12 Stunden keine Lösung fand.