QuadraticCollector

combinedRPILU

QuantifierFormula

formula