[gecode-users] gecode 1.3.1 freezes on 64-bit machine

[Christian Schulte]

Hi Martin,

that's odd. We use 64 bit machines, but this one escaped us. We'll check and
get back to you in case we need some help.

Thanks!
Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Martin Mann
Sent: Friday, June 15, 2007 4:56 PM
To: gecode user list
Subject: [gecode-users] gecode 1.3.1 freezes on 64-bit machine



Hi,

I am working with gecode 1.3.1 using Cygwin on a 32-bit WinXP machine. 
Everything is fine and works.

Now I moved my source to a 64-bit single processor system with Suse 10.
Compilation works but the program hangs up. I searched the source (because
usually its my stuff that doesnt works) 
and ended in the Gecode::DFS<T>::next() function when called the first 
time after initializing the engine.
Unfortunatly it works in most cases but for some spaces it just freezes, 
not returning from the call.

So I compiled the examples and tried all of them. The Sudoku one crashes 
for gecode-1.3.1 and works for gecode-1.3.0.

Afterwards I tried the tests provided (using --enable-debug). For 
gecode-1.3.1 it crashes for some set stuff as given below. The 
gecode-1.3.0 test crashes earlier for the int.distinct.bnd propagator 
what was fixed in gecode-1.3.1 as far as I see in the changelog.

Back to my problem. I am using DFS and a normal ViewValBranching over 
all my IntVar variables. I ve got some specific binary constraints and 
my own View- and Value-selection.
Compiling with gecode-1.3.0 on the 64-bit system, everything works fine. 
So I think it's something in gecode-1.3.1 that has a problem with 
64-bit. (32-bit on a different machine works)

Hope this can help to find the bug. If you have some direct tests I 
should do if you cant reproduce anything just tell me.

Yours,

Martin


=============================================
./examples/sudoku (gecode-1.3.1)
=============================================

Sudoku
sudoku: ./examples/sudoku.icc:686: int value_at(const char*, int, int, 
int): Assertion `example_size(s) == n*n' failed.
Aborted


=============================================
./test/test (gecode-1.3.1) =============================================

...
Set::Proj::Rel::BinEq: +++++
Set::Proj::Rel::BinNEq: +++++
Set::Proj::Rel::BinSub: +++++
Set::Proj::RelOp::InterEqCard: + Segmentation fault

=============================================
./test/test (gecode-1.3.0) =============================================

...
Int::Cumulatives::3t1: +++++
Int::Cumulatives::3t2: +++++
Int::Cumulatives::3t3: +++++
IInt::Distinct::Bnd::Dense: +FAILURE
         Test:       Prune
         Problem:    No fixpoint
         Assignment: {1,-1,0,1}
-
Options: -seed 1782263802  -test Int::Distinct::Bnd::Dense

=============================================

-- 
Martin Mann, Dipl. Bioinf.
Bioinformatics - Inst. of Computer Science Albert-Ludwigs-University
Freiburg
Tel: ++49-761-203-8259
Fax: ++49-761-203-7462 http://www.bioinf.uni-freiburg.de/~mmann/

_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users