1 files changed, 17 insertions, 19 deletions
diff --git a/src/solvers/coord/cpepe.h b/src/solvers/coord/cpepe.h
index 37ec014..9c9bffc 100644
--- a/src/solvers/coord/cpepe.h
+++ b/src/solvers/coord/cpepe.h
@@ -15,29 +15,27 @@ STATIC coord_t coordinate_cpepe = {
        .moves_mask_gendata = MM18_DR,
        .moves_mask_solve = MM18_DR,
        .is_admissible = &solution_always_valid,
-        .is_solvable = &is_drfin_solvable,
+        .is_solvable = &is_drfinnoe_solvable,
        .is_solved = NULL,
        .allow_niss = false,
        .pruning_distribution = {
-                /* TODO */
+                [0] = 1,
-                [0] = 0,
+                [1] = 3,
-                [1] = 0,
+                [2] = 10,
-                [2] = 0,
+                [3] = 44,
-                [3] = 0,
+                [4] = 214,
-                [4] = 0,
+                [5] = 846,
-                [5] = 0,
+                [6] = 2413,
-                [6] = 0,
+                [7] = 5122,
-                [7] = 0,
+                [8] = 8639,
-                [8] = 0,
+                [9] = 12128,
-                [9] = 0,
+                [10] = 12571,
-                [10] = 0,
+                [11] = 12985,
-                [11] = 0,
+                [12] = 7754,
-                [12] = 0,
+                [13] = 3366,
-                [13] = 0,
+                [14] = 336,
-                [14] = 0,
-                [15] = 0,
        },
-        .pruning_max = 15, /* TODO */
+        .pruning_max = 14,
        .sym = {
                .classes = CLASSES_CP_16,
                .max = FACT_8,

diff --git a/src/solvers/coord/cpepe.h b/src/solvers/coord/cpepe.h index 37ec014..9c9bffc 100644 --- a/src/solvers/coord/cpepe.h +++ b/src/solvers/coord/cpepe.h
@@ -15,29 +15,27 @@ STATIC coord_t coordinate_cpepe = {
15	.moves_mask_gendata = MM18_DR,	15	.moves_mask_gendata = MM18_DR,
16	.moves_mask_solve = MM18_DR,	16	.moves_mask_solve = MM18_DR,
17	.is_admissible = &solution_always_valid,	17	.is_admissible = &solution_always_valid,
18	.is_solvable = &is_drfin_solvable,	18	.is_solvable = &is_drfinnoe_solvable,
19	.is_solved = NULL,	19	.is_solved = NULL,
20	.allow_niss = false,	20	.allow_niss = false,
21	.pruning_distribution = {	21	.pruning_distribution = {
22	/* TODO */	22	[0] = 1,
23	[0] = 0,	23	[1] = 3,
24	[1] = 0,	24	[2] = 10,
25	[2] = 0,	25	[3] = 44,
26	[3] = 0,	26	[4] = 214,
27	[4] = 0,	27	[5] = 846,
28	[5] = 0,	28	[6] = 2413,
29	[6] = 0,	29	[7] = 5122,
30	[7] = 0,	30	[8] = 8639,
31	[8] = 0,	31	[9] = 12128,
32	[9] = 0,	32	[10] = 12571,
33	[10] = 0,	33	[11] = 12985,
34	[11] = 0,	34	[12] = 7754,
35	[12] = 0,	35	[13] = 3366,
36	[13] = 0,	36	[14] = 336,
37	[14] = 0,
38	[15] = 0,
39	},	37	},
40	.pruning_max = 15, /* TODO */	38	.pruning_max = 14,
41	.sym = {	39	.sym = {
42	.classes = CLASSES_CP_16,	40	.classes = CLASSES_CP_16,
43	.max = FACT_8,	41	.max = FACT_8,