h48

A prototype for an optimal Rubik's cube solver, work in progress.
git clone https://git.tronto.net/h48
Download | Log | Files | Refs | README | LICENSE

commit 9f3fde47cd1a5a8881f7cbcf15218f2c3c875341
parent 89173fe1a7e839191a92ab82f79b42af46b1f9bc
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Wed, 18 Sep 2024 18:36:02 +0200

Added gendata for all table sizes (k=2)

Diffstat:
Atools/0022_gendata_h48h2k2/gendata_h48h2k2.c | 21+++++++++++++++++++++
Atools/0032_gendata_h48h3k2/gendata_h48h3k2.c | 21+++++++++++++++++++++
Atools/0042_gendata_h48h4k2/gendata_h48h4k2.c | 21+++++++++++++++++++++
Atools/0052_gendata_h48h5k2/gendata_h48h5k2.c | 21+++++++++++++++++++++
Atools/0062_gendata_h48h6k2/gendata_h48h6k2.c | 21+++++++++++++++++++++
Atools/0072_gendata_h48h7k2/gendata_h48h7k2.c | 21+++++++++++++++++++++
Atools/0082_gendata_h48h8k2/gendata_h48h8k2.c | 21+++++++++++++++++++++
Atools/0092_gendata_h48h9k2/gendata_h48h9k2.c | 21+++++++++++++++++++++
Atools/0102_gendata_h48h10k2/gendata_h48h10k2.c | 21+++++++++++++++++++++
Atools/0112_gendata_h48h11k2/gendata_h48h11k2.c | 21+++++++++++++++++++++
10 files changed, 210 insertions(+), 0 deletions(-)

diff --git a/tools/0022_gendata_h48h2k2/gendata_h48h2k2.c b/tools/0022_gendata_h48h2k2/gendata_h48h2k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "2;2;20", "tables/h48h2k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 2, k = 2"); + + return 0; +} diff --git a/tools/0032_gendata_h48h3k2/gendata_h48h3k2.c b/tools/0032_gendata_h48h3k2/gendata_h48h3k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "3;2;20", "tables/h48h3k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 3, k = 2"); + + return 0; +} diff --git a/tools/0042_gendata_h48h4k2/gendata_h48h4k2.c b/tools/0042_gendata_h48h4k2/gendata_h48h4k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "4;2;20", "tables/h48h4k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 4, k = 2"); + + return 0; +} diff --git a/tools/0052_gendata_h48h5k2/gendata_h48h5k2.c b/tools/0052_gendata_h48h5k2/gendata_h48h5k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "5;2;20", "tables/h48h5k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 5, k = 2"); + + return 0; +} diff --git a/tools/0062_gendata_h48h6k2/gendata_h48h6k2.c b/tools/0062_gendata_h48h6k2/gendata_h48h6k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "6;2;20", "tables/h48h6k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 6, k = 2"); + + return 0; +} diff --git a/tools/0072_gendata_h48h7k2/gendata_h48h7k2.c b/tools/0072_gendata_h48h7k2/gendata_h48h7k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "7;2;20", "tables/h48h7k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 7, k = 2"); + + return 0; +} diff --git a/tools/0082_gendata_h48h8k2/gendata_h48h8k2.c b/tools/0082_gendata_h48h8k2/gendata_h48h8k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "8;2;20", "tables/h48h8k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 8, k = 2"); + + return 0; +} diff --git a/tools/0092_gendata_h48h9k2/gendata_h48h9k2.c b/tools/0092_gendata_h48h9k2/gendata_h48h9k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "9;2;20", "tables/h48h9k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 9, k = 2"); + + return 0; +} diff --git a/tools/0102_gendata_h48h10k2/gendata_h48h10k2.c b/tools/0102_gendata_h48h10k2/gendata_h48h10k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "10;2;20", "tables/h48h10k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 10, k = 2"); + + return 0; +} diff --git a/tools/0112_gendata_h48h11k2/gendata_h48h11k2.c b/tools/0112_gendata_h48h11k2/gendata_h48h11k2.c @@ -0,0 +1,21 @@ +#include "../tool.h" + +uint64_t expected[21] = { + /* Base value is 8 */ + [0] = 0, /* Unknown */ + [1] = 0, /* Unknown */ + [2] = 0, /* Unknown */ + [3] = 0, /* Unknown */ +}; + +void run(void) { + gendata_run("h48", "11;2;20", "tables/h48h11k2", expected); +} + +int main(void) { + nissy_setlogger(log_stderr); + + timerun(run, "benchmark gendata_h48 h = 11, k = 2"); + + return 0; +}