AProVE

Competing	yes
Single Query Track	QF_NIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	1229
Final ID	1229
Seed	170142
System Description	AProVE at SMT-COMP 2021
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://aprove.informatik.rwth-aachen.de/
Team Members	Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jürgen Giesl, Jera Hensel, Peter Schneider-Kamp, Thomas Ströder, René Thiemann