| TaylorSubstituter |  | 0% | | 0% | 80 | 80 | 214 | 214 | 15 | 15 | 1 | 1 |
| CommonReasoner | | 0% | | 0% | 43 | 43 | 117 | 117 | 17 | 17 | 1 | 1 |
| StatefulArrayLambdaAdaptor |  | 29% | | 23% | 28 | 36 | 69 | 103 | 5 | 10 | 0 | 1 |
| ContextMinimizingReasoner | | 61% | | 56% | 35 | 74 | 73 | 193 | 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% | 9 | 9 | 16 | 16 | 4 | 4 | 1 | 1 |
| CommonReasonerFactory | | 0% | | 0% | 5 | 5 | 13 | 13 | 3 | 3 | 1 | 1 |
| StatefulSigmaAdaptor | | 97% | | 76% | 6 | 22 | 3 | 113 | 0 | 9 | 0 | 1 |
| StatefulArrayLambdaAdaptor.ArrayLambdaAxiom | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| TaylorSubstituter.new ExpressionSubstituter.SubstituterState() {...} | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| ContextMinimizingReasonerFactory | | 91% | | 60% | 4 | 11 | 0 | 19 | 0 | 6 | 0 | 1 |
| TaylorSubstituter.ExpansionSpec | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 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 |