From 19e291f47979643b2f91c6d3f4d1832c6c744f7f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Oct 2014 08:43:35 -0700
Subject: [PATCH] qe fix

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

diff --git a/src/qe/qe.cpp b/src/qe/qe.cpp
index 7275ff71f..aa6287030 100644
--- a/src/qe/qe.cpp
+++ b/src/qe/qe.cpp
@@ -1453,8 +1453,13 @@ namespace qe {
             lbool res = l_true;
             while (res == l_true) {
                 res = m_solver.check();
-                if (res == l_true) is_sat = true;
-                final_check();
+                if (res == l_true) {
+                    is_sat = true;
+                    final_check();
+                }
+                else {
+                    break;
+                }
             }
             if (res == l_undef) {
                 free_vars.append(num_vars, vars);