Underlay si inizializza correttamente; Overlay si inizializza random
correttamente; Tutti i nodi dell'underlay eseguono correttamente l'algo
di Djkstra; Ogni link virtuale viene mappato correttamente sul relativo
path