| CommonSymbolicAnalyzer |   | 54% | | 51% | 243 | 424 | 748 | 1,639 | 11 | 51 | 0 | 1 |
| CommonEvaluator | | 78% | | 70% | 186 | 501 | 344 | 1,716 | 14 | 111 | 0 | 1 |
| CommonMemoryUnitEvaluator | | 5% | | 0% | 53 | 55 | 175 | 187 | 6 | 8 | 0 | 1 |
| CommonExecutor | | 84% | | 80% | 59 | 205 | 95 | 697 | 2 | 32 | 0 | 1 |
| ReadSetAnalyzer | | 60% | | 46% | 45 | 86 | 85 | 227 | 11 | 30 | 0 | 1 |
| SimpleArrayReshaper | | 60% | | 57% | 25 | 55 | 63 | 153 | 5 | 14 | 0 | 1 |
| QuantifiedExpressionEvaluator | | 75% | | 68% | 21 | 48 | 55 | 242 | 1 | 12 | 0 | 1 |
| MemEvaluator | | 91% | | 78% | 37 | 121 | 24 | 432 | 0 | 28 | 0 | 1 |
| ReservedLogicFunctionCallEvaluator | | 32% | | 62% | 5 | 8 | 15 | 25 | 3 | 4 | 0 | 1 |
| Pointer2MemCaster | | 0% | | 0% | 7 | 7 | 19 | 19 | 3 | 3 | 1 | 1 |
| Int2CharCaster | | 0% | | 0% | 8 | 8 | 24 | 24 | 3 | 3 | 1 | 1 |
| Char2IntCaster | | 0% | | 0% | 4 | 4 | 18 | 18 | 2 | 2 | 1 | 1 |
| SimpleArrayToolBox | | 86% | | 75% | 15 | 39 | 11 | 88 | 5 | 19 | 0 | 1 |
| Utils | | 0% | | 0% | 10 | 10 | 14 | 14 | 3 | 3 | 1 | 1 |
| ErrorSideEffectFreeEvaluator | | 73% | | 37% | 4 | 13 | 10 | 35 | 1 | 9 | 0 | 1 |
| CIVLDereferenceOperator | | 78% | | 46% | 11 | 23 | 9 | 51 | 0 | 8 | 0 | 1 |
| SimpleArrayCutter | | 94% | | 86% | 7 | 37 | 4 | 112 | 0 | 11 | 0 | 1 |
| ReadSetCollectEvaluator | | 72% | | 66% | 2 | 7 | 5 | 20 | 1 | 4 | 0 | 1 |
| Int2PointerCaster | | 82% | | 83% | 2 | 6 | 2 | 23 | 1 | 3 | 0 | 1 |
| LogicFunctionInterpretor | | 92% | | 83% | 4 | 12 | 5 | 61 | 1 | 3 | 0 | 1 |
| CommonTransition | | 79% | | 75% | 3 | 13 | 3 | 22 | 1 | 9 | 0 | 1 |
| CommonLibraryExecutorLoader | | 91% | | 62% | 3 | 7 | 5 | 27 | 0 | 3 | 0 | 1 |
| CommonLibraryEvaluatorLoader | | 95% | | 62% | 3 | 7 | 3 | 26 | 0 | 3 | 0 | 1 |
| Pointer2IntCaster | | 100% | | 83% | 1 | 5 | 0 | 18 | 0 | 2 | 0 | 1 |
| FunctionCallExecutor | | 100% | | n/a | 0 | 2 | 0 | 4 | 0 | 2 | 0 | 1 |
| SimpleArrayToolBox.CommonArrayShape | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 | 0 | 1 |
| SimpleArrayToolBox.CommonArraySlice | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 | 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 |
| ErrorSideEffectFreeEvaluator.ErroneousSideEffectException | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 |