1 files changed, 5 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 293df935..1fe65afe 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
@@ -113,8 +113,9 @@ class ViatraReasoner extends LogicReasoner{
                 

                 val strategy = new BestFirstStrategyForModelGeneration(workspace,viatraConfig,method)

                 viatraConfig.progressMonitor.workedForwardTransformation

+                val transformationFinished = System.nanoTime 

+                val transformationTime = transformationFinished - transformationStartTime

                 

-                val transformationTime = System.nanoTime - transformationStartTime

                 val solverStartTime = System.nanoTime

                 

                 var boolean stoppedByTimeout

@@ -141,6 +142,9 @@ class ViatraReasoner extends LogicReasoner{
                                 ]

                         }

                         it.entries += createIntStatisticEntry => [

+                                it.name = "ExplorationInitializationTime" it.value = ((strategy.explorationStarted-transformationFinished)/1000000) as int

+                        ]

+                        it.entries += createIntStatisticEntry => [

                                 it.name = "TransformationExecutionTime" it.value = (method.statistics.transformationExecutionTime/1000000) as int

                         ]

                         it.entries += createIntStatisticEntry => [