diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 |
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 | } |