Searched refs:nSatCallsUnsat (Results 1 – 12 of 12) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraSat.c | 119 p->nSatCallsUnsat++; in Fra_NodesAreEquiv()
162 p->nSatCallsUnsat++; in Fra_NodesAreEquiv()
282 p->nSatCallsUnsat++; in Fra_NodesAreImp()
390 p->nSatCallsUnsat++; in Fra_NodesAreClause()
467 p->nSatCallsUnsat++; in Fra_NodeIsConst()
|
| H A D | fra.h | 230 int nSatCallsUnsat; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchSat.c | 99 p->nSatCallsUnsat++; in Dch_NodesAreEquiv()
141 p->nSatCallsUnsat++; in Dch_NodesAreEquiv()
|
| H A D | dchInt.h | 79 int nSatCallsUnsat; // the number of unsat SAT calls member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSat.c | 104 p->nSatCallsUnsat++; in Ssw_NodesAreEquiv()
166 p->nSatCallsUnsat++; in Ssw_NodesAreEquiv()
|
| H A D | sswSemi.c | 308 pMan->nSatCallsUnsat = 0; in Ssw_FilterUsingSemi()
|
| H A D | sswInt.h | 111 int nSatCallsUnsat; // the number of unsat SAT calls member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
| H A D | sscInt.h | 71 int nSatCallsUnsat; // the number of unsat SAT calls member
|
| H A D | sscCore.c | 137 p->nSatCalls, p->nSatCallsUnsat, p->nSatCallsSat, p->nSatCallsUndec ); in Ssc_ManPrintStats()
352 p->nSatCallsUnsat++; in Ssc_PerformSweepingInt()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSweeper.c | 76 int nSatCallsUnsat; member
205 p->nSatCalls, p->nSatCallsSat, p->nSatCallsUnsat, p->nSatCallsUndec, p->nSatProofs ); in Gia_SweeperPrintStats()
853 p->nSatCallsUnsat++; in Gia_SweeperCheckEquiv()
893 p->nSatCallsUnsat++; in Gia_SweeperCheckEquiv()
955 p->nSatCallsUnsat++; in Gia_SweeperCondCheckUnsat()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmDec.c | 129 int nSatCallsUnsat; member
853 p->nSatCallsUnsat++; in Sfm_DecPeformDec_rec()
900 p->nSatCallsUnsat--; in Sfm_DecPeformDec_rec()
915 p->nSatCallsUnsat++; in Sfm_DecPeformDec_rec()
980 p->nSatCallsUnsat++; in Sfm_DecPeformDec_rec()
1797 …in/Abc_MaxInt(1, p->nNodesTried)), p->nSatCalls, p->nSatCallsSat, p->nSatCallsUnsat, p->nSatCallsO… in Sfm_DecPrintStats()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 91 int nSatCallsUnsat; member
2160 p->nSatCallsUnsat++; in Ivy_FraigNodesAreEquiv()
2211 p->nSatCallsUnsat++; in Ivy_FraigNodesAreEquiv()
2309 p->nSatCallsUnsat++; in Ivy_FraigNodeIsConst()
|