Searched refs:nLearntRatio (Results 1 – 13 of 13) sorted by relevance
201 pSat->nLearntRatio = nLearnedPerce; in Fra_FraigSat()
428 pSat->nLearntRatio = nLearnedPerce; in Cnf_DataSolveFromFile()
121 int nLearntRatio; // ratio percentage of learned clauses member
1121 s->nLearntRatio = LEARNT_MAX_RATIO_DEFAULT; // ratio of learned clause limit in sat_solver3_new()1186 s->nLearntRatio = LEARNT_MAX_RATIO_DEFAULT; // ratio of learned clause limit in zsat_solver3_new_seed()1524 nSelected = nLearnedOld*s->nLearntRatio/100; in sat_solver3_reducedb()2021 …T solver with parameters %d and %d and %d.\n", s->nLearntStart, s->nLearntDelta, s->nLearntRatio ); in sat_solver3_solve()
1147 s->nLearntRatio = LEARNT_MAX_RATIO_DEFAULT; // ratio of learned clause limit in sat_solver_new()1212 s->nLearntRatio = LEARNT_MAX_RATIO_DEFAULT; // ratio of learned clause limit in zsat_solver_new_seed()1559 nSelected = nLearnedOld*s->nLearntRatio/100; in sat_solver_reducedb()2084 …T solver with parameters %d and %d and %d.\n", s->nLearntStart, s->nLearntDelta, s->nLearntRatio ); in sat_solver_solve()
165 int nLearntRatio; // ratio percentage of learned clauses member
167 int nLearntRatio; // ratio percentage of learned clauses member
1137 s->nLearntRatio = LEARNT_MAX_RATIO_DEFAULT; // ratio of learned clause limit in sat_solver2_new()1443 nSelected = nLearnedOld*s->nLearntRatio/100; in sat_solver2_reducedb()
807 p->pSat ? p->pSat->nLearntRatio : 0, in Saig_Bmc3ManStop()1489 p->pSat->nLearntRatio = p->pPars->nLearnedPerce; in Saig_ManBmcScalable()
324 p->pSat->nLearntRatio = 75;//p->pPars->nLearnedPerce; in Saig_BmcManStart()
1013 p->pSat->nLearntRatio = p->pPars->nLearnedPerce; in Vga_ManStart()
1123 p->pSat->nLearntRatio = p->pPars->nLearnedPerce; in Ga2_ManRestart()
982 p->pSat->nLearntRatio = p->pPars->nLearnedPerce; in Gla_ManStart()