Test searchspace DFS