SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2022

Rules
Tools
Specs
Proof Exhibition Track
Parallel & Cloud Tracks
Participants

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 -1
Seed 19970805
System Description Yices-ismt on 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.