'5+5' benchmark adapted for the new version of the solver.