OpenSMT - fixed

Competing	no
Single Query Track	QF_IDL, QF_LIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	33687
Seed	0
System Description
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