[SMT-COMP] [SMT-LIB] Final Benchmarks

[Aaron Stump]

Hi, Domagoj.  It appears the timeline, which summarizes the rest of the
rules (http://www.smtcomp.org/rules.pdf), is unclear.  Solvers must be
submitted by June 25th, as stated earlier in the rules (top of page 3).
We need solvers by then to have sufficient time to make sure we can get
all solvers up and running before starting the competition.  

Best wishes,
Aaron