The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Individual results pages can be found from this list:
Summary (Main Track, Application Track, Unsat Core Track, Unknown Benchmarks Track)
Competition-Wide Scoring (Main Track)
ALIA (Main Track, Application Track, Unsat Core Track)
ANIA (Application Track)
AUFLIA (Main Track, Unsat Core Track)
AUFLIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track )
AUFNIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
LIA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
LRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
NRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_ABV (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_ALIA (Main Track,Application Track, Unsat Core Track)
QF_ANIA (Main Track, Application Track, Unsat Core Track)
QF_AUFBV (Main Track, Unsat Core Track)
QF_AUFLIA (Main Track,Application Track, Unsat Core Track)
QF_AUFNIA (Main Track, Unsat Core Track)
QF_AX (Main Track, Unsat Core Track)
QF_BV (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
QF_BVFP (Main Track, Unsat Core Track)
QF_FP (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_IDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_LIA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
QF_LIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_LRA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
QF_NIA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
QF_NIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_NRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_RDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_UF (Main Track, Unsat Core Track, Unknown Benchmarks Track)
QF_UFBV (Main Track, Unsat Core Track)
QF_UFIDL (Main Track, Unsat Core Track)
QF_UFLIA (Main Track,Application Track, Unsat Core Track)
QF_UFLRA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)
QF_UFNIA (Main Track,Application Track, Unsat Core Track)
QF_UFNRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
UFBV (Main Track, Unsat Core Track, Unknown Benchmarks Track)
UFIDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)
UFLIA (Main Track, Unsat Core Track, Unknown Benchmarks Track)
UFLRA (Main Track,Application Track, Unsat Core Track)
UFNIA (Main Track, Unsat Core Track, Unknown Benchmarks Track)