Q3B

Competing	yes
Single Query Track	BV
Incremental Track	BV
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23405
Final ID	23686
Seed	93629305
System Description	Q3B
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/martinjonas/Q3B/releases/tag/smtcomp2019
Team Members	Martin Jonáš, Jan Strejček