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

Z3++

Competing yes
Single Query Track QF_BV, QF_IDL, QF_LIA, QF_NIA, QF_NRA
Incremental Track
Unsat Core Track
Model Validation Track QF_BV, QF_IDL, QF_LIA
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID 36759
Final ID -1
Seed 1
System Description Z3++ at SMT-COMP 2022
Variant of Submission ID
Derived from Solver Z3-4.8.15
Wrapped Solvers
Website https://z3-plus-plus.github.io/
Team Members Shaowei Cai, Bohan Li, Jinkun Lin, Zhonghan Wang, Bohua Zhan, Xindi Zhang, Mengyu Zhao