[gecode-users] Number of failed nodes

[Lars Kotthoff]

> 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...)

According to the manual, this will make the number of clones equal to the number
of commits (a clone is created for every commit) -- is the number of commits
equivalent to the number of nodes?

Lars