Z3-Owl

Competing	yes
Single Query Track	QF_ABV, QF_AUFBV, QF_BV, QF_BVFP, QF_FP, QF_UFBV
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track	QF_BV
Preliminary ID	44471
Final ID	44715
Seed	8
System Description	Z3-Owl at SMT-COMP 2023
Variant of Submission ID
Derived from Solver	Z3(version 4.8.11)
Wrapped Solvers
Website	https://github.com/z3-owl/z3-owl.github.io
Team Members	Xinkai Ma,Jiahui Sun, Siyuan Zhu, Peisen Yao, Rui Chang, Yongwang Zhao, Wensheng Tang, and Charles Zhang