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

From: Amine Marref <cyborgamine_at_...32...>
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.




 		 	   		  


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

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST