[SMT-COMP] 24 h deadline extension to SMT-COMP 2020 final solver deadline

Antti Hyvärinen antti.hyvarinen at gmail.com
Tue May 26 07:54:47 EDT 2020

Previous message: [SMT-COMP] 2nd round test runs
Next message: [SMT-COMP] Competition about to start
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

Due to numerous requests we have decided to extend the deadline by one day, to

  Tuesday, May 26, 23.59 anywhere on earth

The NYSE component of the seed will be adjusted accordingly.

Best regards,
Antti

Previous message: [SMT-COMP] 2nd round test runs
Next message: [SMT-COMP] Competition about to start
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list