[SMT-LIB] SMTCOMP is off and running

[cok at frontiernet.net]

The SMT competitions 2012 has started,
beginning with the unsat core exhibition track: http://www.smtexec.org/exec/?jobs=1006
continuing later with the incremental (application) track: http://www.smtexec.org/exec/?jobs=1005
and possibly other exhibition divisions: http://www.smtexec.org/exec/?jobs=1007
with the main competition overlapping with IJCAR: http://www.smtexec.org/exec/?jobs=1004

David Cok