veriT+vite

Competing	no
Single Query Track	ALIA, AUFLIA, AUFLIRA, LIA, UF, UFIDL, UFLIA, UFLRA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	28742
Final ID	28742
Seed	0
System Description	veriT at SMT-COMP 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://verit.loria.fr/
Team Members	Haniel Barbosa, Daniel El Ouraoui, Pascal Fontaine, Hans-Jörg Schurr