issue1201 introduced reports about unsolvability and unsolvability within a bound of the search algorithm.
If the search algorithm has any bound (and terminates without finding a solution) it will report unsolvable within the bound.
This is correct but less informative than it could be in some cases.
If the given bound was never used we can treat it as if the bound was infinity.
|