aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend2
1 files changed, 1 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index 8ea674d3..807d217a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
@@ -293,7 +293,7 @@ class GenerationTaskExecutor {
293 statistics.put("Domain to logic transformation time",domain2LogicTransformationTime/1000000) 293 statistics.put("Domain to logic transformation time",domain2LogicTransformationTime/1000000)
294 statistics.put("Logic to solver transformation time",solution.statistics.transformationTime) 294 statistics.put("Logic to solver transformation time",solution.statistics.transformationTime)
295 statistics.put("Solver time",solution.statistics.solverTime) 295 statistics.put("Solver time",solution.statistics.solverTime)
296 statistics.put("Postprocessing time",solutionVisualisationTime) 296 statistics.put("Postprocessing time",solutionVisualisationTime/1000000)
297 for(entry: solution.statistics.entries) { 297 for(entry: solution.statistics.entries) {
298 statistics.put(entry.name,statisticsUtil.readValue(entry)) 298 statistics.put(entry.name,statisticsUtil.readValue(entry))
299 } 299 }