XmlAttribute: String solver.analysis

Type of analysis.