Commit e3844021 authored by Daniel Le Berre's avatar Daniel Le Berre

Updated statistics

parent 3c92dfc8
Pipeline #281 passed with stages
in 23 minutes and 8 seconds
......@@ -1881,10 +1881,9 @@ public class Solver<D extends DataStructureFactory>
count.inc();
}
}
out.print(prefix);
out.println("learnt constraints type ");
for (Map.Entry<String, Counter> entry : learntTypes.entrySet()) {
out.println(prefix + entry.getKey() + " => " + entry.getValue());
out.println(prefix + "learnt constraints type " + entry.getKey()
+ "\t: " + entry.getValue());
}
}
......
......@@ -328,6 +328,7 @@ public class ConflictMap extends MapPb implements IConflict {
}
stats.numberOfDerivationSteps++;
assert slackConflict().signum() < 0;
assert this.degree.signum() >= 0;
......
......@@ -62,6 +62,8 @@ public class PBSolverStats extends SolverStats {
public long numberOfInternalSkipping;
public long numberOfDerivationSteps;
@Override
public void reset() {
super.reset();
......@@ -75,6 +77,7 @@ public class PBSolverStats extends SolverStats {
this.numberOfReductionsByGCD = 0;
this.numberOfEndingSkipping = 0;
this.numberOfInternalSkipping = 0;
this.numberOfDerivationSteps = 0;
}
@Override
......@@ -108,6 +111,11 @@ public class PBSolverStats extends SolverStats {
+ this.numberOfEndingSkipping);
out.println(prefix + "number of internal skipping \t: "
+ this.numberOfInternalSkipping);
out.println(prefix + "number of derivation steps \t: "
+ this.numberOfDerivationSteps);
out.println(prefix + "number of skipped derivation steps \t: "
+ (this.numberOfInternalSkipping
+ this.numberOfEndingSkipping));
}
}
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