SMT-RAT

Competing	yes
Single Query Track	QF_NIA, QF_NIRA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	28075
Final ID	28075
Seed	241141182102
System Description	SMT-RAT 20.04
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://smtrat.github.io/
Team Members	Erika Ábrahám, Gereon Kremer, Jasper Nalbach, Rebecca Haehn, Florian Corzilius, Sebastian Junges, Stefan Schupp.