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

[Andres Noetzli]

Hi Aina,

The seed for the CVC4 submissions is 439.

Cheers,
Andres

On Wed, May 29, 2019 at 12:02 PM, Aina Niemetz 
<niemetz at cs.stanford.edu> wrote:
> 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
> 
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/smt-comp