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

Alberto Griggio alberto.griggio at disi.unitn.it
Tue Apr 22 02:35:07 EDT 2008


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



More information about the SMT-LIB mailing list