| CommonSymbolicAnalyzer |   | 53% |   | 48% | 231 | 400 | 714 | 1,520 | 9 | 49 | 0 | 1 |
| CommonEvaluator |   | 79% |   | 71% | 171 | 476 | 298 | 1,606 | 7 | 102 | 0 | 1 |
| CommonExecutor |   | 75% |   | 74% | 65 | 182 | 122 | 622 | 3 | 29 | 0 | 1 |
| CommonMemoryUnitEvaluator |   | 27% |   | 19% | 63 | 76 | 163 | 227 | 3 | 10 | 0 | 1 |
| UFExtender |   | 42% |   | 44% | 17 | 28 | 51 | 92 | 0 | 3 | 0 | 1 |
| QuantifiedExpressionEvaluator |   | 85% |   | 65% | 25 | 51 | 26 | 214 | 0 | 11 | 0 | 1 |
| CommonSymbolicAnalyzer.new Object() {...} |   | 86% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| CommonEvaluator.new Object() {...} |   | 86% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| CommonTransitionSet |  | 62% | | 50% | 6 | 16 | 12 | 34 | 5 | 14 | 0 | 1 |
| ErrorSideEffectFreeEvaluator |  | 78% | | 38% | 3 | 11 | 7 | 25 | 0 | 7 | 0 | 1 |
| Int2PointerCaster |  | 70% |  | 75% | 3 | 7 | 4 | 24 | 1 | 3 | 0 | 1 |
| CommonTransition |  | 71% |  | 75% | 3 | 14 | 3 | 24 | 1 | 10 | 0 | 1 |
| UFExtender.new Object() {...} |  | 87% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| CommonMemoryUnitEvaluator.new Object() {...} |  | 88% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| CommonExecutor.new Object() {...} |  | 88% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |
| CommonLibraryExecutorLoader |  | 92% | | 62% | 3 | 7 | 5 | 26 | 0 | 3 | 0 | 1 |
| Char2IntCaster | | 81% | | 75% | 1 | 4 | 1 | 18 | 0 | 2 | 0 | 1 |
| Int2CharCaster |  | 89% |   | 62% | 6 | 11 | 0 | 24 | 0 | 3 | 0 | 1 |
| CommonTransitionIterator |  | 91% |  | 75% | 2 | 11 | 2 | 21 | 0 | 7 | 0 | 1 |
| CommonLibraryEvaluatorLoader |  | 96% | | 62% | 3 | 7 | 3 | 25 | 0 | 3 | 0 | 1 |
| QuantifiedExpressionEvaluator.new Object() {...} | | 89% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| Pointer2IntCaster |  | 96% | | 67% | 2 | 5 | 1 | 18 | 0 | 2 | 0 | 1 |
| FunctionCallExecutor | | 100% | | n/a | 0 | 2 | 0 | 4 | 0 | 2 | 0 | 1 |
| NoopTransition | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |