From 84954da33024e71e4f487056c4bdf15f16e48a98 Mon Sep 17 00:00:00 2001
From: tqcq <unknown@example.com>
Date: Sat, 26 Oct 2024 10:44:51 +0000
Subject: [PATCH] fix

---
 drama/src/rev-mc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c
index 876ccbf..d448aae 100644
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@@ -368,7 +368,7 @@ find_row_mask(std::vector<set_t> &sets,
 
                     if (found) { break; }
 
-                    step_count -= std::min(step_count, step);
+                    step_count -= std::min(step_count, step / 10);
 
                     if (my_pos > g_base_pos.load(std::memory_order_relaxed) + step_count) {
                         std::lock_guard<std::mutex> _(lock);