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

[Leonardo de Moura]

Hi Roberto,

> if 10% of randomly selected problems are crafted, and most of them  
> are n-queens, we may have up of 10 such problems.

There are other crafted problems (e.g., diamonds and jobshop) in QF_IDL.
So, I don't think we will end up with 10 queens benchmarks, but 5 or  
6 is a real possibility.

> PS: when you say that 85% of problems are industrial, 10% crafted  
> and 5% random, you mean:
> a) that exactly 85%, 10%, 5% of the picked problems will be  
> industrial,
>    crafted,  random respectively

Yes, I meant option a)

Leonardo