[SMT-COMP] SMT-COMP 2018: Incorrect Answers (Main Track)

[Tjark Weber]

Dear SMT-COMP participants,

On Fri, 2018-06-29 at 15:23 +0200, Tjark Weber wrote:
> As before, detailed job data is available in the "Competition"
> subspaces of
> https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=303339

A small number of solvers appear to have given incorrect answers in the
competition's main track. Perhaps the attached CSV file will be useful
to the developers of these solvers (COLIBRI, CVC4-experimental-idl-2,
opensmt2, Q3B, SMTRAT-Rat, z3) if they wish to investigate further.

Full output for each job pair is available on StarExec at
https://www.starexec.org/starexec/secure/details/pair.jsp?id=PAIRID
(with PAIRID replaced by the respective job pair id).

Best,
Tjark








När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/om-uu/dataskydd-personuppgifter/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Errors_Main_Track.csv
Type: text/csv
Size: 20346 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20180702/f3c579f4/attachment-0001.csv>