Searched refs:nLearntMax (Results 1 – 13 of 13) sorted by relevance
118 int nLearntMax; // enables using reduce DB method member241 static inline int sat_solver2_set_learntmax(sat_solver2* s, int nLearntMax) in sat_solver2_set_learntmax() argument243 int temp = s->nLearntMax; in sat_solver2_set_learntmax()244 s->nLearntMax = nLearntMax; in sat_solver2_set_learntmax()
1138 s->nLearntMax = s->nLearntStart; in sat_solver2_new()1419 assert( s->nLearntMax ); in sat_solver2_reducedb()1439 s->nLearntMax = s->nLearntStart + s->nLearntDelta * s->nDBreduces; in sat_solver2_reducedb()1441 CounterStart = nLearnedOld - (s->nLearntMax / 20); in sat_solver2_reducedb()1954 (double)s->nLearntMax, in sat_solver2_solve()1964 if ( s->nLearntMax && veci_size(&s->act_clas) >= s->nLearntMax && s->pPrf2 == NULL ) in sat_solver2_solve()
1122 s->nLearntMax = s->nLearntStart; in sat_solver3_new()1187 s->nLearntMax = s->nLearntStart; in zsat_solver3_new_seed()1497 assert( s->nLearntMax > 0 ); in sat_solver3_reducedb()1504 s->nLearntMax = s->nLearntStart + s->nLearntDelta * s->nDBreduces; in sat_solver3_reducedb()1521 CounterStart = nLearnedOld - (s->nLearntMax / 20); in sat_solver3_reducedb()1859 if (s->nLearntMax && veci_size(&s->act_clas) >= s->nLearntMax) in sat_solver3_search()
1148 s->nLearntMax = s->nLearntStart; in sat_solver_new()1213 s->nLearntMax = s->nLearntStart; in zsat_solver_new_seed()1532 assert( s->nLearntMax > 0 ); in sat_solver_reducedb()1539 s->nLearntMax = s->nLearntStart + s->nLearntDelta * s->nDBreduces; in sat_solver_reducedb()1556 CounterStart = nLearnedOld - (s->nLearntMax / 20); in sat_solver_reducedb()1903 if (s->nLearntMax && veci_size(&s->act_clas) >= s->nLearntMax) in sat_solver_search()
162 int nLearntMax; // max number of learned clauses member
164 int nLearntMax; // max number of learned clauses member
197 pSat->nLearntStart = pSat->nLearntMax = nLearnedStart; in Fra_FraigSat()
424 pSat->nLearntStart = pSat->nLearntMax = nLearnedStart; in Cnf_DataSolveFromFile()
325 p->pSat->nLearntMax = p->pSat->nLearntStart; in Saig_BmcManStart()
1490 p->pSat->nLearntMax = p->pSat->nLearntStart; in Saig_ManBmcScalable()
1014 p->pSat->nLearntMax = p->pSat->nLearntStart; in Vga_ManStart()
1124 p->pSat->nLearntMax = p->pSat->nLearntStart; in Ga2_ManRestart()
983 p->pSat->nLearntMax = p->pSat->nLearntStart; in Gla_ManStart()