Home
last modified time | relevance | path

Searched refs:nSatCallsUndec (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscInt.h73 int nSatCallsUndec; // the number of undec SAT calls member
H A DsscCore.c137 p->nSatCalls, p->nSatCallsUnsat, p->nSatCallsSat, p->nSatCallsUndec ); in Ssc_ManPrintStats()
368 p->nSatCallsUndec++; in Ssc_PerformSweepingInt()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSweeper.c77 int nSatCallsUndec; member
205 p->nSatCalls, p->nSatCallsSat, p->nSatCallsUnsat, p->nSatCallsUndec, p->nSatProofs ); in Gia_SweeperPrintStats()
865 p->nSatCallsUndec++; in Gia_SweeperCheckEquiv()
905 p->nSatCallsUndec++; in Gia_SweeperCheckEquiv()
969 p->nSatCallsUndec++; in Gia_SweeperCondCheckUnsat()