sat-bench -B 4553

shnarazk · Sep 10, 2024 · 126322e · 126322e
1 parent fa785ad
commit 126322e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/search.rs b/src/solver/search.rs
@@ -489,7 +489,7 @@ impl SolveIF for Solver {
                 if let Some(new_segment) = next_stage {
                     // a beginning of a new cycle
                     if cfg!(feature = "reward_annealing") {
-                        const SLOP: f64 = 8.0;
+                        const SLOP: f64 = 2.0;
                         let stm = &state.stm;
                         // let sigma = |x: f64| 1.0 / (1.0 + (-x).exp());
                         let sgm = |x: f64| x / (1.0 + x.abs());