title: Alloy Analyzer: What influences the number of available solutions
body: <p>I'm currently trying to figure out, how the maximum number of computed solutions is related to the A4Options and other configuration properties (I use the API).</p>
  
  <p>The strange thing is that with increasing scope the number of available solutions do not change. They are constant no matter if I set the scope limit to 30 or 100 elements or any other number. </p>
  
  <p>If I modify the amount of symmetry breaking (A4Options.symmetrie) I get tons of solutions but the influence of the symmetrie option is rather unclear to me.</p>
  
  <p><strong>My question is: Does anybody know how to make sure that I'm able to generate ALL possible solutions?</strong></p>
  
  <p>Please let me know if you need further details!</p>
  
  <p>Thank you very much in advance,
  LostSpirit</p>