Optimize code

[fbaratov]

So far, the complexity scales very quickly and prevents using our solver for higher n/m, or when there is a large number of graphs covered by the given properties. Reducing complexity in any way may be useful.