Stockfishmatefinder und der normale Stocki kurbeln bis zum Matt in 3 hoch  bis auf Tiefe 122 und kommen einfach nicht auf den Zugzwang.
Keine Ahnung warum, Rybka kanns, ist ja ein übler bug.
Spike weigert sich auch und prügelt hoch, ich denk das Programm sieht 2 Springer = Remis (ohne tablebases) und denkt  automatisch, da  ist nichts zu machen.
Das wird  wohl der Grund  sein, man könnte jetzt natürlich sagen, ist doch egal, da ja eh jeder 6-Steiner im Hintergrund laufen hat, aber warum dann überhaupt das "Wissen", dass 2 Springer nicht gewinnen, wenn es eh in der tablebase steht ?



Komischerweise tritt der bug hier nicht auf beim Matefinder, stimmt vielleicht was  mit  der FEN nicht wegen 50 Züge Regel, habe aber extra Stellung neu aufbauen gemacht bei Arena.

In der 2. Stellung (Matt in 30) schafft Stockfishmatefinder in weniger als 1 Mia Knoten ein Matt in 37 anzugeben.
Dieses Programm ist ansich der Hammer, was das finden von langen Matts betrifft, hängt sich hier aber schnell auf.
Und beim 2. Beispiel ist auch ein Zugzwang, vielleicht ist das Problem  hier die schnelle 0.0 Bewertung, die irgendwie dann ganz schnell einen cut verursacht, der nicht mehr rückgängig gemacht wird.
In der Stellung scheitern gleich mehrere Versionen von Stockfish und viele andere Programme.
Was diese Stellung dazu prädistiniert weiss ich nicht genau, vielleicht würde das Programm von sich aus einfach nicht in diese Stellung gehen und somit anders ein Matt schaffen.
Ich mach mir gerade Gedanken über Endspiele, habe mir 3 Springer gegen Turm  angeschaut (Remis), 2 Springer + Bauer gegen Läufer (Gewinn).
Interssant wäre noch 3 Springer gegen Turm + Bauer (dürfte wahrscheinlich auch remis sein), weil  1 Springer den Bauern blocken muss und  die anderen 2 nicht genug Druck gegen  den König aufbauen können und der 3. Springer im Falle einer Verteidigung des Turmes gegen die 2 Springer nicht schnell genug beides erledigen kann.
Allgemein  kann man ja davon ausgehen, dass bei mehr Figuren 2 Punkte reichen sollten, aber 4 Springer gegen 2 Türme wird n icht gut gehen (scheint klar zu sein), aber 2 Türme + Springer sollte gegen 2 Türme gewinnen, ob 2 Türme + Srpinger gegen 1 Turm und 2 Läufer reichen wird die 8-men tablebase zeigen.