so a comment right above yours asks a question I'm curious about too, and I wish that person asked you, so I'm copying it here:

--- Does this also work when the search space becomes large? I fear this might lead to an exponential blowup.

(The examples shown are all tiny) ---