[SMT-LIB] Update on SMT-COMP 2015

Tjark Weber tjark.weber at it.uu.se
Mon May 11 09:54:47 EDT 2015


The revised (draft) rules for SMT-COMP 2015 are now available on the
competition website: http://smtcomp.sourceforge.net/2015/rules15.pdf

These rules are open for comment through Sunday, May 17.

The overall shape of the competition remains unchanged from last year.
However, we have simplified and slightly altered the rules with regard
to several important points, including

- parallel performance,
- competition-wide ranking,
- floating-point divisions, and
- benchmark selection.

We received several new benchmarks, including new floating-point
benchmarks. Thanks to all contributors! More details on the size and
content of the benchmark set will be provided once the new benchmarks
have been curated and entered into SMT-LIB.

Current deadlines are

   June 1 for first versions of solvers
   June 14 for final versions of solvers

Earlier (non-binding) indications of intention to enter a solver in the 
competition are appreciated by the organizers. 

Tjark Weber
for the organizers




More information about the SMT-LIB mailing list