aboutsummaryrefslogtreecommitdiff
path: root/tools/403_solvetest_opt0_EO_UD
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-07-31 14:16:48 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-07-31 14:16:48 +0200
commit6184781dbc28669a52de8a3bd95e5815a09fa674 (patch)
treeb135020d3fa9579eaf503c21e2d43c4409074b22 /tools/403_solvetest_opt0_EO_UD
parente201ec3b7001a2652560bfa845d41abe0bc9f181 (diff)
downloadnissy-core-6184781dbc28669a52de8a3bd95e5815a09fa674.tar.gz
nissy-core-6184781dbc28669a52de8a3bd95e5815a09fa674.zip
Added solvetest tools, found bug in DR
Diffstat (limited to 'tools/403_solvetest_opt0_EO_UD')
-rw-r--r--tools/403_solvetest_opt0_EO_UD/scrambles.h550
-rw-r--r--tools/403_solvetest_opt0_EO_UD/solvetest.c8
2 files changed, 558 insertions, 0 deletions
diff --git a/tools/403_solvetest_opt0_EO_UD/scrambles.h b/tools/403_solvetest_opt0_EO_UD/scrambles.h
new file mode 100644
index 0000000..df1d71c
--- /dev/null
+++ b/tools/403_solvetest_opt0_EO_UD/scrambles.h
@@ -0,0 +1,550 @@
1struct {
2 char *scramble;
3 char *solutions;
4} s[] = {
5[0] = {
6 .scramble = "B L' U' F2 D R F R F2 B' U D2 R2 F2 L2 B2 R2 F2 U F2",
7 .solutions =
8 "F D L B' U\n"
9 "F D B' L2 U\n"
10 "F B' D L2 U\n"
11 "F' D L B' U\n"
12 "F' D B' L2 U\n"
13 "F' B' D L2 U\n"
14 "U F U B D\n"
15 "U F U' B D\n"
16 "U F' U B D\n"
17 "U F' U' B D\n"
18 "F B' U B2 D\n"
19 "F' B' U B2 D\n"
20 "B U F D U\n"
21 "B U F' D U\n"
22 "(D' F D L U)\n"
23 "(D' F D' L U)\n"
24 "(D' F' D L U)\n"
25 "(D' F' D' L U)\n"
26 "(F L' D L2 U)\n"
27 "(F' L' D L2 U)\n"
28 "(F U L' B2 D)\n"
29 "(F U B L' D)\n"
30 "(F L' U B2 D)\n"
31 "(F' U L' B2 D)\n"
32 "(F' U B L' D)\n"
33 "(F' L' U B2 D)\n"
34 "(D' L' F D U)\n"
35 "(D' L' F' D U)\n"
36 "U (L U B D)\n"
37 "U (L U' B D)\n"
38 "D L' F U (U)\n"
39 "D F L2 U (U)\n"
40 "L' F U (L U)\n"
41 "F L2 U (L U)\n"
42 "U B' D (D U)\n"
43 "U' B' D (D U)\n"
44 "D2 F' D (F' U)\n"
45 "L B D (F' U)\n"
46 "B U F D (D)\n"
47 "B U' F D (D)\n"
48 "B' U F D (D)\n"
49 "B' U' F D (D)\n"
50 "D U (U B' D)\n"
51 "D U (U' B' D)\n"
52},
53[1] = {
54 .scramble = "L' U' D' F' R2 L F2 D L F2 L2 F2 L2 U L2 D F2 U2 B2 U'",
55 .solutions =
56 "U (R2 L' U)\n"
57 "D R' U (D)\n"
58 "D' R' U (D)\n"
59},
60[2] = {
61 .scramble = "F2 L F' B2 D F R' U2 B R2 U' R2 D' L2 D2 B2 U' L2 U2",
62 .solutions =
63 "B U (F' D)\n"
64 "B2 U (F D)\n"
65},
66[3] = {
67 .scramble = "R2 U' F2 R L' U D' B R' F R2 B U2 R2 B U2 B' L2 F' D2 F' L2",
68 .solutions =
69 "(R L D U)\n"
70 "(R L' D U)\n"
71 "(R' L D U)\n"
72 "(R' L' D U)\n"
73},
74[4] = {
75 .scramble = "B' U' R U' B L' B' U F' L U F2 R2 F2 D F2 B2 D2 L2 U' B2 U'",
76 .solutions =
77 "D L U (B' U)\n"
78 "D' L U (B' U)\n"
79 "L U B D (U)\n"
80 "L U' B D (U)\n"
81 "D U (R B' U)\n"
82 "D U (B' R U)\n"
83},
84[5] = {
85 .scramble = "D R' F' D' B' R B' U' F R' B2 R F2 R' D2 B2 L B2 L2 U2 D2 L'",
86 .solutions =
87 "F D L2 B U\n"
88 "F D B L2 U\n"
89 "F B D L2 U\n"
90 "F' D L2 B U\n"
91 "F' D B L2 U\n"
92 "F' B D L2 U\n"
93 "U F U B' D\n"
94 "U F U' B' D\n"
95 "U F' U B' D\n"
96 "U F' U' B' D\n"
97 "F B U B2 D\n"
98 "F' B U B2 D\n"
99 "B' U F D U\n"
100 "B' U F' D U\n"
101 "(F U R2 L D)\n"
102 "(F' U' R' L2 D)\n"
103 "L B' D (B2 U)\n"
104 "B' D (U2 F U)\n"
105 "B' D (L' B' U)\n"
106 "B' L D (B2 U)\n"
107},
108[6] = {
109 .scramble = "B U' F L D' R2 F2 R' F2 U' D2 B L2 F' R2 B' U2 B U2 R2",
110 .solutions =
111 "U L F B' D\n"
112 "U B' L F D\n"
113 "U' L F B' D\n"
114 "U' B' L F D\n"
115 "F' U L B' D\n"
116 "F' U B' L D\n"
117 "F' U' L B' D\n"
118 "F' U' B' L D\n"
119 "(B L D R U)\n"
120 "(B L D' R U)\n"
121 "(B L' D R U)\n"
122 "(B L' D' R U)\n"
123 "(R' L U B' D)\n"
124 "(R' L U' B' D)\n"
125 "(R' L' U B' D)\n"
126 "(R' L' U' B' D)\n"
127 "(R' B L D U)\n"
128 "(R' B L' D U)\n"
129 "U (R F2 L' U)\n"
130 "U (F2 R2 L' U)\n"
131 "U (D R' B2 D)\n"
132 "U (D B2 R' D)\n"
133 "U (R' B2 L' D)\n"
134 "U (F L B2 D)\n"
135 "U (F B2 L D)\n"
136 "U (B2 D2 R' D)\n"
137 "R2 U (L B2 D)\n"
138 "R2 U (B2 L D)\n"
139 "U F' L' D (D)\n"
140 "U B' D (F2 U)\n"
141 "U' F' L' D (D)\n"
142 "U' B' D (F2 U)\n"
143 "L U F' D (D)\n"
144 "L U' F' D (D)\n"
145},
146[7] = {
147 .scramble = "U2 D' F' U' R' U B' R D2 F U2 D F2 U2 B2 D' B2 L2 U2 D'",
148 .solutions =
149 "L' D F' B' U\n"
150 "L' D' F' B' U\n"
151 "F L' D B' U\n"
152 "F L' D' B' U\n"
153 "(U' R D B' U)\n"
154 "(U' R D' B' U)\n"
155 "(U' R' D B' U)\n"
156 "(U' R' D' B' U)\n"
157 "(R D L B U)\n"
158 "(R D' L B U)\n"
159 "(R B' D L U)\n"
160 "(R B' D' L U)\n"
161 "(U' B R D U)\n"
162 "(U' B R' D U)\n"
163 "(B U2 R D U)\n"
164 "(B U2 R' D U)\n"
165 "D B' U (F' D)\n"
166 "D' F2 B' U (D)\n"
167 "D' B' U (F' D)\n"
168 "F2 B2 U (R D)\n"
169 "F2 B' U (R2 D)\n"
170 "R2 L2 D (R D)\n"
171 "R2 L' D (R' D)\n"
172},
173[8] = {
174 .scramble = "L D R D2 B D R U B' D B2 D' L2 U2 R2 D L2 U L2 U2 F2",
175 .solutions =
176 "(F B' L' U)\n"
177 "(B' L' F2 U)\n"
178 "(R2 B L D)\n"
179 "(B R2 L D)\n"
180 "R U (L' U)\n"
181},
182[9] = {
183 .scramble = "R' D2 L B2 U B D F2 L U L2 U2 L2 U R2 U' F2 D2 F2 U2 B2",
184 .solutions =
185 "D (U' R2 U)\n"
186 "D (D' F2 D)\n"
187},
188[10] = {
189 .scramble = "F' B2 U2 D R' U F R D R' U2 B2 R U2 R U2 R' D2 R' B2 L'",
190 .solutions =
191 "U' R2 F' B U\n"
192 "U' F' R' B U\n"
193 "U' F' B R2 U\n"
194 "U' B R F' U\n"
195 "U' L2 F B' D\n"
196 "U' F L2 B' D\n"
197 "U' F B' L2 D\n"
198 "U' B' L2 F D\n"
199 "B D' U F D\n"
200 "B D' U' F D\n"
201 "B' U' L2 F D\n"
202 "B' U' F L2 D\n"
203 "(L2 F D B2 U)\n"
204 "(L2 F' D B2 U)\n"
205 "(F D' F2 B' U)\n"
206 "(L2 F U R2 D)\n"
207 "(L2 F' U R2 D)\n"
208 "U (U R B' U)\n"
209 "U (U B' R U)\n"
210 "U (U' L F' U)\n"
211 "U (U' F' L U)\n"
212 "U (R U2 B' U)\n"
213 "U (R L F U)\n"
214 "U (F' U2 L U)\n"
215 "U (F' B' R' U)\n"
216 "F' U (U2 B' U)\n"
217 "F' U (L F U)\n"
218 "D (U2 F D U)\n"
219 "D (U2 F' D U)\n"
220 "F2 B' D (F D)\n"
221 "B2 D (U F D)\n"
222 "B2 D (U' F D)\n"
223},
224[11] = {
225 .scramble = "D2 R' U F' D' R2 D' L2 F R D2 R' F2 R2 U2 R U2 B2 R2 U2 B2",
226 .solutions =
227 "L F' U\n"
228 "F' L U\n"
229},
230[12] = {
231 .scramble = "F' U' D B2 U2 F R2 D' R U R2 L2 F2 D F2 U L2 D' R2 F2",
232 .solutions =
233 "B' D R2 B U\n"
234 "B U' F B2 D\n"
235 "D R' L2 U (D)\n"
236 "R' U (R' B2 D)\n"
237 "R' U (B2 R' D)\n"
238 "R' L2 U (R' D)\n"
239 "U2 B2 D (F' D)\n"
240 "D2 F2 D (F' D)\n"
241 "F2 D (F2 R' D)\n"
242 "B' D (D2 B D)\n"
243 "B' D (L' F' D)\n"
244},
245[13] = {
246 .scramble = "R2 U2 B' D2 R' D2 L' B2 U2 D' B' L2 B2 L2 B' L2 F' U2 L2 F U2 B",
247 .solutions =
248 "(R2 L' D)\n"
249},
250[14] = {
251 .scramble = "R2 L' F' R B' U F D2 R' B R2 B L2 D2 L2 B' U2 F D2 B2 D2",
252 .solutions =
253 "R2 F B' U\n"
254 "F R2 B' U\n"
255 "F B' R2 U\n"
256 "B' R2 F U\n"
257 "L2 F' B D\n"
258 "F' L' B D\n"
259 "F' B L2 D\n"
260 "B L F' D\n"
261 "(F2 B R U)\n"
262 "(R L2 B D)\n"
263},
264[15] = {
265 .scramble = "U' L' U L2 D2 F D L' U B2 L2 B' R2 U2 B U2 R2 L2 B' D2",
266 .solutions =
267 "D (R2 D)\n"
268},
269[16] = {
270 .scramble = "F U2 F R2 U' D' B R' U2 R' U2 L2 U2 B2 R' D2 B2 R B2 L' F2",
271 .solutions =
272 "(D U2 F U)\n"
273 "(D L' B' U)\n"
274 "(D' U2 F U)\n"
275 "(D' L' B' U)\n"
276 "(L2 D B' U)\n"
277 "(L2 D' B' U)\n"
278},
279[17] = {
280 .scramble = "U F2 R' L F' U2 F D' L' U D2 B' R2 F' D2 B' L2 B'",
281 .solutions =
282 "U2 R' B D' L2 U\n"
283 "U2 R' B' D' L2 U\n"
284 "U2 B D' R L2 U\n"
285 "U2 B' D' R L2 U\n"
286 "R L' F D L2 U\n"
287 "R L' F' D L2 U\n"
288 "R F D L2 F U\n"
289 "R' U2 B D R2 U\n"
290 "R' U2 B' D R2 U\n"
291 "R' U' B D' L2 U\n"
292 "R' U' B' D' L2 U\n"
293 "R' B D' L2 F U\n"
294 "L2 D' F D R' U\n"
295 "L2 D' F D' R' U\n"
296 "L2 D' F' D R' U\n"
297 "L2 D' F' D' R' U\n"
298 "L' F D R' L2 U\n"
299 "L' F' D R' L2 U\n"
300 "F U B' D R' U\n"
301 "F U B' D' R' U\n"
302 "F U' B D L U\n"
303 "F U' B D' L U\n"
304 "F D R' L2 F U\n"
305 "F D L2 F R' U\n"
306 "F D' R2 L F' U\n"
307 "F D' R2 F' L U\n"
308 "F B D U' L U\n"
309 "F B D' U' L U\n"
310 "F B' D U R' U\n"
311 "F B' D' U R' U\n"
312 "F' B D R2 L U\n"
313 "F' B' D' R' L2 U\n"
314 "B D R L F' U\n"
315 "B D R F' L U\n"
316 "B D L F' R2 U\n"
317 "B D F' R2 L U\n"
318 "B D' R L2 F U\n"
319 "B' D' L2 F' R' U\n"
320 "B' D' F' R' L2 U\n"
321 "B' R D' L2 F' U\n"
322 "B' R D' F' L2 U\n"
323 "B' R F' D' L2 U\n"
324 "U R U F B D\n"
325 "U R U' F B D\n"
326 "U B' R U F D\n"
327 "U B' R U' F D\n"
328 "U2 R' B U' F2 D\n"
329 "U2 R' B' U' F2 D\n"
330 "R L' F U B2 D\n"
331 "R L' F' U B2 D\n"
332 "R F' U' F2 B D\n"
333 "R' U2 B U F2 D\n"
334 "R' U2 B' U F2 D\n"
335 "R' U' B U' F2 D\n"
336 "R' U' B' U' F2 D\n"
337 "L2 F U' B2 L' D\n"
338 "L2 F' U' B2 L' D\n"
339 "B D L' F B2 D\n"
340 "B D F L' B2 D\n"
341 "B D F B L' D\n"
342 "B D B L' F D\n"
343 "B D' F B2 R D\n"
344 "B2 D L' F B' D\n"
345 "B2 D F L' B' D\n"
346 "B2 D' F R B D\n"
347 "B' U R U F D\n"
348 "B' U R U' F D\n"
349 "B' D F B2 L' D\n"
350 "B' D B2 L' F D\n"
351 "B' D' F R B2 D\n"
352 "B' D' F B' R D\n"
353 "B' R F' U' F2 D\n"
354 "R L2 D' F D U\n"
355 "R L2 D' F' D U\n"
356 "L2 D' R F D U\n"
357 "L2 D' R F' D U\n"
358 "(U2 L D F' B2 U)\n"
359 "(U2 L' D F' B2 U)\n"
360 "(U2 F L D B2 U)\n"
361 "(U2 F L' D B2 U)\n"
362 "(R L D F B2 U)\n"
363 "(R L' D' F2 B' U)\n"
364 "(R' U L' D B' U)\n"
365 "(R' U L' D' B' U)\n"
366 "(R' U' L D F U)\n"
367 "(R' U' L D' F U)\n"
368 "(R' D F2 R B' U)\n"
369 "(R' D F2 B' R U)\n"
370 "(R' D' F B2 R' U)\n"
371 "(R' D' B2 R' F U)\n"
372 "(R' L D U' F U)\n"
373 "(R' L D' U' F U)\n"
374 "(R' L' D U B' U)\n"
375 "(R' L' D' U B' U)\n"
376 "(L D R F B2 U)\n"
377 "(L D B2 R F U)\n"
378 "(L F' D R B2 U)\n"
379 "(L F' D B2 R U)\n"
380 "(L F' R D B2 U)\n"
381 "(L' D F' B2 R' U)\n"
382 "(L' D' R F2 B' U)\n"
383 "(L' D' F' R B' U)\n"
384 "(L' D' F' B' R U)\n"
385 "(L' D' B' R F2 U)\n"
386 "(F U L D B2 U)\n"
387 "(F U L' D B2 U)\n"
388 "(F U2 L D' F2 U)\n"
389 "(F U2 L' D' F2 U)\n"
390 "(F L' D B2 R' U)\n"
391 "(F' R' D' B2 R' U)\n"
392 "(F' B R D' B2 U)\n"
393 "(F' B R' D' B2 U)\n"
394 "(B R D' F B2 U)\n"
395 "(B R' D' F B2 U)\n"
396 "(B2 D R D F U)\n"
397 "(B2 D R D' F U)\n"
398 "(B2 D R' D F U)\n"
399 "(B2 D R' D' F U)\n"
400 "(U2 F L U R2 D)\n"
401 "(U2 F L' U R2 D)\n"
402 "(U' L F' U R' D)\n"
403 "(U' L F' U' R' D)\n"
404 "(U' F' U R' L' D)\n"
405 "(U' F' U' R' L' D)\n"
406 "(L U' F' U R' D)\n"
407 "(L U' F' U' R' D)\n"
408 "(L D R' L F' D)\n"
409 "(L D R' F' L2 D)\n"
410 "(L D' R' L2 B D)\n"
411 "(L D' L2 B R' D)\n"
412 "(L F' R U R2 D)\n"
413 "(L2 D R' F' L' D)\n"
414 "(L2 D' R' B L D)\n"
415 "(L2 D' B R' L D)\n"
416 "(L' D R' L2 F' D)\n"
417 "(L' D' R' L' B D)\n"
418 "(L' D' R' B L2 D)\n"
419 "(L' D' L' B R' D)\n"
420 "(L' D' B R' L2 D)\n"
421 "(F U L U R2 D)\n"
422 "(F U L' U R2 D)\n"
423 "(F U2 L U' R2 D)\n"
424 "(F U2 L' U' R2 D)\n"
425 "(F' R U R2 L' D)\n"
426 "(F' B R U' L2 D)\n"
427 "(F' B R' U' L2 D)\n"
428 "(B2 R U L2 B D)\n"
429 "(B2 R' U L2 B D)\n"
430 "(F' B2 D R D U)\n"
431 "(F' B2 D R' D U)\n"
432 "(B2 D F' R D U)\n"
433 "(B2 D F' R' D U)\n"
434 "U (R' D U2 L' U)\n"
435 "U (R' D F R U)\n"
436 "U (R' D' U2 L' U)\n"
437 "U (R' D' F R U)\n"
438 "U (R' F2 D R U)\n"
439 "U (R' F2 D' R U)\n"
440 "U (R U F' R' D)\n"
441 "U (R U' F' R' D)\n"
442 "U (R D2 U L D)\n"
443 "U (R D2 U' L D)\n"
444 "U (R F2 U R' D)\n"
445 "U (R F2 U' R' D)\n"
446 "U (R2 F2 R D U)\n"
447 "U (R2 F2 R' D U)\n"
448 "U (L2 B2 R D U)\n"
449 "U (L2 B2 R' D U)\n"
450 "U R' U (R' L2 D)\n"
451 "U2 R' B' U (R' D)\n"
452 "U' L U (R' L D)\n"
453 "U' L B U (R' D)\n"
454 "R L F2 U (L D)\n"
455 "R F2 L U (L D)\n"
456 "R F' U (F2 R U)\n"
457 "R2 F' U (R F2 U)\n"
458 "R2 F' U (F' R U)\n"
459 "R' L F' U (R' D)\n"
460 "R' L2 U (R B2 U)\n"
461 "R' L2 U (B2 R U)\n"
462 "R' F' L U (R' D)\n"
463 "L U2 B U (R' D)\n"
464 "L F' U (D2 L D)\n"
465 "L F' U (F' R' D)\n"
466 "L F' R U (L D)\n"
467 "L2 F U (R' F' D)\n"
468 "F U (F' U R' D)\n"
469 "F U (F' U' R' D)\n"
470 "F D' R2 U (F U)\n"
471 "F2 U (D R F U)\n"
472 "F2 U (D' R F U)\n"
473 "F2 U (F' D R U)\n"
474 "F2 U (F' D' R U)\n"
475 "F2 R' L' U (L2 D)\n"
476 "F' U (D' F2 R U)\n"
477 "F' D' R2 U (F U)\n"
478 "F' R L U (L D)\n"
479 "F' R2 U (F2 R U)\n"
480 "F' L U (D2 L D)\n"
481 "F' L U (F' R' D)\n"
482 "B U (B2 R D U)\n"
483 "B U (B2 R' D U)\n"
484 "U F2 B' D (R U)\n"
485 "R U F D (R' U)\n"
486 "R U' F D (R' U)\n"
487 "R B D (L' F D)\n"
488 "R B D (F L' D)\n"
489 "R B2 D (L2 F D)\n"
490 "R B2 D (F L2 D)\n"
491 "R' U F' B' D (U)\n"
492 "R' U B' D (R2 U)\n"
493 "R' U' F' B' D (U)\n"
494 "R' U' B' D (R2 U)\n"
495 "R' L' B2 D (L D)\n"
496 "R' B D (F' L' D)\n"
497 "R' B L' D (L D)\n"
498 "R' B2 D (L F' D)\n"
499 "R' B2 D (F' L2 D)\n"
500 "L' B2 R' D (L D)\n"
501 "L' B' R' D (L' D)\n"
502 "F D (R' F B' U)\n"
503 "F D (F R' B' U)\n"
504 "F U' B2 D (F U)\n"
505 "F R' U B' D (U)\n"
506 "F R' U' B' D (U)\n"
507 "F B2 D (U' F U)\n"
508 "F B' D (U B' U)\n"
509 "F2 B' D (R B' U)\n"
510 "F2 B' D (B' R U)\n"
511 "F' U' B2 D (F U)\n"
512 "F' B' D (F' B' U)\n"
513 "B D (B L F D)\n"
514 "B R' D (F' L' D)\n"
515 "B R' L' D (L D)\n"
516 "B2 D (R2 F B U)\n"
517 "B2 D (L2 F B D)\n"
518 "B2 R D (L F D)\n"
519 "B2 R' D (L F' D)\n"
520 "B2 R' D (F' L2 D)\n"
521 "B2 R' L' D (L2 D)\n"
522 "B' D (R F' B' U)\n"
523 "B' D (F' R2 B' U)\n"
524 "B' D (F' B' R2 U)\n"
525 "B' D (B' R F' U)\n"
526 "B' D (L' F B D)\n"
527 "B' D (F L' B D)\n"
528 "B' D (F B L2 D)\n"
529 "B' D (B L2 F D)\n"
530 "B' R D (L2 F D)\n"
531 "B' R D (F L2 D)\n"
532 "B' R' D (L2 F' D)\n"
533},
534[18] = {
535 .scramble = "D2 R D B2 U2 B R F U2 L' D2 R2 D2 R2 D' F2 L2 F2 U R2 D'",
536 .solutions =
537 "U (D R D)\n"
538 "B U (R D)\n"
539},
540[19] = {
541 .scramble = "B' D' F B' U' R U' R' D' F' D2 B2 R' L2 D2 L' B2 L' B2 L2 U2 F2",
542 .solutions =
543 "U (R2 F U)\n"
544 "U (F R2 U)\n"
545 "F U (R2 U)\n"
546},
547{
548 .scramble = "", /* End-of-list signal */
549}
550};
diff --git a/tools/403_solvetest_opt0_EO_UD/solvetest.c b/tools/403_solvetest_opt0_EO_UD/solvetest.c
new file mode 100644
index 0000000..5b30590
--- /dev/null
+++ b/tools/403_solvetest_opt0_EO_UD/solvetest.c
@@ -0,0 +1,8 @@
1#define NISSFLAG NISSY_NISSFLAG_ALL
2#define MINMOVES 0
3#define MAXMOVES 20
4#define MAXSOLUTIONS 500
5#define OPTIMAL 0
6
7#include "scrambles.h"
8#include "../solvetest.h"

Generated with cgit - Back to sebastiano.tronto.net