[SMT-COMP] SMT-COMP 2018: Revised Scrambler

[Tjark Weber]

Dear SMT-COMP participants,

The benchmark scrambler has been revised again, this time to address an
issue with the scrambling of certain floating-point (FP) operations
that could lead to invalid output. Divisions that do not contain FP
operations should be unaffected.

The revised scrambler is available from
http://smtcomp.sourceforge.net/2018/tools.shtml
as usual and has also been uploaded to StarExec.

Best,
Tjark









När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/om-uu/dataskydd-personuppgifter/