If there is no negative cycle reachable from s in G, BFD-rs correctly computes the shortest path value for all v V and the shortest paths tree in at most negs(G) 2 rounds, whichever implementation of Dijkstra on a graph with non-negative edge costs is used in Dijkstra_scan. Otherwise, it reports the existence of such a cycle. Its running time is as that of BFD.