[SMT-COMP] SMT-COMP 2020 competition jobs running

Antti Hyvärinen antti.hyvarinen at gmail.com
Fri May 29 09:30:42 EDT 2020

Previous message: [SMT-COMP] Competition about to start
Next message: [SMT-COMP] SMT-COMP 2021 pre-announcement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

We started some 18 hours ago the first competition jobs and everything
seems to be going well so far.  The spaces are now public so you are
welcome to check them in StarExec.

We started with Single-Query, Model Validation and Incremental tracks,
and will only later move to Unsat Core.

Best Regards,
Antti, Haniel & Jochen

Previous message: [SMT-COMP] Competition about to start
Next message: [SMT-COMP] SMT-COMP 2021 pre-announcement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list