The root position seems to be too difficult for the matetb.py script, and so we use the proven PV for the position 3N1qN1/1Kn2P2/3p1Pp1/3P1pp1/R7/1p1p4/1p1p1n2/bk1b2Q1 w - - from #70. Said position can be forced by white as follows:
Ra4+ Kb1 (only move)
Qg1
Here black has 19 possible moves, but all but Nf2 lead to a mate in 3 or mate in 1. The position after b4a4 a2b1 b6g1 h1f2 is the one analysed in #70, and so we just append these four moves to the PV found there.
This PR improves the shortest mate for the position
from 125 to 109, and adds a PV for it.
The full PV for the found mate is as follows:
Here a click-able version on cdb.
The root position seems to be too difficult for the
matetb.py
script, and so we use the proven PV for the position3N1qN1/1Kn2P2/3p1Pp1/3P1pp1/R7/1p1p4/1p1p1n2/bk1b2Q1 w - -
from #70. Said position can be forced by white as follows:Here black has 19 possible moves, but all but Nf2 lead to a mate in 3 or mate in 1. The position after
b4a4 a2b1 b6g1 h1f2
is the one analysed in #70, and so we just append these four moves to the PV found there.