Searched refs:nConfUnsat (Results 1 – 8 of 8) sorted by relevance
72 int nConfUnsat; // conflicts in unsat problems member686 …>nSatTotal? 100.0*p->nSatUnsat/p->nSatTotal :0.0, p->nSatUnsat? 1.0*p->nConfUnsat/p->nSatUnsat :0.… in Cbs0_ManSatPrintStats()774 p->nConfUnsat += p->Pars.nBTThis; in Cbs_ManSolveMiter()
113 int nConfUnsat; // conflicts in unsat problems member
80 int nConfUnsat; // conflicts in unsat problems member1015 …>nSatTotal? 100.0*p->nSatUnsat/p->nSatTotal :0.0, p->nSatUnsat? 1.0*p->nConfUnsat/p->nSatUnsat :0.… in Cbs_ManSatPrintStats()1109 p->nConfUnsat += p->Pars.nBTThis; in Cbs_ManSolveMiterNc()
107 int nConfUnsat; // conflicts in unsat problems member1495 …>nSatTotal? 100.0*p->nSatUnsat/p->nSatTotal :0.0, p->nSatUnsat? 1.0*p->nConfUnsat/p->nSatUnsat :0.… in Tas_ManSatPrintStats()1599 p->nConfUnsat += p->Pars.nBTThis; in Tas_ManSolveMiterNc()1752 p->nConfUnsat += p->Pars.nBTThis; in Tas_ManSolveMiterNc2()
90 int nConfUnsat; // conflicts in unsat problems member1457 …>nSatTotal? 100.0*p->nSatUnsat/p->nSatTotal :0.0, p->nSatUnsat? 1.0*p->nConfUnsat/p->nSatUnsat :0.… in Cbs2_ManSatPrintStats()1641 p->nConfUnsat += p->Pars.nBTThis; in Cbs2_ManSolveMiterNc()
100 int nConfUnsat; // conflicts in unsat problems member
82 …nSatTotal? 100.0*p->nSatUnsat/p->nSatTotal : 0.0, p->nSatUnsat? 1.0*p->nConfUnsat/p->nSatUnsat :0.… in Cec_ManSatPrintStats()
536 p->nConfUnsat += p->pSat->stats.conflicts - nConflicts; in Cec_ManSatCheckNode()641 p->nConfUnsat += p->pSat->stats.conflicts - nConflicts; in Cec_ManSatCheckNodeTwo()