[SMT-COMP] SMT-COMP'07 solver submission closes Monday

[Morgan Deters]

Hi everyone,

As you are all aware, solver submission for SMT-COMP'07 is open and
ongoing.

The deadline is Monday, June 25.  Please note that THE SUBMISSION SITE
WILL CLOSE at midnight Monday night, Samoan time.  This is equivalent
to 6am Tuesday in Chicago, noon Tuesday in London:

    http://www.timeanddate.com/worldclock/fixedtime.html?month=6&day=26&year=2007&hour=0&min=0&sec=0&p1=282

Please have your solver uploaded by that time, otherwise we will not
be able to include it in the competition.

As a reminder, you are welcome to resubmit solvers up to the deadline.

Thanks,
Morgan
-- 
Morgan Deters
mdeters at morgandeters.com