Boolector-ReasonLS

Competing	no
Single Query Track	QF_BV
Incremental Track	QF_BV
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID
Final ID	23692
Seed
System Description	Boolector-ReasonLS
Variant of Submission ID
Derived from Solver	Boolector (GitHub master b982737).
Wrapped Solvers
Website
Team Members	Shaowei Cai, Xindi Zhang, Bing He