I've got the improved version of the Lunar Ball bot such optimized that it can now calculate a pair of shots in approximately two days, completing a board in less than a week. Tomorrow, it should begin board 3.
It has a few shortcomings#, but it does minimize the score tallying times and clear the board in two non-dummy shots by average.
As a side effect, the old-style bot was such improved that it can produce a complete movie (that ignores score-tallying delays) in about a single day. If someone has a Linux box satisfying certain* requirements and wants to run the bot to produce a complete version of the FCM linked to earlier, here, grab this package.
http://bisqwit.iki.fi/kala/lunarballbot-singleminded-bisqwit.zip
A running script is included in the package. The ROM you need to supply yourself.
#) Shortcomings:
-- To save running time, it does not attempt all possible pairs of shots
-- It does not care where it leaves the cursor pointing (it can be bad for the timing of the next shot).
*) Requirements:
-- An Intel Core2-compatible CPU (four cores recommended)
-- ICC 10 libraries (libguide.so, libirc.so)
-- SDL 1.2 libraries, and its dependent libraries
-- X11
I would have made the binary static, but it barfed when I tried that, so I gave up trying that.