SMT-RAT

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