Searched refs:nSatCallsUndec (Results 1 – 3 of 3) sorted by relevance
73 int nSatCallsUndec; // the number of undec SAT calls member
137 p->nSatCalls, p->nSatCallsUnsat, p->nSatCallsSat, p->nSatCallsUndec ); in Ssc_ManPrintStats()368 p->nSatCallsUndec++; in Ssc_PerformSweepingInt()
77 int nSatCallsUndec; member205 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()