[SMT-COMP] Reminder: SMT-COMP (first) deadline tonight

[Morgan Deters]

Hi everyone,

Just a reminder that the SMT-COMP deadline is 7pm EDT today, July 8.

This deadline is firm, but your solver need not be final; there is a
48-hour grace period during which you can add competition divisions
you're entering, upload new versions of your solver, etc.

Submission is via SMT-Exec.  If you want/need to create a new account,
be advised that setting one up requires a few minutes, including email
verification.  If you have an account you want to use, but forgot the
password, please contact me immediately.

The benchmarks are relatively stable at this point, and barring any
problems discovered in the benchmark suite, the only changes at this
point should be assignment of updated difficulties and statuses (those
in the benchmark files themselves may not be accurate), and minor
recategorization.  QF_AUFBV benchmarks do not include UF, and
fuzz-testing for the division will not include UF.  (The division will
be titled "QF_ABV" in the competition, but to avoid complications, the
logic string in the benchmark file itself will read "QF_AUFBV".)

Thanks,
Morgan
-- 
Morgan Deters
mdeters at cs.nyu.edu