| signatureAssessment(ContainerUsageProfile) |   | 75% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| concurrencyAssessment(ContainerUsageProfile) | | 74% | | 66% | 2 | 4 | 1 | 5 | 0 | 1 |
| aliasingAssessment(ContainerUsageProfile) | | 73% | | 66% | 2 | 4 | 1 | 5 | 0 | 1 |
| referenceDomain(ContainerUsageProfile.ElementDomain) | | 60% | | 25% | 2 | 3 | 0 | 1 | 0 | 1 |
| inferAppendArray(ContainerUsageProfile) | | 98% | | 75% | 1 | 3 | 0 | 18 | 0 | 1 |
| eligibleAppendArray(ContainerUsageProfile) | | 97% | | 66% | 6 | 10 | 0 | 9 | 0 | 1 |
| completeProof(ContainerUsageProfile) | | 93% | | 50% | 3 | 4 | 0 | 3 | 0 | 1 |
| infer(ContainerUsageProfile) | | 100% | | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
| orderAssessment(ContainerUsageProfile.OrderRequirement) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| ContainerContractInferrer() | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| inferredOrderRequirement(ContainerUsageProfile) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| completeProfile(ContainerUsageProfile) | | 100% | | 100% | 0 | 3 | 0 | 2 | 0 | 1 |