Lars Kotthoff wrote: > part of a solution? Is there any way to get the total number of search tree > nodes visited during search? If you set the c-d parameter to 1, I think the number of clones equals the number of nodes explored (maybe plus or minus 1 or 2 or so...) cheers, /P at trik