2019-Z3

Competing	no
Single Query Track	BVFP, FP, LIA, LRA, QF_IDL
Incremental Track	BV, QF_UFLRA, UFLRA
Unsat Core Track	QF_UFLRA, QF_ABV
Model Validation Track
Preliminary ID	23470
Final ID	23470
Seed
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website
Team Members