Algorithm Walter Randelshofer 2016
(MR2 F2 (U2 MR B2 MR' B2 ML B2 ML' B2 U2 ML') F2 MR2 · CF' CD)3 (45 btm, 66 ftm, 102 qtm)
Algorithm Walter Randelshofer 2016
R F (ML' B2 MR D2 MR B2 ML2 B2 U2 MR D2 MR' U2 MR2 B2) F' R'
MB WR2 MF' R2 MF WR2 MF' SR2 D2 WF MD' WF' D2 WF MD MR' WF' L2 WF MR (39 btm, 62 ftm, 84 qtm)
Algorithm Per Kristen Fredlund 2021
D ML2 D2 ML' D2 MR D2 MR' D2 ML' SU
MF U2 MB U2 MB' U2 MF U2 MF2 U'
MU2 R2 F2 MU L2 MU' L2 MD L2 MD' L2 F2 MD' R2 MU2 (36 btm, 54 ftm, 78 qtm)
Algorithm Per Kristen Fredlund 2016
MR' (ML' U MB U2 MB' U' ML U2) MR
U (MF2 U2 MF' U2 MB U2 MB' U2 MF') U'
MU2 R2 (F2 MU L2 MU' L2 MD L2 MD' L2 F2 MD') R2 MU2 (36 btm, 54 ftm, 74 qtm)
Algorithm Christopher Mowla 2021
F D2 F R U' R2 B' L' B' D' B' D WF SR WF'
MF2 R2 (MF') R2 MF2
U B R' D B'
ML' F2 ML F2
ML SF · MU' D' · R' · F2 B' (36 btm, 47 ftm, 58 qtm)
Algorithm Walter Randelshofer 2016
R' D B2 WR' · U2 D · L D B WD R' D' F' L' F' MR2
F L · F2 B' · TU2 F2 TD2 R
MD' · F B · R
TL · U' D' · TF L' U' (34 btm, 38 ftm, 46 qtm)
Algorithm Christopher Mowla 2021
F2 U' WR' · F2 WF' · MU' F2 MU WF WR · U MU' · F2
TU (L' MF' L2 MB D2 MB L2 MF2 L2 D2 MF D2 MF' D2 MB2 L') U' (31 btm, 45 ftm, 60 qtm)