| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 9dfc10eace1f508191ba36a53883d17131ee4f00 | InstanceNamedInFolder | Set1InDef | AlreadyCombined |
| c83adf6aff9d76004f7475fa3c9ebb17eb7f10ab | InstanceNamedInFolder | Set1InDef | AlreadyCombined |
| 7e90f3c5667cc7fe21bd1c16a83d58903ee43514 | InstanceNamedInFolder | Set2InDef | AlreadyCombined |
| 5f3459b8a2c72e45a7060b4e83e3095003195740 | InstanceNamedInFolder | Set2InDef | AlreadyCombined |
| c5f836c122b73b923f55aa93a2c78b0707f1392a | InstanceNamedInFolder | InDef0 | TypeMismatch |
| d64263ac8362c2d10ef32209d77a9b7ac03bd1bc | InstanceNamedInFolder | InDef0 | TypeMismatch |
| 3cc805a790ffecadbb93a3745656cb90daeb0de7 | InstanceNamedInFolder | InDef1 | TypeMismatch |
| e3d974c764d581e40d30aae86535168ccf9fc2e6 | InstanceNamedInFolder | InDef1 | TypeMismatch |
| 021eab8bef72c7a4fb6f76748071c2fa149fb8f1 | InstanceNamedInFolder | InDef2 | TypeMismatch |
| bd2e3d0d7836bf99d63a9075f8e1d04e628a15b9 | InstanceNamedInFolder | InDef2 | TypeMismatch |
| bff478d76faadb4ad4840d102c6d79971ad22590 | InstanceNamedInFolder | FunInDef | AlreadyCombined |
| b1f8efbf4e759f8c4e0ab8c0c7913c305ddfba0e | InstanceNamedInFolder | FunInDef | AlreadyCombined |
| deea687f2b3c1e6b0a85e24e94ce79d4894918a6 | InstanceNamedInFolder | ExistsInDef | AlreadyCombined |
| 2f6679ac58378a53658140623837cce2d61ebd33 | InstanceNamedInFolder | ExistsInDef | AlreadyCombined |
| dcc7c0238791b04787656442b78325c72e019a23 | InstanceNamedInFolder | ForallInDef | AlreadyCombined |
| 0287ab891a84d4a56551d5c1159227946e613739 | InstanceNamedInFolder | ForallInDef | AlreadyCombined |
| 9ca48918e9a04e9b697b9b93e7d5f5e718eb39c8 | InstanceNamedInFolder | ChooseInDef | AlreadyCombined |
| df9bdc0f53bcbe620cd9f5c72514be66e3c8e1ec | InstanceNamedInFolder | ChooseInDef | AlreadyCombined |
| 58b530fbfa8db2f6e5751a9fa59031cd2a9a3d4a | InstanceNamedInFolder | Except0 | CanNotBePlug |
| 894a531dae7acc20dc836470bb6f05ae81fc6a12 | InstanceNamedInFolder | Except0 | CanNotBePlug |
| e7748e368183472fa52d8b23b4d991be7e5fc0f6 | InstanceNamedInFolder | Except1Fun | CanNotBePlug |
| 9c43b61ccffc8521228cf464eb5aa3a6c7f6ee46 | InstanceNamedInFolder | Except1Fun | CanNotBePlug |
| 6a98cdba59a4e6926b23f2d0ab96fdbe7a23c4eb | InstanceNamedInFolder | Except1FunWithAt | CanNotBePlug |
| 69289c41d545913f61e75e0f90f489d2f7d8ed68 | InstanceNamedInFolder | Except1FunWithAt | CanNotBePlug |
| e56b38cedf336025703b8a4a9d5b867297ed870e | InstanceNamedInFolder | Except1Rec | CanNotBePlug |
| e1480dcb4653a4840a7e5353788f8328181b283d | InstanceNamedInFolder | Except1Rec | CanNotBePlug |
| d8630fcaecf7bc5999ecc8ea086171e7883ce75e | InstanceNamedInFolder | Except1RecWithAt | CanNotBePlug |
| 36d7320b656e50c60e2b687d3d0dad4df20670f1 | InstanceNamedInFolder | Except1RecWithAt | CanNotBePlug |
| 7582577b4ff75d9900e9ab6feef108b00642e6d4 | InstanceNamedInFolder | Except2Fun | CanNotBePlug |
| bb0215dc5cc56ba3fc43b81b89900422b56a75cf | InstanceNamedInFolder | Except2Fun | CanNotBePlug |
| 51abe1a091fc50519eaa0b30b3f1c97e926db72e | InstanceNamedInFolder | Except2FunTuple | CanNotBePlug |
| c3316e90c5bac5bce85c9eb7cd0a5daec969687a | InstanceNamedInFolder | Except2FunTuple | CanNotBePlug |
| 58e5cc18b1b5f2b71cd0c59829c0e4368baa0be2 | InstanceNamedInFolder | DefFunInDef | AlreadyCombined |
| 5bdedd4652099c9517020d0292a8261987112ad2 | InstanceNamedInFolder | DefFunInDef | AlreadyCombined |
| 6c759c22716e01ec0008869c34b83daf739718c0 | InstanceNamedInFolder | LetDefFunInDef | AlreadyCombined |
| 45cb819614fb07d025066b36a5d63bd7dedff787 | InstanceNamedInFolder | LetDefFunInDef | AlreadyCombined |
| 2d4f1118153fa4b591fbc3851bf38fd99cdfe681 | InstanceNamedInFolder | VariableViewExclude | VariableExcludedFromView |
| 71dce33f10da113d95f4d8d5a8f225a6963aa961 | InstanceNamedInFolder | VariableViewExclude | VariableExcludedFromView |
| f0558f056160534e8f8da207042d4bcf2b4c5558 | InstanceNamedInFolder | Assume | AssumeIsNotEmbeddable |
| 0166c0f01d8e46737ad10b1de08ca38a5990d4c9 | InstanceNamedInFolder | Assume | AssumeIsNotEmbeddable |
| ccdd33208411e50e016d22f49bb88bdb5c007d7e | InstanceNamedInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 69ec5f09159d8745a6a404d7f34b001164ad595f | InstanceNamedInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| fb374c88b762c01e816e393f5280179272f3bf2e | InstanceNamedInFolder | Lambda | TypeMismatch |
| 63f3c113f72d2d30b8b25c3db03f71ac29149fa8 | InstanceNamedInFolder | Lambda | TypeMismatch |
| 451b55ff8d301e7e508c4f8e9ba78de2d8151cdd | InstanceNamedInFolder | SeqSeq | TypeMismatch |
| 6a913c17a35d2853312a14d4421d0e11a139c64a | InstanceNamedInFolder | SeqSeq | TypeMismatch |
| 53e41bc7633d56855a457eccd12de32f57279dfa | InstanceNamedInFolder | NatSet | TypeMismatch |
| 192023a8035bab74246cf266bba29e5cb544eb30 | InstanceNamedInFolder | NatSet | TypeMismatch |
| adc273a527e247467bd824252556ca70e21fe205 | InstanceNamedInFolder | IntSet | TypeMismatch |
| 5c4503e84b7de55182767f669f73efea54875a72 | InstanceNamedInFolder | IntSet | TypeMismatch |
| f818e1adf3c502a67799fb28e12e45567472661b | InstanceNamedInFolder | StringSet | TypeMismatch |
| 885404e6deee73f5ce2637ea36262d268ac95959 | InstanceNamedInFolder | StringSet | TypeMismatch |