| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| fcfd861b5b56b420041f0f60f803a09dac669819 | Except1FunWithAt | AndProp | KindMismatch |
| 541054ba600d5ecca92728bc05d2bb319cba6299 | Except1FunWithAt | AndProp | KindMismatch |
| a62f98238b32bd0f70557756704be0232248cace | Except1FunWithAt | Boxed | KindMismatch |
| fdcae5de8511ff843f23bb681baf049f64662b50 | Except1FunWithAt | Boxed | KindMismatch |
| 12bcad13ca1e93f77d956e83e1904e257dfd5305 | Except1FunWithAt | Set1InDef | AlreadyCombined |
| e864bc091e29348e18837b0c19502488f1535415 | Except1FunWithAt | Set1InDef | AlreadyCombined |
| 3521089b93087551efc3e196861b8069e669f795 | Except1FunWithAt | Set2InDef | AlreadyCombined |
| 2cf9d4b3807c5c2bc9c37d1e8c95099cf388e76c | Except1FunWithAt | Set2InDef | AlreadyCombined |
| 95f0b433fa04f4b2a55827fae9be1e934dceeeff | Except1FunWithAt | InDef0 | TypeMismatch |
| 67826df76e47e874f73626ea4eba17871802bed0 | Except1FunWithAt | InDef0 | TypeMismatch |
| 1c264bc4fe214a59c4bb5e741bd7ab14f4c65883 | Except1FunWithAt | InDef1 | TypeMismatch |
| 9b966a5692333759412b14eaaffb0724b59a83ad | Except1FunWithAt | InDef1 | TypeMismatch |
| 3a7419e0e531fd3853ce04bff7d97235537d743b | Except1FunWithAt | InDef2 | TypeMismatch |
| d17be90590b10b52651406fcd6b282e218d22a25 | Except1FunWithAt | InDef2 | TypeMismatch |
| dbd5247ae0f33616601d261a049b92b3369578f7 | Except1FunWithAt | FunInDef | AlreadyCombined |
| 61a78ee6e4d633953bad26a6adffd2ede49f728d | Except1FunWithAt | FunInDef | AlreadyCombined |
| 1dffeb654bb9a88f7147e35494c7ed8d21593b1c | Except1FunWithAt | ExistsInDef | AlreadyCombined |
| 15f8aa5c402dba069d35691c2f06ff5030944a9d | Except1FunWithAt | ExistsInDef | AlreadyCombined |
| 9ebeae9d010cfc9f5ed184e3981b18f4916c3784 | Except1FunWithAt | ForallInDef | AlreadyCombined |
| f7be70388bc6d35a256dd17c0fd3ad04aaf7c152 | Except1FunWithAt | ForallInDef | AlreadyCombined |
| 1b810c06dffb29e80a04943e2bbeedadb2ebe7e1 | Except1FunWithAt | ChooseInDef | AlreadyCombined |
| d43eec01f272656187510de625a86d8bcf49794c | Except1FunWithAt | ChooseInDef | AlreadyCombined |
| dab92b45d8062aca7b5170ffb7b8408bee1ffa58 | Except1FunWithAt | Except0 | CanNotBePlug |
| fa51a7569f718925f8809a16b4e233398fb51265 | Except1FunWithAt | Except0 | CanNotBePlug |
| 3d14d290bdeef0620a01d5f34bf4fbdcaddaf0a3 | Except1FunWithAt | Except1Fun | CanNotBePlug |
| 84f9fc34ebfae8af3ed85310763b7d4302db77bc | Except1FunWithAt | Except1Fun | CanNotBePlug |
| a0169db147a585f3fc3c383414c5f9febc79e419 | Except1FunWithAt | Except1FunWithAt | CanNotBePlug |
| 5167eb51f80548b3b8f668b41dbb3ac8b2894262 | Except1FunWithAt | Except1FunWithAt | CanNotBePlug |
| 067530b202e411650606fe138b5d6ba62d5c6e9e | Except1FunWithAt | Except1Rec | CanNotBePlug |
| 5c75a88fd1bf40dc38a3615b73591c828f3c5a3f | Except1FunWithAt | Except1Rec | CanNotBePlug |
| 9a6f26d8c27af5c9551207f8782c595653967bf8 | Except1FunWithAt | Except1RecWithAt | CanNotBePlug |
| 124050da78905cc5e1c3732d5f8e14b3c3514768 | Except1FunWithAt | Except1RecWithAt | CanNotBePlug |
| 7831efb88c8cbc1bad355d7bd9e7476002cc95f5 | Except1FunWithAt | Except2Fun | CanNotBePlug |
| 51080d85e4b72a444baaf12ab4aaf50cd368607c | Except1FunWithAt | Except2Fun | CanNotBePlug |
| 36cd6895dcfc8ef36ce3cf16267ac5f6988d2ff9 | Except1FunWithAt | Except2FunTuple | CanNotBePlug |
| 847de38cadd865fb24726f9ea76bad2ebf20d01c | Except1FunWithAt | Except2FunTuple | CanNotBePlug |
| ca6c21b509c354d7ddf76c20bc47118b42ac602a | Except1FunWithAt | DefFunInDef | AlreadyCombined |
| 1356df0781e9e72f1a0f36962f49504e5635bfd0 | Except1FunWithAt | DefFunInDef | AlreadyCombined |
| f7d8f03b947dac5d8f823f7ccd14654dd9604856 | Except1FunWithAt | LetDefFunInDef | AlreadyCombined |
| 102884f3c55fd98c8994a3d3af272f7c312e0beb | Except1FunWithAt | LetDefFunInDef | AlreadyCombined |
| 881653e369a314d2958ed5dad4c78aab9b41cd81 | Except1FunWithAt | VariableViewExclude | VariableExcludedFromView |
| f278e5170a924ef9ab4bed5ab3c916523698cd1d | Except1FunWithAt | VariableViewExclude | VariableExcludedFromView |
| d9900af376645977a86d2e93438b264df5e55293 | Except1FunWithAt | ConstantModelValue | ModelValueCanNotBeUsed |
| e0c4d8004802443162e98263f22c6a8bd3b9e761 | Except1FunWithAt | ConstantModelValue | ModelValueCanNotBeUsed |
| e1b975716bdf95aec77fcb0fcc26085b83190cb4 | Except1FunWithAt | Assume | AssumeIsNotEmbeddable |
| 64d844a14c91d78f68c12d25b8a80df262ac0cd3 | Except1FunWithAt | Assume | AssumeIsNotEmbeddable |
| f35443cadc37e095e82f6384137ff1b83a8ccb05 | Except1FunWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| e652bb827d2827e4a923cadbae85f5ccbbd2b541 | Except1FunWithAt | AssumeNamed | AssumeIsNotEmbeddable |
| 9b0f00d673a7632b03bf33da998f9f07b172cc2e | Except1FunWithAt | Lambda | TypeMismatch |
| 72846f58962025f3d2ace1410ecad44512348e1e | Except1FunWithAt | Lambda | TypeMismatch |
| 402b30190033583e9bc8c5332ccccfce1b946317 | Except1FunWithAt | SeqSeq | TypeMismatch |
| 8b26f9cd565dff73e718402a0eaf6cf3c16c3981 | Except1FunWithAt | SeqSeq | TypeMismatch |
| 94c3b7fadb2867a2753a0a310ff65aa1db40d43e | Except1FunWithAt | NatSet | TypeMismatch |
| bdfee85bfdbe96da7f24df1d3ea95f19be6e198d | Except1FunWithAt | NatSet | TypeMismatch |
| 2a459b0e5d8bd6e68149203dfdcd3d5b7815dd06 | Except1FunWithAt | IntSet | TypeMismatch |
| 817cce1961136e0b2d7f80f72e1d97be46524848 | Except1FunWithAt | IntSet | TypeMismatch |
| e1d9cd7bfb8336c004d9864c816756d4010ea664 | Except1FunWithAt | StringSet | TypeMismatch |
| 86838e95cbc9dc2a15cd043d90db4af1799968a3 | Except1FunWithAt | StringSet | TypeMismatch |