[SMT-LIB] Draft rules for SMTCOMP 2014

[Morgan Deters]

---------- Forwarded message ----------
From: David Cok <dcok at grammatech.com>
To: smt-comp at cs.nyu.edu, smt-lib <smt-lib at cs.nyu.edu>
Cc:
Date: Thu, 08 May 2014 08:40:29 -0400
Subject: Draft rules for SMTCOMP 2014
The draft rules for SMTCOMP 2014 are now available on the competition
website:
smtcomp.sourceforge.net/2014/rules14.pdf

These are a draft and are open for comment through Monday May 12.

Although the overall shape of the competition remains unchanged from
previous SMTCOMPs, we have simplified and altered the rules to some extent,
partly by necessity since we are needing to port the competition
infrastructure to StarExec.

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

Current deadlines are
May 15 for new benchmarks
May 25 for initial solver submissions
June 1 for final solver submissions
The organizers are considering a request to delay the solver deadlines by a
week or two. Comments on that by May 12 are also welcome:
- in favor of the current deadline: more time to debug and execute the
competition, with a larger number of benchmarks
- in favor of a later deadline: more time for solver developers to finetune
their submissions

- David