Hi Christian,
Thanks for your reply.
On 12/05/2014 13:32, Christian Schulte wrote:
Hi Kish,
This is strange. It should not matter, in fact. Normally, afc_decay should
be called before search is started and the brancher is actually executed.
Are you sure that this was the case when setting afc_decay before?
Yes, I am sure. I have recompiled my code with afc_decay called before
and after the branch() call. Here are the timings (for first solution of
27 Queens):
decay: 1.0 0.0
======================================
before: 0.57 0.54
after: 0.55 4.68
The solutions for the three runs with runtime of around 0.5s seems to be
the same.
This is with select in branch() set to INT_VAR_AFC_MAX(), rather than
INT_VAR_AFC_MAX(afc).
For activity, I set select to INT_VAR_ACTIVITY_MAX(act) before the call
to branch() (as I was doing for afc), and this seems to work.
Cheers,
Kish
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
