diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 22:33:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 22:33:47 -0700 |
| commit | 825bcd823cbfda84f64b072b47c86b4eaa0665e9 (patch) | |
| tree | 39e85e379f0b6693925af849d17b48678488fdde | |
| parent | 4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9 (diff) | |
| download | abc-825bcd823cbfda84f64b072b47c86b4eaa0665e9.tar.gz abc-825bcd823cbfda84f64b072b47c86b4eaa0665e9.tar.bz2 abc-825bcd823cbfda84f64b072b47c86b4eaa0665e9.zip | |
Added code to collect experimental results.
| -rw-r--r-- | src/aig/gia/giaAbsGla.c | 4 | ||||
| -rw-r--r-- | src/aig/gia/giaAbsGla2.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 6cd8b5a7..d1001ff3 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1537,7 +1537,6 @@ void Gla_ManAbsPrintFrame( Gla_Man_t * p, int nCoreSize, int nFrames, int nConfl } void Gla_ManReportMemory( Gla_Man_t * p ) { - extern void Ga2_ManDumpStats( Gia_Man_t * pGia, Gia_ParVta_t * pPars, sat_solver2 * pSat, int iFrame, int fUseN ); Gla_Obj_t * pGla; double memTot = 0; double memAig = Gia_ManObjNum(p->pGia) * sizeof(Gia_Obj_t); @@ -1559,7 +1558,6 @@ void Gla_ManReportMemory( Gla_Man_t * p ) ABC_PRMP( "Memory: Refine ", memRef, memTot ); ABC_PRMP( "Memory: Other ", memOth, memTot ); ABC_PRMP( "Memory: TOTAL ", memTot, memTot ); -// Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrame, 1 ); } @@ -1642,6 +1640,7 @@ void Gia_GlaDumpAbsracted( Gla_Man_t * p, int fVerbose ) int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta ) { extern int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ); + extern void Ga2_ManDumpStats( Gia_Man_t * pGia, Gia_ParVta_t * pPars, sat_solver2 * pSat, int iFrame, int fUseN ); Gla_Man_t * p; Vec_Int_t * vPPis, * vCore;//, * vCore2 = NULL; Abc_Cex_t * pCex = NULL; @@ -1944,6 +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 ); Gla_ManStop( p ); fflush( stdout ); return RetValue; diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 40bb27d7..587604ad 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -415,7 +415,7 @@ void Ga2_ManDumpStats( Gia_Man_t * pGia, Gia_ParVta_t * pPars, sat_solver2 * pSa char pFileName[32]; sprintf( pFileName, "stats_gla%s%s.txt", fUseN ? "n":"", pPars->fUseFullProof ? "p":"" ); - pFile = fopen( pFileName, "wb+" ); + pFile = fopen( pFileName, "a+" ); fprintf( pFile, "%s pi=%d ff=%d and=%d mem=%d bmc=%d", pGia->pName, @@ -458,7 +458,6 @@ void Ga2_ManReportMemory( Ga2_Man_t * p ) ABC_PRMP( "Memory: Hash ", memHash,memTot ); ABC_PRMP( "Memory: Other ", memOth, memTot ); ABC_PRMP( "Memory: TOTAL ", memTot, memTot ); -// Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 ); } void Ga2_ManStop( Ga2_Man_t * p ) { @@ -1822,6 +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_ManStop( p ); fflush( stdout ); return RetValue; |