OpenSMT2

Competing	yes
Single Query Track	QF_LRA, QF_UF
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23354
Final ID	23635
Seed	568
System Description	OpenSMT2
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://verify.inf.usi.ch/opensmt
Team Members	Martin Blicha, Leonardo Alt, Matteo Marescotti, Sepideh Asadi, Parvin Sadigova, Roberto Bruttomesso, Aliaksei Tsitovich, Simone Fulvio Rollini, Edgar Pek