SMT-COMP 2019

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Papers
Benchmark Submission
Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Previous Competitions

SMT-LIB

SMTInterpol

Competing yes
Single Query Track ALIA, AUFLIA, AUFLIRA, LIA, LRA, QF_ALIA, QF_AUFLIA, QF_AX, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_RDL, QF_UF, QF_UFIDL, QF_UFLIA, QF_UFLRA, UF, UFIDL, UFLIA, UFLRA
Incremental Track ALIA, LIA, LRA, QF_ALIA, QF_AUFLIA, QF_LIA, QF_LRA, QF_UF, QF_UFLIA, QF_UFLRA, UFLRA
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track QF_ALIA, QF_AUFLIA, QF_AX, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_RDL, QF_UF, QF_UFIDL, QF_UFLIA, QF_UFLRA
Model Validation Track (experimental)
Preliminary ID 23360
Final ID 23554
Seed 983571724
System Description SMTInterpol
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Team Members Tanja Schindler, Jochen Hoenicke, J├╝rgen Christ
Contact hoenicke@informatik.uni-freiburg.de