[SMT-COMP] SMT Benchmark from Ultimate Automizer

[Matthias Heizmann]

Hi Cesare, Clark and Pascal,

I would like to submit the following benchmarks.
http://www2.informatik.uni-freiburg.de/~heizmann/20170501-UltimateSmtBenchmarks.tar.xz

The archive contains non-incremental benchmarks for
    BV, QF_BV, QF_LRA, QF_NRA
and incremental benchmarks for
    BV, QF_BV

Please note that these benchmarks reflect only some aspects of our 
tool's SMT usage. Most SMT scripts that our tool produces contain 
nested arrays which are currently not allowed in any logic.

Best,
Matthias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: </pipermail/smt-comp/attachments/20170502/25545263/attachment.asc>