From 0c4e491f1c0dadf28d8bc0db876951742ea3740f Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Tue, 26 Jun 2018 22:50:56 +0200
Subject: [PATCH] EMFeR: Store last solution.
---
jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
index 10838c4..f7abed4 100644
--- a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
+++ b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java
@@ -163,7 +163,7 @@ public class EMFeRSolver implements BenchmarkableSolver {
}
lastSolvingTime = stopWatch.time(TimeUnit.MILLISECONDS);
-
+ lastSolution = bestSolution;
return bestSolution;
}
--
GitLab