The search in formula_8 needs at most 12 moves and the search in formula_9 at most 18 moves, as Michael Reid showed in 1995.
В 1995 году Майкл Рид показал, что первая и вторая фазы алгоритма Коцембы могут потребовать не более 12 и 18 ходов (FTM) соответственно.