Table 4.
Exemplary association rules with their corresponding support and confidence values (Supp. and Conf. respectively). The operators
and
indicate whether the feature value is above or below the learned threshold.
| Backend | Rule | Supp. | Conf. |
|---|---|---|---|
| CLP(FD) | Function applications (
)  conjunctions (
)  quantifiers (
)  logic operators (
)  functions (
)  negative |
853 | 0.69 |
| Kodkod | Function applications (
)  conjunctions (
)  disjunctions (
)  implications (
)  powersets (
)  inequality (
)  quantifiers (
)  lambda-expression ratio (
)  relational inversions (
)  sequences (
) 
 negative |
2413 | 0.79 |
| Z3 | Relational operations (
)  functions (
)  unbounded variables (
)  set inclusions (member, subset) (
)  sequences (
)  set operations (
)  positive |
24,479 | 0.69 |