Merge pull request #143 from alpha-asp/fix_113

Fix error in performance output messages.
alpha-asp · Sep 2, 2018 · b543685 · b543685
2 parents 4d003ca + d607621
commit b543685
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/at/ac/tuwien/kr/alpha/solver/DefaultSolver.java b/src/main/java/at/ac/tuwien/kr/alpha/solver/DefaultSolver.java
@@ -141,7 +141,7 @@ protected boolean tryAdvance(Consumer<? super AnswerSet> action) {
 				decisionsLast = currentNumberOfChoices;
 				float overallTime = (currentTime - timeOnEntry) / 1000.0f;
 				float decisionsPerSec = currentNumberOfChoices / overallTime;
-				LOGGER.info("Overall performance: {} decision in {}s or {} decisions per sec. Overall replayed assignments: {}.", currentNumberOfChoices, currentTime - timeOnEntry, decisionsPerSec, ((TrailAssignment)assignment).replayCounter);
+				LOGGER.info("Overall performance: {} decisions in {}s or {} decisions per sec. Overall replayed assignments: {}.", currentNumberOfChoices, overallTime, decisionsPerSec, ((TrailAssignment)assignment).replayCounter);
 			}
 			ConflictCause conflictCause = store.propagate();
 			didChange |= store.didPropagate();