[SMT-LIB] Update on SMTCOMP 2014 for the wider SMT community

David Cok dcok at grammatech.com
Wed Jun 4 14:36:41 EDT 2014

Previous message: [SMT-LIB] Update on SMTCOMP 2014 for the wider SMT community
Next message: [SMT-LIB] ANNOUNCEMENT: New and expanded benchmark repository now on StarExec
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sorry - my miscount - 7 solvers from 6 teams for SL-SMTCOMP.

On 6/4/2014 1:51 PM, David Cok wrote:
> In that inaugural competition, we have 8 solvers from 7 teams.

Previous message: [SMT-LIB] Update on SMTCOMP 2014 for the wider SMT community
Next message: [SMT-LIB] ANNOUNCEMENT: New and expanded benchmark repository now on StarExec
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list