Reduce the cutover for the advance CNF generator to 2M nodes. Annoyingly much more...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1033 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/to-sat/AIG/BBNodeManagerAIG.cpp b/src/to-sat/AIG/BBNodeManagerAIG.cpp
index db97940ad63a78d0cb1df39a19122979a4c24d09..60c1ca78dda9a2a73f55963b9cfcc256b1eb66f4 100644 (file)
--- a/src/to-sat/AIG/BBNodeManagerAIG.cpp
+++ b/src/to-sat/AIG/BBNodeManagerAIG.cpp
@@ -56,7 +56,7 @@ namespace BEEV
               break;
           }
       }
-    if (aigMgr->nObjs[AIG_OBJ_AND] < 10000000)
+    if (aigMgr->nObjs[AIG_OBJ_AND] < 2000000)
       cnfData = Cnf_Derive(aigMgr, 0);
     else
       cnfData = Cnf_DeriveSimple(aigMgr, 0);