1 files changed, 7 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend
index 2892723b..679b9600 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend
@@ -9,11 +9,13 @@ import org.eclipse.emf.ecore.util.EcoreUtil
 import org.eclipse.viatra.dse.base.ThreadContext
 class SolutionStoreWithCopy {
+        
        long runtime = 0
        List<PartialInterpretation> solutions = new LinkedList
        List<Map<EObject,EObject>> copyTraces = new LinkedList
        
-        long initTime = System.nanoTime
+        long sartTime = System.nanoTime
+        List<Long> solutionTimes = new LinkedList
        
        def newSolution(ThreadContext context) {
                //print(System.nanoTime-initTime + ";")
@@ -25,10 +27,14 @@ class SolutionStoreWithCopy {
                solutions.add(solutionCopy)
                copyTraces.add(copier)
                runtime += System.nanoTime - copyStart
+                solutionTimes.add(System.nanoTime-sartTime)
        }
        def getSumRuntime() {
                return runtime
        }
+        def getAllRuntimes() {
+                return solutionTimes
+        }
        def getSolutions() {
                solutions
        }