[SMT-COMP] Problems with scrambler in QF_FP

[Aina Niemetz]

Hi all,

we found an issue with the benchmark scrambler in division QF_FP in the
single query track on the following two benchmarks:

non-incremental/QF_FP/schanda/spark/guarded_div_1.smt2
non-incremental/QF_FP/schanda/spark/average_2.smt2

This problem already existed in the 2016-2018 competition versions of
the scrambler. It is fixed in
https://github.com/SMT-COMP/scrambler/commit/053bb79a79b39749284e4bef31ffc6438a52adf8.

The two benchmarks in question will be excluded from division QF_FP.

Aina

-------------- 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/20190630/4abcd34b/attachment.asc>