| or(BooleanExpression, BooleanExpression) |   | 68% | | 66% | 11 | 23 | 19 | 58 | 0 | 1 |
| and(BooleanExpression, BooleanExpression) | | 78% | | 81% | 5 | 14 | 2 | 19 | 0 | 1 |
| not(BooleanExpression) | | 100% | | 100% | 0 | 12 | 0 | 20 | 0 | 1 |
| forall(SymbolicConstant, BooleanExpression) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| exists(SymbolicConstant, BooleanExpression) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| CnfFactory(SymbolicTypeFactory, ObjectFactory, CollectionFactory) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| equiv(BooleanExpression, BooleanExpression) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, SymbolicObject, SymbolicObject, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, SymbolicObject, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolic(BooleanObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, SymbolicObject[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanExpression(SymbolicExpression.SymbolicOperator, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolic(boolean) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| hashSet(SymbolicExpression, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanSymbolicConstant(StringObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| implies(BooleanExpression, BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| trueExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| falseExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |