1 files changed, 6 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
index 38cc9459..5d8859bd 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
@@ -128,6 +128,12 @@ class ViatraReasoner extends LogicReasoner{
                        //it.solverTime = viatraConfig.runtimeLimit
                        it.solverTime = (solverTime/1000000) as int
                        it.transformationTime = (transformationTime/1000000) as int
+                        for(x : 0..<strategy.solutionStoreWithCopy.allRuntimes.size) {
+                                it.entries += createIntStatisticEntry => [
+                                        it.name = '''_Sulution«x»FoundAt'''
+                                        it.value = strategy.solutionStoreWithCopy.allRuntimes.get(x).intValue
+                                ]
+                        }
                        it.entries += createIntStatisticEntry => [
                                it.name = "TransformationExecutionTime" it.value = (method.statistics.transformationExecutionTime/1000000) as int
                        ]