Dijkstra finished