Re: [gecode-users] different nr of solutions with and without GIST

2009-01-09 Thread Tias Guns
have a look. > > Cheers > Christian > > -- > Christian Schulte, www.ict.kth.se/~cschulte/ > > > -Original Message- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf > Of Tias Guns > Sent: Wednesday, January 07, 2009 2:45 PM > To:

Re: [gecode-users] different nr of solutions with and without GIST

2009-01-09 Thread Guido Tack
Gustavo Gutierrez wrote: I removed all the propagators from my problem. Currently i am only branching on one variable and i am getting different result from gist and the other search. As there are no propagators, the shape of the search tree is easy to guess and should have only 80 solution

Re: [gecode-users] different nr of solutions with and without GIST

2009-01-09 Thread Gustavo Gutierrez
Gustavo Gutierrez On Fri, Jan 9, 2009 at 10:42 AM, Guido Tack wrote: > Gustavo Gutierrez wrote: > >> 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 th

Re: [gecode-users] different nr of solutions with and without GIST

2009-01-09 Thread Guido Tack
Gustavo Gutierrez wrote: > 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 compa

Re: [gecode-users] different nr of solutions with and without GIST

2009-01-09 Thread Gustavo Gutierrez
iginal Message- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf > Of Tias Guns > Sent: Wednesday, January 07, 2009 2:45 PM > To: us...@gecode.org > Subject: [gecode-users] different nr of solutions with and without GIST > > Hello, > > I am

Re: [gecode-users] different nr of solutions with and without GIST

2009-01-07 Thread Christian Schulte
. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Tias Guns Sent: Wednesday, January 07, 2009 2:45 PM To: us...@gecode.org Subject: [gecode-users] different nr of solutions

[gecode-users] different nr of solutions with and without GIST

2009-01-07 Thread Tias Guns
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 o