ダメぽ…

詰ルーチンの穴がなかなか埋まらない…。
岸本さんの「不詰を正しく証明するアルゴリズム」を自分なりに実装して将棋無双第88番が不詰と出るようになったけど、それほど正解が増えないな。

とりあえず、寿とミクロコスモスに挑戦！！

局面	結果	時間	ノード
寿(611手詰)	×	－	－
寿 516手後(95手詰？)	×	－	－
寿 518手後(93手詰?)	97銀打	2,183ms	354,999
寿 520手後(91手詰？)	75龍	2,180ms	354,887
寿 550手後(61手詰？)	42龍	348ms	53,186
寿 600手後(11手詰？)	37龍	29ms	521
ミクロコスモス(1525手詰)	×	－	－
ミクロコスモス 900手後(625手詰?)	×	－	－
ミクロコスモス 994手後(531手詰?)	×	－	－
ミクロコスモス 996手後(529手詰?)	21と	3,991ms	705,128
ミクロコスモス 1000手後(525手詰?)	41と	2,223ms	398,687
ミクロコスモス 1200手後(325手詰?)	31と	3,640ms	612,187
ミクロコスモス 1500手後(25手詰?)	82龍	753ms	131,726

ある閾値(ハッシュ溢れ？)を超えるととたんに解けなくなるようです…。
ミクロコスモスの1000手後と1200手後で逆転現象があるなぁ～。
ここら辺にも謎がある？