| CommonSymbolicAnalyzer |   | 56% | | 50% | 228 | 403 | 689 | 1,538 | 9 | 49 | 0 | 1 |
| CommonEvaluator | | 79% | | 70% | 176 | 484 | 311 | 1,647 | 7 | 104 | 0 | 1 |
| CommonMemoryUnitEvaluator | | 27% | | 20% | 62 | 76 | 163 | 227 | 3 | 10 | 0 | 1 |
| CommonExecutor | | 77% | | 76% | 62 | 183 | 111 | 627 | 2 | 29 | 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 |
| CIVLDereferenceOperator | | 77% | | 38% | 15 | 27 | 9 | 51 | 0 | 8 | 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 |
| CommonLibraryEvaluatorLoader | | 96% | | 62% | 3 | 7 | 3 | 25 | 0 | 3 | 0 | 1 |
| CIVLDereferenceOperator.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 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 |
| CIVLDereferenceOperator.DereferencedResult | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |
| NoopTransition | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |