Process priority set to: High

Loaded pruning table: centers, nodes: 18900
Loaded pruning table: edges, nodes: 90
Loaded pruning table: corners, nodes: 4

Number of scrambles: 25

 1: r U2 r2 U r2 U' r2 U2 r' U2 r' U' r2 U2 r2 U' r2 U r' U2  (20 BTM)
 2: U r2 U2 r U r U r U r U2 r' U' r' U' r' U' r2 U' r  (20 BTM)
 3: U r2 U' r' U r' U2 r' U r U r2 U' r U' r' U' r U' r2  (20 BTM)
 4: U' r U' r' U2 r' U r2 U2 r2 U' r U2 r2 U r' U2 r' U2 r2  (20 BTM)
 5: r' U' r2 U' r2 U r2 U r' U' r2 U r2 U r' U2 r' U' r' U  (20 BTM)
 6: r' U2 r' U' r U2 r U2 r U2 r2 U2 r' U2 r2 U r U r' U'  (20 BTM)
 7: r U' r U r U2 r U2 r' U r U' r' U r U' r U r U  (20 BTM)
 8: U' r U2 r U2 r2 U r' U r2 U2 r U' r2 U' r' U2 r2 U' r  (20 BTM)
 9: U2 r2 U r U r U2 r2 U r2 U' r2 U r' U2 r' U2 r U' r2  (20 BTM)
10: r2 U2 r U2 r U' r2 U r' U' r' U r U r U r2 U2 r2 U  (20 BTM)
11: r' U' r' U' r2 U2 r U r2 U r U2 r U' r2 U' r U r' U2  (20 BTM)
12: U r U r U r U' r' U r2 U' r U' r U' r U r2 U r2  (20 BTM)
13: r' U2 r' U r' U' r U2 r U2 r U2 r' U2 r2 U2 r' U2 r U2  (20 BTM)
14: r2 U r' U r U2 r' U r U r U' r U2 r U r2 U' r U'  (20 BTM)
15: U' r' U2 r' U' r U2 r U2 r' U2 r U' r U r2 U' r' U2 r  (20 BTM)
16: r' U2 r2 U r U' r U2 r U' r2 U2 r2 U r U r U2 r' U'  (20 BTM)
17: U r2 U2 r' U2 r2 U2 r U2 r U r U r U' r U r' U' r2  (20 BTM)
18: r U r2 U' r2 U2 r' U' r U2 r U' r2 U2 r U r2 U' r U2  (20 BTM)
19: U r2 U r U r' U r' U2 r' U r U' r U' r2 U' r' U r'  (20 BTM)
20: U' r2 U2 r U' r U r U' r' U' r U2 r2 U' r U2 r U2 r'  (20 BTM)
21: r' U r U2 r2 U r2 U r2 U2 r' U' r2 U' r U r U r2 U  (20 BTM)
22: r U2 r2 U r' U r' U2 r U r2 U' r U r2 U r U r2 U2  (20 BTM)
23: r2 U r' U' r' U2 r' U2 r2 U r' U2 r U2 r2 U r' U r U'  (20 BTM)
24: r' U r2 U2 r2 U r' U2 r2 U' r' U2 r2 U2 r' U2 r U2 r' U  (20 BTM)
25: r2 U r2 U r2 U' r2 U r U r' U' r2 U r2 U' r2 U r' U'  (20 BTM)

Time computed: 0,317 seconds (average: 0,01268 seconds)