Q3B

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