Bitwuzla - fixed

Competing	no
Single Query Track
Incremental Track	QF_ABVFP, QF_BVFP, QF_FP, QF_UFFP
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	33809
Seed	0
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://bitwuzla.github.io
Team Members	Aina Niemetz, Mathias Preiner