Added code to collect experimental results.

src/aig/gia/giaAbsGla.c

@@ -1943,7 +1943,7 @@ finish:
         ABC_PRTP( "Runtime: TOTAL       ", clock() - clk, clock() - clk );
         Gla_ManReportMemory( p );
     }
-    Ga2_ManDumpStats( pAig, p->pPars, p->pSat, p->pPars->iFrame, 1 );
+//    Ga2_ManDumpStats( pAig, p->pPars, p->pSat, p->pPars->iFrame, 1 );
     Gla_ManStop( p );
     fflush( stdout );
     return RetValue;

src/aig/gia/giaAbsGla2.c

@@ -1821,7 +1821,7 @@ finish:
         ABC_PRTP( "Runtime: TOTAL       ", clock() - clk, clock() - clk );
         Ga2_ManReportMemory( p );
     }
-    Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 );
+//    Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 );
     Ga2_ManStop( p );
     fflush( stdout );
     return RetValue;