| CommonSymbolicAnalyzer |   | 54% |   | 49% | 234 | 408 | 720 | 1,575 | 9 | 49 | 0 | 1 |
| CommonEvaluator |   | 77% |   | 69% | 184 | 492 | 331 | 1,675 | 9 | 107 | 0 | 1 |
| CommonMemoryUnitEvaluator |   | 28% |   | 20% | 62 | 76 | 163 | 230 | 3 | 10 | 0 | 1 |
| CommonExecutor |   | 77% |   | 76% | 63 | 183 | 112 | 628 | 2 | 29 | 0 | 1 |
| QuantifiedExpressionEvaluator |   | 45% |   | 46% | 32 | 50 | 122 | 233 | 5 | 12 | 0 | 1 |
| SimpleArrayReshaper |   | 44% |   | 41% | 38 | 58 | 88 | 153 | 7 | 14 | 0 | 1 |
| UFExtender |   | 42% |   | 41% | 18 | 28 | 52 | 92 | 0 | 3 | 0 | 1 |
| SimpleArrayToolBox |   | 64% |   | 52% | 26 | 44 | 30 | 88 | 7 | 19 | 0 | 1 |
| ErrorSideEffectFreeEvaluator |   | 55% |  | 25% | 10 | 20 | 23 | 53 | 1 | 10 | 0 | 1 |
| SimpleArrayRazor |   | 78% |   | 69% | 13 | 37 | 23 | 104 | 2 | 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 | 6 | 0 | 1 | 0 | 1 |
| CIVLDereferenceOperator |  | 77% |   | 38% | 15 | 27 | 9 | 51 | 0 | 8 | 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 |
| Int2PointerCaster |  | 82% | | 83% | 2 | 6 | 2 | 23 | 1 | 3 | 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 |
| ErrorSideEffectFreeEvaluator.new Object() {...} | | 92% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 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.CommonArraySlice | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 | 0 | 1 |
| SimpleArrayToolBox.CommonArrayShape | | 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 |