| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 9b17f730e8c88b109d1aabbcb8407b9ca7e84e96 | Def1Recursive | Set1InDef | AlreadyCombined |
| 1d65dda6e74bb898bd0b672ab441882a7b7d41aa | Def1Recursive | Set1InDef | AlreadyCombined |
| 7950cd56e4cc16bfd8fc4822a51db9eb768aefc9 | Def1Recursive | Set2InDef | AlreadyCombined |
| a0602368a38538f49f9debf89fc60cfdfbcc8392 | Def1Recursive | Set2InDef | AlreadyCombined |
| ce86a6e6bf79130a1dc53befe34df5980a1c580f | Def1Recursive | InDef0 | TypeMismatch |
| 88c2db211cc0eb383e3210882aa179f13b03e1ff | Def1Recursive | InDef0 | TypeMismatch |
| 57ace01167bc70883bd514aca704ce0ec7135f68 | Def1Recursive | InDef1 | TypeMismatch |
| c1ee693dc5be2e41289c56a47cd6269fad821109 | Def1Recursive | InDef1 | TypeMismatch |
| 456a1d3cafd5b8fed32f606bc6be34e1e0833be2 | Def1Recursive | InDef2 | TypeMismatch |
| c4bf2b463f9edef6ce420e17171eb55d67182794 | Def1Recursive | InDef2 | TypeMismatch |
| 560f021dbe572c1fe6d5a03b94e5bf37957a7556 | Def1Recursive | FunInDef | AlreadyCombined |
| fa1085bdc55ace1de3e4131bb0dad117e85a4d3c | Def1Recursive | FunInDef | AlreadyCombined |
| 60ed2322fe9977260e7ad94995b03e0749280857 | Def1Recursive | ExistsInDef | AlreadyCombined |
| c97346f677e3bf7f8f1432b516bce84045c0a862 | Def1Recursive | ExistsInDef | AlreadyCombined |
| 9eea14e00dbb0df4f6811ae598309fcb8bd7c2b1 | Def1Recursive | ForallInDef | AlreadyCombined |
| 0595ad02170b986eb2bfc2c89f1f46599a3d31d8 | Def1Recursive | ForallInDef | AlreadyCombined |
| 6c19a6a32ff5db9f1c14e2c23e2d09a8696e39b9 | Def1Recursive | ChooseInDef | AlreadyCombined |
| 370e9ddb7a8bbec1f0acafff0eed9a07bf11c88b | Def1Recursive | ChooseInDef | AlreadyCombined |
| a80cd098a9f2d85d050f01101f3b6722db659dc0 | Def1Recursive | Except0 | CanNotBePlug |
| 6d5006e8a6008c5541db0fff4d71b2a24e4bfd8f | Def1Recursive | Except0 | CanNotBePlug |
| 9cd9934a056533a636f6aa5324d91b9bf5ea6e05 | Def1Recursive | Except1Fun | CanNotBePlug |
| 8d4b8f34d3a08721f591db4cddd7650504b1b2e5 | Def1Recursive | Except1Fun | CanNotBePlug |
| 02f3599009986977842807652ab845dd97d77597 | Def1Recursive | Except1FunWithAt | CanNotBePlug |
| 866ac1fe2551f0b809eb75cfb2957986cd630d7a | Def1Recursive | Except1FunWithAt | CanNotBePlug |
| f19efc5d2dc544ced790d6c20200acb44fd092fe | Def1Recursive | Except1Rec | CanNotBePlug |
| fb09693f48e9fb14dc51926a3231b992d78b9806 | Def1Recursive | Except1Rec | CanNotBePlug |
| 95b406976ffe8239fca931fdebde448e1bc07fcb | Def1Recursive | Except1RecWithAt | CanNotBePlug |
| 89af1f0661a9d2cc84443dc45dabfddb0b162e5d | Def1Recursive | Except1RecWithAt | CanNotBePlug |
| f0b739bd0c46d8d91f87e25782ce79a84cd61fb7 | Def1Recursive | Except2Fun | CanNotBePlug |
| 1b5243475e9b2e62c07ada01348c70fd7a7c82f1 | Def1Recursive | Except2Fun | CanNotBePlug |
| ec150bf5cdd39feb443cd68c3d28fbf15a4f04fa | Def1Recursive | Except2FunTuple | CanNotBePlug |
| 577a58eeef72217806c14c9d30b0d8f34c58f0af | Def1Recursive | Except2FunTuple | CanNotBePlug |
| b95f7b970ec2f1392c5f1bc4c5329c5f890267de | Def1Recursive | DefFunInDef | AlreadyCombined |
| e55a396ac3a268dbb76fba073ebbcbce4637e72c | Def1Recursive | DefFunInDef | AlreadyCombined |
| 420a77b768b600fd43ba1df17e0688d45623d60f | Def1Recursive | LetDefFunInDef | AlreadyCombined |
| c4e26868131120d70a3c826423a355a21fa29465 | Def1Recursive | LetDefFunInDef | AlreadyCombined |
| 517fba9b901e6e634aab9dcfa49acf1aca84fa72 | Def1Recursive | VariableViewExclude | VariableExcludedFromView |
| e4197405918f5d308d44af8ad0ff26c85cb2dcfb | Def1Recursive | VariableViewExclude | VariableExcludedFromView |
| 050ff3d754939f1e4371c41ed583bd2dc5208e65 | Def1Recursive | Assume | AssumeIsNotEmbeddable |
| 8e5e808b89b5585a1f76a5a0ac1f0dd258c9e2aa | Def1Recursive | Assume | AssumeIsNotEmbeddable |
| b4ea4e89f298ff26417122e6758e41aeca5c37d0 | Def1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| 14071817a3f5f8b0f81153aa7b73b164c7d69414 | Def1Recursive | AssumeNamed | AssumeIsNotEmbeddable |
| dce638b102eb7cbec08affe14810482b467e7dc4 | Def1Recursive | Lambda | TypeMismatch |
| d96455b6c8cdefcb153b8082970f98518f9ba40a | Def1Recursive | Lambda | TypeMismatch |
| 2141037734a378544620dfc70fb0e8635addda2b | Def1Recursive | SeqSeq | TypeMismatch |
| 144899cd7f2a45d384b1c8d8b011d02034efba5e | Def1Recursive | SeqSeq | TypeMismatch |
| 3b89a4258e8ccddd2f32f0618501776d014b121a | Def1Recursive | NatSet | TypeMismatch |
| 85f22bfc387d16b41e53909eb315a7b89530a8ea | Def1Recursive | NatSet | TypeMismatch |
| 44135dd2b80ef5685c0f051a2c1f1a45c972b7a5 | Def1Recursive | IntSet | TypeMismatch |
| 3e7cc21e59d121743befd21637f3595f2d53368b | Def1Recursive | IntSet | TypeMismatch |
| 528b520b1dc72547a7407aaa4f85794284be5898 | Def1Recursive | StringSet | TypeMismatch |
| 61307584feb26f37e6344aea02aac3d603b10e6e | Def1Recursive | StringSet | TypeMismatch |