Re: [eclipse-clp-users] timeout in bb_min/3

Thanks Kish,

So how do I use bb_min/3 in the presence of disjunctions? Can you please show using a minimal example?

Amine.


> Date: Thu, 18 Feb 2010 14:29:09 +0000
> From: kisshen_at_...5...
> To: cyborgamine_at_...32...
> CC: eclipse-clp-users_at_lists.sourceforge.net
> Subject: Re: [eclipse-clp-users] timeout in bb_min/3
> 
> Amine Marref wrote:
> > Hello,
> > 
> > I am using Eclipse version 6.0#115 under Ubuntu 9.
> > 
> > I attach the predicate solve/1 which calls bb_min/3 at line 189. After about 1500 seconds, eclipse returns that the problem has no solution.
> > 
> > However, the timeout option in bb_min/3 in the attached file, should stop search after 10 seconds. It is not timing out.
> > 
> > What could be the reason?
> > 
> > Cheers,
> > 
> > Amine.
> > 
> Hi Amine,
> 
> The time-out for bb_min applies to the bb_min it is in. Your program 
> calls bb_min many times, and each bb_min seem to fail very quickly (much 
> less than the 10 second time-out), that is why you don't time-out.
> 
> You are calling bb_min many times because you have created many 
> choice-points when you posted your constraints before bb_min (as you 
> create alternative constraints to post with ;). Normally, this style of 
> programming (having many choice-points when you post your constraints) 
> is not a recommended style for constraint programming.
> 
> Cheers,
> 
> Kish
> 
> -- 
> This e-mail may contain confidential and privileged material for the
> sole use of the intended recipient. Any review, use, distribution or
> disclosure by others is strictly prohibited. If you are not the intended
> recipient (or authorized to receive for the recipient), please contact
> the sender by reply e-mail and delete all copies of this message.
> Cisco Systems Limited (Company Number: 02558939), is registered in
> England and Wales with its registered office at 1 Callaghan Square,
> Cardiff, South Glamorgan CF10 5BT.