2020-Bitwuzla

Competing	no
Single Query Track	QF_ABV, QF_AUFBV, QF_UFBV
Incremental Track
Unsat Core Track
Model Validation Track	QF_BV
Proof Exhibition Track
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