The International Satisfiability Modulo Theories (SMT) Competition.
| Competing | yes |
| Single Query Track | QF_lra, QF_cc |
| 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 |
| Contact | antti.hyvarinen@gmail.com |