BFS result reusing of solver "wind".