diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c index 843ee9d..ed3b578 100644 --- a/drama/src/rev-mc.c +++ b/drama/src/rev-mc.c @@ -396,6 +396,7 @@ find_row_mask(std::vector &sets, } for (int i = outer_step; i > 0 && cur_mask < last_mask; --i) { + if (i % inner_step == 0) { try_update_row_mask(end_pos - i, cur_mask); } if (resolve(cur_mask)) { set_found(cur_mask); } cur_mask = next_bit_permutation(cur_mask); }