Version abc80518_2

src/aig/fra/fraSec.c

@@ -45,7 +45,7 @@ void Fra_SecSetDefaultParams( Fra_Sec_t * p )
     memset( p, 0, sizeof(Fra_Sec_t) );
     p->fTryComb          =   1;  // try CEC call as a preprocessing step
     p->fTryBmc           =   1;  // try BMC call as a preprocessing step 
-    p->nFramesMax        =   2;  // the max number of frames used for induction
+    p->nFramesMax        =   4;  // the max number of frames used for induction
     p->fPhaseAbstract    =   1;  // enables phase abstraction
     p->fRetimeFirst      =   1;  // enables most-forward retiming at the beginning
     p->fRetimeRegs       =   1;  // enables min-register retiming at the beginning

src/base/abci/abc.c

@@ -14291,7 +14291,7 @@ int Abc_CommandDSec( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     // set defaults
     Fra_SecSetDefaultParams( pSecPar );
-    pSecPar->TimeLimit = 300;
+    pSecPar->TimeLimit = 600;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "Farmfwvh" ) ) != EOF )
     {