diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index edfb4d120..ba148f048 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -151,7 +151,11 @@ namespace smt {
                         result = r;
                         done = true;
                     }
-                    if (!first) return;
+                    if (!first && r != l_undef && result == l_undef) {
+                        finished_id = i;
+                        result = r;                        
+                    }
+                    else if (!first) return;
                 }
 
                 for (ast_manager* m : pms) {