From 66cc2cc3b2f24d403167fd4e35cd69011d334b00 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Sun, 10 May 2020 18:38:20 +0200 Subject: measurement time statistics + activation selection strategies --- .../viatrasolver/reasoner/ViatraReasoner.xtend | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (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 cb73f4e8..bafe78f6 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 @@ -155,6 +155,21 @@ class ViatraReasoner extends LogicReasoner{ it.entries += createIntStatisticEntry => [ it.name = "SolutionCopyTime" it.value = (strategy.solutionStoreWithCopy.sumRuntime/1000000) as int ] + it.entries += createIntStatisticEntry => [ + it.name = "ActivationSelectionTime" it.value = (strategy.activationSelector.runtime/1000000) as int + ] + it.entries += createIntStatisticEntry => [ + it.name = "NumericalSolverTime" it.value = (strategy.numericSolver.runtime/1000000) as int + ] + it.entries += createIntStatisticEntry => [ + it.name = "NumericalSolverCachingTime" it.value = (strategy.numericSolver.cachingTime/1000000) as int + ] + it.entries += createIntStatisticEntry => [ + it.name = "NumericalSolverCallNumber" it.value = strategy.numericSolver.numberOfSolverCalls + ] + it.entries += createIntStatisticEntry => [ + it.name = "NumericalSolverCachedAnswerNumber" it.value = strategy.numericSolver.numberOfCachedSolverCalls + ] if(strategy.solutionStoreWithDiversityDescriptor.isActive) { it.entries += createIntStatisticEntry => [ it.name = "SolutionDiversityCheckTime" it.value = (strategy.solutionStoreWithDiversityDescriptor.sumRuntime/1000000) as int -- cgit v1.2.3-54-g00ecf