owl tuning

[gunnar]

This patch does some owl tuning. Primarily it's a bugfix of VA24, revising the constraint to work as it did before olib changed from being an approxlib call to an accuratelib call. This caused both a couple of passes and a couple of failures, and the rest of the patch was added to get the failures under control.

One of the patterns needed a new autohelper, xplay_lib/oplay_lib. This plays a number of moves, then counts the number of liberties of some string.

To avoid a problem in ld_owl:188, where a number of patterns managed to propose filling in the eye here,

I added a function modify_eyefilling_move() in owl.c to forcibly change it to the capturing move, giving two solid eyes.

The breakage is four passes combined with a small speedup.

nicklas1:1408   PASS alive [alive]
nicklas2:904    PASS B1 [B1|E1]
nngs4:250       PASS F7 [F7]
9x9:197         PASS H5 [E8|H5]
4 PASS
Total nodes: 1665339705 3263206 12513117 (-0.2% -1% -0.11%)

[gunnar]

owl tuning