diff --git a/setup.py b/setup.py
index db07706..39be98d 100644
--- a/setup.py
+++ b/setup.py
@@ -56,7 +56,7 @@ def run(self):
 
 setup(
     name="up_fmap",
-    version="0.0.10",
+    version="0.0.11",
     description="up_fmap",
     author="Alejandro Torreño, Eva Onaindia and Oscar Sapena",
     author_email="onaindia@dsic.upv.es",
diff --git a/up_fmap/fmap_planner.py b/up_fmap/fmap_planner.py
index d9de02b..38eb930 100644
--- a/up_fmap/fmap_planner.py
+++ b/up_fmap/fmap_planner.py
@@ -89,7 +89,7 @@ def _result_status(
         if retval != 0:
             return PlanGenerationResultStatus.INTERNAL_ERROR
         elif plan is None:
-            return PlanGenerationResultStatus.UNSOLVABLE_PROVEN
+            return PlanGenerationResultStatus.UNSOLVABLE_INCOMPLETELY
         else:
             return PlanGenerationResultStatus.SOLVED_SATISFICING