You could just simulate a run of your algorithm against all the possible configurations left. Even with the segmenting trick from the article, this will sometim

You could just simulate a run of your algorithm against all the possible configurations left. Even with the segmenting trick from the article, this will sometimes be far too slow; but e.g. trying it for 10 seconds before terminating the computation may help.