[SMT-LIB] [SMT-COMP] Call for benchmarks and entrants: SMT-COMP 2011

[Alberto Griggio]

Hi Jinpeng,

>  Hi, all,
> Could someone tell me how to submit benchmarks?
> 
> Thanks.
> Jinpeng Lv
> University of Utah

I think the easiest way is to provide to the organizers (Roberto, Morgan
and myself) an URL for a tarball with the benchmarks. After having had a
look at them, we could then contact you again if needed (e.g. if they
need some adjusting/fixing or for other similar reasons). Does this
sound feasible?

Alberto