Commit fb7a208f authored by leberre's avatar leberre

Changed int constants to long to avoid overflow.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1713 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 132405ef
......@@ -81,7 +81,7 @@ public class Glucose21Restarts implements RestartStrategy {
// ... trailLevel > 1.4 * bufferTrail.average()
// uses now only integers to avoid rounding issues
if (stats.conflicts > 10000 && bufferTrail.isFull()
&& trailLevel * 5 > 7 * bufferTrail.average()) {
&& trailLevel * 5L > 7L * bufferTrail.average()) {
bufferLBD.clear();
}
}
......@@ -99,7 +99,7 @@ public class Glucose21Restarts implements RestartStrategy {
// ... && bufferLBD.average() * 0.8 > sumOfAllLBD / stats.conflicts
// uses now only integers to avoid rounding issues
return bufferLBD.isFull()
&& bufferLBD.average() * stats.conflicts * 4 > sumOfAllLBD * 5;
&& bufferLBD.average() * stats.conflicts * 4L > sumOfAllLBD * 5L;
}
public void onRestart() {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment