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/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
index 1fe65afe..5df28edd 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
@@ -137,10 +137,16 @@ class ViatraReasoner extends LogicReasoner{
                        it.transformationTime = (transformationTime/1000000) as int
                        for(x : 0..<strategy.solutionStoreWithCopy.allRuntimes.size) {
                                it.entries += createIntStatisticEntry => [
-                                        it.name = '''_Solution«x»FoundAt'''
+                                        it.name = '''Solution«x+1»FoundAt'''
                                        it.value = (strategy.solutionStoreWithCopy.allRuntimes.get(x)/1000000) as int
                                ]
                        }
+                        for(x: 0..<strategy.times.size) {
+                                it.entries += createStringStatisticEntry => [
+                                        it.name = '''Solution«x+1»DetailedStatistics'''
+                                        it.value = strategy.times.get(x)
+                                ]
+                        }
                        it.entries += createIntStatisticEntry => [
                                it.name = "ExplorationInitializationTime" it.value = ((strategy.explorationStarted-transformationFinished)/1000000) as int
                        ]