Fix duplicate solutions, overflow in maxsols and improve symmetry reduction for H48.

This commit fixes two bugs:
  - A bug that caused duplicates solutions for symmetric scrambles.
  - An overflow in the maxsols parameter for the H48 solver, which
    caused it to find much fewer solutions than existed.

Moreover, the H48 solvers has been improved by reducing by symmetry not
only from the starting position, but also up to the first 4 moves.

2 files changed, 27 insertions, 0 deletions

diff --git a/tools/420_solvetest_h48_symmetric/scrambles.h b/tools/420_solvetest_h48_symmetric/scrambles.h
new file mode 100644
index 0000000..33f1643
--- /dev/null
+++ b/tools/420_solvetest_h48_symmetric/scrambles.h
@@ -0,0 +1,18 @@
+struct {
+        char *scramble;
+        char *solutions;
+} s[] = {
+[0] = {
+        .scramble = "M2 E2 S2",
+        .solutions =
+                "U2 D2 F2 B2 R2 L2\n"
+                "U2 D2 R2 L2 F2 B2\n"
+                "R2 L2 U2 D2 F2 B2\n"
+                "R2 L2 F2 B2 U2 D2\n"
+                "F2 B2 U2 D2 R2 L2\n"
+                "F2 B2 R2 L2 U2 D2\n"
+},
+{
+        .scramble = "", /* End-of-list signal */
+}
+};
diff --git a/tools/420_solvetest_h48_symmetric/solvetest.c b/tools/420_solvetest_h48_symmetric/solvetest.c
new file mode 100644
index 0000000..245b7fe
--- /dev/null
+++ b/tools/420_solvetest_h48_symmetric/solvetest.c
@@ -0,0 +1,9 @@
+#define SOLVER       "h48h3k2"
+#define NISSFLAG     NISSY_NISSFLAG_NORMAL
+#define MINMOVES     0
+#define MAXMOVES     20
+#define MAXSOLUTIONS 500
+#define OPTIMAL      0
+
+#include "scrambles.h"
+#include "../solvetest.h"