From 1d1949e39597d30811ddba520f841594bd58df3e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Jan 2017 18:30:06 -0800
Subject: [PATCH] ensure that parallel threads are only invoked when thread
 count > 1

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 071c0c2a8..e06ed3971 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -723,7 +723,7 @@ namespace sat {
         pop_to_base_level();
         IF_VERBOSE(2, verbose_stream() << "(sat.sat-solver)\n";);
         SASSERT(scope_lvl() == 0);
-        if (m_config.m_num_parallel > 0 && !m_par) {
+        if (m_config.m_num_parallel > 1 && !m_par) {
             return check_par(num_lits, lits);
         }
 #ifdef CLONE_BEFORE_SOLVING
@@ -823,7 +823,7 @@ namespace sat {
                 bool first = false;
                 #pragma omp critical (par_solver)
                 {
-                    if (finished_id == UINT_MAX) {
+                    if (finished_id == -1) {
                         finished_id = i;
                         first = true;
                         result = r;