[SMT-COMP] SMT-COMP 2016: Incorrect :status Information in incremental/QF_LIA/

[Tjark Weber]

Dear SMT-COMP participants,

During preliminary testing for the application track, we noticed that
the benchmark

incremental/QF_LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-
SAS2010-loops_true-termination.c.smt2

contains incorrect :status information for some queries. We will not be
using this benchmark in the competition.

Best,
Tjark