[SMT-LIB] [SMT-COMP] On QF_LIA benchmarks

[Alberto Griggio]

Hello again,

> Thanks--we are working on adding your benchmarks to SMT-LIB.  Regarding
> the competition, generally all benchmarks (unless they are *very* easy)
> from SMT-LIB are eligible for the competition, so yours will be no
> exception. Benchmarks are selected according to the algorithm explained
> in the rules document on the SMT-COMP web page.

Thanks!

> It seems to me that these benchmarks should fall into the "crafted"
> category (as opposed to "industrial" or "random").  Does that sound
> right to you?

Yes, I think that's the right classification.

Regards,
Alberto