[Termtools] for comparison: proposed SMT COMP rules and platform

[Johannes Waldmann]

Dear all,

recently the SMT people posted the proposed rules for this year's
competition http://smtcomp.sourceforge.net/2012/rules12.pdf
I think it's interesting reading.

For example, the proposed algorithm for benchmark selection (page 10)
looks well worth copying - in fact, they plan to make available an
implementation of the selection tool (see remark on page 11).

They also state that they plan to use Star-Exec
(but they seem not exactly sure whether it will be available in time).
Is there a way to get more information on the status of Star-Exec,
and present it during the upcoming termination workshop?

Best regards, Johannes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20120130/350ea36f/attachment.pgp>