"Algoritma ini tebukti kada cukup gasan menuntugkan masalah penalaran ganal karna buhannya mealami "ledakan kombinatorial": buhannya jadi lebih lambat eksponensial karna masalah tumbuh lebih ganal."