CVC4-inc

Competing	yes
Single Query Track
Incremental Track	ABVFP, ALIA, ANIA, AUFNIRA, BV, BVFP, LIA, LRA, QF_ABV, QF_ABVFP, QF_ALIA, QF_ANIA, QF_AUFBV, QF_AUFBVLIA, QF_AUFBVNIA, QF_AUFLIA, QF_BV, QF_BVFP, QF_FP, QF_LIA, QF_LRA, QF_NIA, QF_UF, QF_UFBV, QF_UFBVLIA, QF_UFFP, QF_UFLIA, QF_UFLRA, QF_UFNIA, UF, UFLRA, UFNIA, UFNRA
Unsat Core Track
Model Validation Track
Preliminary ID	28466
Final ID	28799
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