| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 579b1ade1abd83d8e0151669df8226737ef2638e | LetDefFunRecursive | AndProp | KindMismatch |
| b75f3c265f25ecd23af67de32b11587722e45182 | LetDefFunRecursive | AndProp | KindMismatch |
| 9019ed2d6c7574a96e9d838cb3b588e9f464c5e8 | LetDefFunRecursive | Boxed | KindMismatch |
| eb9a31025ab9e679e6e57a9f2982df7416546ffb | LetDefFunRecursive | Boxed | KindMismatch |
| b19a8c57290a12715b3da5baa46ffb9a09c29e3a | LetDefFunRecursive | Set1InDef | AlreadyCombined |
| 2807900e47a6fd0ede50a5b1b96d696ec926b040 | LetDefFunRecursive | Set1InDef | AlreadyCombined |
| 8f290b96c56a85d7eb6e0daa5e7a9354de81b4a6 | LetDefFunRecursive | Set2InDef | AlreadyCombined |
| 585b3e6e379d3843f03ae839210288e1df65c301 | LetDefFunRecursive | Set2InDef | AlreadyCombined |
| abeae340d0e6e24aa56c8b6fd9794b37ac5ddbb5 | LetDefFunRecursive | InDef0 | TypeMismatch |
| 6c6eafbf65b889ca64454cc73802811dc2822fda | LetDefFunRecursive | InDef0 | TypeMismatch |
| 886e6a646c07bf082523f5ea930d8165a99183bb | LetDefFunRecursive | InDef1 | TypeMismatch |
| c27734c07817f81c00742a1de823c00d5c1123cc | LetDefFunRecursive | InDef1 | TypeMismatch |
| b7e45ea1a34198685de7b3e08b16fe3b77a30f5e | LetDefFunRecursive | InDef2 | TypeMismatch |
| 8229b4eca5162e0f2436e9025f08d811394b90ae | LetDefFunRecursive | InDef2 | TypeMismatch |
| 3063059f6aa6849e1a6b7b3d37e3f4fe0dfee337 | LetDefFunRecursive | FunInDef | AlreadyCombined |
| b4144940ca01e48b3455d23c2ef9b507480152ed | LetDefFunRecursive | FunInDef | AlreadyCombined |
| 69d099e1e7f41f8b195c8092d7d6133304558ba3 | LetDefFunRecursive | ExistsInDef | AlreadyCombined |
| 4145fed2078c85a18c6a378ed09d1a99fd38b9f4 | LetDefFunRecursive | ExistsInDef | AlreadyCombined |
| 0ef46169f39bc3e19a82cca41172cb11946caeb5 | LetDefFunRecursive | ForallInDef | AlreadyCombined |
| e07e0fff3e3b98a90507e74238d9598428c7d619 | LetDefFunRecursive | ForallInDef | AlreadyCombined |
| 78d331cc9a63d5c88f2d6921bd849d40d8705218 | LetDefFunRecursive | ChooseInDef | AlreadyCombined |
| 1ddf5115aadade4677ec001c50b4e3a2be27098f | LetDefFunRecursive | ChooseInDef | AlreadyCombined |
| b7c19bd910666f98dc048a43cf79eac7e3b6835d | LetDefFunRecursive | Except0 | CanNotBePlug |
| 7f0b129cf9f5a2cb4f6d609b9acbf86b2c38efce | LetDefFunRecursive | Except0 | CanNotBePlug |
| 9e13a3f5df9423b0319a5191147594405d3ad42e | LetDefFunRecursive | Except1Fun | CanNotBePlug |
| 6741ceeb78201b29b6dce64eb5716a9b14127253 | LetDefFunRecursive | Except1Fun | CanNotBePlug |
| aeeab382ff7493ca06d32823d7497ddbe89e5c2a | LetDefFunRecursive | Except1FunWithAt | CanNotBePlug |
| ff71d150458c7046661ff921ce0846094490c2d3 | LetDefFunRecursive | Except1FunWithAt | CanNotBePlug |
| 6301e608edb941a45581a1457d0b19afd0774dfc | LetDefFunRecursive | Except1Rec | CanNotBePlug |
| 1200577878057da06f1f6fe500633a999d2c6620 | LetDefFunRecursive | Except1Rec | CanNotBePlug |
| 5e1e5c97d80fea97dba5451fb09dd7ef19b53518 | LetDefFunRecursive | Except1RecWithAt | CanNotBePlug |
| c03b2bb57a3b4084f13ed139eb4076a0ca0f0102 | LetDefFunRecursive | Except1RecWithAt | CanNotBePlug |
| 35784225380b2096520d8374c1afc353d7409ea1 | LetDefFunRecursive | Except2Fun | CanNotBePlug |
| 37efdc7bd8579326c7c55dc5686f2febb0f760f8 | LetDefFunRecursive | Except2Fun | CanNotBePlug |
| c5cc0b6fa0bef02ea2633c0bbb67bfa9473cb851 | LetDefFunRecursive | Except2FunTuple | CanNotBePlug |
| ba6e2d6bf03b54879d86ac5fc9f29db7173d0d46 | LetDefFunRecursive | Except2FunTuple | CanNotBePlug |
| a58f55ce8ba2540733e5d2d961993193f9664980 | LetDefFunRecursive | DefFunInDef | AlreadyCombined |
| 5c45a76137810efbbff5749583707af02f37a269 | LetDefFunRecursive | DefFunInDef | AlreadyCombined |
| 64c9739ed322d65cef0965d60a299a32e19bf97d | LetDefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 01464934bee006abc677de506261cdf0e1664e5d | LetDefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 8835b689743a3985e5b56a742ac157d4218fe3e2 | LetDefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| de990a90a92258a725e82af72e8b618ede6998a0 | LetDefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 5abc9cb785032c2d1515d5f3ced4a390a336f9dd | LetDefFunRecursive | Assume | AssumeIsNotEmbeddable |
| 946d8de8dd19d6b2edf16b0feffff0b7a774fadc | LetDefFunRecursive | Assume | AssumeIsNotEmbeddable |
| ea7aeb186e6fb2042cd837613c6c5594fb754e70 | LetDefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 342d0aa72d6f219e00795b4048b903bc4975a2b5 | LetDefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 60d0a52f709b6158c1ad6d02b06533eb9d2be322 | LetDefFunRecursive | Lambda | TypeMismatch |
| 9029bbf11b0add78df7c3bfac30db9f25436a37e | LetDefFunRecursive | Lambda | TypeMismatch |
| c1b6b4cfddc4b2bc2d4c9bdbb2a85812c896972a | LetDefFunRecursive | SeqSeq | TypeMismatch |
| 9b3ea2d022314e4ed93eb71434c1755bead199eb | LetDefFunRecursive | SeqSeq | TypeMismatch |
| 8cae0e0b88a589fd1400e3d9a553047724f3b14b | LetDefFunRecursive | NatSet | TypeMismatch |
| b8e79806edf83f9e4632530786df8852e2d23e0c | LetDefFunRecursive | NatSet | TypeMismatch |
| ec5391fd925502f2ef38f27ed2ec3c87754d883f | LetDefFunRecursive | IntSet | TypeMismatch |
| b0046fcb5f641bc4e718959f91fa44248f2693c7 | LetDefFunRecursive | IntSet | TypeMismatch |
| 0c4c5029a18058e8d708e4f1e865e5bec975ffe6 | LetDefFunRecursive | StringSet | TypeMismatch |
| fca971df262c6c90f74b212e478819d451add796 | LetDefFunRecursive | StringSet | TypeMismatch |