From 6d5b1d25c162f105a2ba1f5019574943d4a3c0e0 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Thu, 14 May 2020 22:55:31 +0200 Subject: fixes for the measurement --- .../mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 6 +++++- 1 file changed, 5 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 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 @@ -140,6 +141,9 @@ class ViatraReasoner extends LogicReasoner{ it.value = (strategy.solutionStoreWithCopy.allRuntimes.get(x)/1000000) as int ] } + 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 ] -- cgit v1.2.3-54-g00ecf