diff --git a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
index 0e45789289f997b9e9fba628618b02b88c513ea4..f15d2180a54935ce71446de7b370ce9d01160952 100644
--- a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
@@ -34,7 +34,13 @@ class PortfolioSolver[S <: Solver with Interruptible](val context: LeonContext,
     // solving
     val fs = solversInsts.map { s =>
       Future {
-        (s, s.check, s.getModel)
+        val result = s.check
+        val model: Map[Identifier, Expr] = if (result == Some(true)) {
+          s.getModel
+        } else {
+          Map()
+        }
+        (s, result, model)
       }
     }