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

UltimateEliminator+SMTInterpol

Competing yes
Single Query Track ALIA, AUFLIA, AUFLIRA, LIA, LRA, UF, UFIDL, UFLIA, UFLRA
Incremental Track ALIA, LIA, LRA, UFLRA
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track ALIA, AUFLIA, AUFLIRA, LIA, LRA, UF, UFIDL, UFLIA, UFLRA
Model Validation Track (experimental)
Preliminary ID 23426
Final ID 23743
Seed 0
System Description UltimateEliminator
Variant of Submission ID
Derived from Solver
Wrapped Solvers SMTInterpol-2.5-101-g5390cba7
Website https://ultimate.informatik.uni-freiburg.de/
Team Members Max Barth, Daniel Dietsch, Leonard Fichtner, Matthias Heizmann
Contact heizmann@informatik.uni-freiburg.de