2022-Bitwuzla

Competing	no
Single Query Track	BVFP, BVFPLRA, FP, FPLRA, QF_ABV, QF_ABVFP, QF_ABVFPLRA, QF_AUFBV, QF_AUFBVFP, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFBV, QF_UFFP
Incremental Track	BVFP, BVFPLRA, QF_ABVFP, QF_ABVFPLRA, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFFP
Unsat Core Track	QF_ABV, QF_AUFBV, QF_UFBV, QF_BV
Model Validation Track	QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFBV, QF_UFFP
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36798
Final ID	39101
Seed
System Description	Bitwuzla at the SMT-COMP 2022
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://bitwuzla.github.io
Team Members	Aina Niemetz, Mathias Preiner