diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 01:00:12 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 01:00:12 +0200 |
| commit | 7021a4d1f2805ebf3145cbc3893761d12f23361f (patch) | |
| tree | b75c51136d3b593f94bf517a8552a1dbf8abdd2b /Application | |
| 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')
| -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 | } |