Fix bug 48 more properly.

cubing · Feb 1, 2024 · e40618d · e40618d
1 parent ea381c1
commit e40618d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/cpp/solve.cpp b/src/cpp/solve.cpp
@@ -122,7 +122,7 @@ int solveworker::solveiter(const puzdef &pd, prunetable &pt, const setval p) {
     if (uthr[uid].finished)
       continue;
     int v = uthr[uid].innerfetch(pd, pt);
-    if (v == 0) {
+    if (v <= 0) {
       if (uthr[uid].getwork(pd, pt)) {
         lookups++;
         extraprobes += uthr[uid].invflag;

diff --git a/src/cpp/twsearch.cpp b/src/cpp/twsearch.cpp
@@ -73,7 +73,7 @@ void reseteverything() {
 #else
   numthreads = 1;
 #endif
-  requesteduthreading = 1;
+  requesteduthreading = 4;
   verbose = 1;
   start = walltime();
   quarter = 0;
@@ -130,8 +130,8 @@ static intopt intopts[] = {
      "num  Use search-based canonical sequences to the given depth.", &ccount,
      0, 100},
     {"-t", "num  Use this many threads.", &numthreads, 1, MAXTHREADS},
-//  {"--microthreads", "num  Use this many microthreads on each thread.",
-//   &requesteduthreading, 1, MAXMICROTHREADING},
+    {"--microthreads", "num  Use this many microthreads on each thread.",
+     &requesteduthreading, 1, MAXMICROTHREADING},
     {"--orientationgroup",
      "num  Treat adjacent piece groups of this size as\n"
      "orientations.",