Algorithm Walter Randelshofer 2013
N3U' R2 N3B2 N3F2 R2 N3U R2 N3B2 R2 NU R2 N3F2 R2 V4U'
MR2 T5U MR' SD2 MR TU2 MR' SD2 MR TU MR2
F2 R2 MD' N3R2 MD R2 N3R2 F2
WR2 TD WR SU2 WR' TD2 WR SU2 WR' TD WR2 (44 btm)
Algorithm Walter Randelshofer 2013
VU F2 N3L2 F2 NU' F2 N3R2 F2 N3U' F2 · N3L2 N3R2
R2 MD' N3R2 MD R2 N3R2 VB2
T3L2 S3F2 T3L2 T3B2
TD · VF VB' · SD2 · VF' VB · TD2 · VF VB' · WD2 · VB' VF · TD · VB2 VF2 (38 btm)
Algorithm Per Kristen Fredlund 2013
T3R2 MF2 T3R2 T3F2 MR2 · F2 VB2
TU · VR2 VL2 · TU2 · VR2 VL2 · TU
VF2 VB2 · VU F2 N3L2 F2 NU' F2 N3R2 F2 N3U'
F2 · N3R2 T3L2 · N3F2 MD' N3F2 MD TL2 F2 (34 btm)
Algorithm André Boulouard 2013
VU R2 N3F2 R2 NU' R2 N3B2 R2 N3U' R2 · N3B2 T3F2
(N3R2 MD' N3R2 MD) TF2
VR2 (T4B2 MR2 T3B2) R2
VL2 (TU · VF2 VB2 · TU2 · VB2 VF2 · TU) VL2 VR2 (32 btm)