[SAL-HELP] question about number of system variables

[suman kasam]

Hi all,
   
      Can any one help me answering my doubt.
   
      When I run sal-bmc or sal-inf-bmc  it gives me 
   
  number of system variables = x and number of auxillary variables =y .
   
  What are there system variables and auxillary variables? How are they calculated  for sal-bmc and sal-inf-bmc ? How are they related to the state space size? I can observe that the state space increases with the increase in number of system variables but want to know whether it increases exponentially , linearly or others.
   
      Please answer me if any one know it .
   
   
  Thanking you,
   
   
  Regards,
  Suman Kasam

       
---------------------------------
Ahhh...imagining that irresistible "new car" smell?
 Check outnew cars at Yahoo! Autos.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20070416/a1395833/attachment.html