> You access the statistics before you actually start to search. That's wrong: > the statistics returned is always wrt the current state of the search. So, > what you want to do is to access stat() after you do the search.
Ah, of course. That is obvious in retrospect! Thanks! Kellen _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
