Searched refs:nUnsatCalls (Results 1 – 1 of 1) sorted by relevance
276 int nUnsatCalls; /* number of UNSAT calls */ member343 unsigned long nUnsatCalls; /* number of total UNSAT calls */ member1600 pSes->nUnsatCalls++; in Ses_ManSolve()2699 printf( "number of UNSAT calls : %lu\n", s_pSesStore->nUnsatCalls ); in Abc_ExactStats()2839 s_pSesStore->nUnsatCalls += pSes->nUnsatCalls; in Abc_ExactDelayCost()