Bitwuzla

Competing	yes
Single Query Track	BV, QF_ABV, QF_ABVFP, QF_AUFBV, QF_BV, QF_BVFP, QF_FP, QF_UFBV, QF_UFFP
Incremental Track	QF_ABV, QF_ABVFP, QF_AUFBV, QF_BV, QF_BVFP, QF_FP, QF_UFBV, QF_UFFP
Unsat Core Track	QF_ABV, QF_ABVFP, QF_AUFBV, QF_BV, QF_BVFP, QF_FP, QF_UFBV, QF_UFFP
Model Validation Track	QF_BV
Preliminary ID	28351
Final ID	28818
Seed	42
System Description	Bitwuzla at the SMT Competition 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://bitwuzla.github.io
Team Members	Aina Niemetz, Mathias Preiner