From 2d7a3419ead6fa92d29b36f2ed9540a835854fbf Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Sun, 10 May 2020 18:35:51 +0200 Subject: postprocessing time ns->ms --- .../inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf') 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 790ef76b..1f52c4b3 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 @@ -289,7 +289,7 @@ class GenerationTaskExecutor { statistics.put("Domain to logic transformation time",domain2LogicTransformationTime/1000000) statistics.put("Logic to solver transformation time",solution.statistics.transformationTime) statistics.put("Solver time",solution.statistics.solverTime) - statistics.put("Postprocessing time",solutionVisualisationTime) + statistics.put("Postprocessing time",solutionVisualisationTime/1000000) for(entry: solution.statistics.entries) { statistics.put(entry.name,statisticsUtil.readValue(entry)) } -- cgit v1.2.3-54-g00ecf