[SMT-COMP] SMTCOMP - deadline today
David Cok
dcok at grammatech.com
Sun Jun 1 08:11:05 EDT 2014
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
More information about the SMT-COMP
mailing list