[gecode-users] Search statistics

[Christian Schulte]

Hi,

here we go:

- propagates: how many propagators implementing constraints have been
executed.
 
- clones and commits: search uses recomputation and cloning. Only every so
often a clone is created (increasing the number
   of clones reported). When failure occurs, a new node (space) is
recomputed: it is searched for the lowest copy in the 
   search tree. Then an additional copy is created from that copy and
recomputation is used to recompute the node that
   is actually node as next search node. For recomputation, the decisions
made by branching are replayed: each decision
   replayed amounts to a commit operation.

With other words, commits give how much effort has been spent on
recomputation and clones how much effort has been spent on recovering from
failure (more or less).

But the real meaningful numbers are the number of propagations and the
number of failures, the rest is more implementation specific.

I hope that helps
Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Malcolm Ryan
Sent: Thursday, June 05, 2008 5:40 AM
To: gecode list
Subject: [gecode-users] Search statistics

What are the precise meaning of the Clones, Commits and Propagates  
values given by a gecode.Statistics object?

Malcolm

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users