clement
Member
Hi everyone
Recently I worked again on my 4x4 optimal solver for it to be easier to use.
Here it is : http://perso.ens-lyon.fr/clement.gallet/optimal444.zip
Sorry for (almost) all windows users, it uses special librairies (ext/hash_set). Maybe someone could compile it to work on Windows, I can't do it myself.
When launching the program (after compiling), it first asks for the description of the cube, sticker by sticker. After it asks if you want to forbid moves. Then it starts the research, by length of the solutions increasing.
The pre-computation consists of storing every position around the solved state into an hash set. So the main parameter to configure before compilation is the maximum distance of those positions. The thing is that this distance is limited by the memory of your computer, and by the moves that you will forbid for the search.
This parameter is QUEUE_DEPTH in the main.h file.
For exemple, for my computer (500 Mo) without forbidding moves, the maximum distance is 4, but if I limit in <r, l, U2, D2, F2, B2, R2, L2>, I can put a distance of 7 which will allow a faster search.
If you put a too high number, you will just have an error
The program consider that the corner DBL is always solved, so it will print solutions with those moves : Uud, Ffb and Rrl instead of D, B and L.
Uud means U u d', Uud' means U' u' d, etc.
One of my TODO is to print in the usual way.
An exemple of the speed of the program, with my quite old computer (Pentium M 1.6 GHz, 500 Mo), I found all 15 moves solutions for the OLL parity in about 30 minutes into the sub-group <r, l, U2, D2, F2, B2, R2, L2> :
F2 r Uud2 r' Ffb2 l Ffb2 l2 Uud2 r' Uud2 l Uud2 F2 r2(15)
F2 r Uud2 l' Uud2 l Uud2 r2 Ffb2 r' Ffb2 r Uud2 F2 r2(15)
F2 l Ffb2 r' U2 r U2 r2 F2 r' Uud2 r Uud2 Ffb2 l2(15)
F2 l Ffb2 r' U2 r U2 l2 Ffb2 l' Uud2 l Uud2 F2 r2(15)
F2 l Ffb2 l' Ffb2 r Uud2 r2 Ffb2 r' Ffb2 r Uud2 F2 r2(15)
F2 r2 F2 U2 r U2 r' U2 r2 F2 l F2 l' U2 r(15)
F2 r2 F2 U2 r U2 l' Ffb2 l2 Uud2 l Uud2 r' Ffb2 l(15)
F2 r2 F2 U2 l F2 r' F2 l2 U2 l U2 r' U2 r(15)
F2 r2 Ffb2 U2 r' U2 l F2 l2 Uud2 r' Uud2 l Ffb2 r'(15)
F2 l2 F2 U2 r' F2 l F2 r2 U2 l' Ffb2 r Ffb2 r'(15)
F2 l2 F2 U2 l' U2 r Ffb2 r2 Uud2 r' Uud2 l Ffb2 r'(15)
F2 l2 F2 U2 l' U2 l U2 l2 F2 r' F2 r U2 l'(15)
F2 l2 Ffb2 U2 l U2 r' F2 r2 Uud2 l Uud2 r' Ffb2 l(15)
F2 r' Ffb2 r Ffb2 l' Uud2 l2 Ffb2 l Ffb2 l' Uud2 F2 l2(15)
F2 r' Ffb2 l U2 l' U2 r2 Ffb2 r Uud2 r' Uud2 F2 l2(15)
F2 r' Ffb2 l U2 l' U2 l2 F2 l Uud2 l' Uud2 Ffb2 r2(15)
F2 l' Uud2 r Uud2 r' Uud2 l2 Ffb2 l Ffb2 l' Uud2 F2 l2(15)
F2 l' Uud2 l Ffb2 r' Ffb2 r2 Uud2 l Uud2 r' Uud2 F2 l2(15)
U2 r Uud2 r' Uud2 l Ffb2 l2 Uud2 l' Uud2 l Ffb2 U2 l2(15)
U2 r Uud2 l' F2 l F2 r2 Uud2 r' Ffb2 r Ffb2 U2 l2(15)
U2 r Uud2 l' F2 l F2 l2 U2 l' Ffb2 l Ffb2 Uud2 r2(15)
U2 l Ffb2 r' Ffb2 r Ffb2 l2 Uud2 l' Uud2 l Ffb2 U2 l2(15)
U2 l Ffb2 l' Uud2 r Uud2 r2 Ffb2 l' Ffb2 r Ffb2 U2 l2(15)
U2 r2 U2 F2 r' F2 r F2 r2 U2 l' U2 l F2 r'(15)
U2 r2 U2 F2 r' F2 l Uud2 l2 Ffb2 l' Ffb2 r Uud2 l'(15)
U2 r2 U2 F2 l' U2 r U2 l2 F2 l' F2 r F2 r'(15)
U2 r2 Uud2 F2 r F2 l' U2 l2 Ffb2 r Ffb2 l' Uud2 r(15)
U2 l2 U2 F2 r U2 l' U2 r2 F2 l Uud2 r' Uud2 r(15)
U2 l2 U2 F2 l F2 r' Uud2 r2 Ffb2 r Ffb2 l' Uud2 r(15)
U2 l2 U2 F2 l F2 l' F2 l2 U2 r U2 r' F2 l(15)
U2 l2 Uud2 F2 l' F2 r U2 r2 Ffb2 l' Ffb2 r Uud2 l'(15)
U2 r' Ffb2 r Uud2 l' Uud2 l2 Ffb2 r Ffb2 l' Ffb2 U2 r2(15)
U2 r' Ffb2 l Ffb2 l' Ffb2 r2 Uud2 r Uud2 r' Ffb2 U2 r2(15)
U2 l' Uud2 r F2 r' F2 r2 U2 r Ffb2 r' Ffb2 Uud2 l2(15)
U2 l' Uud2 r F2 r' F2 l2 Uud2 l Ffb2 l' Ffb2 U2 r2(15)
U2 l' Uud2 l Uud2 r' Ffb2 r2 Uud2 r Uud2 r' Ffb2 U2 r2(15)
r F2 r' F2 l F2 l2 U2 r' U2 l F2 U2 r2 U2(15)
r F2 r' F2 l Ffb2 l2 Ffb2 Uud2 r F2 l' F2 r2 Uud2(15)
r F2 l' U2 l U2 r2 F2 r' F2 r F2 U2 r2 U2(15)
r Ffb2 r' Ffb2 l U2 r2 F2 l' F2 r U2 F2 l2 F2(15)
r Ffb2 r' Ffb2 l Uud2 r2 Uud2 Ffb2 l U2 r' U2 l2 Ffb2(15)
r Ffb2 l' Uud2 r U2 r2 Uud2 F2 r F2 l' U2 l2 Ffb2(15)
r Ffb2 l' Uud2 r U2 l2 U2 F2 l F2 r' Uud2 r2 Ffb2(15)
r Ffb2 l' Uud2 r Uud2 r2 Ffb2 r' U2 l U2 F2 l2 F2(15)
r Ffb2 l' Uud2 r Uud2 l2 F2 l' U2 r U2 Ffb2 r2 F2(15)
r Ffb2 l' Uud2 l F2 l2 F2 Uud2 r Uud2 l' Uud2 r2 Ffb2(15)
l U2 r' F2 r F2 l2 U2 l' U2 l U2 F2 l2 F2(15)
l U2 l' U2 r U2 r2 F2 l' F2 r U2 F2 l2 F2(15)
l U2 l' U2 r Uud2 r2 Uud2 Ffb2 l U2 r' U2 l2 Ffb2(15)
l Uud2 r' Ffb2 r U2 r2 U2 Ffb2 l Ffb2 r' Ffb2 l2 Uud2(15)
l Uud2 r' Ffb2 l F2 r2 F2 U2 r U2 l' Ffb2 l2 Uud2(15)
l Uud2 r' Ffb2 l F2 l2 Ffb2 U2 l U2 r' F2 r2 Uud2(15)
l Uud2 r' Ffb2 l Ffb2 r2 U2 r' F2 l F2 Uud2 l2 U2(15)
l Uud2 r' Ffb2 l Ffb2 l2 Uud2 l' F2 r F2 U2 r2 U2(15)
l Uud2 l' Uud2 r F2 l2 U2 r' U2 l F2 U2 r2 U2(15)
l Uud2 l' Uud2 r Ffb2 l2 Ffb2 Uud2 r F2 l' F2 r2 Uud2(15)
r2 F2 r F2 r' F2 Uud2 l2 Uud2 r' F2 l Uud2 r' Uud2(15)
r2 F2 r F2 l' F2 Uud2 r' Uud2 l Uud2 l' Uud2 F2 r2(15)
r2 F2 r F2 l' F2 Uud2 l' F2 r F2 r' Uud2 F2 r2(15)
r2 F2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Uud2 l' Uud2 F2 r2(15)
r2 F2 l Uud2 l' F2 U2 r' U2 l F2 r' Uud2 F2 r2(15)
r2 F2 l Uud2 l' Uud2 Ffb2 l2 Ffb2 l' F2 l Uud2 r' Uud2(15)
r2 F2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Uud2 l Uud2 F2 r2(15)
r2 F2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Ffb2 r Uud2 F2 r2(15)
r2 F2 l' Uud2 r Uud2 F2 l F2 r' Uud2 l Uud2 F2 r2(15)
r2 F2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Ffb2 r Uud2 F2 r2(15)
r2 F2 Uud2 r F2 r' F2 l Uud2 F2 l F2 r' F2 r2(15)
r2 F2 Uud2 r F2 l' U2 r U2 F2 l Uud2 l' F2 r2(15)
r2 F2 Uud2 l Uud2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' F2 r2(15)
r2 F2 Uud2 l Uud2 l' Uud2 r Uud2 F2 l F2 r' F2 r2(15)
r2 F2 Uud2 r' Ffb2 r Ffb2 r2 Uud2 l' Uud2 l Uud2 r' F2(15)
r2 F2 Uud2 r' Ffb2 r Uud2 r' Uud2 Ffb2 l' Uud2 l F2 r2(15)
r2 F2 Uud2 r' Ffb2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r F2 r2(15)
r2 F2 Uud2 l' Uud2 r F2 l' F2 Uud2 r' Uud2 l F2 r2(15)
r2 F2 Uud2 l' Uud2 r Uud2 l2 Ffb2 l' Ffb2 r Uud2 r' F2(15)
r2 F2 Uud2 l' Uud2 l Ffb2 l2 U2 r' U2 r Ffb2 l' F2(15)
r2 F2 Uud2 l' Uud2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r F2 r2(15)
r2 U2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Ffb2 l' Ffb2 U2 r2(15)
r2 U2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Uud2 r' Ffb2 U2 r2(15)
r2 U2 l Ffb2 r' Ffb2 U2 l' U2 r Ffb2 l' Ffb2 U2 r2(15)
r2 U2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Uud2 r' Ffb2 U2 r2(15)
r2 U2 r' U2 r U2 Ffb2 l2 Ffb2 r U2 l' Ffb2 r Ffb2(15)
r2 U2 r' U2 l U2 Ffb2 r Ffb2 l' Ffb2 l Ffb2 U2 r2(15)
r2 U2 r' U2 l U2 Ffb2 l U2 r' U2 r Ffb2 U2 r2(15)
r2 U2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Ffb2 l Ffb2 U2 r2(15)
r2 U2 l' Ffb2 l U2 F2 r F2 l' U2 r Ffb2 U2 r2(15)
r2 U2 l' Ffb2 l Ffb2 Uud2 l2 Uud2 l U2 l' Ffb2 r Ffb2(15)
r2 U2 Ffb2 r Uud2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' U2 r2(15)
r2 U2 Ffb2 r Uud2 r' Uud2 r2 Ffb2 l Ffb2 l' Ffb2 r U2(15)
r2 U2 Ffb2 r Uud2 l' Uud2 l Ffb2 Uud2 r Uud2 r' U2 r2(15)
r2 U2 Ffb2 l Ffb2 r' U2 l U2 Ffb2 r Ffb2 l' U2 r2(15)
r2 U2 Ffb2 l Ffb2 r' Ffb2 l2 Uud2 l Uud2 r' Ffb2 r U2(15)
r2 U2 Ffb2 l Ffb2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' U2 r2(15)
r2 U2 Ffb2 l Ffb2 l' Uud2 l2 F2 r F2 r' Uud2 l U2(15)
r2 U2 Ffb2 r' U2 r U2 l' Ffb2 U2 l' U2 r U2 r2(15)
r2 U2 Ffb2 r' U2 l F2 r' F2 U2 l' Ffb2 l U2 r2(15)
r2 U2 Ffb2 l' Ffb2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l U2 r2(15)
r2 U2 Ffb2 l' Ffb2 l Ffb2 r' Ffb2 U2 l' U2 r U2 r2(15)
r2 Ffb2 r F2 l' F2 Uud2 r' Uud2 l Uud2 l' Uud2 Ffb2 r2(15)
r2 Ffb2 r F2 l' F2 Uud2 l' F2 r F2 r' Uud2 Ffb2 r2(15)
r2 Ffb2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Uud2 l' Uud2 Ffb2 r2(15)
r2 Ffb2 l Uud2 l' F2 U2 r' U2 l F2 r' Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Uud2 l Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Ffb2 r Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Uud2 F2 r2 F2 l Ffb2 l' Ffb2 r Uud2(15)
r2 Ffb2 l' Uud2 r Uud2 F2 l F2 r' Uud2 l Uud2 Ffb2 r2(15)
r2 Ffb2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Ffb2 r Uud2 Ffb2 r2(15)
r2 Ffb2 l' Uud2 l Uud2 F2 l2 Ffb2 r F2 r' Uud2 l Uud2(15)
r2 Ffb2 Uud2 r F2 r' F2 l Uud2 F2 l F2 r' Ffb2 r2(15)
r2 Ffb2 Uud2 r F2 l' U2 r U2 F2 l Uud2 l' Ffb2 r2(15)
r2 Ffb2 Uud2 l Uud2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Ffb2 r2(15)
r2 Ffb2 Uud2 l Uud2 l' F2 l2 U2 l U2 l' Ffb2 r F2(15)
r2 Ffb2 Uud2 l Uud2 l' Uud2 r Uud2 F2 l F2 r' Ffb2 r2(15)
r2 Ffb2 Uud2 r' Ffb2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Ffb2 r2(15)
r2 Ffb2 Uud2 r' Ffb2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Ffb2 r2(15)
r2 Ffb2 Uud2 l' Uud2 r F2 l' F2 Uud2 r' Uud2 l Ffb2 r2(15)
r2 Ffb2 Uud2 l' Uud2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Ffb2 r2(15)
r2 Uud2 r Uud2 r' Ffb2 U2 r2 U2 l' Uud2 l Uud2 r' Ffb2(15)
r2 Uud2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Ffb2 l' Ffb2 Uud2 r2(15)
r2 Uud2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Uud2 r' Ffb2 Uud2 r2(15)
r2 Uud2 l Ffb2 r' Ffb2 U2 l' U2 r Ffb2 l' Ffb2 Uud2 r2(15)
r2 Uud2 l Ffb2 l' Ffb2 U2 l2 Uud2 r' U2 r Ffb2 l' Ffb2(15)
r2 Uud2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Uud2 r' Ffb2 Uud2 r2(15)
r2 Uud2 r' U2 l U2 Ffb2 r Ffb2 l' Ffb2 l Ffb2 Uud2 r2(15)
r2 Uud2 r' U2 l U2 Ffb2 l U2 r' U2 r Ffb2 Uud2 r2(15)
r2 Uud2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Ffb2 l Ffb2 Uud2 r2(15)
r2 Uud2 l' Ffb2 l U2 F2 r F2 l' U2 r Ffb2 Uud2 r2(15)
r2 Uud2 Ffb2 r Uud2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Uud2 r2(15)
r2 Uud2 Ffb2 r Uud2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Uud2 r2(15)
r2 Uud2 Ffb2 l Ffb2 r' U2 l U2 Ffb2 r Ffb2 l' Uud2 r2(15)
r2 Uud2 Ffb2 l Ffb2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Uud2 r2(15)
r2 Uud2 Ffb2 r' U2 r U2 l' Ffb2 U2 l' U2 r Uud2 r2(15)
r2 Uud2 Ffb2 r' U2 l F2 r' F2 U2 l' Ffb2 l Uud2 r2(15)
r2 Uud2 Ffb2 l' Ffb2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Uud2 r2(15)
r2 Uud2 Ffb2 l' Ffb2 l U2 l2 F2 l' F2 l Uud2 r' U2(15)
r2 Uud2 Ffb2 l' Ffb2 l Ffb2 r' Ffb2 U2 l' U2 r Uud2 r2(15)
l2 F2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Ffb2 l' Uud2 F2 l2(15)
l2 F2 r Uud2 l' Uud2 F2 r' F2 l Uud2 r' Uud2 F2 l2(15)
l2 F2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Ffb2 l' Uud2 F2 l2(15)
l2 F2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Uud2 r' Uud2 F2 l2(15)
l2 F2 r' Uud2 r F2 U2 l U2 r' F2 l Uud2 F2 l2(15)
l2 F2 r' Uud2 r Uud2 Ffb2 r2 Ffb2 r F2 r' Uud2 l Uud2(15)
l2 F2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Uud2 r Uud2 F2 l2(15)
l2 F2 l' F2 r F2 Uud2 r F2 l' F2 l Uud2 F2 l2(15)
l2 F2 l' F2 r F2 Uud2 l Uud2 r' Uud2 r Uud2 F2 l2(15)
l2 F2 l' F2 l F2 Uud2 r2 Uud2 l F2 r' Uud2 l Uud2(15)
l2 F2 Uud2 r Uud2 r' Ffb2 r2 U2 l U2 l' Ffb2 r F2(15)
l2 F2 Uud2 r Uud2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' F2 l2(15)
l2 F2 Uud2 r Uud2 l' F2 r F2 Uud2 l Uud2 r' F2 l2(15)
l2 F2 Uud2 r Uud2 l' Uud2 r2 Ffb2 r Ffb2 l' Uud2 l F2(15)
l2 F2 Uud2 l Ffb2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' F2 l2(15)
l2 F2 Uud2 l Ffb2 l' Ffb2 l2 Uud2 l Ffb2 r' Ffb2 r F2(15)
l2 F2 Uud2 l Ffb2 l' Uud2 l Uud2 Ffb2 r Uud2 r' F2 l2(15)
l2 F2 Uud2 r' Uud2 r Uud2 l' Uud2 F2 r' F2 l F2 l2(15)
l2 F2 Uud2 r' Uud2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r F2 l2(15)
l2 F2 Uud2 l' F2 r U2 l' U2 F2 r' Uud2 r F2 l2(15)
l2 F2 Uud2 l' F2 l F2 r' Uud2 F2 r' F2 l F2 l2(15)
l2 U2 r Ffb2 r' U2 F2 l' F2 r U2 l' Ffb2 U2 l2(15)
l2 U2 r Ffb2 r' Ffb2 Uud2 r2 Uud2 r' U2 r Ffb2 l' Ffb2(15)
l2 U2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Ffb2 r' Ffb2 U2 l2(15)
l2 U2 l U2 r' U2 Ffb2 r' U2 l U2 l' Ffb2 U2 l2(15)
l2 U2 l U2 r' U2 Ffb2 l' Ffb2 r Ffb2 r' Ffb2 U2 l2(15)
l2 U2 l U2 l' U2 Ffb2 r2 Ffb2 l' U2 r Ffb2 l' Ffb2(15)
l2 U2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Uud2 l Ffb2 U2 l2(15)
l2 U2 r' Ffb2 l Ffb2 U2 r U2 l' Ffb2 r Ffb2 U2 l2(15)
l2 U2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Uud2 l Ffb2 U2 l2(15)
l2 U2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Ffb2 r Ffb2 U2 l2(15)
l2 U2 Ffb2 r Ffb2 r' Ffb2 l Ffb2 U2 r U2 l' U2 l2(15)
l2 U2 Ffb2 r Ffb2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' U2 l2(15)
l2 U2 Ffb2 l U2 r' F2 l F2 U2 r Ffb2 r' U2 l2(15)
l2 U2 Ffb2 l U2 l' U2 r Ffb2 U2 r U2 l' U2 l2(15)
l2 U2 Ffb2 r' Ffb2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l U2 l2(15)
l2 U2 Ffb2 r' Ffb2 r Uud2 r2 F2 l' F2 l Uud2 r' U2(15)
l2 U2 Ffb2 r' Ffb2 l U2 r' U2 Ffb2 l' Ffb2 r U2 l2(15)
l2 U2 Ffb2 r' Ffb2 l Ffb2 r2 Uud2 r' Uud2 l Ffb2 l' U2(15)
l2 U2 Ffb2 l' Uud2 r Uud2 r' Ffb2 Uud2 l' Uud2 l U2 l2(15)
l2 U2 Ffb2 l' Uud2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r U2 l2(15)
l2 U2 Ffb2 l' Uud2 l Uud2 l2 Ffb2 l' Uud2 r Uud2 r' U2(15)
l2 Ffb2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Ffb2 l' Uud2 Ffb2 l2(15)
l2 Ffb2 r Uud2 r' Uud2 F2 r2 Ffb2 l' F2 l Uud2 r' Uud2(15)
l2 Ffb2 r Uud2 l' Uud2 F2 r' F2 l Uud2 r' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Ffb2 l' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Uud2 r' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Uud2 F2 l2 F2 l' Uud2 r Uud2 r' Uud2(15)
l2 Ffb2 r' Uud2 r F2 U2 l U2 r' F2 l Uud2 Ffb2 l2(15)
l2 Ffb2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Uud2 r Uud2 Ffb2 l2(15)
l2 Ffb2 l' F2 r F2 Uud2 r F2 l' F2 l Uud2 Ffb2 l2(15)
l2 Ffb2 l' F2 r F2 Uud2 l Uud2 r' Uud2 r Uud2 Ffb2 l2(15)
l2 Ffb2 Uud2 r Uud2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Ffb2 l2(15)
l2 Ffb2 Uud2 r Uud2 l' F2 r F2 Uud2 l Uud2 r' Ffb2 l2(15)
l2 Ffb2 Uud2 l Ffb2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Ffb2 l2(15)
l2 Ffb2 Uud2 l Ffb2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Ffb2 l2(15)
l2 Ffb2 Uud2 r' Uud2 r F2 r2 U2 r' U2 r Ffb2 l' F2(15)
l2 Ffb2 Uud2 r' Uud2 r Uud2 l' Uud2 F2 r' F2 l Ffb2 l2(15)
l2 Ffb2 Uud2 r' Uud2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Ffb2 l2(15)
l2 Ffb2 Uud2 l' F2 r U2 l' U2 F2 r' Uud2 r Ffb2 l2(15)
l2 Ffb2 Uud2 l' F2 l F2 r' Uud2 F2 r' F2 l Ffb2 l2(15)
l2 Uud2 r Ffb2 r' U2 F2 l' F2 r U2 l' Ffb2 Uud2 l2(15)
l2 Uud2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Ffb2 r' Ffb2 Uud2 l2(15)
l2 Uud2 l U2 r' U2 Ffb2 r' U2 l U2 l' Ffb2 Uud2 l2(15)
l2 Uud2 l U2 r' U2 Ffb2 l' Ffb2 r Ffb2 r' Ffb2 Uud2 l2(15)
l2 Uud2 r' Ffb2 r Ffb2 U2 r2 Uud2 l U2 l' Ffb2 r Ffb2(15)
l2 Uud2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Uud2 l Ffb2 Uud2 l2(15)
l2 Uud2 r' Ffb2 l Ffb2 U2 r U2 l' Ffb2 r Ffb2 Uud2 l2(15)
l2 Uud2 l' Uud2 l Ffb2 U2 l2 U2 l Ffb2 r' Ffb2 r Ffb2(15)
l2 Uud2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Uud2 l Ffb2 Uud2 l2(15)
l2 Uud2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Ffb2 r Ffb2 Uud2 l2(15)
l2 Uud2 Ffb2 r Ffb2 r' U2 r2 F2 r F2 r' Uud2 l U2(15)
l2 Uud2 Ffb2 r Ffb2 r' Ffb2 l Ffb2 U2 r U2 l' Uud2 l2(15)
l2 Uud2 Ffb2 r Ffb2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Uud2 l2(15)
l2 Uud2 Ffb2 l U2 r' F2 l F2 U2 r Ffb2 r' Uud2 l2(15)
l2 Uud2 Ffb2 l U2 l' U2 r Ffb2 U2 r U2 l' Uud2 l2(15)
l2 Uud2 Ffb2 r' Ffb2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Uud2 l2(15)
l2 Uud2 Ffb2 r' Ffb2 l U2 r' U2 Ffb2 l' Ffb2 r Uud2 l2(15)
l2 Uud2 Ffb2 l' Uud2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Uud2 l2(15)
l2 Uud2 Ffb2 l' Uud2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Uud2 l2(15)
r' U2 r U2 l' U2 l2 F2 r F2 l' U2 F2 r2 F2(15)
r' U2 r U2 l' Uud2 l2 Uud2 Ffb2 r' U2 l U2 r2 Ffb2(15)
r' U2 l F2 l' F2 r2 U2 r U2 r' U2 F2 r2 F2(15)
r' Uud2 r Uud2 l' F2 r2 U2 l U2 r' F2 U2 l2 U2(15)
r' Uud2 r Uud2 l' Ffb2 r2 Ffb2 Uud2 l' F2 r F2 l2 Uud2(15)
r' Uud2 l Ffb2 r' F2 r2 Ffb2 U2 r' U2 l F2 l2 Uud2(15)
r' Uud2 l Ffb2 r' F2 l2 F2 U2 l' U2 r Ffb2 r2 Uud2(15)
r' Uud2 l Ffb2 r' Ffb2 r2 Uud2 r F2 l' F2 U2 l2 U2(15)
r' Uud2 l Ffb2 r' Ffb2 l2 U2 l F2 r' F2 Uud2 r2 U2(15)
r' Uud2 l Ffb2 l' U2 l2 U2 Ffb2 r' Ffb2 l Ffb2 r2 Uud2(15)
l' F2 r U2 r' U2 l2 F2 l F2 l' F2 U2 l2 U2(15)
l' F2 l F2 r' F2 r2 U2 l U2 r' F2 U2 l2 U2(15)
l' F2 l F2 r' Ffb2 r2 Ffb2 Uud2 l' F2 r F2 l2 Uud2(15)
l' Ffb2 r Uud2 r' F2 r2 F2 Uud2 l' Uud2 r Uud2 l2 Ffb2(15)
l' Ffb2 r Uud2 l' U2 r2 U2 F2 r' F2 l Uud2 l2 Ffb2(15)
l' Ffb2 r Uud2 l' U2 l2 Uud2 F2 l' F2 r U2 r2 Ffb2(15)
l' Ffb2 r Uud2 l' Uud2 r2 F2 r U2 l' U2 Ffb2 l2 F2(15)
l' Ffb2 r Uud2 l' Uud2 l2 Ffb2 l U2 r' U2 F2 r2 F2(15)
l' Ffb2 l Ffb2 r' U2 l2 F2 r F2 l' U2 F2 r2 F2(15)
l' Ffb2 l Ffb2 r' Uud2 l2 Uud2 Ffb2 r' U2 l U2 r2 Ffb2(15)
Ffb2 r Uud2 l' Uud2 l U2 r2 U2 Ffb2 r Uud2 r' Uud2 r2(15)
Ffb2 l Ffb2 r' U2 r Uud2 r2 Uud2 Ffb2 r Ffb2 r' U2 l2(15)
Ffb2 l Ffb2 r' U2 r Uud2 l2 U2 Ffb2 l Ffb2 l' Uud2 r2(15)
Ffb2 l Ffb2 r' U2 l Ffb2 r2 Ffb2 U2 l U2 l' U2 l2(15)
Ffb2 l Ffb2 l' Ffb2 r U2 r2 U2 Ffb2 r Uud2 r' Uud2 r2(15)
Ffb2 r2 U2 r' F2 l F2 Uud2 l2 U2 l Uud2 r' Ffb2 l(15)
Ffb2 r2 U2 l' U2 r Ffb2 Uud2 l2 Uud2 l U2 r' U2 r(15)
Ffb2 r2 Uud2 r F2 l' F2 U2 l2 U2 r' Uud2 l Ffb2 r'(15)
Ffb2 r2 Uud2 l Uud2 r' Uud2 F2 l2 F2 l' Uud2 l Ffb2 r'(15)
Ffb2 l2 U2 r U2 l' Ffb2 Uud2 r2 Uud2 l' Ffb2 r Ffb2 r'(15)
Ffb2 l2 U2 l F2 r' F2 Uud2 r2 U2 r' Uud2 l Ffb2 r'(15)
Ffb2 l2 Uud2 r' Uud2 l Uud2 F2 r2 F2 r Uud2 r' Ffb2 l(15)
Ffb2 l2 Uud2 l' F2 r F2 U2 r2 U2 l Uud2 r' Ffb2 l(15)
Ffb2 r' Ffb2 r Ffb2 l' U2 l2 U2 Ffb2 l' Uud2 l Uud2 l2(15)
Ffb2 r' Ffb2 l U2 r' Ffb2 l2 Ffb2 U2 r' U2 r U2 r2(15)
Ffb2 r' Ffb2 l U2 l' Uud2 r2 U2 Ffb2 r' Ffb2 r Uud2 l2(15)
Ffb2 r' Ffb2 l U2 l' Uud2 l2 Uud2 Ffb2 l' Ffb2 l U2 r2(15)
Ffb2 l' Uud2 r Uud2 r' U2 l2 U2 Ffb2 l' Uud2 l Uud2 l2(15)
Uud2 r Uud2 r' Uud2 l F2 l2 F2 Uud2 l Ffb2 l' Ffb2 l2(15)
Uud2 r Uud2 l' F2 r Uud2 l2 Uud2 F2 r F2 r' F2 r2(15)
Uud2 r Uud2 l' F2 l Ffb2 r2 F2 Uud2 r Uud2 r' Ffb2 l2(15)
Uud2 r Uud2 l' F2 l Ffb2 l2 Ffb2 Uud2 l Uud2 l' F2 r2(15)
Uud2 l Ffb2 r' Ffb2 r F2 l2 F2 Uud2 l Ffb2 l' Ffb2 l2(15)
Uud2 r2 F2 r U2 l' U2 Ffb2 l2 F2 l' Ffb2 r Uud2 l'(15)
Uud2 r2 F2 l F2 r' Uud2 Ffb2 l2 Ffb2 l' F2 r F2 r'(15)
Uud2 r2 Ffb2 r' U2 l U2 F2 l2 F2 r Ffb2 l' Uud2 r(15)
Uud2 r2 Ffb2 l' Ffb2 r Ffb2 U2 l2 U2 l Ffb2 l' Uud2 r(15)
Uud2 l2 F2 r' F2 l Uud2 Ffb2 r2 Ffb2 l Uud2 r' Uud2 r(15)
Uud2 l2 F2 l' U2 r U2 Ffb2 r2 F2 r Ffb2 l' Uud2 r(15)
Uud2 l2 Ffb2 r Ffb2 l' Ffb2 U2 r2 U2 r' Ffb2 r Uud2 l'(15)
Uud2 l2 Ffb2 l U2 r' U2 F2 r2 F2 l' Ffb2 r Uud2 l'(15)
Uud2 r' Ffb2 l Ffb2 l' F2 r2 F2 Uud2 r' Ffb2 r Ffb2 r2(15)
Uud2 l' Uud2 r F2 r' Ffb2 r2 Ffb2 Uud2 r' Uud2 r F2 l2(15)
Uud2 l' Uud2 r F2 r' Ffb2 l2 F2 Uud2 l' Uud2 l Ffb2 r2(15)
Uud2 l' Uud2 r F2 l' Uud2 r2 Uud2 F2 l' F2 l F2 l2(15)
Uud2 l' Uud2 l Uud2 r' F2 r2 F2 Uud2 r' Ffb2 r Ffb2 r2(15)
Recently I worked again on my 4x4 optimal solver for it to be easier to use.
Here it is : http://perso.ens-lyon.fr/clement.gallet/optimal444.zip
Sorry for (almost) all windows users, it uses special librairies (ext/hash_set). Maybe someone could compile it to work on Windows, I can't do it myself.
When launching the program (after compiling), it first asks for the description of the cube, sticker by sticker. After it asks if you want to forbid moves. Then it starts the research, by length of the solutions increasing.
The pre-computation consists of storing every position around the solved state into an hash set. So the main parameter to configure before compilation is the maximum distance of those positions. The thing is that this distance is limited by the memory of your computer, and by the moves that you will forbid for the search.
This parameter is QUEUE_DEPTH in the main.h file.
For exemple, for my computer (500 Mo) without forbidding moves, the maximum distance is 4, but if I limit in <r, l, U2, D2, F2, B2, R2, L2>, I can put a distance of 7 which will allow a faster search.
If you put a too high number, you will just have an error
The program consider that the corner DBL is always solved, so it will print solutions with those moves : Uud, Ffb and Rrl instead of D, B and L.
Uud means U u d', Uud' means U' u' d, etc.
One of my TODO is to print in the usual way.
An exemple of the speed of the program, with my quite old computer (Pentium M 1.6 GHz, 500 Mo), I found all 15 moves solutions for the OLL parity in about 30 minutes into the sub-group <r, l, U2, D2, F2, B2, R2, L2> :
F2 r Uud2 r' Ffb2 l Ffb2 l2 Uud2 r' Uud2 l Uud2 F2 r2(15)
F2 r Uud2 l' Uud2 l Uud2 r2 Ffb2 r' Ffb2 r Uud2 F2 r2(15)
F2 l Ffb2 r' U2 r U2 r2 F2 r' Uud2 r Uud2 Ffb2 l2(15)
F2 l Ffb2 r' U2 r U2 l2 Ffb2 l' Uud2 l Uud2 F2 r2(15)
F2 l Ffb2 l' Ffb2 r Uud2 r2 Ffb2 r' Ffb2 r Uud2 F2 r2(15)
F2 r2 F2 U2 r U2 r' U2 r2 F2 l F2 l' U2 r(15)
F2 r2 F2 U2 r U2 l' Ffb2 l2 Uud2 l Uud2 r' Ffb2 l(15)
F2 r2 F2 U2 l F2 r' F2 l2 U2 l U2 r' U2 r(15)
F2 r2 Ffb2 U2 r' U2 l F2 l2 Uud2 r' Uud2 l Ffb2 r'(15)
F2 l2 F2 U2 r' F2 l F2 r2 U2 l' Ffb2 r Ffb2 r'(15)
F2 l2 F2 U2 l' U2 r Ffb2 r2 Uud2 r' Uud2 l Ffb2 r'(15)
F2 l2 F2 U2 l' U2 l U2 l2 F2 r' F2 r U2 l'(15)
F2 l2 Ffb2 U2 l U2 r' F2 r2 Uud2 l Uud2 r' Ffb2 l(15)
F2 r' Ffb2 r Ffb2 l' Uud2 l2 Ffb2 l Ffb2 l' Uud2 F2 l2(15)
F2 r' Ffb2 l U2 l' U2 r2 Ffb2 r Uud2 r' Uud2 F2 l2(15)
F2 r' Ffb2 l U2 l' U2 l2 F2 l Uud2 l' Uud2 Ffb2 r2(15)
F2 l' Uud2 r Uud2 r' Uud2 l2 Ffb2 l Ffb2 l' Uud2 F2 l2(15)
F2 l' Uud2 l Ffb2 r' Ffb2 r2 Uud2 l Uud2 r' Uud2 F2 l2(15)
U2 r Uud2 r' Uud2 l Ffb2 l2 Uud2 l' Uud2 l Ffb2 U2 l2(15)
U2 r Uud2 l' F2 l F2 r2 Uud2 r' Ffb2 r Ffb2 U2 l2(15)
U2 r Uud2 l' F2 l F2 l2 U2 l' Ffb2 l Ffb2 Uud2 r2(15)
U2 l Ffb2 r' Ffb2 r Ffb2 l2 Uud2 l' Uud2 l Ffb2 U2 l2(15)
U2 l Ffb2 l' Uud2 r Uud2 r2 Ffb2 l' Ffb2 r Ffb2 U2 l2(15)
U2 r2 U2 F2 r' F2 r F2 r2 U2 l' U2 l F2 r'(15)
U2 r2 U2 F2 r' F2 l Uud2 l2 Ffb2 l' Ffb2 r Uud2 l'(15)
U2 r2 U2 F2 l' U2 r U2 l2 F2 l' F2 r F2 r'(15)
U2 r2 Uud2 F2 r F2 l' U2 l2 Ffb2 r Ffb2 l' Uud2 r(15)
U2 l2 U2 F2 r U2 l' U2 r2 F2 l Uud2 r' Uud2 r(15)
U2 l2 U2 F2 l F2 r' Uud2 r2 Ffb2 r Ffb2 l' Uud2 r(15)
U2 l2 U2 F2 l F2 l' F2 l2 U2 r U2 r' F2 l(15)
U2 l2 Uud2 F2 l' F2 r U2 r2 Ffb2 l' Ffb2 r Uud2 l'(15)
U2 r' Ffb2 r Uud2 l' Uud2 l2 Ffb2 r Ffb2 l' Ffb2 U2 r2(15)
U2 r' Ffb2 l Ffb2 l' Ffb2 r2 Uud2 r Uud2 r' Ffb2 U2 r2(15)
U2 l' Uud2 r F2 r' F2 r2 U2 r Ffb2 r' Ffb2 Uud2 l2(15)
U2 l' Uud2 r F2 r' F2 l2 Uud2 l Ffb2 l' Ffb2 U2 r2(15)
U2 l' Uud2 l Uud2 r' Ffb2 r2 Uud2 r Uud2 r' Ffb2 U2 r2(15)
r F2 r' F2 l F2 l2 U2 r' U2 l F2 U2 r2 U2(15)
r F2 r' F2 l Ffb2 l2 Ffb2 Uud2 r F2 l' F2 r2 Uud2(15)
r F2 l' U2 l U2 r2 F2 r' F2 r F2 U2 r2 U2(15)
r Ffb2 r' Ffb2 l U2 r2 F2 l' F2 r U2 F2 l2 F2(15)
r Ffb2 r' Ffb2 l Uud2 r2 Uud2 Ffb2 l U2 r' U2 l2 Ffb2(15)
r Ffb2 l' Uud2 r U2 r2 Uud2 F2 r F2 l' U2 l2 Ffb2(15)
r Ffb2 l' Uud2 r U2 l2 U2 F2 l F2 r' Uud2 r2 Ffb2(15)
r Ffb2 l' Uud2 r Uud2 r2 Ffb2 r' U2 l U2 F2 l2 F2(15)
r Ffb2 l' Uud2 r Uud2 l2 F2 l' U2 r U2 Ffb2 r2 F2(15)
r Ffb2 l' Uud2 l F2 l2 F2 Uud2 r Uud2 l' Uud2 r2 Ffb2(15)
l U2 r' F2 r F2 l2 U2 l' U2 l U2 F2 l2 F2(15)
l U2 l' U2 r U2 r2 F2 l' F2 r U2 F2 l2 F2(15)
l U2 l' U2 r Uud2 r2 Uud2 Ffb2 l U2 r' U2 l2 Ffb2(15)
l Uud2 r' Ffb2 r U2 r2 U2 Ffb2 l Ffb2 r' Ffb2 l2 Uud2(15)
l Uud2 r' Ffb2 l F2 r2 F2 U2 r U2 l' Ffb2 l2 Uud2(15)
l Uud2 r' Ffb2 l F2 l2 Ffb2 U2 l U2 r' F2 r2 Uud2(15)
l Uud2 r' Ffb2 l Ffb2 r2 U2 r' F2 l F2 Uud2 l2 U2(15)
l Uud2 r' Ffb2 l Ffb2 l2 Uud2 l' F2 r F2 U2 r2 U2(15)
l Uud2 l' Uud2 r F2 l2 U2 r' U2 l F2 U2 r2 U2(15)
l Uud2 l' Uud2 r Ffb2 l2 Ffb2 Uud2 r F2 l' F2 r2 Uud2(15)
r2 F2 r F2 r' F2 Uud2 l2 Uud2 r' F2 l Uud2 r' Uud2(15)
r2 F2 r F2 l' F2 Uud2 r' Uud2 l Uud2 l' Uud2 F2 r2(15)
r2 F2 r F2 l' F2 Uud2 l' F2 r F2 r' Uud2 F2 r2(15)
r2 F2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Uud2 l' Uud2 F2 r2(15)
r2 F2 l Uud2 l' F2 U2 r' U2 l F2 r' Uud2 F2 r2(15)
r2 F2 l Uud2 l' Uud2 Ffb2 l2 Ffb2 l' F2 l Uud2 r' Uud2(15)
r2 F2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Uud2 l Uud2 F2 r2(15)
r2 F2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Ffb2 r Uud2 F2 r2(15)
r2 F2 l' Uud2 r Uud2 F2 l F2 r' Uud2 l Uud2 F2 r2(15)
r2 F2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Ffb2 r Uud2 F2 r2(15)
r2 F2 Uud2 r F2 r' F2 l Uud2 F2 l F2 r' F2 r2(15)
r2 F2 Uud2 r F2 l' U2 r U2 F2 l Uud2 l' F2 r2(15)
r2 F2 Uud2 l Uud2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' F2 r2(15)
r2 F2 Uud2 l Uud2 l' Uud2 r Uud2 F2 l F2 r' F2 r2(15)
r2 F2 Uud2 r' Ffb2 r Ffb2 r2 Uud2 l' Uud2 l Uud2 r' F2(15)
r2 F2 Uud2 r' Ffb2 r Uud2 r' Uud2 Ffb2 l' Uud2 l F2 r2(15)
r2 F2 Uud2 r' Ffb2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r F2 r2(15)
r2 F2 Uud2 l' Uud2 r F2 l' F2 Uud2 r' Uud2 l F2 r2(15)
r2 F2 Uud2 l' Uud2 r Uud2 l2 Ffb2 l' Ffb2 r Uud2 r' F2(15)
r2 F2 Uud2 l' Uud2 l Ffb2 l2 U2 r' U2 r Ffb2 l' F2(15)
r2 F2 Uud2 l' Uud2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r F2 r2(15)
r2 U2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Ffb2 l' Ffb2 U2 r2(15)
r2 U2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Uud2 r' Ffb2 U2 r2(15)
r2 U2 l Ffb2 r' Ffb2 U2 l' U2 r Ffb2 l' Ffb2 U2 r2(15)
r2 U2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Uud2 r' Ffb2 U2 r2(15)
r2 U2 r' U2 r U2 Ffb2 l2 Ffb2 r U2 l' Ffb2 r Ffb2(15)
r2 U2 r' U2 l U2 Ffb2 r Ffb2 l' Ffb2 l Ffb2 U2 r2(15)
r2 U2 r' U2 l U2 Ffb2 l U2 r' U2 r Ffb2 U2 r2(15)
r2 U2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Ffb2 l Ffb2 U2 r2(15)
r2 U2 l' Ffb2 l U2 F2 r F2 l' U2 r Ffb2 U2 r2(15)
r2 U2 l' Ffb2 l Ffb2 Uud2 l2 Uud2 l U2 l' Ffb2 r Ffb2(15)
r2 U2 Ffb2 r Uud2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' U2 r2(15)
r2 U2 Ffb2 r Uud2 r' Uud2 r2 Ffb2 l Ffb2 l' Ffb2 r U2(15)
r2 U2 Ffb2 r Uud2 l' Uud2 l Ffb2 Uud2 r Uud2 r' U2 r2(15)
r2 U2 Ffb2 l Ffb2 r' U2 l U2 Ffb2 r Ffb2 l' U2 r2(15)
r2 U2 Ffb2 l Ffb2 r' Ffb2 l2 Uud2 l Uud2 r' Ffb2 r U2(15)
r2 U2 Ffb2 l Ffb2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' U2 r2(15)
r2 U2 Ffb2 l Ffb2 l' Uud2 l2 F2 r F2 r' Uud2 l U2(15)
r2 U2 Ffb2 r' U2 r U2 l' Ffb2 U2 l' U2 r U2 r2(15)
r2 U2 Ffb2 r' U2 l F2 r' F2 U2 l' Ffb2 l U2 r2(15)
r2 U2 Ffb2 l' Ffb2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l U2 r2(15)
r2 U2 Ffb2 l' Ffb2 l Ffb2 r' Ffb2 U2 l' U2 r U2 r2(15)
r2 Ffb2 r F2 l' F2 Uud2 r' Uud2 l Uud2 l' Uud2 Ffb2 r2(15)
r2 Ffb2 r F2 l' F2 Uud2 l' F2 r F2 r' Uud2 Ffb2 r2(15)
r2 Ffb2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Uud2 l' Uud2 Ffb2 r2(15)
r2 Ffb2 l Uud2 l' F2 U2 r' U2 l F2 r' Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Uud2 l Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Ffb2 r Uud2 Ffb2 r2(15)
r2 Ffb2 r' Ffb2 r Uud2 F2 r2 F2 l Ffb2 l' Ffb2 r Uud2(15)
r2 Ffb2 l' Uud2 r Uud2 F2 l F2 r' Uud2 l Uud2 Ffb2 r2(15)
r2 Ffb2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Ffb2 r Uud2 Ffb2 r2(15)
r2 Ffb2 l' Uud2 l Uud2 F2 l2 Ffb2 r F2 r' Uud2 l Uud2(15)
r2 Ffb2 Uud2 r F2 r' F2 l Uud2 F2 l F2 r' Ffb2 r2(15)
r2 Ffb2 Uud2 r F2 l' U2 r U2 F2 l Uud2 l' Ffb2 r2(15)
r2 Ffb2 Uud2 l Uud2 r' Ffb2 r Ffb2 Uud2 r Uud2 l' Ffb2 r2(15)
r2 Ffb2 Uud2 l Uud2 l' F2 l2 U2 l U2 l' Ffb2 r F2(15)
r2 Ffb2 Uud2 l Uud2 l' Uud2 r Uud2 F2 l F2 r' Ffb2 r2(15)
r2 Ffb2 Uud2 r' Ffb2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Ffb2 r2(15)
r2 Ffb2 Uud2 r' Ffb2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Ffb2 r2(15)
r2 Ffb2 Uud2 l' Uud2 r F2 l' F2 Uud2 r' Uud2 l Ffb2 r2(15)
r2 Ffb2 Uud2 l' Uud2 l Uud2 r' Uud2 Ffb2 r' Ffb2 r Ffb2 r2(15)
r2 Uud2 r Uud2 r' Ffb2 U2 r2 U2 l' Uud2 l Uud2 r' Ffb2(15)
r2 Uud2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Ffb2 l' Ffb2 Uud2 r2(15)
r2 Uud2 r Uud2 r' Uud2 Ffb2 l' Uud2 l Uud2 r' Ffb2 Uud2 r2(15)
r2 Uud2 l Ffb2 r' Ffb2 U2 l' U2 r Ffb2 l' Ffb2 Uud2 r2(15)
r2 Uud2 l Ffb2 l' Ffb2 U2 l2 Uud2 r' U2 r Ffb2 l' Ffb2(15)
r2 Uud2 l Ffb2 l' Uud2 Ffb2 r' Ffb2 r Uud2 r' Ffb2 Uud2 r2(15)
r2 Uud2 r' U2 l U2 Ffb2 r Ffb2 l' Ffb2 l Ffb2 Uud2 r2(15)
r2 Uud2 r' U2 l U2 Ffb2 l U2 r' U2 r Ffb2 Uud2 r2(15)
r2 Uud2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Ffb2 l Ffb2 Uud2 r2(15)
r2 Uud2 l' Ffb2 l U2 F2 r F2 l' U2 r Ffb2 Uud2 r2(15)
r2 Uud2 Ffb2 r Uud2 r' Ffb2 r Ffb2 Uud2 l Ffb2 l' Uud2 r2(15)
r2 Uud2 Ffb2 r Uud2 l' Uud2 l Ffb2 Uud2 r Uud2 r' Uud2 r2(15)
r2 Uud2 Ffb2 l Ffb2 r' U2 l U2 Ffb2 r Ffb2 l' Uud2 r2(15)
r2 Uud2 Ffb2 l Ffb2 l' Ffb2 r Ffb2 Uud2 r Uud2 r' Uud2 r2(15)
r2 Uud2 Ffb2 r' U2 r U2 l' Ffb2 U2 l' U2 r Uud2 r2(15)
r2 Uud2 Ffb2 r' U2 l F2 r' F2 U2 l' Ffb2 l Uud2 r2(15)
r2 Uud2 Ffb2 l' Ffb2 r Uud2 r' Uud2 Ffb2 r' Ffb2 l Uud2 r2(15)
r2 Uud2 Ffb2 l' Ffb2 l U2 l2 F2 l' F2 l Uud2 r' U2(15)
r2 Uud2 Ffb2 l' Ffb2 l Ffb2 r' Ffb2 U2 l' U2 r Uud2 r2(15)
l2 F2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Ffb2 l' Uud2 F2 l2(15)
l2 F2 r Uud2 l' Uud2 F2 r' F2 l Uud2 r' Uud2 F2 l2(15)
l2 F2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Ffb2 l' Uud2 F2 l2(15)
l2 F2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Uud2 r' Uud2 F2 l2(15)
l2 F2 r' Uud2 r F2 U2 l U2 r' F2 l Uud2 F2 l2(15)
l2 F2 r' Uud2 r Uud2 Ffb2 r2 Ffb2 r F2 r' Uud2 l Uud2(15)
l2 F2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Uud2 r Uud2 F2 l2(15)
l2 F2 l' F2 r F2 Uud2 r F2 l' F2 l Uud2 F2 l2(15)
l2 F2 l' F2 r F2 Uud2 l Uud2 r' Uud2 r Uud2 F2 l2(15)
l2 F2 l' F2 l F2 Uud2 r2 Uud2 l F2 r' Uud2 l Uud2(15)
l2 F2 Uud2 r Uud2 r' Ffb2 r2 U2 l U2 l' Ffb2 r F2(15)
l2 F2 Uud2 r Uud2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' F2 l2(15)
l2 F2 Uud2 r Uud2 l' F2 r F2 Uud2 l Uud2 r' F2 l2(15)
l2 F2 Uud2 r Uud2 l' Uud2 r2 Ffb2 r Ffb2 l' Uud2 l F2(15)
l2 F2 Uud2 l Ffb2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' F2 l2(15)
l2 F2 Uud2 l Ffb2 l' Ffb2 l2 Uud2 l Ffb2 r' Ffb2 r F2(15)
l2 F2 Uud2 l Ffb2 l' Uud2 l Uud2 Ffb2 r Uud2 r' F2 l2(15)
l2 F2 Uud2 r' Uud2 r Uud2 l' Uud2 F2 r' F2 l F2 l2(15)
l2 F2 Uud2 r' Uud2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r F2 l2(15)
l2 F2 Uud2 l' F2 r U2 l' U2 F2 r' Uud2 r F2 l2(15)
l2 F2 Uud2 l' F2 l F2 r' Uud2 F2 r' F2 l F2 l2(15)
l2 U2 r Ffb2 r' U2 F2 l' F2 r U2 l' Ffb2 U2 l2(15)
l2 U2 r Ffb2 r' Ffb2 Uud2 r2 Uud2 r' U2 r Ffb2 l' Ffb2(15)
l2 U2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Ffb2 r' Ffb2 U2 l2(15)
l2 U2 l U2 r' U2 Ffb2 r' U2 l U2 l' Ffb2 U2 l2(15)
l2 U2 l U2 r' U2 Ffb2 l' Ffb2 r Ffb2 r' Ffb2 U2 l2(15)
l2 U2 l U2 l' U2 Ffb2 r2 Ffb2 l' U2 r Ffb2 l' Ffb2(15)
l2 U2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Uud2 l Ffb2 U2 l2(15)
l2 U2 r' Ffb2 l Ffb2 U2 r U2 l' Ffb2 r Ffb2 U2 l2(15)
l2 U2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Uud2 l Ffb2 U2 l2(15)
l2 U2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Ffb2 r Ffb2 U2 l2(15)
l2 U2 Ffb2 r Ffb2 r' Ffb2 l Ffb2 U2 r U2 l' U2 l2(15)
l2 U2 Ffb2 r Ffb2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' U2 l2(15)
l2 U2 Ffb2 l U2 r' F2 l F2 U2 r Ffb2 r' U2 l2(15)
l2 U2 Ffb2 l U2 l' U2 r Ffb2 U2 r U2 l' U2 l2(15)
l2 U2 Ffb2 r' Ffb2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l U2 l2(15)
l2 U2 Ffb2 r' Ffb2 r Uud2 r2 F2 l' F2 l Uud2 r' U2(15)
l2 U2 Ffb2 r' Ffb2 l U2 r' U2 Ffb2 l' Ffb2 r U2 l2(15)
l2 U2 Ffb2 r' Ffb2 l Ffb2 r2 Uud2 r' Uud2 l Ffb2 l' U2(15)
l2 U2 Ffb2 l' Uud2 r Uud2 r' Ffb2 Uud2 l' Uud2 l U2 l2(15)
l2 U2 Ffb2 l' Uud2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r U2 l2(15)
l2 U2 Ffb2 l' Uud2 l Uud2 l2 Ffb2 l' Uud2 r Uud2 r' U2(15)
l2 Ffb2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Ffb2 l' Uud2 Ffb2 l2(15)
l2 Ffb2 r Uud2 r' Uud2 F2 r2 Ffb2 l' F2 l Uud2 r' Uud2(15)
l2 Ffb2 r Uud2 l' Uud2 F2 r' F2 l Uud2 r' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Ffb2 l' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Uud2 r' Uud2 Ffb2 l2(15)
l2 Ffb2 l Ffb2 l' Uud2 F2 l2 F2 l' Uud2 r Uud2 r' Uud2(15)
l2 Ffb2 r' Uud2 r F2 U2 l U2 r' F2 l Uud2 Ffb2 l2(15)
l2 Ffb2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Uud2 r Uud2 Ffb2 l2(15)
l2 Ffb2 l' F2 r F2 Uud2 r F2 l' F2 l Uud2 Ffb2 l2(15)
l2 Ffb2 l' F2 r F2 Uud2 l Uud2 r' Uud2 r Uud2 Ffb2 l2(15)
l2 Ffb2 Uud2 r Uud2 r' Uud2 l Uud2 Ffb2 l Ffb2 l' Ffb2 l2(15)
l2 Ffb2 Uud2 r Uud2 l' F2 r F2 Uud2 l Uud2 r' Ffb2 l2(15)
l2 Ffb2 Uud2 l Ffb2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Ffb2 l2(15)
l2 Ffb2 Uud2 l Ffb2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Ffb2 l2(15)
l2 Ffb2 Uud2 r' Uud2 r F2 r2 U2 r' U2 r Ffb2 l' F2(15)
l2 Ffb2 Uud2 r' Uud2 r Uud2 l' Uud2 F2 r' F2 l Ffb2 l2(15)
l2 Ffb2 Uud2 r' Uud2 l Ffb2 l' Ffb2 Uud2 l' Uud2 r Ffb2 l2(15)
l2 Ffb2 Uud2 l' F2 r U2 l' U2 F2 r' Uud2 r Ffb2 l2(15)
l2 Ffb2 Uud2 l' F2 l F2 r' Uud2 F2 r' F2 l Ffb2 l2(15)
l2 Uud2 r Ffb2 r' U2 F2 l' F2 r U2 l' Ffb2 Uud2 l2(15)
l2 Uud2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Ffb2 r' Ffb2 Uud2 l2(15)
l2 Uud2 l U2 r' U2 Ffb2 r' U2 l U2 l' Ffb2 Uud2 l2(15)
l2 Uud2 l U2 r' U2 Ffb2 l' Ffb2 r Ffb2 r' Ffb2 Uud2 l2(15)
l2 Uud2 r' Ffb2 r Ffb2 U2 r2 Uud2 l U2 l' Ffb2 r Ffb2(15)
l2 Uud2 r' Ffb2 r Uud2 Ffb2 l Ffb2 l' Uud2 l Ffb2 Uud2 l2(15)
l2 Uud2 r' Ffb2 l Ffb2 U2 r U2 l' Ffb2 r Ffb2 Uud2 l2(15)
l2 Uud2 l' Uud2 l Ffb2 U2 l2 U2 l Ffb2 r' Ffb2 r Ffb2(15)
l2 Uud2 l' Uud2 l Uud2 Ffb2 r Uud2 r' Uud2 l Ffb2 Uud2 l2(15)
l2 Uud2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Ffb2 r Ffb2 Uud2 l2(15)
l2 Uud2 Ffb2 r Ffb2 r' U2 r2 F2 r F2 r' Uud2 l U2(15)
l2 Uud2 Ffb2 r Ffb2 r' Ffb2 l Ffb2 U2 r U2 l' Uud2 l2(15)
l2 Uud2 Ffb2 r Ffb2 l' Uud2 l Uud2 Ffb2 l Ffb2 r' Uud2 l2(15)
l2 Uud2 Ffb2 l U2 r' F2 l F2 U2 r Ffb2 r' Uud2 l2(15)
l2 Uud2 Ffb2 l U2 l' U2 r Ffb2 U2 r U2 l' Uud2 l2(15)
l2 Uud2 Ffb2 r' Ffb2 r Ffb2 l' Ffb2 Uud2 l' Uud2 l Uud2 l2(15)
l2 Uud2 Ffb2 r' Ffb2 l U2 r' U2 Ffb2 l' Ffb2 r Uud2 l2(15)
l2 Uud2 Ffb2 l' Uud2 r Uud2 r' Ffb2 Uud2 l' Uud2 l Uud2 l2(15)
l2 Uud2 Ffb2 l' Uud2 l Ffb2 l' Ffb2 Uud2 r' Ffb2 r Uud2 l2(15)
r' U2 r U2 l' U2 l2 F2 r F2 l' U2 F2 r2 F2(15)
r' U2 r U2 l' Uud2 l2 Uud2 Ffb2 r' U2 l U2 r2 Ffb2(15)
r' U2 l F2 l' F2 r2 U2 r U2 r' U2 F2 r2 F2(15)
r' Uud2 r Uud2 l' F2 r2 U2 l U2 r' F2 U2 l2 U2(15)
r' Uud2 r Uud2 l' Ffb2 r2 Ffb2 Uud2 l' F2 r F2 l2 Uud2(15)
r' Uud2 l Ffb2 r' F2 r2 Ffb2 U2 r' U2 l F2 l2 Uud2(15)
r' Uud2 l Ffb2 r' F2 l2 F2 U2 l' U2 r Ffb2 r2 Uud2(15)
r' Uud2 l Ffb2 r' Ffb2 r2 Uud2 r F2 l' F2 U2 l2 U2(15)
r' Uud2 l Ffb2 r' Ffb2 l2 U2 l F2 r' F2 Uud2 r2 U2(15)
r' Uud2 l Ffb2 l' U2 l2 U2 Ffb2 r' Ffb2 l Ffb2 r2 Uud2(15)
l' F2 r U2 r' U2 l2 F2 l F2 l' F2 U2 l2 U2(15)
l' F2 l F2 r' F2 r2 U2 l U2 r' F2 U2 l2 U2(15)
l' F2 l F2 r' Ffb2 r2 Ffb2 Uud2 l' F2 r F2 l2 Uud2(15)
l' Ffb2 r Uud2 r' F2 r2 F2 Uud2 l' Uud2 r Uud2 l2 Ffb2(15)
l' Ffb2 r Uud2 l' U2 r2 U2 F2 r' F2 l Uud2 l2 Ffb2(15)
l' Ffb2 r Uud2 l' U2 l2 Uud2 F2 l' F2 r U2 r2 Ffb2(15)
l' Ffb2 r Uud2 l' Uud2 r2 F2 r U2 l' U2 Ffb2 l2 F2(15)
l' Ffb2 r Uud2 l' Uud2 l2 Ffb2 l U2 r' U2 F2 r2 F2(15)
l' Ffb2 l Ffb2 r' U2 l2 F2 r F2 l' U2 F2 r2 F2(15)
l' Ffb2 l Ffb2 r' Uud2 l2 Uud2 Ffb2 r' U2 l U2 r2 Ffb2(15)
Ffb2 r Uud2 l' Uud2 l U2 r2 U2 Ffb2 r Uud2 r' Uud2 r2(15)
Ffb2 l Ffb2 r' U2 r Uud2 r2 Uud2 Ffb2 r Ffb2 r' U2 l2(15)
Ffb2 l Ffb2 r' U2 r Uud2 l2 U2 Ffb2 l Ffb2 l' Uud2 r2(15)
Ffb2 l Ffb2 r' U2 l Ffb2 r2 Ffb2 U2 l U2 l' U2 l2(15)
Ffb2 l Ffb2 l' Ffb2 r U2 r2 U2 Ffb2 r Uud2 r' Uud2 r2(15)
Ffb2 r2 U2 r' F2 l F2 Uud2 l2 U2 l Uud2 r' Ffb2 l(15)
Ffb2 r2 U2 l' U2 r Ffb2 Uud2 l2 Uud2 l U2 r' U2 r(15)
Ffb2 r2 Uud2 r F2 l' F2 U2 l2 U2 r' Uud2 l Ffb2 r'(15)
Ffb2 r2 Uud2 l Uud2 r' Uud2 F2 l2 F2 l' Uud2 l Ffb2 r'(15)
Ffb2 l2 U2 r U2 l' Ffb2 Uud2 r2 Uud2 l' Ffb2 r Ffb2 r'(15)
Ffb2 l2 U2 l F2 r' F2 Uud2 r2 U2 r' Uud2 l Ffb2 r'(15)
Ffb2 l2 Uud2 r' Uud2 l Uud2 F2 r2 F2 r Uud2 r' Ffb2 l(15)
Ffb2 l2 Uud2 l' F2 r F2 U2 r2 U2 l Uud2 r' Ffb2 l(15)
Ffb2 r' Ffb2 r Ffb2 l' U2 l2 U2 Ffb2 l' Uud2 l Uud2 l2(15)
Ffb2 r' Ffb2 l U2 r' Ffb2 l2 Ffb2 U2 r' U2 r U2 r2(15)
Ffb2 r' Ffb2 l U2 l' Uud2 r2 U2 Ffb2 r' Ffb2 r Uud2 l2(15)
Ffb2 r' Ffb2 l U2 l' Uud2 l2 Uud2 Ffb2 l' Ffb2 l U2 r2(15)
Ffb2 l' Uud2 r Uud2 r' U2 l2 U2 Ffb2 l' Uud2 l Uud2 l2(15)
Uud2 r Uud2 r' Uud2 l F2 l2 F2 Uud2 l Ffb2 l' Ffb2 l2(15)
Uud2 r Uud2 l' F2 r Uud2 l2 Uud2 F2 r F2 r' F2 r2(15)
Uud2 r Uud2 l' F2 l Ffb2 r2 F2 Uud2 r Uud2 r' Ffb2 l2(15)
Uud2 r Uud2 l' F2 l Ffb2 l2 Ffb2 Uud2 l Uud2 l' F2 r2(15)
Uud2 l Ffb2 r' Ffb2 r F2 l2 F2 Uud2 l Ffb2 l' Ffb2 l2(15)
Uud2 r2 F2 r U2 l' U2 Ffb2 l2 F2 l' Ffb2 r Uud2 l'(15)
Uud2 r2 F2 l F2 r' Uud2 Ffb2 l2 Ffb2 l' F2 r F2 r'(15)
Uud2 r2 Ffb2 r' U2 l U2 F2 l2 F2 r Ffb2 l' Uud2 r(15)
Uud2 r2 Ffb2 l' Ffb2 r Ffb2 U2 l2 U2 l Ffb2 l' Uud2 r(15)
Uud2 l2 F2 r' F2 l Uud2 Ffb2 r2 Ffb2 l Uud2 r' Uud2 r(15)
Uud2 l2 F2 l' U2 r U2 Ffb2 r2 F2 r Ffb2 l' Uud2 r(15)
Uud2 l2 Ffb2 r Ffb2 l' Ffb2 U2 r2 U2 r' Ffb2 r Uud2 l'(15)
Uud2 l2 Ffb2 l U2 r' U2 F2 r2 F2 l' Ffb2 r Uud2 l'(15)
Uud2 r' Ffb2 l Ffb2 l' F2 r2 F2 Uud2 r' Ffb2 r Ffb2 r2(15)
Uud2 l' Uud2 r F2 r' Ffb2 r2 Ffb2 Uud2 r' Uud2 r F2 l2(15)
Uud2 l' Uud2 r F2 r' Ffb2 l2 F2 Uud2 l' Uud2 l Ffb2 r2(15)
Uud2 l' Uud2 r F2 l' Uud2 r2 Uud2 F2 l' F2 l F2 l2(15)
Uud2 l' Uud2 l Uud2 r' F2 r2 F2 Uud2 r' Ffb2 r Ffb2 r2(15)
Last edited: