CVC4

Competing	yes
Single Query Track	ABV, ABVFP, ABVFPLRA, ALIA, AUFBVDTLIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFFPDTLIRA, 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_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_UF, QF_UFBV, QF_UFFP, QF_UFIDL, QF_UFLIA, QF_UFLRA, QF_UFNIA, QF_UFNRA, UF, UFBV, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFFPDTLIRA, UFFPDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	28354
Final ID	28798
Seed	94305
System Description	CVC4 at the SMT Competition 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://cvc4.github.io/
Team Members	Clark Barrett, Haniel Barbosa, Martin Brain, Ahmed Irfan, Makai Mann, Mudathir Mohamed, Aina Niemetz, Andres Noetzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Amalee Wilson, Yoni Zohar