| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 144517ee83bb5c9e5df93d9f98755d4041325595 | ExtendsInDifferentFolder | Set1InDef | AlreadyCombined |
| b260af926692a89ff0d36be21ff2db8b31d8de12 | ExtendsInDifferentFolder | Set1InDef | AlreadyCombined |
| bdc81531ea96d8bea4c0b93d100c8dfc1e1f3e33 | ExtendsInDifferentFolder | Set2InDef | AlreadyCombined |
| 941e2ceadbb0eb6d140e5fba7a8449da711694cb | ExtendsInDifferentFolder | Set2InDef | AlreadyCombined |
| 789f774bb5e0943c1b8e2d6e956348f8013a6af7 | ExtendsInDifferentFolder | InDef0 | TypeMismatch |
| 4ac44f27e899b734c6814565f6f8e5be6e162f5a | ExtendsInDifferentFolder | InDef0 | TypeMismatch |
| e85b0b9f12a4f8bd8de2b318133a1be5e87e2c39 | ExtendsInDifferentFolder | InDef1 | TypeMismatch |
| 8977660bc4d1504e80601935214f0cfae0ae0cf5 | ExtendsInDifferentFolder | InDef1 | TypeMismatch |
| eafa271829b49a9185f34f471ecfc5d37795e0b5 | ExtendsInDifferentFolder | InDef2 | TypeMismatch |
| 3cd5bb5be0280c553e72e5bab631e68e6b102263 | ExtendsInDifferentFolder | InDef2 | TypeMismatch |
| 346b57133ddab12372031d3b211950b342aa3203 | ExtendsInDifferentFolder | FunInDef | AlreadyCombined |
| c895cb7139af04fea9524025b3f05938079d2d30 | ExtendsInDifferentFolder | FunInDef | AlreadyCombined |
| 86d27063040671c674179dc77f443f0aa9f19661 | ExtendsInDifferentFolder | ExistsInDef | AlreadyCombined |
| eaa6949c0e28e690d178e4adc9088a5a8b12738a | ExtendsInDifferentFolder | ExistsInDef | AlreadyCombined |
| 21939d0b2f5ccc4446b18008850b46e945d08897 | ExtendsInDifferentFolder | ForallInDef | AlreadyCombined |
| ca08aba08b390f06c7a983de96aff5207665c672 | ExtendsInDifferentFolder | ForallInDef | AlreadyCombined |
| 5c59943be5d41e0e849b1ddbd7d6e95d3a826adc | ExtendsInDifferentFolder | ChooseInDef | AlreadyCombined |
| 7968c42f0a1087abf76cf3382272f4ee6e683dd4 | ExtendsInDifferentFolder | ChooseInDef | AlreadyCombined |
| 8f33253307fc917b5ed92ba3f960818201b9c7c7 | ExtendsInDifferentFolder | Except0 | CanNotBePlug |
| f459b10cdd58582bda09303e16be8534f0697a2b | ExtendsInDifferentFolder | Except0 | CanNotBePlug |
| 57962dd95a1c42861a98dde69b178bba1585071d | ExtendsInDifferentFolder | Except1Fun | CanNotBePlug |
| b70c003a43d9d18a37eaf126769cdf51ac297fcf | ExtendsInDifferentFolder | Except1Fun | CanNotBePlug |
| d48e9857a7c98333fb727855ac4d99fb712a3965 | ExtendsInDifferentFolder | Except1FunWithAt | CanNotBePlug |
| 01e113bb50e85c87dd7e0bba73153d4452f697df | ExtendsInDifferentFolder | Except1FunWithAt | CanNotBePlug |
| 9721c42c8f8c451a14dbe9a76c8616bb8ac940c5 | ExtendsInDifferentFolder | Except1Rec | CanNotBePlug |
| 80095818c94a61bcf161686ab6d409d12468f579 | ExtendsInDifferentFolder | Except1Rec | CanNotBePlug |
| 4236fdb4738dc9d8bad458e3b56daa60db716d3e | ExtendsInDifferentFolder | Except1RecWithAt | CanNotBePlug |
| 2162db08462516149a733c95217a22d706df55cf | ExtendsInDifferentFolder | Except1RecWithAt | CanNotBePlug |
| 6c5807ba101161c7ec1c5af51450735fecf912ad | ExtendsInDifferentFolder | Except2Fun | CanNotBePlug |
| ab27f2f21299a98af6ac9d96313f141a04e028f3 | ExtendsInDifferentFolder | Except2Fun | CanNotBePlug |
| 191575afe9c69d3d86633edb5537d5167fae37f5 | ExtendsInDifferentFolder | Except2FunTuple | CanNotBePlug |
| e5b9d7303ee8ce35f834ef981007cea1497a3961 | ExtendsInDifferentFolder | Except2FunTuple | CanNotBePlug |
| 6777adc844d9e57e54f3616e1d01d836540fb597 | ExtendsInDifferentFolder | DefFunInDef | AlreadyCombined |
| 6ba1d2bef55239c7c4aa13c7edce4639d981d81d | ExtendsInDifferentFolder | DefFunInDef | AlreadyCombined |
| 4c20fa4c51ec0d8ef6f76836bfdff23c7cae94f7 | ExtendsInDifferentFolder | LetDefFunInDef | AlreadyCombined |
| f4ab69425841f9745d391c24fdf0f9ef75bca504 | ExtendsInDifferentFolder | LetDefFunInDef | AlreadyCombined |
| 27e24e49e761d78980972637f5a30af0810739fb | ExtendsInDifferentFolder | VariableViewExclude | VariableExcludedFromView |
| 3109b5e66984ec4c4e579703f0e1c32b0731d028 | ExtendsInDifferentFolder | VariableViewExclude | VariableExcludedFromView |
| 54f114d26b65fd4ef16bb05f649f4e0326af30db | ExtendsInDifferentFolder | Assume | AssumeIsNotEmbeddable |
| d3e765e7d30cfa67edf7fa204471cdd424e09c38 | ExtendsInDifferentFolder | Assume | AssumeIsNotEmbeddable |
| 074ed317e8b183a0605862c407ae91ee4d45bf92 | ExtendsInDifferentFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 3dbe9195d317714ec582c06b5d0be8c6b352aa1e | ExtendsInDifferentFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 00da9ba2c265e75e654b820742fafdb04ef9ca06 | ExtendsInDifferentFolder | Lambda | TypeMismatch |
| b7258fc789c941bb47301d017218f823b37e47aa | ExtendsInDifferentFolder | Lambda | TypeMismatch |
| a2ab33255c24e56578a64d392f4a7fc0d4980f34 | ExtendsInDifferentFolder | SeqSeq | TypeMismatch |
| f2333bdd7bd3156c7ad30a95dbe0316970cbe6e3 | ExtendsInDifferentFolder | SeqSeq | TypeMismatch |
| 35017f895f226c7e6ea293bd74df3a6ba1ab9fbf | ExtendsInDifferentFolder | NatSet | TypeMismatch |
| a36e87f1137d199b2f2b3fc85186da1ed9329fbc | ExtendsInDifferentFolder | NatSet | TypeMismatch |
| 627da29145751f44330c307f9ee68e788a7866d3 | ExtendsInDifferentFolder | IntSet | TypeMismatch |
| 1b72a6e4ced6d7cea376007d4831c5650fc22591 | ExtendsInDifferentFolder | IntSet | TypeMismatch |
| 59a607084daca943ccf4f2aa491cf024b4a1643e | ExtendsInDifferentFolder | StringSet | TypeMismatch |
| a599dca4265619eaeb2825d7963bb980ff42d865 | ExtendsInDifferentFolder | StringSet | TypeMismatch |