Валидатор долго прогружает рещение и в конечном итоге выдает сообщение о том, что программа работала слишком долго.