[SMT-COMP] QF_ABV and Multidimensional Arrays

[Tjark Weber]

Dear SMT-COMP participants,

There were 90 benchmarks in non-incremental/QF_ABV/UltimateAutomizer/
that used multidimensional arrays, which are not permitted by the
QF_ABV logic definition.

These benchmarks have now been removed from the SMT-LIB release. They
will not be used in SMT-COMP 2016.

Thank you to Mathias Preiner for reporting this issue!

Best,
Tjark