diff options
author | 2019-08-01 01:00:12 +0200 | |
---|---|---|
committer | 2019-08-01 01:00:12 +0200 | |
commit | 7021a4d1f2805ebf3145cbc3893761d12f23361f (patch) | |
tree | b75c51136d3b593f94bf517a8552a1dbf8abdd2b /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner | |
parent | Build Cbc wrapper under Ubuntu 18.04 (diff) | |
download | VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.tar.gz VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.tar.zst VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.zip |
Configurability and better statistics for measurements
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner')
-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 | } |