Boolector

Competing	yes
Single Query Track	BV, QF_ABV, QF_AUFBV, QF_BV, QF_UFBV
Incremental Track
Challenge Track (non-incremental)	QF_ABV, QF_AUFBV, QF_BV
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)	QF_BV
Preliminary ID	23380
Final ID	23711
Seed	42
System Description	Boolector
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://boolector.github.io
Team Members	Aina Niemetz, Mathias Preiner, Armin Biere