From 25383796c6380d754975372440c69db05b5cc1fa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 20 Mar 2014 22:22:46 -0700
Subject: [PATCH] improved SLS

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

diff --git a/src/opt/pb_sls.cpp b/src/opt/pb_sls.cpp
index 9a601ae8a..b07ef0e87 100644
--- a/src/opt/pb_sls.cpp
+++ b/src/opt/pb_sls.cpp
@@ -172,7 +172,7 @@ namespace smt {
                        verbose_stream() << "(pb.sls violated: " << m_hard_false.num_elems()
                        << " penalty: " << m_penalty << ")\n";);
             svector<bool> assignment(m_assignment);
-            for (unsigned i = 0; i < 20; ++i) {
+            for (unsigned round = 0; round < 40; ++round) {
                 init_max_flips();
                 while (m_max_flips > 0) {
                     --m_max_flips;
@@ -194,7 +194,7 @@ namespace smt {
                 if (!m_best_assignment.empty()) {
                     assignment.reset();
                     assignment.append(m_best_assignment);
-                    i = 0;
+                    round = 0;
                 }
                 m_assignment.reset();
                 m_assignment.append(assignment);