Searched refs:firstReduceDB (Results 1 – 5 of 5) sorted by relevance
108 ms->solvers[1]->firstReduceDB=600; in configureSAT14()114 ms->solvers[2]->firstReduceDB=500; in configureSAT14()120 ms->solvers[3]->firstReduceDB=400; in configureSAT14()127 ms->solvers[4]->firstReduceDB=4000; in configureSAT14()137 ms->solvers[5]->firstReduceDB=100; in configureSAT14()144 ms->solvers[6]->firstReduceDB=2000; in configureSAT14()150 ms->solvers[7]->firstReduceDB=800; in configureSAT14()168 ms->solvers[i]-> firstReduceDB= ms->solvers[i%8]->firstReduceDB; in configureSAT14()170 ms->solvers[i]->firstReduceDB+=noiseReduceDB; in configureSAT14()
133 , firstReduceDB(opt_first_reduce_db) in Solver()202 nbclausesbeforereduce = firstReduceDB; in Solver()217 , firstReduceDB(s.firstReduceDB) in Solver()1370 firstReduceDB = 2000; in adaptSolver()1371 nbclausesbeforereduce = firstReduceDB; in adaptSolver()1389 firstReduceDB = 30000; in adaptSolver()1615 if((chanseokStrategy && !glureduce && learnts.size() > firstReduceDB) || in search()1767 firstReduceDB, lbLBDMinimizingClause); in solve_()
209 int firstReduceDB; variable
108 , firstReduceDB (opt_first_reduce_db) in Solver()157 nbclausesbeforereduce = firstReduceDB; in Solver()1446 firstReduceDB = opt_first_reduce_db; in reset()1473 nbclausesbeforereduce = firstReduceDB; in reset()
161 int firstReduceDB; variable