We have tested a case like this: Whenever x1 is selected for a term, x2 and x3 will also be in the term with probability 0.5 each. That is, whenever x1 is selected for a term:
With a probability 0.25 that both x2 and x3 will be in the term;
With a probability 0.25 that only x2 will be in the term;
With a probability 0.25 that only x3 will be in the term;
With a probability 0.25 that neither x2 nor x3 will be in the term.
We tested the case with 2 examples:
(a) One example has 8 variables, 64 terms and 6 literals in each term;
(b) The other example has 10 variables, 64 terms and 6 literals in each term: Input
and hypothesisOnly