Sull'efficienza sperimentale di algoritmi auction per la determinazione dell'albero dei cammini minimi