fix doc and README

yangeorget · Sep 26, 2024 · 8f7de06 · 8f7de06
1 parent 327a79d
commit 8f7de06
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/README.md b/README.md
@@ -29,12 +29,12 @@ NUMBA_CACHE_DIR=.numba/cache PYTHON_PATH=. python -m nucs.examples.queens -n 12
     'PROBLEM_PROPAGATOR_NB': 3,
     'PROBLEM_VARIABLE_NB': 36,
     'PROPAGATOR_ENTAILMENT_NB': 0,
-    'PROPAGATOR_FILTER_NB': 1910609,
-    'PROPAGATOR_FILTER_NO_CHANGE_NB': 631079,
+    'PROPAGATOR_FILTER_NB': 2269980,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 990450,
     'PROPAGATOR_INCONSISTENCY_NB': 116806,
     'SOLVER_BACKTRACK_NB': 131005,
-    'SOLVER_CHOICE_DEPTH': 10,
     'SOLVER_CHOICE_NB': 131005,
+    'SOLVER_CHOICE_DEPTH': 10,
     'SOLVER_SOLUTION_NB': 14200
 }
 ```
@@ -49,9 +49,9 @@ NUMBA_CACHE_DIR=.numba/cache PYTHON_PATH=. python -m nucs.examples.bibd
     'PROBLEM_FILTER_NB': 2797,
     'PROBLEM_PROPAGATOR_NB': 462,
     'PROBLEM_VARIABLE_NB': 504,
-    'PROPAGATOR_ENTAILMENT_NB': 33970,
-    'PROPAGATOR_FILTER_NB': 590827,
-    'PROPAGATOR_FILTER_NO_CHANGE_NB': 560421,
+    'PROPAGATOR_ENTAILMENT_NB': 5273,
+    'PROPAGATOR_FILTER_NB': 562130,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 531724,
     'PROPAGATOR_INCONSISTENCY_NB': 1307,
     'SOLVER_BACKTRACK_NB': 1398,
     'SOLVER_CHOICE_NB': 1398,
@@ -67,18 +67,18 @@ NUMBA_CACHE_DIR=.numba/cache PYTHON_PATH=. python -m nucs.examples.golomb -n 10
 ```bash
 {
     'OPTIMIZER_SOLUTION_NB': 10,
-    'PROBLEM_FILTER_NB': 22204,
+    'PROBLEM_FILTER_NB': 22886,
     'PROBLEM_PROPAGATOR_NB': 82,
     'PROBLEM_VARIABLE_NB': 45,
-    'PROPAGATOR_ENTAILMENT_NB': 416934,
-    'PROPAGATOR_FILTER_NB': 2145268,
-    'PROPAGATOR_FILTER_NO_CHANGE_NB': 1129818,
-    'PROPAGATOR_INCONSISTENCY_NB': 11065,
-    'SOLVER_BACKTRACK_NB': 11064,
+    'PROPAGATOR_ENTAILMENT_NB': 98080,
+    'PROPAGATOR_FILTER_NB': 2843257,
+    'PROPAGATOR_FILTER_NO_CHANGE_NB': 1806240,
+    'PROPAGATOR_INCONSISTENCY_NB': 11406,
+    'SOLVER_BACKTRACK_NB': 11405,
+    'SOLVER_CHOICE_NB': 11470,
     'SOLVER_CHOICE_DEPTH': 9,
-    'SOLVER_CHOICE_NB': 11129,
     'SOLVER_SOLUTION_NB': 10
- }
+}
 [1, 6, 10, 23, 26, 34, 41, 53, 55]
 ```
 

diff --git a/docs/source/installation.rst b/docs/source/installation.rst
@@ -50,15 +50,15 @@ Let's find the optimal solution to the `Golomb ruler problem <https://www.csplib
    NUMBA_CACHE_DIR=.numba/cache PYTHON_PATH=. python -m nucs.examples.golomb -n 10
    {
        'OPTIMIZER_SOLUTION_NB': 10,
-       'PROBLEM_FILTER_NB': 22204,
+       'PROBLEM_FILTER_NB': 22886,
        'PROBLEM_PROPAGATOR_NB': 82,
        'PROBLEM_VARIABLE_NB': 45,
-       'PROPAGATOR_ENTAILMENT_NB': 416934,
-       'PROPAGATOR_FILTER_NB': 3088066,
-       'PROPAGATOR_FILTER_NO_CHANGE_NB': 2072616,
-       'PROPAGATOR_INCONSISTENCY_NB': 11065,
-       'SOLVER_BACKTRACK_NB': 11064,
-       'SOLVER_CHOICE_NB': 11129,
+       'PROPAGATOR_ENTAILMENT_NB': 98080,
+       'PROPAGATOR_FILTER_NB': 2843257,
+       'PROPAGATOR_FILTER_NO_CHANGE_NB': 1806240,
+       'PROPAGATOR_INCONSISTENCY_NB': 11406,
+       'SOLVER_BACKTRACK_NB': 11405,
+       'SOLVER_CHOICE_NB': 11470,
        'SOLVER_CHOICE_DEPTH': 9,
        'SOLVER_SOLUTION_NB': 10
    }