[SMT-COMP] QF_ALIA and div/mod

[Tjark Weber]

Dear SMT-COMP participants,

There were 182 (out of 187) benchmarks in

non-incremental/QF_ALIA/UltimateAutomizer2/

that used 'div' and/or 'mod'. These operators are not permitted in the
QF_LIA logic.

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

Thank you to Pascal Fontaine for reporting this issue!

Best,
Tjark