Q3B-pBDD

Competing	yes
Single Query Track	BV
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36885
Final ID	39086
Seed	658700
System Description	Q3B-pBDD in SMT Competition 2022
Variant of Submission ID	36884
Derived from Solver
Wrapped Solvers
Website	https://www.fi.muni.cz/~xpavlik5/Q3B-pBDD/
Team Members	Martin Jonáš (359542@mail.muni.cz) Jan Strejček (xstrejc@fi.muni.cz)