[SMTCOMP] About the QF_IDL "n-queens" problms

[Leonardo de Moura]

Hi Roberto,

> Well, 4 problems are well enough to reshape the whole result,
> in particular on QF_IDL. E.g., last year:

This is a good point.

BTW, in my previous email, I forgot to mention we are considering
100 benchmarks per division in the our simulations. So, it is
4 queens benchmarks out of 100.

Cheers,
Leonardo.