LazyBV2Int

Competing	yes
Single Query Track	QF_BV
Incremental Track	QF_BV
Unsat Core Track
Model Validation Track
Preliminary ID	28568
Final ID	28722
Seed	670
System Description	LazyBV2Int at the SMT Competition 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers	MathSAT 5.6.2, CVC4 1.8-prerelease [git master 18fe192c]
Website	https://cs.stanford.edu/~yoniz/lazybv2int.html
Team Members	Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Yoni Zohar, and Clark Barrett