Answer:
Yup it finds the shortest possible solution to solve the cube (20 moves average) and then speed solves the 20 move in 0.38 seconds, which is roughly 3 seconds faster then the human world record. :D speeeed
7.6m questions
10.2m answers