From 50b3c1c02ae727b69c8acf187c7af403c5e95bbc Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Tue, 21 Nov 2023 22:37:32 +0100
Subject: [PATCH] Sparsify & vivify is not needed for E I think

---
 src/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.cpp b/src/main.cpp
index 99b954e..f2dedbd 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -570,7 +570,7 @@ int main(int argc, char** argv)
             sampling_vars , orig_sampling_set_size, empty_occ_sampl_vars);
         if (with_e) {
             const auto ret = arjun->get_fully_simplified_renumbered_cnf(
-                    sampling_vars, true, true, true, 2, 2, true, false);
+                    sampling_vars, false, false, false, 2, 2, true, false);
             appmc->new_vars(ret.nvars);
             for(const auto& cl: ret.cnf) appmc->add_clause(cl);
             for(const auto& cl: ret.red_cnf) appmc->add_red_clause(cl);