SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2019

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

SPASS-SATT

Competing yes
Single Query Track QF_LIA, QF_LRA
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID 23356
Final ID 23356
Seed 73
System Description SPASS-SATT
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website https://www.spass-prover.org/
Team Members Martin Bromberger, Mathias Fleury, Simon Schwarz, and Christoph Weidenbach
Contact mbromber@mpi-inf.mpg.de