Yices-ismt

Competing	yes
Single Query Track	QF_NIA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36803(sq)
Final ID	39056
Seed	19970805
System Description	Yices-ismt for SMT COMP 2022
Variant of Submission ID
Derived from Solver
Wrapped Solvers	Yices 2.6.2
Website	https://github.com/MRVAPOR/Yices-ismt
Team Members	Fuqi Jia, Rui Han, Minghao Liu, Cunjing Ge, Pei Huang, Feifei Ma, Jian Zhang.