OpenSMT

Competing	yes
Single Query Track	QF_LRA, QF_UF
Incremental Track	QF_LRA, QF_UF
Unsat Core Track
Model Validation Track	QF_LRA
Preliminary ID	28564
Final ID	28738
Seed	24131
System Description	OpenSMT in SMT-COMP 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://verify.inf.usi.ch/opensmt
Team Members	Leonardo Alt, Sepideh Asadi, Martin Blicha, Roberto Bruttomesso, Antti E. J. Hyvarinen, Matteo Marescotti, Edgar Pek, Simone Fulvio Rollini, Parvin Sadigova, Natasha Sharygina, and Aliaksei Tsitovich