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

[Aina Niemetz]

Hi all,

just to avoid confusion, the pdf under the link below is still the old
version of the report. The revised version is not yet available. The
revised version of the participants table was attached to my previous email.

Cheers,
Aina


On 4/9/19 4:04 PM, Aina Niemetz wrote:
> 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: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190410/851539a0/attachment.asc>