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

[Tjark Weber]

Dear Dejan,

On Sun, 2016-05-08 at 01:14 +0000, Dejan Jovanović wrote:

> Any estimate on when the new benchmarks will be available? 
> Considering the tight deadline, just doing a quick check through the
> benchmarks might be hard if they are not available soon.

David and Clark are (primarily) working on the benchmarks. As indicated
in the rules, we hope to have all benchmarks available on May 22, if
not earlier.

Best,
Tjark