SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2019

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

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
Contact carsten@dcs.bbk.ac.uk