cvc5-uc

Competing	yes
Single Query Track
Incremental Track
Unsat Core Track	ABV, ABVFP, ABVFPLRA, ALIA, AUFBV, AUFBVDTLIA, AUFBVDTNIA, AUFBVFP, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFFPDTLIRA, AUFFPDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, BV, BVFP, BVFPLRA, FP, FPLRA, LIA, LRA, NIA, NRA, QF_ABV, QF_ABVFP, QF_ABVFPLRA, QF_ALIA, QF_ANIA, QF_AUFBV, QF_AUFBVFP, QF_AUFLIA, QF_AUFNIA, QF_AX, QF_BV, QF_BVFP, QF_BVFPLRA, QF_DT, QF_FP, QF_FPLRA, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_NIA, QF_NIRA, QF_NRA, QF_RDL, QF_S, QF_SLIA, QF_SNIA, QF_UF, QF_UFBV, QF_UFDT, QF_UFDTLIRA, QF_UFFP, QF_UFFPDTLIRA, QF_UFIDL, QF_UFLIA, QF_UFLRA, QF_UFNIA, QF_UFNRA, UF, UFBV, UFBVFP, UFBVLIA, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFFPDTLIRA, UFFPDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	33074
Final ID	33448
Seed	5
System Description	cvc5 at the SMT Competition 2021
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://cvc5.github.io/
Team Members	Clark Barrett, Haniel Barbosa, Gereon Kremer, Abdal Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Noetzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar