veriT

Competing	yes
Single Query Track	ALIA, AUFLIA, AUFLIRA, LIA, QF_ALIA, QF_AUFLIA, QF_IDL, QF_LIA, QF_LRA, QF_RDL, QF_UF, QF_UFIDL, QF_UFLIA, QF_UFLRA, UF, UFIDL, UFLIA, UFLRA
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23406
Final ID	23693
Seed	7800
System Description	veriT
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://www.verit-solver.org
Team Members	Haniel Barbosa, Daniel El Ouraoui, Pascal Fontaine, Hans-Jörg Schurr