The problem is basically known. There are combinations of properties, together with a target property that should be computed, that allow too many combinations of rules of almost equal complexity (in the weak sense polymake knows about algorithmic complexity of its computations). In your case, the s...