No policy "so far"?

[ssardina]

Let's make problem benchmarks/tireworld-truck/p1.pddl obviously unsolvable:

(:goal (and (car-at ng) (car-at n0))))

Now I run:

$ ./paladinus  benchmarks/tireworld-truck/domain.pddl benchmarks/tireworld-truck/p1.pddl                                                    ─╯

Now planner reports that initial is disproven, but then says that policy found "so far":

So the disproven part should be the correct one, as it is obviously unsolvable:

But why is it reporting "not so far" here:

I think the ground truth may just be whether INITIAL is DISPROVEN (proved does not exist) or UNPROVEN (we cannot say)

[ssardina]

Maybe something to ask to Paladinus team? What does SearchFlag.NO_POLICY represents?

See in this case the SAS translator should already realized the goal is not reachable