Title: Expected performance of m-solution backtracking