| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 5dfffab9d148f93bfe1cba54b4d4f63d22180340 | DefFunRecursive | AndProp | KindMismatch |
| aec932b18ce228d2d39729ed6935ea11c1149870 | DefFunRecursive | AndProp | KindMismatch |
| 48500f25a8b08a07131a6a2e5af013cc63064aff | DefFunRecursive | Boxed | KindMismatch |
| 320c386c4e522ace1f94c79ce69450c8b0ea10de | DefFunRecursive | Boxed | KindMismatch |
| 46f3d59c27e91efaa8e9116b9dd56a1e98a47fcb | DefFunRecursive | Set1InDef | AlreadyCombined |
| bfea890f651f39ed5f9f2dd0858bebe7586fb186 | DefFunRecursive | Set1InDef | AlreadyCombined |
| a49c9898b9a74ed45c5871d595fc2fc60422099f | DefFunRecursive | Set2InDef | AlreadyCombined |
| 5bd7245dd18ac6381b7a0c8f7af5cfcdf866b2c7 | DefFunRecursive | Set2InDef | AlreadyCombined |
| cd1259f1d994478500147b7514a9c9cacda9dc2c | DefFunRecursive | InDef0 | TypeMismatch |
| aed484af6d6fdca50ff5af31f9871cc141d884d4 | DefFunRecursive | InDef0 | TypeMismatch |
| 7acce29762b162790e043e3747147acca8aebe31 | DefFunRecursive | InDef1 | TypeMismatch |
| 6d8f60e2c2b3d929db157e1c6c027dfb84b4b97e | DefFunRecursive | InDef1 | TypeMismatch |
| 88aba712b02b0ae292ffca327b545ac8fe530688 | DefFunRecursive | InDef2 | TypeMismatch |
| 0fe5180599c3cf5206bdf02184d65034b571fd8b | DefFunRecursive | InDef2 | TypeMismatch |
| a54e6a4f936a2aaae7466f9014778878fb9a3b6f | DefFunRecursive | FunInDef | AlreadyCombined |
| acdf6e3ee46eec72652c79e55761cd0b5b6a71fd | DefFunRecursive | FunInDef | AlreadyCombined |
| caf2126a89cbc83dfb3980f0b5c6c4b23e2279e6 | DefFunRecursive | ExistsInDef | AlreadyCombined |
| f3f6152ed497913c823c1926956c30afe7f7a39c | DefFunRecursive | ExistsInDef | AlreadyCombined |
| 1a033aea2aaa8cb5ae9d155e9a2e197237af8273 | DefFunRecursive | ForallInDef | AlreadyCombined |
| 233e7052161e4223572d925f6ea9d343ff918847 | DefFunRecursive | ForallInDef | AlreadyCombined |
| 2381db8aa11f76db49d677859010c4e4e15f9d8e | DefFunRecursive | ChooseInDef | AlreadyCombined |
| 74a35d2003693d2244b4c088bdd0b610d32e18a3 | DefFunRecursive | ChooseInDef | AlreadyCombined |
| 3dce9a1429ccb94021ec8dce14be358d43385450 | DefFunRecursive | Except0 | CanNotBePlug |
| 01cf62b60bf3524745911f9212dcf7a57e2a4210 | DefFunRecursive | Except0 | CanNotBePlug |
| a27ae199f6ed87eb284627391b4da507e47e68c2 | DefFunRecursive | Except1Fun | CanNotBePlug |
| 030c7056baef4597b94bf7598f15dc741afc45b6 | DefFunRecursive | Except1Fun | CanNotBePlug |
| 47a95b173d23bfbd5f121e54687b9b5574155048 | DefFunRecursive | Except1FunWithAt | CanNotBePlug |
| 0a8e261566884812ed2578cb7a212c573921037f | DefFunRecursive | Except1FunWithAt | CanNotBePlug |
| 8e66b9b4b20e466e32372475ffa5c11bfb3ea325 | DefFunRecursive | Except1Rec | CanNotBePlug |
| 0872ece6954d31301768c21fdc00c859d747da86 | DefFunRecursive | Except1Rec | CanNotBePlug |
| 756da16c40a01115b9acb9f8d64ba5b68fb6667c | DefFunRecursive | Except1RecWithAt | CanNotBePlug |
| f4b7fcee09d78125341a4fea2eae7b07ec8fe451 | DefFunRecursive | Except1RecWithAt | CanNotBePlug |
| 7fd2773f8e1c722c8ac12850bd0a4a49ad82e52a | DefFunRecursive | Except2Fun | CanNotBePlug |
| 561393ef610d59d8a42a8f44c3d91f8649a0f8aa | DefFunRecursive | Except2Fun | CanNotBePlug |
| a2e08861c9db735122b5f3d932a826f6bd069dbe | DefFunRecursive | Except2FunTuple | CanNotBePlug |
| bfd1ee099c87e7d755e6e0267cc776b125589545 | DefFunRecursive | Except2FunTuple | CanNotBePlug |
| 7173df05b92147373697541888d8c834be4ae4eb | DefFunRecursive | DefFunInDef | AlreadyCombined |
| 00f472dc7885fa2b709f973f9d6ab975d7e9d39d | DefFunRecursive | DefFunInDef | AlreadyCombined |
| ae36bf1a767a13878de6c6afed9ae35005e45888 | DefFunRecursive | LetDefFunInDef | AlreadyCombined |
| 84fee8d0f436b3f8a0607d0e7b5736f48ee99681 | DefFunRecursive | LetDefFunInDef | AlreadyCombined |
| a70d749d487ca145cee7e2db13cc5b2672a6dc63 | DefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 7859bc73edb969cfff21475bb68a6d472669d3d2 | DefFunRecursive | VariableViewExclude | VariableExcludedFromView |
| 55be0fc0c2e66308ea3038d7dbc8db3dffc0d5f7 | DefFunRecursive | Assume | AssumeIsNotEmbeddable |
| c44935e5ea0e40e2b4f327fd3378a2555ce6f93b | DefFunRecursive | Assume | AssumeIsNotEmbeddable |
| ac4f5142fd17ca55ea331e8f0bf71794d9d9669d | DefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| 9440dd04b14628524aaa4f3b096c1a5513743621 | DefFunRecursive | AssumeNamed | AssumeIsNotEmbeddable |
| b9f21a9691ec9488872c1f964d8ffc24ae2efffd | DefFunRecursive | Lambda | TypeMismatch |
| 456af4cf37e59b26966a34b47c7f34f22eb0da92 | DefFunRecursive | Lambda | TypeMismatch |
| 0e8bf15cbad8912c0ccb2afce507821ad3e3efe3 | DefFunRecursive | SeqSeq | TypeMismatch |
| 738d535682a56321fdde4c792f77a42204bea652 | DefFunRecursive | SeqSeq | TypeMismatch |
| 0add4ac8d037a0d5bcd21e6217d7cdfca4db477b | DefFunRecursive | NatSet | TypeMismatch |
| 9e38c1163a2d13b0d32cc7e98086d733f997a626 | DefFunRecursive | NatSet | TypeMismatch |
| 0edb1b2f00931532740bc461a9ad12981828db3b | DefFunRecursive | IntSet | TypeMismatch |
| c26dbd3fc6e3b49940c2db83a16d0c1b7bd03b90 | DefFunRecursive | IntSet | TypeMismatch |
| be9bec87c1f0764ea11ef53fdcb9e63520a6a4cf | DefFunRecursive | StringSet | TypeMismatch |
| ebf7e2ff53019a62c475e422294a78c72e45704a | DefFunRecursive | StringSet | TypeMismatch |