From: Santiago V. <san...@ir...> - 2012-10-01 16:29:34
|
Hi, I'm running a minimization problem with gringo 3.0.3 and clasp 2.1. I'm interested not only in finding all the optimal models but all the suboptimal models for a given tolerance. For doing this I'm using: --opt-all = OPT-SCORE + OPT-SCORE * TOLERANCE The problem is that when I do this, I'm finding that the score assigned to suboptimal models is different from what correspond to the minimization statement. I mean, for some models the score is exactly the sum of the weighed atoms in the minimization statement, but for others is something else. Is this possible? Is there any internal optimization made by gringo or clasp that could change the score? Is it possible to switch off this optimization? Regards, |