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
