AProVE

Competing	yes
Single Query Track	QF_NIA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	1229
Final ID	1229
Seed	31249347
System Description	AProVE at SMT-COMP 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://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