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_UFLIA, QF_UFLRA, QF_UFNIA, UFLRA
Challenge Track (non-incremental)
Challenge Track (incremental)	QF_ABV, QF_AUFBV, QF_BV
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23417
Final ID	23733
Seed	439
System Description	CVC4
Variant of Submission ID	CVC4, 23420
Derived from Solver
Wrapped Solvers
Website	http://cvc4.cs.stanford.edu
Team Members	Clark Barrett, Haniel Barbosa, Martin Brain, Tim King, Makai Mann, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar