[SMT-COMP] Fwd: [SMT-LIB] SMT-COMP 2016: Draft Rules and Timeline Available

[Alberto Griggio]

Hi All,

> I sympathize with this and I agree with Andrei on the purpose of the
> competition.

[...]

> I don't see any reason not to use the moderate scoring. Although the
> liberal score is appealing, and I would support it, it's hard to see a
> viable path to nomination in 2016. But, I would still like to see it at
> least presented in the competition results.

I also agree.

Alberto