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

[Leonardo de Moura]

Hi Aaron, Clark and Albert,

I understand your concerns regarding the June 25th deadline. So, I'd like to know if you could allow the competitors to update their submissions after June 25th. I mean, the idea is to ask everybody to send their solvers by June 25th, but the submissions can be updated. The deadline for updating submissions could be July 2th.
What do you think?

Cheers,
Leo


________________________________________
From: smt-comp-bounces at cs.nyu.edu [smt-comp-bounces at cs.nyu.edu] On Behalf Of Aaron Stump [stump at mail.cse.wustl.edu]
Sent: Thursday, June 14, 2007 11:55 AM
To: Domagoj Babic
Cc: SMT-COMP
Subject: Re: [SMT-COMP] [SMT-LIB] Final Benchmarks

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


_______________________________________________
SMT-COMP mailing list
SMT-COMP at cs.nyu.edu
http://cs.nyu.edu/mailman/listinfo/smt-comp