Adding CEC command &splitprove.

src/base/abci/abc.c

@@ -32877,7 +32877,7 @@ usage:
 int Abc_CommandAbc9SplitProve( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern int Cec_GiaSplitTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, int LookAhead, int fVerbose );
-    int c, nProcs = 1, nTimeOut = 1, nIterMax = 0, LookAhead = 1, fVerbose = 0;
+    int c, nProcs = 1, nTimeOut = 10, nIterMax = 0, LookAhead = 1, fVerbose = 0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "PTILvh" ) ) != EOF )
     {

src/proof/cec/cecSplit.c

@@ -361,7 +361,7 @@ static inline void Cec_GiaSplitClean( Vec_Ptr_t * vStack )
 ***********************************************************************/
 void Cec_GiaSplitPrint( int nIter, int Depth, int nVars, int nConfs, int fStatus, double Prog, abctime clk )
 {
-    printf( "%6d : ",             nIter );
+    printf( "%4d : ",             nIter );
     printf( "Depth =%3d  ",       Depth );
     printf( "SatVar =%7d  ",      nVars );
     printf( "SatConf =%7d   ",    nConfs );