2021-cvc5

Competing	no
Single Query Track	ABV, ABVFP, ABVFPLRA, AUFBV, AUFBVDTLIA, AUFBVDTNIA, AUFBVFP, AUFFPDTLIRA, BVFP, BVFPLRA, FP, FPLRA, QF_ABVFP, QF_ABVFPLRA, QF_AUFBVFP, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFFP, QF_UFFPDTLIRA, UFBV, UFBVFP, UFBVLIA, UFFPDTLIRA, UFFPDTNIRA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	33075
Final ID	33446
Seed
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