| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| e38821b27f380d15af0bf183d7dc17aa7e8ec8c9 | InstanceWith | Set1InDef | AlreadyCombined |
| 8f1ccb9401cfa698526665e36cddbd300a952211 | InstanceWith | Set1InDef | AlreadyCombined |
| d093bee25389ebf952f10c54395645bde84e92d0 | InstanceWith | Set2InDef | AlreadyCombined |
| 87f7d75e0a05e6ed3e06b6210324aca2d48b30a6 | InstanceWith | Set2InDef | AlreadyCombined |
| e413be260243ab7585d114d240b359945f096887 | InstanceWith | InDef0 | TypeMismatch |
| d4947c89a8a7664cc5d59000ca0239a90b6ed1e1 | InstanceWith | InDef0 | TypeMismatch |
| 9b39a1261b9d1596b8a387e8800beab8d4181449 | InstanceWith | InDef1 | TypeMismatch |
| 1ed73a07cb6e77816e876e2067cf79958f1f502e | InstanceWith | InDef1 | TypeMismatch |
| b09d79d649c878b15b7f6ed64f488842f5370d03 | InstanceWith | InDef2 | TypeMismatch |
| d6463124e9e453c869a530c96d899b163c94c3f2 | InstanceWith | InDef2 | TypeMismatch |
| bb2252d734ebc1916150e7e9f59d2c8a45167080 | InstanceWith | FunInDef | AlreadyCombined |
| 30d575ec3301a8de130ec81888712f9d521d4d89 | InstanceWith | FunInDef | AlreadyCombined |
| 6964da89993dbf47ec0661b10afe26e381b7e6c8 | InstanceWith | ExistsInDef | AlreadyCombined |
| c4891b511c0ac50bb28041994f78e30e4042b99a | InstanceWith | ExistsInDef | AlreadyCombined |
| 5d4abf12a897fa1bc1680016273e99b8906bb42b | InstanceWith | ForallInDef | AlreadyCombined |
| c7a5016a1380ce1e8300aeb82d0d5dc45be39381 | InstanceWith | ForallInDef | AlreadyCombined |
| 7dd88c0371ce278dbf47ea2ed040ffcdaefcdcd0 | InstanceWith | ChooseInDef | AlreadyCombined |
| 63a436165a2fcf1ba8aeb9ab23204a38e9212cd9 | InstanceWith | ChooseInDef | AlreadyCombined |
| 8da413a7e5ac95b7c9f24e2e39b1f662b6b98153 | InstanceWith | Except0 | CanNotBePlug |
| 6b1149f15505c403b7de02df4312016b6f2af962 | InstanceWith | Except0 | CanNotBePlug |
| 56c1f9ed8002cc36638c49d23c5537693ae59385 | InstanceWith | Except1Fun | CanNotBePlug |
| ecddc79cde91af041eb096acabbe8e57b672fade | InstanceWith | Except1Fun | CanNotBePlug |
| be82997cf1fa0e402b2b85d847fd0cdcfe61eb6d | InstanceWith | Except1FunWithAt | CanNotBePlug |
| 65be7b4dcce44f2782913e250ee3a26268cfd5fd | InstanceWith | Except1FunWithAt | CanNotBePlug |
| 10b73044a3c90850507f239b8b1ac433821df614 | InstanceWith | Except1Rec | CanNotBePlug |
| 024ffaa92d9f78992ca1da7f6e2b15852703e15b | InstanceWith | Except1Rec | CanNotBePlug |
| ceab9625e189342f430e2b4a01bebf766d1ad7d9 | InstanceWith | Except1RecWithAt | CanNotBePlug |
| d36896f57b6506d2bcde86af83617d0d8fe52a02 | InstanceWith | Except1RecWithAt | CanNotBePlug |
| 939cf5c94a52c052db0f1823293622c620839cc5 | InstanceWith | Except2Fun | CanNotBePlug |
| 5677a3570894d9e6d1495ce9d1b1778c4dc9dd22 | InstanceWith | Except2Fun | CanNotBePlug |
| 203c659a647cfd327f84963a2109a0452b0c2a6b | InstanceWith | Except2FunTuple | CanNotBePlug |
| 8a427862f3d278e28f4cc48554bc7cd03e1bd490 | InstanceWith | Except2FunTuple | CanNotBePlug |
| 6a2c99514036546eec72e61d347766468177d897 | InstanceWith | DefFunInDef | AlreadyCombined |
| 2e0c37e32b6519bd80c1a782107756db27651f89 | InstanceWith | DefFunInDef | AlreadyCombined |
| ee2059de49723ce9af782ae6bdc3920e9210ab71 | InstanceWith | LetDefFunInDef | AlreadyCombined |
| c9e3e88cab46f39ca4859eb1b6bdf0bd042afb0e | InstanceWith | LetDefFunInDef | AlreadyCombined |
| edae3f8ff2cefd97f3dd1c9aae2daca2c40600e6 | InstanceWith | VariableViewExclude | VariableExcludedFromView |
| 4b02f68930911e6e0d9a76f3ef2654cb4b2771fb | InstanceWith | VariableViewExclude | VariableExcludedFromView |
| 36702edb63a7b87e29440706ac12fca34dc2e5a4 | InstanceWith | Assume | AssumeIsNotEmbeddable |
| f43022be5a22c5bd5909b619c8ab2614ebea1415 | InstanceWith | Assume | AssumeIsNotEmbeddable |
| b6ad51cd0768dfe6de9ef8c9d7d14dc7b363c604 | InstanceWith | AssumeNamed | AssumeIsNotEmbeddable |
| e50c3c0ff11a15730753866495161e0f462edfb5 | InstanceWith | AssumeNamed | AssumeIsNotEmbeddable |
| 7cec601b93de7be750425af8ba48e7206ecf010a | InstanceWith | Lambda | TypeMismatch |
| 306d8d55c128aedf9bf3c0e8cc0aa24060e43117 | InstanceWith | Lambda | TypeMismatch |
| 9a84fd8e75849812292ce74c5459032daa5eddd3 | InstanceWith | SeqSeq | TypeMismatch |
| 21a159f2b31b9c5aa7b96ecc539122c420ecb7a8 | InstanceWith | SeqSeq | TypeMismatch |
| 3df9187f47f5de481ac23369b6f7d57680af05f0 | InstanceWith | NatSet | TypeMismatch |
| 33145141bb36e3e93c0edbd137d05e0df06cd5ad | InstanceWith | NatSet | TypeMismatch |
| ace1a82fd16022da349fec32ad4671508e8abf11 | InstanceWith | IntSet | TypeMismatch |
| e2bd8d4c096b80fbec644254163debebf0d37046 | InstanceWith | IntSet | TypeMismatch |
| 2641068aa661b664eb118230654f926895f5726f | InstanceWith | StringSet | TypeMismatch |
| 46afce9f66acf02634e1a64b181df4bebb22f0e2 | InstanceWith | StringSet | TypeMismatch |