| CommonSymbolicAnalyzer |   | 55% |   | 52% | 243 | 428 | 624 | 1,416 | 10 | 51 | 0 | 1 |
| CommonEvaluator |   | 80% |   | 70% | 189 | 515 | 260 | 1,521 | 12 | 112 | 0 | 1 |
| CommonMemoryUnitEvaluator |  | 5% |  | 0% | 53 | 55 | 175 | 187 | 6 | 8 | 0 | 1 |
| CommonExecutor |   | 84% |   | 79% | 59 | 206 | 75 | 628 | 2 | 32 | 0 | 1 |
| ReadSetAnalyzer |   | 60% |   | 49% | 45 | 87 | 85 | 228 | 11 | 30 | 0 | 1 |
| SimpleArrayReshaper |   | 60% |   | 57% | 25 | 55 | 63 | 153 | 5 | 14 | 0 | 1 |
| QuantifiedExpressionEvaluator |   | 76% |   | 69% | 21 | 50 | 54 | 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 |
| ErrorSideEffectFreeEvaluator |  | 73% | | 37% | 4 | 13 | 10 | 35 | 1 | 9 | 0 | 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 |
| 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 |