| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| f6bacdf22de9b5a412dea9fe3d78b66dd8de283c | InstanceNamedWithInFolder | Set1InDef | AlreadyCombined |
| 0f3e1944d4ba6a4f99f162cf305058b55ff2d92d | InstanceNamedWithInFolder | Set1InDef | AlreadyCombined |
| 266482cc3b349095aebc831f8993eda76e8899fa | InstanceNamedWithInFolder | Set2InDef | AlreadyCombined |
| 3d613ad99a9cdc61f3e71b32040170e0beb85d85 | InstanceNamedWithInFolder | Set2InDef | AlreadyCombined |
| 9a9be79c46eb88d173241e9d4e46afe72cb1fba0 | InstanceNamedWithInFolder | InDef0 | TypeMismatch |
| b7333e23f8b0c74732fd69a6dbdf763ae015bae9 | InstanceNamedWithInFolder | InDef0 | TypeMismatch |
| af2d851460d8809ce93e9e93e8ef5bc314b95afe | InstanceNamedWithInFolder | InDef1 | TypeMismatch |
| 405c4bc3d8d1ce04237c7e97026aa5c5d6b65c5a | InstanceNamedWithInFolder | InDef1 | TypeMismatch |
| d245852d5b5f6b1ddb63ebd18ed3a0b72dc6f1a5 | InstanceNamedWithInFolder | InDef2 | TypeMismatch |
| fac37eeb0c44309687a540e879615a021253e2bf | InstanceNamedWithInFolder | InDef2 | TypeMismatch |
| 258b61bd92f8626f2c629e328a138ef17f71bb41 | InstanceNamedWithInFolder | FunInDef | AlreadyCombined |
| 1c814f4faa528c9a2d87f0daee295578453d49c6 | InstanceNamedWithInFolder | FunInDef | AlreadyCombined |
| 3d246ed5785a29c72249a49107a75ea31f802af7 | InstanceNamedWithInFolder | ExistsInDef | AlreadyCombined |
| 91cf6d585698c8b3c3df97bf175e30d6955479f7 | InstanceNamedWithInFolder | ExistsInDef | AlreadyCombined |
| 6c3db55c049dc15e1a5fba337eb1c7dae2ced9a2 | InstanceNamedWithInFolder | ForallInDef | AlreadyCombined |
| 487b81030fbc2d5e921a2044ef0f0faf74f1a38b | InstanceNamedWithInFolder | ForallInDef | AlreadyCombined |
| 2b46fb826cc4fd7bd498c4e71eb14baa25f18738 | InstanceNamedWithInFolder | ChooseInDef | AlreadyCombined |
| acce50bbc5a6ea60ecfd5a3388675d34888a5300 | InstanceNamedWithInFolder | ChooseInDef | AlreadyCombined |
| ca97b364f66879253f198c479a68643165af801d | InstanceNamedWithInFolder | Except0 | CanNotBePlug |
| 3fbfa403b8ce8bbacd0314351c8c67e18c83ec10 | InstanceNamedWithInFolder | Except0 | CanNotBePlug |
| c2b0a69f5118a70ba148051eb82e2583c3a7844b | InstanceNamedWithInFolder | Except1Fun | CanNotBePlug |
| e5b0b141e6a3f8f31030c903b15ee178e02924e7 | InstanceNamedWithInFolder | Except1Fun | CanNotBePlug |
| f5ec4231a403cd6df06cec8aa24b7a046cfb41f7 | InstanceNamedWithInFolder | Except1FunWithAt | CanNotBePlug |
| 1ff874c2b6841c85c1509ea68c59e2013f1029eb | InstanceNamedWithInFolder | Except1FunWithAt | CanNotBePlug |
| 21b940d76b21663e15a3fa95d2ab4b118a9ea631 | InstanceNamedWithInFolder | Except1Rec | CanNotBePlug |
| 22519660b0190aa20f94b1b6a2a7d1df0dd8df9e | InstanceNamedWithInFolder | Except1Rec | CanNotBePlug |
| 323a7674e2ff0aff18bf2616085dd57238e182a2 | InstanceNamedWithInFolder | Except1RecWithAt | CanNotBePlug |
| 08787955359fb8d54e14cce3fe362d40a99a2398 | InstanceNamedWithInFolder | Except1RecWithAt | CanNotBePlug |
| 18d3c3cf990fc04a99ede4388cd67bdff591f171 | InstanceNamedWithInFolder | Except2Fun | CanNotBePlug |
| e87a20df99fb009dccc712f671b7cae7a4713939 | InstanceNamedWithInFolder | Except2Fun | CanNotBePlug |
| 6a3cc42c7af2a5849ddc3a9ad82f34c464517d44 | InstanceNamedWithInFolder | Except2FunTuple | CanNotBePlug |
| 2bf94b45ca795b454691802219de080ebd521f2d | InstanceNamedWithInFolder | Except2FunTuple | CanNotBePlug |
| e218fc8c991cea2f4fc81e92211f401910760545 | InstanceNamedWithInFolder | DefFunInDef | AlreadyCombined |
| 8a5c3fb471fbf074e1e3d1901e54d29652385e2f | InstanceNamedWithInFolder | DefFunInDef | AlreadyCombined |
| a3a1884498c30af9b2742ada87c53c72c447700f | InstanceNamedWithInFolder | LetDefFunInDef | AlreadyCombined |
| 83a77b9fae45a9c9dc17d5150215f85cd896b8de | InstanceNamedWithInFolder | LetDefFunInDef | AlreadyCombined |
| 4dadf4e367e813a2ad46228cc7792f205654e20d | InstanceNamedWithInFolder | VariableViewExclude | VariableExcludedFromView |
| 7c91ecbf052ab2e71eb03a43a745db96d0dfd9ed | InstanceNamedWithInFolder | VariableViewExclude | VariableExcludedFromView |
| b369e8b5dbaed65e36bf10d9a8fb7a5a08670923 | InstanceNamedWithInFolder | Assume | AssumeIsNotEmbeddable |
| 2714d553c54be49bd25cb2102e66b588a59c75e5 | InstanceNamedWithInFolder | Assume | AssumeIsNotEmbeddable |
| c208c5846a24d46aaf03647f684ccc80bcfa5c62 | InstanceNamedWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 2d5665a1cfb7ca014e01accbbf156f9a38f42852 | InstanceNamedWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| b753611bb733fda35c9dbc3b36dd2aa1112c15cc | InstanceNamedWithInFolder | Lambda | TypeMismatch |
| f4b7972327b6a58c389b0d462b7a9a1eb640e0e3 | InstanceNamedWithInFolder | Lambda | TypeMismatch |
| 024733131a0fb12fdf748c9f048487cd2223bb83 | InstanceNamedWithInFolder | SeqSeq | TypeMismatch |
| 4fd868eed1889ed7d6cae72db9efa47f7c30bde8 | InstanceNamedWithInFolder | SeqSeq | TypeMismatch |
| 48e82fea3269792c2f74017d312e419831179d12 | InstanceNamedWithInFolder | NatSet | TypeMismatch |
| 6e28c594d23fb0fa6ba0d51f1032c2e6b987f5ef | InstanceNamedWithInFolder | NatSet | TypeMismatch |
| ceef13d8c15b3719926275b191d18f524f8ad7ef | InstanceNamedWithInFolder | IntSet | TypeMismatch |
| 423efea2c38c9a437b00aa8846323f5a870c5550 | InstanceNamedWithInFolder | IntSet | TypeMismatch |
| bf36dda5a0b31e072c1be003032ef7ce9c7973c7 | InstanceNamedWithInFolder | StringSet | TypeMismatch |
| 4206e49ac5235d2aa6fd540122bd786d5fc47416 | InstanceNamedWithInFolder | StringSet | TypeMismatch |