| CommonSymbolicAnalyzer |   | 74% | | 67% | 169 | 412 | 327 | 1,348 | 6 | 50 | 0 | 1 |
| CommonEvaluator | | 83% | | 72% | 176 | 503 | 204 | 1,466 | 10 | 110 | 0 | 1 |
| CommonMemoryUnitEvaluator | | 5% | | 0% | 53 | 55 | 175 | 187 | 6 | 8 | 0 | 1 |
| CommonExecutor | | 85% | | 80% | 59 | 206 | 74 | 628 | 2 | 32 | 0 | 1 |
| ReadSetAnalyzer | | 62% | | 50% | 43 | 85 | 71 | 201 | 10 | 29 | 0 | 1 |
| SimpleArrayReshaper | | 60% | | 57% | 25 | 55 | 63 | 153 | 5 | 14 | 0 | 1 |
| QuantifiedExpressionEvaluator | | 74% | | 65% | 23 | 50 | 58 | 250 | 1 | 12 | 0 | 1 |
| MemEvaluator | | 89% | | 76% | 40 | 122 | 33 | 439 | 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 |
| CIVLDereferenceOperator | | 78% | | 46% | 11 | 23 | 9 | 51 | 0 | 8 | 0 | 1 |
| LogicFunctionInterpretor | | 80% | | 72% | 5 | 12 | 13 | 61 | 1 | 3 | 0 | 1 |
| SimpleArrayCutter | | 94% | | 86% | 7 | 37 | 4 | 112 | 0 | 11 | 0 | 1 |
| ErrorSideEffectFreeEvaluator | | 81% | | 75% | 3 | 13 | 6 | 35 | 1 | 9 | 0 | 1 |
| ReadSetCollectEvaluator | | 72% | | 66% | 2 | 7 | 5 | 20 | 1 | 4 | 0 | 1 |
| CommonTransition | | 72% | | 75% | 4 | 14 | 4 | 23 | 2 | 10 | 0 | 1 |
| Int2PointerCaster | | 82% | | 83% | 2 | 6 | 2 | 23 | 1 | 3 | 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 |