OpenSMT

Competing	yes
Single Query Track	QF_IDL, QF_LIA, QF_LRA, QF_RDL, QF_UF
Incremental Track	QF_LIA, QF_LRA, QF_UF
Unsat Core Track
Model Validation Track	QF_IDL, QF_LIA, QF_LRA, QF_RDL, QF_UF
Cloud Track
Parallel Track
Preliminary ID	33003
Final ID	33438
Seed	13390
System Description	The OpenSMT Solver in SMT-COMP 2021
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://verify.inf.usi.ch/opensmt2
Team Members	Antti Hyvärinen, Martin Blicha, Leonardo Alt, Matteo Marescotti, Sepideh Asadi, Václav Luňák, Natasha Sharygina