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
3.3m questions
4.2m answers