Poolector

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