報告です。
後手の持駒:飛二 角 金二 銀三 桂三 香四 歩十五
9 8 7 6 5 4 3 2 1
+---------------------------+
| ・ ・ ・ ・ ・ ・ ・ ・ ・|一
| ・ ・ ・ ・ ・ ・ ・ ・ ・|二
| ・ ・ ・ ・ ・ ・v玉v歩v桂|三
| ・ ・ ・ ・ ・ ・v歩 ・v歩|四
| ・ ・ ・ ・ ・ ・ ・v金 ・|五
| ・ ・ ・ ・ ・ ・ ・ ・ ・|六
| ・ ・ ・ ・ ・ ・ ・ ・ ・|七
| ・ ・ ・ 角 ・ ・ ・ ・ ・|八
| ・ ・ ・ ・ ・ ・ ・ ・ ・|九
+---------------------------+
先手の持駒:金 銀
手数=0 まで
柿木将棋9で、上記の局面を、
・長手数用
・短手数用メモリ192mb、長手数用メモリ256+120mb
・不詰を改善にチェック
で解図しようとしても、進行度10くらいから先に進みません。
短手数ですと5秒くらいで不詰判定されます。
やねうら王のソースについてるDF-PNでも同様にtimeoutするので、DF-PN特有のloopがらみとか、そういうことなんでしょうね。