[SMT-COMP] Results of test jobs for the Incremental and Model Validation tracks

[Aina Niemetz]

Dear SMT-COMP participants,

We have run small test jobs on StarExec to exercise all Incremental and
Model Validation track solvers on a small number of benchmarks from each
division. I suggest to investigate results flagged as wrong.

The results are available at

Incremental Track:
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=357309
Model Validation Track:
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=357235

Please let us know if your solver was tested in divisions where it
should not be competing, and vice versa.

We are currently also running test jobs for the Single-Query and
Unsat-Core tracks and will make the corresponding spaces available as
soon as they are complete.

Cheers,
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/73a5f4d7/attachment.asc>