1 files changed, 4 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
index dfd8ca1a..6639e5f3 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
@@ -31,6 +31,8 @@ import org.eclipse.viatra.dse.api.DesignSpaceExplorer
 import org.eclipse.viatra.dse.api.DesignSpaceExplorer.DseLoggingLevel
 import org.eclipse.viatra.dse.solutionstore.SolutionStore
 import org.eclipse.viatra.dse.statecode.IStateCoderFactory
+import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse.SolutionStoreWithDiversityDescriptor
+import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse.DiversityGranularity
 class ViatraReasoner extends LogicReasoner{
        val PartialInterpretationInitialiser initialiser = new PartialInterpretationInitialiser()
@@ -169,12 +171,14 @@ class ViatraReasoner extends LogicReasoner{
                        return createInsuficientResourcesResult=>[
                                it.problem = problem
                                it.resourceName="time"
+                                it.representation += strategy.solutionStoreWithCopy.solutions
                                it.statistics = statistics
                        ]
                } else {
                        if(solutionStore.solutions.empty) {
                                return createInconsistencyResult => [
                                        it.problem = problem
+                                        it.representation += strategy.solutionStoreWithCopy.solutions
                                        it.statistics = statistics
                                ]
                        } else {