This is an expected behaviour. More rules impose more constraints on the feasible space. The space with more rules is hence much smaller. The only pitfall is th

This is an expected behaviour. More rules impose more constraints on the feasible space. The space with more rules is hence much smaller. The only pitfall is that in the middle of calculation the feasible space may blow up before eventually shrinking. This is where the optimisation heuristics helps. Your previous question was spot on :)