[SMT-COMP] 2012 competition report and system descriptions

cok at frontiernet.net cok at frontiernet.net
Mon Aug 27 13:05:25 EDT 2012

Previous message: [SMT-COMP] SMTCOMP'12
Next message: [SMT-COMP] 4th *OPEN* Answer Set Programming Competition 2013 - EXTENDED DEADLINE - New Call for benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The 2012 SMT competition report and updated system descriptions are now on-line at the 2012 web site: www.smtcomp.org/2012

Thanks for the participation on the part of solver contributors and the interest of everyone.

- David Cok

Previous message: [SMT-COMP] SMTCOMP'12
Next message: [SMT-COMP] 4th *OPEN* Answer Set Programming Competition 2013 - EXTENDED DEADLINE - New Call for benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list