[SMT-COMP] SMT-COMP Report: Request for Comments

[Aina Niemetz]

Dear all,

you should have received an email in January that reported on us
competition organizers working on a report for the years 2015-2018.
For your convenience, that email is included below.

In this report, we included a table with participating solvers and the
people (and their affiliation) who submitted these solvers to SMT-COMP.
We decided to revise this table and now include all team members that
contributed to the solver submission in alphabetical order as indicated
by submitted system descriptions. I attached the table to this email.

We would appreciate feedback about incorrect or incomplete entries in
this table.

Thanks,
Aina

On 1/15/19 6:04 AM, Tjark Weber wrote:
> Dear all,
> 
> You are receiving this email because you have (at some point since
> 2015) submitted a solver to a previous SMT Competition.
> 
> We (the competition organizers) have drafted a report on the design and
> selected results of SMT-COMP from 2015-2018. You can download the draft
> report here:
> 
> http://smtcomp.sourceforge.net/2018/report.pdf
> 
> We would appreciate any feedback and comments. We would particularly
> appreciate it if you could take a look at Table 7 (on page 13) and let
> us know if there is incorrect or missing information about your solver.
> (For instance, please let us know if we haven't cited the most
> appropriate reference for your solver.)
> 
> The draft is currently under review; it has not been accepted for
> publication yet.
> 
> Best,
> Tjark
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SMT-COMP-participants.pdf
Type: application/pdf
Size: 530484 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20190409/458bc400/attachment-0001.pdf>
-------------- 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/20190409/458bc400/attachment-0001.asc>