[rules-users] Quantification of possible planner/solver solutions