Searched refs:sumLBD (Results 1 – 4 of 4) sorted by relevance
201 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()
365 float sumLBD; // used to compute the global average of LBD. Restarts... variable
156 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()
259 float sumLBD; // used to compute the global average of LBD. Restarts... variable