AProVE

Competing	yes
Single Query Track	QF_NIA
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	1229
Final ID	1229
Seed	896120349
System Description	AProVE
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, Rene Thiemann