[gecode-users] Number of failed nodes

[Lars Kotthoff]

Hi all,

 I was wondering what the number of failures output at the end of a run means.
The documentation says that it's the number of failed nodes in the search tree;
is that the nodes where the solver backtracks or all nodes visited which are not
part of a solution? Is there any way to get the total number of search tree
nodes visited during search?

Thanks,

Lars