[SMT-COMP] SMTCOMP - deadline today

[David Cok]

Good morning, SMTCOMP-2014 competitors:

So far I have received 9 solvers from 6 teams, with solvers from 7-8 
teams still expected - deadline is TODAY.

In the SL-SMTCOMP competition, I have 4 solvers from 3 teams with 2 more 
anticipated.

You can see the list of uploaded solvers at 
http://smtcomp.sourceforge.net/2014/participants.shtml
If I missed an email from you, I apologize. Please remind me of your 
details.

- David
for the organizers