[SMT-LIB] SMT-COMP first deadline tomorrow: reminder and submission site details

[Morgan Deters]

Hi everyone,

The submission site for SMT-COMP is now open and functioning.  As
posted in the SMT-COMP 2011 rules, note that the first deadline is
TOMORROW, Saturday, July 9, 2011, at 7pm Eastern US time.  Note that
this is merely a first submission deadline; *IF* you submit by this
deadline, you then have an additional 48 hours to change *anything*
about your submission---during this 48-hour "grace period", you may
re-upload the solver tarball itself, you may edit the tracks and
divisions you're competing in, you may update your machine
description, change your random seed, etc.).

To get the 48-hour grace period, you must submit a complete "first
submission" by 7pm Eastern US time tomorrow.  If there are still bugs
in this first submission, no matter!---if you re-submit during the
grace period, this first version will not be publicized, nor used in
the competition.

You get to the submission page by clicking "Submit a Solver" at the
top of the SMT-Exec interface after logging in (
http://www.smtexec.org/exec/ ).  You need an SMT-Exec account to
upload a solver.  The top of the submission page tells you if your
user account has submitted a solver for SMT-COMP 2011 yet, and
includes a reminder of the deadline.  Because there are multiple
tracks, you may opt to upload multiple solvers separately (one for the
main track, one for the application track, and one for the parallel
track), or upload one tarball capable of running all of the tracks you
select to enter.  Only your last-uploaded submission to SMT-COMP 2011
will be listed at the top, but be assured that all submissions are
stored.

If you have any doubts about the success of your upload, or any
problems with the SMT-Exec submission site, you can always place your
competition tarball somewhere that I can get to it (i.e., on a public
web server) and email me an MD5 hash before the deadline.  This will
serve as a valid, on-time submission for SMT-COMP.

Thanks, and see you next week in Snowbird,
Morgan
-- 
Morgan Deters
Courant Institute of Mathematical Sciences
251 Mercer St., New York, NY 10012
mdeters at cs.nyu.edu - http://cs.nyu.edu/~mdeters/