From 8cb59fe8a6c26d210679a7027c1a7310953ff129 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 3 Apr 2020 17:06:06 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_parallel.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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) {