Interesting how the solver preferred to build a 2x2x2 block and then match/solve pairs until it could then apply ABA' sequences (commutators in cubing parlance). Very reminiscent of something between Lars Petrus' and Ryan Heise's method. There's a more rigid version called Tripod.

As an avid speedcuber I'd be very interested in the datasets.