Switch to multiplication variant 1.

CryptoMiniSat seems to work much better with multiplication variant one
(at least on my problems) so use it by default.

diff --git a/src/to-sat/BitBlaster.cpp b/src/to-sat/BitBlaster.cpp
index f083cda22c6d2684422bdc9826ed6b097e3fdaae..67f1fe1b453042ee8b6ff78e5bfd04622c2428ca 100644 (file)
--- a/src/to-sat/BitBlaster.cpp
+++ b/src/to-sat/BitBlaster.cpp
@@ -1572,7 +1572,8 @@ BBNodeVec BitBlaster<BBNode,BBNodeManagerT>::BBMult(const BBNodeVec& _x, const B
         y = _x;
       }
 
-         string mv = uf->get("multiplication_variant","3");
+      // Variant 1 seems to work best with CryptoMiniSat.
+      string mv = uf->get("multiplication_variant", "1");
 
       const int bitWidth = x.size();
       stack<BBNode> products[bitWidth];