(logic QF_UFNRA

 :smt-lib-version 2.0
 :written_by "Cesare Tinelli"
 :date "2011-06-11"
 
 :theories ( Reals )

 :language 
 "Closed quantifier-free formulas built over arbitrary expansions of 
  the Reals signature with free sort and function symbols.
 "
)