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

OSTRICH

Competing yes
Single Query Track QF_S, QF_SLIA, QF_SNIA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID 36797
Final ID -1
Seed 74672647
System Description The OSTRICH String Solver
Variant of Submission ID
Derived from Solver OSTRICH is based on the SMT solver Princess (version 2022-07-01)
Wrapped Solvers
Website https://github.com/uuverifiers/ostrich
Team Members Taolue Chen Riccardo De Masellis Alejandro Flores-Lamas Matthew Hague Zhilei Han Denghang Hu Shuanglong Kan Anthony W. Lin Oliver Markgraf Philipp Rümmer Amanda Stjerna Zhilin Wu