diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java index a7780e97..1241dcb2 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolver.java | |||
@@ -79,7 +79,7 @@ public class VampireSolver extends LogicReasoner { | |||
79 | long _currentTimeMillis_1 = System.currentTimeMillis(); | 79 | long _currentTimeMillis_1 = System.currentTimeMillis(); |
80 | final long solvingTime = (_currentTimeMillis_1 - solverStart); | 80 | final long solvingTime = (_currentTimeMillis_1 - solverStart); |
81 | final long backTransformationStart = System.currentTimeMillis(); | 81 | final long backTransformationStart = System.currentTimeMillis(); |
82 | final ModelResult logicResult = this.backwardMapper.transformOutput(problem, vampireConfig.solutionScope.numberOfRequiredSolution, vampSol, forwardTrace, transformationTime); | 82 | final ModelResult logicResult = this.backwardMapper.transformOutput(problem, vampireConfig.solutionScope.numberOfRequiredSolution, vampSol, forwardTrace, solvingTime); |
83 | long _currentTimeMillis_2 = System.currentTimeMillis(); | 83 | long _currentTimeMillis_2 = System.currentTimeMillis(); |
84 | final long backTransformationTime = (_currentTimeMillis_2 - backTransformationStart); | 84 | final long backTransformationTime = (_currentTimeMillis_2 - backTransformationStart); |
85 | return logicResult; | 85 | return logicResult; |