bb_min

Hi,
I've hit another case where the branch and bound library
seems to be failing wrongly (bb_any succeeds but bb_min fails).

The evidence is:

cd /homes/mgw/progs/probing/deviation_probing
eclipse
ECLiPSe Constraint Logic Programming System [kernel]
...
Version 5.3 #41, Sat Nov 24 13:49 2001
[eclipse 1]: [probing_tests].
...
Yes (0.33s cpu)
[eclipse 2]: spy(bb_any).
spypoint added to branch_and_bound:bb_any/8.
Debugger switched on - leap mode

Yes (0.01s cpu)
[eclipse 3]: ex1(L, C).
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
 +(11187) 7 CALL  bb_any(0.0, 1.0Inf, (task_durs([task(...), ...], options(1, 5), prob(...) +
prob(...)), probe_search([...], [...], 4, options(...), 1, ... + ...), call_priority(...),
my_set_to_min(...)), [BivSum, BivSum, BivSum, ...], C, 'SHELF'(16'081f4be8), deviation_probing,
bb_options(continue, -1.0Inf, 1.0Inf, 1, 1, 0, 0, _155622, _155623))   %> leap
instantiation fault in subscript(T, [1], Bucket)
Found no solution with cost 0.0 .. 1.0Inf
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
instantiation fault in subscript(T, [1], Bucket)
 +(11187) 7 EXIT  bb_any(0.0, 1.0Inf, (task_durs([task(...), ...], options(1, 5), prob(...) +
prob(...)), probe_search([...], [...], 4, options(...), 1, ... + ...), call_priority(...),
my_set_to_min(...)), [BivSum, BivSum, BivSum, ...], C, 'SHELF'(16'081f4be8), deviation_probing,
bb_options(continue, -1.0Inf, 1.0Inf, 1, 1, 0, 0, _155622, _155623))   %> creep
  (11181) 6 FAIL  bb_min(..., ..., ..., ..., ..., ..., ...)   %>

The "found no solution..." message appears to be wrong. 
Incidentally I have no idea where the warning:
instantiation fault in subscript(T, [1], Bucket)
comes from.  It gets displayed repeatedly during debugging.

	Cheers
		Mark

-- 
_______________________________________________________________
Dr. Mark Wallace, IC-Parc,		Phone  +44 (0)20 7594 8434 
William Penney Laboratory, 		Fax    +44 (0)20 7594 8432
Imperial College, London SW7 2AZ, UK.	Email: mgw@icparc.ic.ac.uk