The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competing | yes |
Single Query Track | QF_BV |
Incremental Track | QF_BV |
Unsat Core Track | |
Model Validation Track | QF_BV |
Cloud Track | |
Parallel Track | |
Preliminary ID | 28776 |
Final ID | 33442 |
Seed | 2021 |
System Description | STP in the SMT-COMP 2021 |
Variant of Submission ID | |
Derived from Solver | |
Wrapped Solvers | |
Website | https://stp.github.io/ |
Team Members | many |