Evidencia de Colas Largas en Algoritmos SLS