2020-Bitwuzla

Competing	no
Single Query Track	QF_ABV, QF_ABVFP, QF_AUFBV, QF_BVFP, QF_FP, QF_UFBV, QF_UFFP
Incremental Track
Unsat Core Track	QF_ABVFP, QF_BVFP, QF_FP, QF_UFFP
Model Validation Track	QF_BV
Cloud Track
Parallel Track
Preliminary ID	28351
Final ID	28818
Seed
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