A big pile more data! Mostly easy stuff, here. I ran both search programs on each n,m up to 30 with a half-hour time limit, and these are all the ones for which one or other search finished within that time. Generally, 'main' seems to do well for small m, and 'partition.py' finds large m easy, and there's a remaining slick of difficult cases in between.