[SMT-COMP] 32-bit integer for competition seed

[Aina Niemetz]

Dear all,

it appears that we missed to include a field for the 32-bit integer in
the solver submission form. We use these numbers to compute the
competition seed (see Section 4,
https://smt-comp.github.io/2019/rules19.pdf).

Please send us an email with one magic 32-bit number per submission
until June 2.

Thanks,
Aina

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190529/ca318178/attachment.asc>