God's Number Search for X-Cross, Bug in Position Counts with Identical Pieces
I am running this search for god's number for a specific X-Cross (cross + first pair).
However, it has been running for over 6 hours. A similar search for Cross took only a few seconds.
./twsearch -g -t 11 xcross_UFR.tws
So far, it's output these position counts:
Dist 0 cnt 1 tot 1 in 2.69413e-05
Dist 1 cnt 15 tot 16 in 1.19209e-05
Dist 2 cnt 172 tot 188 in 2.90871e-05
Dist 3 cnt 1950 tot 2138 in 0.000377893
Dist 4 cnt 21535 tot 23673 in 0.00474715
Dist 5 cnt 220368 tot 244041 in 0.0606499
Dist 6 cnt 1989591 tot 2233632 in 0.86908
Dist 7 cnt 13431990 tot 15665622 in 11.9216
Dist 8 cnt 40963892 tot 56629514 in 24.3731
Dist 9 cnt 16325184 tot 72954698 in 7.37705
<misc output omitted>
However, there are just 4 edge pieces and 1 corner piece involved so the total number of positions is 4,561,920 which I derive from the following product: CP = 8 CO = 3 EP = 12 * 11 * 10 * 9 EO = 2^4 The problem is that the counts and totals given exceeds this number of positions.
Definition file is on stickers instead of pieces (i.e. no orientations):
Name xcross_UFR
Set CORNER 24 1
Set EDGE 24 1
Solved
CORNER
4 4 4 1 4 4 4 4 4 4 2 4 4 3 4 4 4 4 4 4 4 4 4 4
EDGE
1 2 3 4 11 11 11 11 11 11 5 6 11 7 8 11 11 11 9 11 11 11 10 11
End
Move U
CORNER
4 1 2 3 5 6 7 8 9 14 15 12 13 18 19 16 17 22 23 20 21 10 11 24
EDGE
4 1 2 3 5 6 7 8 9 10 15 12 13 14 19 16 17 18 23 20 21 22 11 24
End
Move D
CORNER
1 2 3 4 8 5 6 7 21 10 11 24 9 14 15 12 13 18 19 16 17 22 23 20
EDGE
1 2 3 4 8 5 6 7 21 10 11 12 9 14 15 16 13 18 19 20 17 22 23 24
End
Move R
CORNER
1 2 11 12 5 6 17 18 9 10 7 8 16 13 14 15 3 4 19 20 21 22 23 24
EDGE
1 2 3 12 5 6 7 18 9 10 11 8 16 13 14 15 17 4 19 20 21 22 23 24
End
Move L
CORNER
19 20 3 4 9 10 7 8 1 2 11 12 13 14 15 16 17 18 5 6 24 21 22 23
EDGE
1 20 3 4 5 10 7 8 9 2 11 12 13 14 15 16 17 18 19 6 24 21 22 23
End
Move F
CORNER
24 2 3 23 5 13 14 8 12 9 10 11 4 1 15 16 17 18 19 20 21 22 6 7
EDGE
24 2 3 4 5 6 14 8 12 9 10 11 13 1 15 16 17 18 19 20 21 22 23 7
End
Move B
CORNER
1 15 16 4 22 6 7 21 9 10 11 12 13 14 8 5 20 17 18 19 2 3 23 24
EDGE
1 2 16 4 22 6 7 8 9 10 11 12 13 14 15 5 20 17 18 19 21 3 23 24
End
The definition file has been throughly tested in solving scrambles and Ihave high confidence in it. But in case needed the ordering is:
Corner Stickers:
UFL, UBL, UBR, UFR,
DBL, DFL, DFR, DBR,
FDL, FUL, FUR, FDR,
RDF, RUF, RUB, RDB,
BDR, BUR, BUL, BDL,
LDB, LUB, LUF, LDF
Edge Stickers:
UF, UL, UB, UR,
DB, DL, DF, DR,
FD, FL, FU, FR,
RD, RF, RU, RB,
BD, BR, BU, BL,
LD, LB, LU, LF