From d03c841f2e4114a442deb08946c391c823745953 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Sun, 17 May 2020 01:35:57 +0200
Subject: detailed runtimes + counting defined objects only

---
 .../inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend    | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend')

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
 			]
-- 
cgit v1.2.3-70-g09d2