2021-z3

Competing	no
Single Query Track	LIA, LRA, NIA, NRA, QF_AX, QF_DT, QF_UF, QF_UFDT
Incremental Track	QF_UF, ALIA, QF_ANIA, QF_UFNIA, QF_UFNRA, UFLRA
Unsat Core Track	QF_AX, QF_DT, QF_UF, QF_UFDT, QF_NIA, QF_NIRA
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	33741
Seed
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/Z3Prover/z3/wiki
Team Members