| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| f691ba21121e3e775fea432706310fe1ec7c8556 | InstanceNamedWith | Set1InDef | AlreadyCombined |
| abd694258a6dd1e86097725f99ade44a2f8d85da | InstanceNamedWith | Set1InDef | AlreadyCombined |
| 7429346e62eea51cdabf077c5261b44918d4d5d0 | InstanceNamedWith | Set2InDef | AlreadyCombined |
| 0d10d07edd385f1659235b7e009a5ca90886adc1 | InstanceNamedWith | Set2InDef | AlreadyCombined |
| 13543ca129c2a51818fc34ce3859b9af2c1bdb89 | InstanceNamedWith | InDef0 | TypeMismatch |
| 3ed1876eca3096badb2d8691e6d0c6f796d971f8 | InstanceNamedWith | InDef0 | TypeMismatch |
| bea51428d8f664b7c9592538bc72bf71c41fa8ad | InstanceNamedWith | InDef1 | TypeMismatch |
| 28ec877f795c29d8d71ffa8af5aab1f8c307be34 | InstanceNamedWith | InDef1 | TypeMismatch |
| a6ef186cfd42c43525de2a0aa2d1eade2f423673 | InstanceNamedWith | InDef2 | TypeMismatch |
| c5299c52a5bbaa9b96b24e23963272d9a9fcaecf | InstanceNamedWith | InDef2 | TypeMismatch |
| 5544f39d07ea539bc48cc92b6e96218d9013cb66 | InstanceNamedWith | FunInDef | AlreadyCombined |
| 9de95b21bc83a0a7b6fa4fdcfc6b909290c6fb3b | InstanceNamedWith | FunInDef | AlreadyCombined |
| fd029f71856a73091eca9d17aa3adcb150d57bbf | InstanceNamedWith | ExistsInDef | AlreadyCombined |
| e2bb5d2abe5d8dfc14d6e9e42894e76ef1061fdc | InstanceNamedWith | ExistsInDef | AlreadyCombined |
| e028cd50f02e2367b7d8347e520db10793f05460 | InstanceNamedWith | ForallInDef | AlreadyCombined |
| 8f5977d402619c731e13ec748f943d238d548a81 | InstanceNamedWith | ForallInDef | AlreadyCombined |
| 95f9c10230bee8eedd65d858bf46ed5e60acc935 | InstanceNamedWith | ChooseInDef | AlreadyCombined |
| e01089501797e5048edc05322eed6f1c706a2953 | InstanceNamedWith | ChooseInDef | AlreadyCombined |
| 282ca9590df4bd2b8c8ff64b0eb362ce35b42e20 | InstanceNamedWith | Except0 | CanNotBePlug |
| f83211c50fedacfe9d31d1a86b9622069d657454 | InstanceNamedWith | Except0 | CanNotBePlug |
| 07b9424cc8c333c8a93d06e25e9d763011e884be | InstanceNamedWith | Except1Fun | CanNotBePlug |
| f370022a1abfd89433e636a8bedec96735f3e13c | InstanceNamedWith | Except1Fun | CanNotBePlug |
| e02e855c2b9542f262f74a2b6e4a19ea38c78570 | InstanceNamedWith | Except1FunWithAt | CanNotBePlug |
| f61a55a94c68853cfa330ea3271181ac7a6bb39a | InstanceNamedWith | Except1FunWithAt | CanNotBePlug |
| 22178c4be127b1192f5026eb8e42680300707a67 | InstanceNamedWith | Except1Rec | CanNotBePlug |
| 21eeb9bc2bd373687c5a4884653965d11c9c9e30 | InstanceNamedWith | Except1Rec | CanNotBePlug |
| 00cbda71ea4e3a1fb5d738e3629b3aca705b6b70 | InstanceNamedWith | Except1RecWithAt | CanNotBePlug |
| 20dd02d00fb0dd5aefe72fdef120f10600506bec | InstanceNamedWith | Except1RecWithAt | CanNotBePlug |
| ed9b7e7e046c9541dd605d9924e87f09c4c00c64 | InstanceNamedWith | Except2Fun | CanNotBePlug |
| 0b07a9a58434788a71397741fac142280be47143 | InstanceNamedWith | Except2Fun | CanNotBePlug |
| 32f9067e7b92fd8bc37cd50b3ec8c1495c708b7a | InstanceNamedWith | Except2FunTuple | CanNotBePlug |
| 0b8c8b413a059d4d0d684292baded272b93ef25e | InstanceNamedWith | Except2FunTuple | CanNotBePlug |
| 9290fab1d9c26d619bfd54a40e2c05480f924de3 | InstanceNamedWith | DefFunInDef | AlreadyCombined |
| ca5423e1fec9a83cb36f1c126893950a42456535 | InstanceNamedWith | DefFunInDef | AlreadyCombined |
| 780ad18e85827f3594797809e8ffd800d390050e | InstanceNamedWith | LetDefFunInDef | AlreadyCombined |
| 60f4ef3a1bf57f9f68df77f19cbebad684a21163 | InstanceNamedWith | LetDefFunInDef | AlreadyCombined |
| 0251e60772d0345ffba586ca8e100a1baa1cbcce | InstanceNamedWith | VariableViewExclude | VariableExcludedFromView |
| a9cc16b759ff1df4282869e24d508132ab8304af | InstanceNamedWith | VariableViewExclude | VariableExcludedFromView |
| e4eae2a68abcadbf76ed94dc35026f86a399c18e | InstanceNamedWith | Assume | AssumeIsNotEmbeddable |
| df0680cead167ab36181cdd14e1f9d7d9ddf03a1 | InstanceNamedWith | Assume | AssumeIsNotEmbeddable |
| 7fbd5066b4eb7ff335e02bfd546dd56c64ad4436 | InstanceNamedWith | AssumeNamed | AssumeIsNotEmbeddable |
| 0b9f5f334320be8cc83b72a9dfeba89eb6a5da0e | InstanceNamedWith | AssumeNamed | AssumeIsNotEmbeddable |
| 81e6d87e887bb6300c2e261dc4e243d3b85181a2 | InstanceNamedWith | Lambda | TypeMismatch |
| 9318061135d6c303cfaa051320d45e5f61eb617c | InstanceNamedWith | Lambda | TypeMismatch |
| 19d39df6fd80cac4dbdc256ae3ee107e682d7973 | InstanceNamedWith | SeqSeq | TypeMismatch |
| ef8042f672a93f014de14ca8d88dc9e821f499e3 | InstanceNamedWith | SeqSeq | TypeMismatch |
| d2d65aa94869b751b73f6ce5c8b459bcac9a7279 | InstanceNamedWith | NatSet | TypeMismatch |
| 8d479f4f59272f9be910a7f121bc45fc3f7a8ab4 | InstanceNamedWith | NatSet | TypeMismatch |
| 0638a5e3b32128c1a5d6feb7ac94da37f79d758d | InstanceNamedWith | IntSet | TypeMismatch |
| 4592a4dcee18314f6e0047e93d12a34613c43401 | InstanceNamedWith | IntSet | TypeMismatch |
| f91e4cb70d6c0cf491ea5beee6f37542898c511e | InstanceNamedWith | StringSet | TypeMismatch |
| 84ebae6f872fbd8c6df265f502ab1733d153a0de | InstanceNamedWith | StringSet | TypeMismatch |