*****************************************************************
                       mcmas v. 0.6 

 This software comes with ABSOLUTELY NO WARRANTY, to the extent
 permited by applicable law. 

 Please check 
 http://www.cs.ucl.ac.uk/staff/f.raimondi/MCMAS/
 for the latest release.
 Report bugs to <f.raimondi@cs.ucl.ac.uk>
*****************************************************************

Encoding BDD parameters...Done.
Checking formulae...
  Formula number 0 is TRUE in the model
  Formula number 1 is TRUE in the model
  Formula number 2 is TRUE in the model
  Formula number 3 is TRUE in the model
  Formula number 4 is TRUE in the model
done, 5 formulae successfully read and checked