The International Satisfiability Modulo Theories (SMT) Competition.
| Competing | yes |
| Single Query Track | QF_nia |
| 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 |
| Contact | carsten@dcs.bbk.ac.uk |