Se si utilizza il motore evolutivo, il Risolutore si è arrestato perché non è possibile trovare una soluzione migliore nel ...