Q3B-pBDD

Competing	no
Single Query Track
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36885
Final ID	-1
Seed	78549
System Description	Q3B-pBDD in SMT Competition 2023
Variant of Submission ID	Q3B
Derived from Solver
Wrapped Solvers
Website	https://www.fi.muni.cz/~xpavlik5/Q3B-pBDD/
Team Members	Matěj Pavlík, Martin Jonáš, Jan Strejček