some settings in bvminisat

diff --git a/src/prop/bvminisat/core/Solver.cc b/src/prop/bvminisat/core/Solver.cc
index c5a0a3ce5215962281eeac615391ad77eb93da59..238a9cbf76d1e9c7b21aa01266a867261db09072 100644 (file)
--- a/src/prop/bvminisat/core/Solver.cc
+++ b/src/prop/bvminisat/core/Solver.cc
@@ -843,6 +843,13 @@ lbool Solver::solve_()
     conflict.clear();
 
     ccmin_mode = 2;
+
+    // reduce the database
+    reduceDB();
+
+    // this is a new search, reset the parameters
+    restart_first = opt_restart_first;
+    restart_inc = opt_restart_inc;
     
     if (!ok) return l_False;