diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:57:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:57:03 -0700 |
| commit | 908d5e696c7e73f80abcef85ec796511f3bffb0f (patch) | |
| tree | 6fb41dd27d8ae48d93f71cda4ed56526092c5302 /src/proof/fraig | |
| parent | d46c49088d7b9f1725d4d8624717f7209022c632 (diff) | |
| download | abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.tar.gz abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.tar.bz2 abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.zip | |
Replacing Mb/Gb to be MB/GB.
Diffstat (limited to 'src/proof/fraig')
| -rw-r--r-- | src/proof/fraig/fraigMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fraig/fraigMan.c b/src/proof/fraig/fraigMan.c index bc7c423d..c55ec1ba 100644 --- a/src/proof/fraig/fraigMan.c +++ b/src/proof/fraig/fraigMan.c @@ -352,7 +352,7 @@ void Fraig_ManPrintStats( Fraig_Man_t * p ) double nMemory; nMemory = ((double)(p->vInputs->nSize + p->vNodes->nSize) * (sizeof(Fraig_Node_t) + sizeof(unsigned)*(p->nWordsRand + p->nWordsDyna) /*+ p->nSuppWords*sizeof(unsigned)*/))/(1<<20); - printf( "Words: Random = %d. Dynamic = %d. Used = %d. Memory = %0.2f Mb.\n", + printf( "Words: Random = %d. Dynamic = %d. Used = %d. Memory = %0.2f MB.\n", p->nWordsRand, p->nWordsDyna, p->iWordPerm, nMemory ); printf( "Proof = %d. Counter-example = %d. Fail = %d. FailReal = %d. Zero = %d.\n", p->nSatProof, p->nSatCounter, p->nSatFails, p->nSatFailsReal, p->nSatZeros ); |