In the cheaptime example, the Codes's team CH was much faster than ours, especially when scaling out. This had a huge impact on the result, because our LS got seconds where theirs got minutes.

Possible reasons: they they do Cartesian Products or unions? They didn't do undoMove's, ... Rerun this diagnosis.