| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| fd26066d9ac03c79f0818a62170b7eaeb2d62ab4 | InstanceWithInFolder | Set1InDef | AlreadyCombined |
| 829a769ba2bdf8862c3d51a5d2a9fe72df70fef0 | InstanceWithInFolder | Set1InDef | AlreadyCombined |
| aaee47221037f249e0eec28a1099036553b1c07a | InstanceWithInFolder | Set2InDef | AlreadyCombined |
| f9638b71f90c6f0ea733b15e776d5b12738c5caf | InstanceWithInFolder | Set2InDef | AlreadyCombined |
| cd02a713c90e1a5ce6d680aa3e628d06196862e7 | InstanceWithInFolder | InDef0 | TypeMismatch |
| eda646a1f2852a36e42e4c1cb0f4aad0e35b0982 | InstanceWithInFolder | InDef0 | TypeMismatch |
| a51afc2abf02ae1537f9b19e722d833c4d9669df | InstanceWithInFolder | InDef1 | TypeMismatch |
| 01d9f00fcddce6f2e508fb4c94bec11b2080d428 | InstanceWithInFolder | InDef1 | TypeMismatch |
| 3c830e492373e24d15023be0a7f4862c662ebf4a | InstanceWithInFolder | InDef2 | TypeMismatch |
| 80540da8dab5fb261db0558291583f31d02f0a69 | InstanceWithInFolder | InDef2 | TypeMismatch |
| f25b6b5277974b3a21aab859b8af1a8d81241887 | InstanceWithInFolder | FunInDef | AlreadyCombined |
| b51a4d8ce5ab8923f7593bbc85caef2a1ccffb15 | InstanceWithInFolder | FunInDef | AlreadyCombined |
| d6bb622cf99d73246b3c69bd71d2cb71da1fefeb | InstanceWithInFolder | ExistsInDef | AlreadyCombined |
| e64df5eab2c3affc1bb2eda50a8f6d907d63f6ab | InstanceWithInFolder | ExistsInDef | AlreadyCombined |
| db06e0137a1d3368882da1010b4e47a34b5b3c7e | InstanceWithInFolder | ForallInDef | AlreadyCombined |
| 0fd459cf2fb15277b54d657da8f429e1add4bb32 | InstanceWithInFolder | ForallInDef | AlreadyCombined |
| 6ee8cd49557859e0bef487df7dd647fcbac5dcd9 | InstanceWithInFolder | ChooseInDef | AlreadyCombined |
| bb912fa7819fa43b547ccf20189aa67de5bcf22a | InstanceWithInFolder | ChooseInDef | AlreadyCombined |
| dffcbc36ffba459e7adbffd936aa6092e2c7a0bf | InstanceWithInFolder | Except0 | CanNotBePlug |
| 6d17f2f11261cdbf4bd463d449f51514e7aa3b33 | InstanceWithInFolder | Except0 | CanNotBePlug |
| 91ea01a99f3d5d18b59aba43ac9cbdd546465419 | InstanceWithInFolder | Except1Fun | CanNotBePlug |
| 4f33ed82a5ca413e65289adece468e89ee9d93ed | InstanceWithInFolder | Except1Fun | CanNotBePlug |
| 4e26f839f83276791afc46a9565a3b26994f6c1f | InstanceWithInFolder | Except1FunWithAt | CanNotBePlug |
| 10236ae5a7ebf2fffa404569fbd9c52b74fc2718 | InstanceWithInFolder | Except1FunWithAt | CanNotBePlug |
| f35f4912b2e79ed50785e6d734c91e3ed9d862ef | InstanceWithInFolder | Except1Rec | CanNotBePlug |
| 3ae62702240e5b5a4af92c4e3e9d9528e53fac6b | InstanceWithInFolder | Except1Rec | CanNotBePlug |
| 51294bd4baee7d2e940338342b85848b439675e7 | InstanceWithInFolder | Except1RecWithAt | CanNotBePlug |
| 964d0114581573678ff9d3f586775af224100c7b | InstanceWithInFolder | Except1RecWithAt | CanNotBePlug |
| cb549695b5379610a3b750d38dd3a721cbb6811a | InstanceWithInFolder | Except2Fun | CanNotBePlug |
| 2d0efea5a0e074a83273e8eae83a595e39ff5bc9 | InstanceWithInFolder | Except2Fun | CanNotBePlug |
| 849879c81feb66a0b76da403169243d52de389b8 | InstanceWithInFolder | Except2FunTuple | CanNotBePlug |
| ad819413d99564ae76bd3019db33af68490c2132 | InstanceWithInFolder | Except2FunTuple | CanNotBePlug |
| 1aa0b0c65bf1d5af57486330ae62ce8cacae5ebe | InstanceWithInFolder | DefFunInDef | AlreadyCombined |
| 1237d8e3ec32e3355c42ef365facbe572442123e | InstanceWithInFolder | DefFunInDef | AlreadyCombined |
| 7fc29a308e860b0507e0f4cca8662068629e9724 | InstanceWithInFolder | LetDefFunInDef | AlreadyCombined |
| 29b6e146cddae378bb0807208d3b129b630e9111 | InstanceWithInFolder | LetDefFunInDef | AlreadyCombined |
| 4ee587b71f5cdbd61ef3ca931d42aa6e573c1cd9 | InstanceWithInFolder | VariableViewExclude | VariableExcludedFromView |
| ccb9191c402ebdb755705c0524960d0d320e4913 | InstanceWithInFolder | VariableViewExclude | VariableExcludedFromView |
| b2a169cf665eccb1123c28cc57bb4f0f9cc97207 | InstanceWithInFolder | Assume | AssumeIsNotEmbeddable |
| 324a0bd3b0f8b6a1621d4a3c701d3b84fd32d6d8 | InstanceWithInFolder | Assume | AssumeIsNotEmbeddable |
| 2458e4f03d7d5eb9cb8f391e3919a0cdc93d4026 | InstanceWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| aeba1dce023855d3933b0b562680bf3bda193f31 | InstanceWithInFolder | AssumeNamed | AssumeIsNotEmbeddable |
| 91ed6d1e0ae71020d7ac16b9d4d2591bcafc8ff1 | InstanceWithInFolder | Lambda | TypeMismatch |
| a10b0e22ab995cf315eaed8eff3df649cdd0b7e8 | InstanceWithInFolder | Lambda | TypeMismatch |
| cc450e40664032654d4c29e36b1576c874f5adf0 | InstanceWithInFolder | SeqSeq | TypeMismatch |
| 984e507ad06cfc7cf8ff358faad261397918c121 | InstanceWithInFolder | SeqSeq | TypeMismatch |
| 804f7941bc3d0a65d477173f8117e099444735b8 | InstanceWithInFolder | NatSet | TypeMismatch |
| 657bffc77c33dd9f6d3fb5f6789b59032ab3696f | InstanceWithInFolder | NatSet | TypeMismatch |
| d7d2d077f070ebd32d7317c5884ff2c333d271f2 | InstanceWithInFolder | IntSet | TypeMismatch |
| fb70149a3f3239f4909a6606990951d83076be0b | InstanceWithInFolder | IntSet | TypeMismatch |
| 33fd7cb20323145074c63afda16a62771626eebe | InstanceWithInFolder | StringSet | TypeMismatch |
| a053e38683977a3424889649a7d12b9284d285c3 | InstanceWithInFolder | StringSet | TypeMismatch |