SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Papers
Benchmark submission

Previous

SMT-LIB

Benchmark submission

Instructions for submitting benchmarks are available at the SMT-LIB pending benchmarks repository.

Note that the people maintaining the SMT-LIB benchmarks are not in general the same as the ones organizing the competition.