In solvable tasks from the Hydraulic Leaking domain from the ASP competition, A*
with the h_m landmarks prints a warning to the screen "Subset of goal not
reachable !!" and declares the initial state to be a dead end. Sample input is
attached. I've used this argument string:
--search "astar(lmcount(lm_hm(m=1),admissible=true),mpd=true)"
When using rhw landmarks, there is no warning message and the instance is solved.
The one issue is that the warning "subset not reachable" is wrong in this case;
the other issue is that if the warning was correct, one would expect the search
to abort straight away rather than trying to solve the instance. E.g. when using
the combination of rhw and hm landmarks we get the warning but yet the search
proceeds to work on the instance (actually solving it).
|