SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2021

Rules
Benchmarks
Tools
Specs
Parallel & Cloud Tracks
Participants

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
Contact libohan19@mails.ucas.ac.cn