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

From: Amine Marref <cyborgamine_at_hotmail.com>
Date: Thu, 18 Feb 2010 13:23:34 +0000

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.

application/x-zip-compressed attachment: component_32.ecl.zip

Received on Thu Feb 18 2010 - 13:24:44 CET

This message: [ Message body ]
Next message: Kish Shen: "Re: [eclipse-clp-users] timeout in bb_min/3"
Previous message: Kish Shen: "Re: [eclipse-clp-users] help with gcc_matrix"
Next in thread: Kish Shen: "Re: [eclipse-clp-users] timeout in bb_min/3"
Reply: Kish Shen: "Re: [eclipse-clp-users] timeout in bb_min/3"
Reply: Marco Gavanelli: "Re: [eclipse-clp-users] timeout in bb_min/3"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET