tiny parameter tuning

shnarazk · Aug 11, 2024 · 718604e · 718604e
1 parent 0cb630b
commit 718604e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/src/solver/search.rs b/src/solver/search.rs
@@ -450,9 +450,6 @@ impl SolveIF for Solver {
             let trend: f64 = cdb.refer(cdb::property::TEma::LBD).trend();
             let w = state.stm.current_span() as f64;
             let t = ss.from_segment_beginning as f64;
-            let _ca = -1.0 / w.ln();
-            let _cb = 1.0 - _ca / w;
-            let _thr = _ca / t + _cb;
             let with_restart = 1.0 < trend;
             if w < t {
                 if with_restart {

diff --git a/src/solver/stage.rs b/src/solver/stage.rs
@@ -127,7 +127,7 @@ impl StageManager {
     /// scale defined by Luby series. So this is fine.
     pub fn current_span(&self) -> usize {
         // 2 * self.scale
-        8 * (1 + self.scale).ilog2() as usize
+        2 + 1 * (1 + self.scale).ilog2() as usize
     }
     pub fn current_stage(&self) -> usize {
         self.stage