Jaha, auf dem PC spuckt mir die UCI-Version meiner Engine mit 32 MB Hash nach 0.4 Sekunden im Normalmodus die korrekte Lösung aus, aber es ist nicht garantiert, daß es zwingend ein Matt in 8 wird. Im Mattsuchmodus (das gibt's mit UCI) kommt die Lösung nach 1.2 Sekunden.

Auf der Zielhardware hingegen braucht der Analysemodus 47 Sekunden. Der Mattsuch-Modus braucht 2:40 Minuten, garantiert aber auch, daß es in 8 ist. Außerdem ist das Beispiel auch noch fies gewählt, weil es zwischendrin schachlose Züge gibt.

Wenn beim MCGE nicht eine ganz geniale Lösung drin ist und der erstmal alle Tiefen vorher durchprobiert, dann könnte das Scheitern auf Tiefe 7 einige Zeit dauern, und genau das interessiert mich. Das grundsätzliche Problem hierbei ist, daß der (eigentlich ungewollte) Beweis der Abwesenheit viel aufwendiger als der Beweis der Anwesenheit werden kann.

Kann der MCGE eigentlich auch die Suche nach Zweitlösungen bei Mattproblemen? Sieht mir ja nicht so aus, dazu müßte man ja erstmal die Tiefe einstellen können?