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
Results
Slides

Z3str4

Competing yes
Single Query Track QF_S, QF_SLIA, QF_SNIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID 33313
Final ID 33313
Seed 458751
System Description Z3str4 String Solver: System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website https://z3str4.github.io
Team Members Murphy Berzish, Federico Mora, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh