From f8d247c53c3c3bd94fed645b5b47a9096cadc123 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 10 Oct 2024 14:30:39 +0200
Subject: Removed "options" from solver selection

Now the solver name fully determines the solver (and options)
to be used. For example, now one must specify "h48h0k4" as the
name of the solver.

This PR also fixes a couple of things in tools.
---
 tools/200_stats_tables_h48/stats_tables_h48.c | 30 ++++++++++++++++++++-------
 1 file changed, 22 insertions(+), 8 deletions(-)

(limited to 'tools/200_stats_tables_h48')

diff --git a/tools/200_stats_tables_h48/stats_tables_h48.c b/tools/200_stats_tables_h48/stats_tables_h48.c
index ea5fa5a..a9a2a1e 100644
--- a/tools/200_stats_tables_h48/stats_tables_h48.c
+++ b/tools/200_stats_tables_h48/stats_tables_h48.c
@@ -3,11 +3,10 @@
 #include "../tool.h"
 
 #define MAXMOVES 20
-#define NCUBES_PER_THREAD 10000
 #define LOG_EVERY (NCUBES_PER_THREAD / 10)
 
+int NCUBES_PER_THREAD;
 const char *solver = "h48stats";
-const char *options = "";
 const char *filename = "tables/h48h0k4";
 char *buf;
 
@@ -29,7 +28,7 @@ uint64_t rand64(void) {
 static void *
 run_thread(void *arg)
 {
-	char sols[12], cube[22];
+	char s[12], cube[22];
 	int64_t ep, eo, cp, co;
 	int i, j;
 
@@ -41,10 +40,9 @@ run_thread(void *arg)
 		cp = rand64();
 		co = rand64();
 		nissy_getcube(ep, eo, cp, co, "fix", cube);
-		nissy_solve(cube, "h48stats", "", "",
-		    0, MAXMOVES, 1, -1, buf, sols);
+		nissy_solve(cube, "h48stats", "", 0, MAXMOVES, 1, -1, buf, s);
 		for (j = 0; j < 12; j++)
-			a->v[j][(int)sols[j]]++;
+			a->v[j][(int)s[j]]++;
 		if ((i+1) % LOG_EVERY == 0)
 			fprintf(stderr, "[thread %d] %d cubes solved...\n",
 			    a->thread_id, i+1);
@@ -85,11 +83,27 @@ void run(void) {
 	}
 }
 
-int main(void) {
+int main(int argc, char **argv) {
 	srand(time(NULL));
 	nissy_setlogger(log_stderr);
 
-	if (getdata(solver, options, &buf, filename) != 0)
+	if (argc < 2) {
+		fprintf(stderr, "Error: not enough arguments. "
+		    "Number of cubes per thread must be provided.\n");
+		return 1;
+	}
+
+	NCUBES_PER_THREAD = atoi(argv[1]);
+
+	if (NCUBES_PER_THREAD < 1 || NCUBES_PER_THREAD > 1000000) {
+		fprintf(stderr, "Invalid number of cubes: must be > 0 and "
+		    "< 1000000, but %d was given.\n", NCUBES_PER_THREAD);
+		return 1;
+	}
+
+	printf("Using %d cubes per thread (%d total)\n",
+	    NCUBES_PER_THREAD, NCUBES_PER_THREAD * THREADS);
+	if (getdata(solver, &buf, filename) != 0)
 		return 1;
 
 	timerun(run);
-- 
cgit v1.3