Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2018-10-22.10:55:07 by florian, last changed by thomas.
Using high bounds on the maximum weight of a potential can lead to an overflow in heuristic values. An example is the UIPC domain pegsol-row5 where this happens in the first problem with a bound of max_potential=1e10