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

[Aina Niemetz]

Hi Bruno,

yes, we're currently debugging this issue and it seems that pySMT
doesn't parse || as a symbol correctly. If we can't get this fixed in
time we will exclude this benchmark from this track.

Aina


On 5/30/19 10:26 AM, Bruno Dutertre wrote:
> Hi all,
> 
> It looks like the model-validity checker does not correctly handle this
> benchmark: symbols.smt2.
> 
> Bruno
> 
> On 5/29/19 8:33 PM, Aina Niemetz wrote:
>> 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
>>
>>
>> _______________________________________________
>> SMT-COMP mailing list
>> SMT-COMP at cs.nyu.edu
>> https://cs.nyu.edu/mailman/listinfo/smt-comp
> 

-------------- 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/20190530/147f7d3f/attachment.asc>