[gecode-users] AFC decay with global AFC in search engines

[Kish Shen]

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