aboutsummaryrefslogtreecommitdiff
path: root/test/103_gendata_h48
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-07-08 19:22:16 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-07-08 19:22:16 +0200
commitc2275e4b9625a1a19eb50d0880f70ed583d5c358 (patch)
treef1b6798f017dd62ece5b56f05d5c7201ba50ff39 /test/103_gendata_h48
parent66c1c11ec13d362ddfb1b5f6abe8127969c0ad29 (diff)
downloadnissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.tar.gz
nissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.zip
Stats for h48 solver as tool
Diffstat (limited to 'test/103_gendata_h48')
-rw-r--r--test/103_gendata_h48/00_h_0.in1
-rw-r--r--test/103_gendata_h48/00_h_0.out23
-rw-r--r--test/103_gendata_h48/01_h_1.in1
-rw-r--r--test/103_gendata_h48/01_h_1.out23
-rw-r--r--test/103_gendata_h48/gendata_h48_tests.c34
5 files changed, 0 insertions, 82 deletions
diff --git a/test/103_gendata_h48/00_h_0.in b/test/103_gendata_h48/00_h_0.in
deleted file mode 100644
index 573541a..0000000
--- a/test/103_gendata_h48/00_h_0.in
+++ /dev/null
@@ -1 +0,0 @@
10
diff --git a/test/103_gendata_h48/00_h_0.out b/test/103_gendata_h48/00_h_0.out
deleted file mode 100644
index cc5cf9b..0000000
--- a/test/103_gendata_h48/00_h_0.out
+++ /dev/null
@@ -1,23 +0,0 @@
159903605
2
3cocsepdata:
4Classes: 3393
5Max value: 9
60: 1
71: 6
82: 63
93: 468
104: 3068
115: 15438
126: 53814
137: 71352
148: 8784
159: 96
16
17h48:
180: 1
191: 1
202: 4
213: 34
224: 329
235: 3587
diff --git a/test/103_gendata_h48/01_h_1.in b/test/103_gendata_h48/01_h_1.in
deleted file mode 100644
index d00491f..0000000
--- a/test/103_gendata_h48/01_h_1.in
+++ /dev/null
@@ -1 +0,0 @@
11
diff --git a/test/103_gendata_h48/01_h_1.out b/test/103_gendata_h48/01_h_1.out
deleted file mode 100644
index bd0931c..0000000
--- a/test/103_gendata_h48/01_h_1.out
+++ /dev/null
@@ -1,23 +0,0 @@
1118687330
2
3cocsepdata:
4Classes: 3393
5Max value: 9
60: 1
71: 6
82: 63
93: 468
104: 3068
115: 15438
126: 53814
137: 71352
148: 8784
159: 96
16
17h48:
180: 1
191: 1
202: 4
213: 34
224: 375
235: 4078
diff --git a/test/103_gendata_h48/gendata_h48_tests.c b/test/103_gendata_h48/gendata_h48_tests.c
deleted file mode 100644
index 666f9f6..0000000
--- a/test/103_gendata_h48/gendata_h48_tests.c
+++ /dev/null
@@ -1,34 +0,0 @@
1#include "../test.h"
2
3#define MAXDEPTH 5
4#define COCSEPSIZE 1119792
5#define ETABLESIZE(h) (((3393 * 495 * 70) >> 1) << (size_t)(h))
6
7size_t gendata_h48(void *, uint8_t, uint8_t);
8
9void run(void) {
10 char str[STRLENMAX];
11 uint8_t h, i;
12 uint32_t *buf, *h48info;
13 size_t result;
14
15 fgets(str, STRLENMAX, stdin);
16 h = atoi(str);
17 buf = (uint32_t *)malloc(sizeof(uint32_t) * (60000000 << h));
18 result = gendata_h48(buf, h, MAXDEPTH);
19 h48info = buf + (ETABLESIZE(h) + COCSEPSIZE) / 4;
20
21 printf("%zu\n\n", result);
22
23 printf("cocsepdata:\n");
24 printf("Classes: %" PRIu32 "\n", buf[COCSEPSIZE/4-12]);
25 printf("Max value: %" PRIu32 "\n", buf[COCSEPSIZE/4-11]);
26 for (i = 0; i < 10; i++)
27 printf("%" PRIu32 ": %" PRIu32 "\n", i, buf[COCSEPSIZE/4-10+i]);
28
29 printf("\nh48:\n");
30 for (i = 0; i < MAXDEPTH+1; i++)
31 printf("%" PRIu32 ": %" PRIu32 "\n", i, h48info[i+1]);
32
33 free(buf);
34}

Generated with cgit - Back to sebastiano.tronto.net