2020-OpenSMT

Competing	no
Single Query Track	QF_LRA
Incremental Track
Unsat Core Track
Model Validation Track	QF_LRA
Cloud Track
Parallel Track
Preliminary ID	28564
Final ID	28738
Seed
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