Searched refs:nClauseConf (Results 1 – 1 of 1) sorted by relevance
102 int nClauseConf; member902 p->nClauseConf++; in Cbs2_ManPropagateClauses()1657 …lC = %d. ", p->nPropCalls[0], p->nPropCalls[1], p->nPropCalls[2], p->nClauseConf, p->nFails[0], … in Cbs2_ManSolveMiterNc()