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	44713
Final ID	44713
Seed
System Description	Yices-ISMT for SMT-COMP 2023
Variant of Submission ID
Derived from Solver
Wrapped Solvers	Yices2 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.