"Christian Schulte" <[email protected]> writes:
> Alas, it looks as if there is a bug. Which engine? Which problem? How many
> cores? Aaargh...
engine : bab with 2 threads
problem: don't know how to answer that question. it's an NLP application
that we have developed
cores : Core 2 Duo
I was actually chasing another bug in parallel search where gecode
segfaults when deleting a space in a worker. I recompiled with
--enable-debug. It often takes several tries under gdb to observe the
problem. This time I got a different problem, which is the one I
reported.
Cheers,
--Denys
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
