Improved DSD.

1 files changed, 6 insertions, 6 deletions

diff --git a/src/opt/dau/dauMerge.c b/src/opt/dau/dauMerge.c
index 8ab39568..f5117e5b 100644
--- a/src/opt/dau/dauMerge.c
+++ b/src/opt/dau/dauMerge.c
@@ -586,7 +586,7 @@ void Dau_DsdRemoveBraces( char * pDsd, int * pMatches )
 }
 
 
-clock_t s_TimeComp[3] = {0};
+clock_t s_TimeComp[4] = {0};
 
 /**Function*************************************************************
 
@@ -602,7 +602,7 @@ clock_t s_TimeComp[3] = {0};
 char * Dau_DsdMerge( char * pDsd0i, int * pPerm0, char * pDsd1i, int * pPerm1, int fCompl0, int fCompl1 )
 {
     int fVerbose = 0;
-    int fCheck = 1;
+    int fCheck = 0;
     static int Counter = 0;
     static char pRes[DAU_MAX_STR];
     char pDsd0[DAU_MAX_STR];
@@ -658,7 +658,6 @@ printf( "%s\n", pDsd0 );
 if ( fVerbose )
 printf( "%s\n", pDsd1 );
 
-//s_TimeComp[2] += clock() - clk;
 
     if ( fCheck )
         t0 = Dau_Dsd6ToTruth( pDsd0 );
@@ -683,9 +682,10 @@ printf( "Normalized:\n" );
 if ( fVerbose )
 printf( "%s\n", pRes );
 
-        s_TimeComp[2] += clock() - clk;
+        s_TimeComp[0] += clock() - clk;
         return pRes;
     }
+s_TimeComp[3] += clock() - clk;
     // create variable mapping
     nVarsTotal = Dau_DsdMergeCreateMaps( pVarPres, nVarsShared, pOld2New, pNew2Old );
     // perform variable replacement
@@ -766,9 +766,9 @@ printf( "%s\n", pRes );
         printf( "Dau_DsdMerge(): Verification failed!\n" );
 
     if ( Status == 0 )
-        s_TimeComp[0] += clock() - clk;
-    else
         s_TimeComp[1] += clock() - clk;
+    else
+        s_TimeComp[2] += clock() - clk;
     return pRes;
 }