[SMT-COMP] SMT-COMP 2016: Incorrect Answers (Application Track)

[Tjark Weber]

In the application track, 7 answers were classified as incorrect. The
following list shows how often each solver gave an incorrect answer
(again, no shaming intended):

  1 mathsat-5.3.11-linux-x86_64-Application
  6 z3-4.4.1

A more detailed list that includes benchmark information is attached.

If you find that an incorrect answer was caused by a bug in the
competition tools or by an incorrectly classified benchmark (rather than
by a bug in the solver), kindly inform us!

Best,
Tjark

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Application_Track.incorrect.csv
Type: text/csv
Size: 1260 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20160706/d3042214/attachment.csv>