Lost your login?
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