Hello, I am experiencing almost the same problem. There is a difference in the number of solutions when i run my problem instance with or without gist. The difference with the case reported is that for me the number of solutions reported by gist is really large compared to the number of solutions of the command line search. In my case the search without gist reports the right number of solutions.
As i am working with a new constraint system i think this is caused by some bug in my implementation, but the question is: if it is a bug then both search strategies should exhibit it, am i right? Thanks in advance, Gustavo On Wed, Jan 7, 2009 at 3:00 PM, Christian Schulte <[email protected]> wrote: > Hi Tias, > > what constraints are used (in particular anything you implemented > yourself)? > Does it happen if you switch off recomputation (passing -c-d 1 on the > command line or setting c_d in the search options to 1)? > > Could you run it against 2.2.0? > > Otherwise, we would need your code to have a look. > > Cheers > Christian > > -- > Christian Schulte, > www.ict.kth.se/~cschulte/<http://www.ict.kth.se/%7Ecschulte/> > > > -----Original Message----- > From: [email protected] [mailto:[email protected]] On Behalf > Of Tias Guns > Sent: Wednesday, January 07, 2009 2:45 PM > To: [email protected] > Subject: [gecode-users] different nr of solutions with and without GIST > > Hello, > > I am running my code against the latest SVN version (r8036) and have the > following bizar problem: > I am looking for all solutions that adhere to a set of constraints. The > search happens over one array of boolean decision variables, and all the > constraints are put on different subsets of this array. > > For a certain input datadaset, running the model returns 500 results. If I > run the same model using GIST (-mode gist), it returns 508 results ! After > manual verification, there are 508 results that satisfy all the > constraints. The 8 results that are missing form a complete branch in the > GIST search tree. > > I can't create a small example to reproduce it, but it happens everytime > on my model for that dataset... Do you have any idea how this is possible ? > > > Greetings, > Tias > > _______________________________________________ > 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 >
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
