Intermediate results + one-level arc-flag Dijkstra seems correct.