Thanks, Greg, I have seen the reported bug, but I am not very clear about
what caused it. The CM9000 version I used is of a friend of mine, and it
was downloaded from CD on his computer. I am not sure if the endgame in
question was reported as a flaw. On the other hand. I don´t know whether
it has beeen demostrated it is a victory for the K-Q team, I only know
that it is known a set of positions from which the victory for the K-Q is
guaranteed, but I am not sure how many moves are needed, if possible, to
reach any of these positions if you begin from any other. It is possible
that the problem for decide if it is a win for the superior team in this
case (KQ vs KR, any initial position) is not so trivial, and in fact,
there was a constest for a computer solution in 2002 (Regionals 2002
Warm-up Contest, Problem setter: Jimmy Mårdell). The most known
problem-position in the literature is the following:
Black: King on b3, Rook on e2; White: King on b1, Queen on a1, white moves
first (of course, if not, Black wins in 1)