Hi Kish, Which version do you use: there was a bug before 4.2.1 in the restart search that could lead to a behavior as you describe it. 4.2.1 fixes this.
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ > -----Original Message----- > From: [email protected] [mailto:[email protected]] On > Behalf Of Kish Shen > Sent: Tuesday, November 26, 2013 8:22 PM > To: [email protected]; [email protected] > Subject: Re: [gecode-users] Nogoods limit > > On 26/11/2013 19:16, Kish Shen wrote: > > > To test the restart DFS with nogoods, I set the nogoods_limit in the > > option to 23, > > Sorry, I mean I set the cutoff to 23, with the nogoods_limit set to 1000. The > cutoff of 23 is just one below the cutoff threshold where the search is able to > find a solution -- I assume without restart (because restarting the search will > perform exactly the same search). > > Cheers, > > Kish > > > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
