| containsArgument(BooleanExpression, SymbolicObject) |   | 47% | | 25% | 4 | 5 | 4 | 7 | 0 | 1 |
| not(BooleanExpression) | | 94% | | 84% | 6 | 25 | 2 | 50 | 0 | 1 |
| theSet(BooleanExpression, BooleanExpression) | | 82% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| getArgumentsAsArray(BooleanExpression) | | 68% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| getBooleanComparator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| symbolic(BooleanObject) | | 77% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| or(BooleanExpression, BooleanExpression) | | 100% | | 100% | 0 | 17 | 0 | 34 | 0 | 1 |
| forall(SymbolicConstant, BooleanExpression) | | 100% | | 100% | 0 | 9 | 0 | 22 | 0 | 1 |
| exists(SymbolicConstant, BooleanExpression) | | 100% | | 100% | 0 | 9 | 0 | 22 | 0 | 1 |
| and(BooleanExpression, BooleanExpression) | | 100% | | 92% | 2 | 14 | 0 | 17 | 0 | 1 |
| factorOrs(BooleanExpression[]) | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| CnfFactory(SymbolicTypeFactory, ObjectFactory) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| or(Iterable) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| and(Iterable) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| notExpr(BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setNegation(BooleanExpression, BooleanExpression) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, SymbolicObject[]) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| andExpr(BooleanExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| orExpr(BooleanExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanSymbolicConstant(StringObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getNegation(BooleanExpression) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| symbolic(boolean) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| args(BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| makeOrFromOrderedArray(BooleanExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setNumericExpressionFactory(NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| trueExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| falseExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |