In 2006, Tim Austin and Itai Benjamini proved that the model will always reach the free-flowing phase if the number of cars is less than half the edge length for a square lattice.
У 2006, Тім Остін і Ітаї Бенджаміні доведели, що модель буде завжди доходити до фази вільного руху, якщо кількість автомобілів не перевищує половини довжини кромки для квадратної решітки.