[SMT-COMP] Reminder: competition deadline tonight; resubmission deadline Saturday

[Morgan Deters]

SMT-COMP '09 participants,

As you know, the competition deadline is approaching.  The deadline for
SMT-COMP is tonight, July 30, at 7pm Eastern US Time:

    http://timeanddate.com/worldclock/city.html?n=179

You _must_ submit something by then to be eligible for the SMT-COMP
resubmission period.  The resubmission deadline is this Saturday, August 1,
also at 7pm Eastern US Time.  To resubmit, you submit a _new_ solver to
SMT-Exec and check the "For SMT-COMP" box.  (The "edit solver" interface is
not for uploading a new tarball; it's only for editing details about an
already-uploaded solver.  You can, however, use that form to mark an
already-uploaded solver as being for SMT-COMP.)

A few people have seen error messages while submitting their solver for
SMT-COMP.  I believe these have been fixed.  However, should you have any
doubts about the integrity of your upload, please keep your zipped or tarred
archive.  Provide it to us (for example, on a website available for
download) but send me the MD5 hash of the zip/tar (computed with "md5sum")
by email _before_ the deadline (this way I can ensure that the file was
prepared by the deadline, even if I don't receive it until after).

We would like to make one small update to the rules.  The posted rules
indicate that the random seed for the competition is determined by all
participants and by the August 4 opening value of NYSE Composite Index.  We
would like to change the date that we collect the NYSE opening value to
August 3 (which is still after the final resubmission deadline).  This will
give us time to ensure that the final set of competition benchmarks are
correctly prepared (selected and scrambled) for the August 4 kickoff of
SMT-COMP.

Looking forward to seeing you all in Montreal,
Morgan
-- 
Morgan Deters
mdeters at morgandeters.com