Home
last modified time | relevance | path

Searched refs:sumLBD (Results 1 – 4 of 4) sorted by relevance

/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc201 sumLBD = 0; in Solver()
289 sumLBD = s.sumLBD; in Solver()
1407 sumLBD = 0; in adaptSolver()
1536 sumLBD += nblevels; in search()
1591 …(!luby_restart && (lbdQueue.isvalid() && ((lbdQueue.getavg() * K) > (sumLBD / conflictsRestarts)))… in search()
H A DSolver.h365 float sumLBD; // used to compute the global average of LBD. Restarts... variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp156 sumLBD = 0; in Solver()
1079 sumLBD += nblevels; in search()
1111 …if ( (conflictsRestarts && lbdQueue.isvalid() && lbdQueue.getavg()*K > sumLBD/conflictsRestarts) |… in search()
1472 sumLBD = 0; in reset()
H A DSolver.h259 float sumLBD; // used to compute the global average of LBD. Restarts... variable