進歩本の問題で検証

中盤を考えられるようにしたので、進歩本の問題を解かせてみたところ5問しか正解しませんでした…。orz

手番を変えて検証すると評価値が全然違うのでどこかにバグを仕込んでいる…。

今月は詰将棋強化月間(?)なので、中盤はひとまず置いといて、同じ問題セットを詰めルーチン(10秒)で解かせてみました。
証明数＋反証数は時間切れになったのが2問だけで、不詰み判定もほとんど100ms以内(問題16は3.7秒かかってる)で済んでる！！
結構優秀？！

	反復深化	証明数	証明数＋反証数
詰み	2	2	3
不詰み	18	25	43
時間切れ	28	21	2

というわけで、時間がかかった問題の検証を激指でしてみました(なのはは60秒制限)。

	なのは	激指７	結果
問題 4	時間切れ	約49秒	不詰み
問題 9	1.1秒	約1秒	不詰み
問題16	3.7秒	約2秒	不詰み
問題30	時間切れ	1秒未満	４三龍

ショック！

問題30は４三龍から詰むんですね！
なんで詰ませられないんだろう…。
詰めルーチンの改修に励まねばっ。