Optimize parameter

primenumber · Nov 11, 2023 · 279dd56 · 279dd56
1 parent ebde7c1
commit 279dd56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/setup.rs b/src/setup.rs
@@ -14,7 +14,7 @@ pub fn setup_default() -> SolveObj {
         ybwc_younger_add: 2,
         ybwc_empties_limit: 18,
         eval_ordering_limit: 15,
-        res_cache_limit: 13,
+        res_cache_limit: 12,
         stability_cut_limit: 8,
         ffs_ordering_limit: 6,
         static_ordering_limit: 5,