Q3B

Competing	yes
Single Query Track	BV
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36884
Final ID	39062
Seed	735340574
System Description	Q3B in SMT-COMP 2022
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/martinjonas/Q3B/
Team Members	Martin Jonáš, Jan Strejček