YicesLS

Competing	yes
Single Query Track	QF_IDL
Incremental Track
Unsat Core Track
Model Validation Track	QF_IDL
Cloud Track
Parallel Track
Preliminary ID	33317
Final ID	33369
Seed	1
System Description	LS-IDL: Local Search For SMT on Integer Difference Logic
Variant of Submission ID
Derived from Solver
Wrapped Solvers	Yices-2.6.2
Website	https://github.com/DouglasLee001/YicesLS
Team Members	Bohan Li, Shaowei Cai, Xindi Zhang