[SMT-COMP] REMINDER: SMT-COMP 2008 deadline this week

[Morgan Deters]

Hi SMT-COMP participants,

As a reminder, the deadline for SMT-COMP submission is this Friday,
July 4, 2008, at 7pm Eastern US time.

Submission is through the SMT-Exec system this year (www.smtexec.org).
 Resubmission will be permitted through Sunday, July 6, 2008, at 7pm
Eastern US time.  Please note that you MUST submit an entry by the
July 4th deadline to get this 48-hour resubmission grace period.  You
are permitted any number of resubmissions, but note that the SMT-Exec
execution service will be closed to the public after the July 4th
deadline so that we may prepare for, and next week execute, the
competition.  During the grace period, we will notify you if your
submissions or resubmissions fail to execute on SMT-Exec for trivial
reasons (permissions incorrectly set, compiled for an incompatible
architecture, dynamic link failure, etc.).

You are urged to create an SMT-Exec account as soon as possible if you
don't already have one.  The above deadlines are firm.

When you submit (or resubmit), you are asked for a "magic number"
(contribution to the competition random seed) and a solver description
(PDF).  For archival purposes, you are encouraged to include the magic
number and solver description in your submission upload also.  To
ensure that your solvers work, please statically-link your binaries
where possible and verify that they are built for 32-bit Intel.
Submissions must be tar or zip archives (tarballs may be gzipped or
bzip2ed).  More details for submission requirements are found on the
SMT-Exec upload page.

See you next week,
Morgan
-- 
Morgan Deters
mdeters at gmail.com