Results using ExtremalMax without DecreasingDomain, i.e. edges are rejected
before they are accepted. This slows down search.