Q: minimize

Hi again,


I've one more question regarding minimize.

I'm using it as follows:

 VS :: 0..1,
 constrain variables in VS,
 EXPR :: 960..1024,
 EXPR #= LENGTHS * VS,
 minimize( labeling( VS ), EXPR ).

minimize now outputs:

Found a solution with cost 960

and does not immediately terminate (I've given it 20 seconds
and then interrupted the computation).

If I replace minimize by min_max then min_max *does* immediately
terminate after having output

Found a solution with cost 960

Am I missing something?

Regards,


Marc van Dongen
-- 
M.R.C. van Dongen | CS Dept University College Cork    |        ()
 dongen@cs.ucc.ie | Cork Constraint Computation Centre |        /\
+353(0)21 4903578 | Western Road                       |   ASCII ribbon
                  | Cork, Ireland                      | against html mail