HighLevelSolver::solve(const Map &map) is not completed.

[Jpstraw]

Instance: map3.txt
content of map3.txt:

4 4
1 6 8 10
9 14
11 13

Fistlty, we can easily get solutions for agentID=0 and agentID=1(They are referred to as a0 and a1 later). The start and goal locations of a0 are (1,2) and (2,3). The start and goal locations of a1 are (3,2) and (1,3).

The solution of a0 found by LowLevelSolver is (1,2)->(1,3)->(2,3)
The solution of a1 found by LowLevelSolver is (3,2)->(3,3)->(2,3)->(1,3)
Check the solutions found in the first step, there is a point conflict, namely [(0,1),(2,3),(2,3),2]. To solve it, the program will seperately add new constraint to each agent. And then, based on the new constraint, LowLevelSolver should find solutions for each agent to solve the conflict. As a result, we got them as follows:

constraint: [(2,3),0,2], cost=8, solution of a0 is (1,2)->(1,3)->(1,3)->(2,3), solution of a1 is (3,2)->(3,3)->(2,3)->(1,3)
constraint: [(2,3),1,2], cost=8, solution of a0 is (1,2)->(1,3)->(2,3), solution of a1 is (3,2)->(3,3)->(3,3)->(2,3)->(1,3)

We can easily find the problems of these solutions, there are some edge conflicts. But the program stops, doesn't go on to check the quality of these solutions. Maybe it is due to the deadlock of the instance. However, it is not completed.