Adding a wrapper around clock() for more accurate time counting in ABC.

1 files changed, 10 insertions, 10 deletions

diff --git a/src/aig/gia/giaCSatOld.c b/src/aig/gia/giaCSatOld.c
index 75b4c3e0..a562c8ae 100644
--- a/src/aig/gia/giaCSatOld.c
+++ b/src/aig/gia/giaCSatOld.c
@@ -73,10 +73,10 @@ struct Cbs0_Man_t_
     int           nConfSat;     // conflicts in sat problems
     int           nConfUndec;   // conflicts in undec problems
     // runtime stats
-    clock_t       timeSatUnsat; // unsat
-    clock_t       timeSatSat;   // sat
-    clock_t       timeSatUndec; // undecided
-    clock_t       timeTotal;    // total runtime
+    abctime       timeSatUnsat; // unsat
+    abctime       timeSatSat;   // sat
+    abctime       timeSatUndec; // undecided
+    abctime       timeTotal;    // total runtime
 };
 
 static inline int   Cbs0_VarIsAssigned( Gia_Obj_t * pVar )      { return pVar->fMark0;                        }
@@ -713,7 +713,7 @@ Vec_Int_t * Cbs_ManSolveMiter( Gia_Man_t * pAig, int nConfs, Vec_Str_t ** pvStat
     Vec_Str_t * vStatus;
     Gia_Obj_t * pRoot; 
     int i, status;
-    clock_t clk, clkTotal = clock();
+    abctime clk, clkTotal = Abc_Clock();
     assert( Gia_ManRegNum(pAig) == 0 );
     // prepare AIG
     Gia_ManCreateRefs( pAig );
@@ -747,7 +747,7 @@ Vec_Int_t * Cbs_ManSolveMiter( Gia_Man_t * pAig, int nConfs, Vec_Str_t ** pvStat
             }
             continue;
         }
-        clk = clock();
+        clk = Abc_Clock();
         p->Pars.fUseHighest = 1;
         p->Pars.fUseLowest  = 0;
         status = Cbs0_ManSolve( p, Gia_ObjChild0(pRoot) );
@@ -765,25 +765,25 @@ Vec_Int_t * Cbs_ManSolveMiter( Gia_Man_t * pAig, int nConfs, Vec_Str_t ** pvStat
             p->nSatUndec++;
             p->nConfUndec += p->Pars.nBTThis;
             Cec_ManSatAddToStore( vCexStore, NULL, i ); // timeout
-            p->timeSatUndec += clock() - clk;
+            p->timeSatUndec += Abc_Clock() - clk;
             continue;
         }
         if ( status == 1 )
         {
             p->nSatUnsat++;
             p->nConfUnsat += p->Pars.nBTThis;
-            p->timeSatUnsat += clock() - clk;
+            p->timeSatUnsat += Abc_Clock() - clk;
             continue;
         }
         p->nSatSat++;
         p->nConfSat += p->Pars.nBTThis;
 //        Gia_SatVerifyPattern( pAig, pRoot, vCex, vVisit );
         Cec_ManSatAddToStore( vCexStore, vCex, i );
-        p->timeSatSat += clock() - clk;
+        p->timeSatSat += Abc_Clock() - clk;
     }
     Vec_IntFree( vVisit );
     p->nSatTotal = Gia_ManPoNum(pAig);
-    p->timeTotal = clock() - clkTotal;
+    p->timeTotal = Abc_Clock() - clkTotal;
     if ( fVerbose )
         Cbs0_ManSatPrintStats( p );
     Cbs0_ManStop( p );