aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/checkdata.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-12-14 15:12:36 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-12-14 16:09:31 +0100
commitbcd52547af58b15868e24f3904e307548d1fd505 (patch)
treecda0a871f65575bb15fb4536c7b103c13caf433e /src/solvers/h48/checkdata.h
parent21fdf9697ddfab0a9c082a91ae0a79b1b574774c (diff)
downloadnissy-core-bcd52547af58b15868e24f3904e307548d1fd505.tar.gz
nissy-core-bcd52547af58b15868e24f3904e307548d1fd505.zip
Cleanup, update documentation, fix examples
Diffstat (limited to 'src/solvers/h48/checkdata.h')
-rw-r--r--src/solvers/h48/checkdata.h192
1 files changed, 75 insertions, 117 deletions
diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h
index 04afd48..7aa18aa 100644
--- a/src/solvers/h48/checkdata.h
+++ b/src/solvers/h48/checkdata.h
@@ -18,155 +18,113 @@ uint64_t expected_cocsep[21] = {
18struct { 18struct {
19 uint8_t max; 19 uint8_t max;
20 uint64_t table[21]; 20 uint64_t table[21];
21} expected_h48[12][9] = { 21} expected_h48[12] = {
22 [0] = { 22 [0] = {
23 [2] = { 23 .max = 3,
24 .max = 3, 24 .table = {
25 .table = { 25 [0] = 5473562,
26 [0] = 5473562, 26 [1] = 34776317,
27 [1] = 34776317, 27 [2] = 68566704,
28 [2] = 68566704, 28 [3] = 8750867,
29 [3] = 8750867,
30 },
31 },
32 [4] = {
33 .max = 12,
34 .table = {
35 [0] = 1,
36 [1] = 1,
37 [2] = 4,
38 [3] = 34,
39 [4] = 331,
40 [5] = 3612,
41 [6] = 41605,
42 [7] = 474128,
43 [8] = 4953846,
44 [9] = 34776317,
45 [10] = 68566704,
46 [11] = 8749194,
47 [12] = 1673,
48 },
49 }, 29 },
50 }, 30 },
51 [1] = { 31 [1] = {
52 [2] = { 32 .max = 3,
53 .max = 3, 33 .table = {
54 .table = { 34 [0] = 6012079,
55 [0] = 6012079, 35 [1] = 45822302,
56 [1] = 45822302, 36 [2] = 142018732,
57 [2] = 142018732, 37 [3] = 41281787,
58 [3] = 41281787,
59 },
60 }, 38 },
61 }, 39 },
62 [2] = { 40 [2] = {
63 [2] = { 41 .max = 3,
64 .max = 3, 42 .table = {
65 .table = { 43 [0] = 6391286,
66 [0] = 6391286, 44 [1] = 55494785,
67 [1] = 55494785, 45 [2] = 252389935,
68 [2] = 252389935, 46 [3] = 155993794,
69 [3] = 155993794,
70 },
71 }, 47 },
72 }, 48 },
73 [3] = { 49 [3] = {
74 [2] = { 50 .max = 3,
75 .max = 3, 51 .table = {
76 .table = { 52 [0] = 6686828,
77 [0] = 6686828, 53 [1] = 63867852,
78 [1] = 63867852, 54 [2] = 392789689,
79 [2] = 392789689, 55 [3] = 477195231,
80 [3] = 477195231,
81 },
82 }, 56 },
83 }, 57 },
84 [4] = { 58 [4] = {
85 [2] = { 59 .max = 3,
86 .max = 3, 60 .table = {
87 .table = { 61 [0] = 77147213,
88 [0] = 77147213, 62 [1] = 543379415,
89 [1] = 543379415, 63 [2] = 1139570251,
90 [2] = 1139570251, 64 [3] = 120982321,
91 [3] = 120982321,
92 },
93 }, 65 },
94 }, 66 },
95 [5] = { 67 [5] = {
96 [2] = { 68 .max = 3,
97 .max = 3, 69 .table = {
98 .table = { 70 [0] = 82471284,
99 [0] = 82471284, 71 [1] = 687850732,
100 [1] = 687850732, 72 [2] = 2345840746,
101 [2] = 2345840746, 73 [3] = 645995638,
102 [3] = 645995638,
103 },
104 }, 74 },
105 }, 75 },
106 [6] = { 76 [6] = {
107 [2] = { 77 .max = 3,
108 .max = 3, 78 .table = {
109 .table = { 79 [0] = 85941099,
110 [0] = 85941099, 80 [1] = 804752968,
111 [1] = 804752968, 81 [2] = 4077248182,
112 [2] = 4077248182, 82 [3] = 2556374551,
113 [3] = 2556374551,
114 },
115 }, 83 },
116 }, 84 },
117 [7] = { 85 [7] = {
118 [2] = { 86 .max = 3,
119 .max = 3, 87 .table = {
120 .table = { 88 [0] = 88529761,
121 [0] = 88529761, 89 [1] = 897323475,
122 [1] = 897323475, 90 [2] = 6126260791,
123 [2] = 6126260791, 91 [3] = 7936519573,
124 [3] = 7936519573,
125 },
126 }, 92 },
127 }, 93 },
128 [8] = { 94 [8] = {
129 [2] = { 95 .max = 3,
130 .max = 3, 96 .table = {
131 .table = { 97 [0] = 1051579940,
132 [0] = 1051579940, 98 [1] = 8136021316,
133 [1] = 8136021316, 99 [2] = 19024479822,
134 [2] = 19024479822, 100 [3] = 1885186122,
135 [3] = 1885186122,
136 },
137 }, 101 },
138 }, 102 },
139 [9] = { 103 [9] = {
140 [2] = { 104 .max = 3,
141 .max = 3, 105 .table = {
142 .table = { 106 [0] = 1102038189,
143 [0] = 1102038189, 107 [1] = 9888265242,
144 [1] = 9888265242, 108 [2] = 38299375805,
145 [2] = 38299375805, 109 [3] = 10904855164,
146 [3] = 10904855164,
147 },
148 }, 110 },
149 }, 111 },
150 [10] = { 112 [10] = {
151 [2] = { 113 .max = 3,
152 .max = 3, 114 .table = {
153 .table = { 115 [0] = 1133240039,
154 [0] = 1133240039, 116 [1] = 11196285614,
155 [1] = 11196285614, 117 [2] = 64164702961,
156 [2] = 64164702961, 118 [3] = 43894840186,
157 [3] = 43894840186,
158 },
159 }, 119 },
160 }, 120 },
161 [11] = { 121 [11] = {
162 [2] = { 122 .max = 3,
163 .max = 3, 123 .table = {
164 .table = { 124 [0] = 1150763161,
165 [0] = 1150763161, 125 [1] = 12045845660,
166 [1] = 12045845660, 126 [2] = 91163433330,
167 [2] = 91163433330, 127 [3] = 136418095449,
168 [3] = 136418095449,
169 },
170 }, 128 },
171 }, 129 },
172}; 130};
@@ -210,8 +168,8 @@ checkdata_h48(
210 continue; 168 continue;
211 } 169 }
212 170
213 ed = expected_h48[info.h48h][info.bits].table; 171 ed = expected_h48[info.h48h].table;
214 em = expected_h48[info.h48h][info.bits].max; 172 em = expected_h48[info.h48h].max;
215 173
216 LOG("[checkdata] Checking distribution for '%s' from " 174 LOG("[checkdata] Checking distribution for '%s' from "
217 "table preamble\n", info.solver); 175 "table preamble\n", info.solver);

Generated with cgit - Back to sebastiano.tronto.net