[eclipse-users] bb_min problem

From: Jakub Wojt <jww_at_go2.pl>
Date: Wed, 01 Aug 2007 10:32:51 +0200
Consider code below.

goal(AllClasses, SelectedSlots, Result):-labeling(AllClasses), computeQuality('c:\a', SelectedSlots, Result).
write_list([]):-flush(output).
write_list([Head|Tail]):-write(output, Head),write(output, ' '),write_list(Tail).
start(SelectedSlots, SelectedRooms):-
SelectedSlots = [SS0,SS1,SS2,SS3],
SelectedRooms = [SR0,SR1,SR2,SR3],
AllClasses    = [SS0,SR0,SRS0,SS1,SR1,SRS1,SS2,SR2,SRS2,SS3,SR3,SRS3],
 SS0 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
 SR0 :: [0],
 SS1 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
 SR1 :: [0],
 SS2 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
 SR2 :: [0],
 SS3 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
 SR3 :: [0],
[SRS0,SRS1,SRS2,SRS3] :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,16,19,18,21,20,23,22,25,24,27,26,29,28,31,30,34,35,32,33,38,39,36,37,42,43,40,41,46,47,44,45,51,50,49,48,55,54,53,52,59,58,57,56,63,62,61,60,68,69,64,65,66,67],
alldifferent([SRS0,SRS1,SRS2,SRS3]),
SRS0#=100*SR0+SS0,
SRS1#=100*SR1+SS1,
SRS2#=100*SR2+SS2,
SRS3#=100*SR3+SS3,
alldifferent([SS0,SS1,SS2,SS3]),
alldifferent([SS2,SS3,SS0]),
alldifferent([SS2,SS3,SS1]),
bb_min(goal(AllClasses, SelectedSlots, Result), Result, bb_options with [timeout:10]).
:-start(SelectedSlots, SelectedRooms), write_list(SelectedSlots), write_list(SelectedRooms), flush(output).

My question is: why bb_min is totaly insensible to timeout parametr. To any timeout value bb_min performs whole search. 
Any sugestions ?
Received on Wed Aug 01 2007 - 09:32:56 CEST

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