SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

24 h Extension to Final Solver Deadline

26 May 2020

Due to numerous requests we have decided to extend the deadline by one day, to

Tuesday, May 26, 23.59 anywhere on earth

The NYSE component of the seed will be adjusted accordingly.