| TaylorSubstituter |  | 0% | | 0% | 80 | 80 | 214 | 214 | 15 | 15 | 1 | 1 |
| CommonReasoner | | 0% | | 0% | 43 | 43 | 117 | 117 | 17 | 17 | 1 | 1 |
| StatefulArrayLambdaAdaptor |  | 28% | | 21% | 25 | 33 | 69 | 103 | 5 | 10 | 0 | 1 |
| ContextMinimizingReasoner | | 61% | | 62% | 28 | 68 | 72 | 192 | 6 | 26 | 0 | 1 |
| SimpleReasoner | | 0% | | 0% | 23 | 23 | 45 | 45 | 16 | 16 | 1 | 1 |
| ArrayLambdaCanonicalization | | 25% | | 25% | 2 | 5 | 21 | 29 | 0 | 3 | 0 | 1 |
| Why3ReasonerFactory | | 0% | | 0% | 7 | 7 | 16 | 16 | 4 | 4 | 1 | 1 |
| CommonReasonerFactory | | 0% | | 0% | 5 | 5 | 13 | 13 | 3 | 3 | 1 | 1 |
| StatefulArrayLambdaAdaptor.ArrayLambdaAxiom | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| StatefulSigmaAdaptor | | 97% | | 80% | 5 | 22 | 3 | 113 | 0 | 9 | 0 | 1 |
| TaylorSubstituter.new ExpressionSubstituter.SubstituterState() {...} | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| TaylorSubstituter.ExpansionSpec | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| ContextMinimizingReasonerFactory | | 93% | | 66% | 2 | 9 | 0 | 19 | 0 | 6 | 0 | 1 |
| ReasonerCacheKey | | 94% | | 50% | 2 | 5 | 1 | 10 | 0 | 3 | 0 | 1 |
| ExpressionVisitor | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 2 | 0 | 1 |
| SARLProverAdaptor | | 100% | | n/a | 0 | 3 | 0 | 9 | 0 | 3 | 0 | 1 |
| StatefulSigmaAdaptor.BoundVariables | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 | 0 | 1 |