| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| ae315e8e3e1d45ad3ce42bbf779792a62a23056f | InstanceNamed | Set1InDef | AlreadyCombined |
| 13117596b9d585463f43a557ab432b13c8794453 | InstanceNamed | Set1InDef | AlreadyCombined |
| 04629ca9bcff9d29501811967f8efbbe83b8a9f5 | InstanceNamed | Set2InDef | AlreadyCombined |
| 3197201c7f421cf57a0eca2fc5d07c2f9daa61a1 | InstanceNamed | Set2InDef | AlreadyCombined |
| af86a134e75af7357baeff65e89f2231f9c05c6e | InstanceNamed | InDef0 | TypeMismatch |
| 86f5c299aedec1bcb4df3fd52a249f7ab551648a | InstanceNamed | InDef0 | TypeMismatch |
| 9cfbe55b4cc008ddb4da97d4def7708e7960e947 | InstanceNamed | InDef1 | TypeMismatch |
| 9512a5384b795bfbfb0c094dc5dcc476efac1735 | InstanceNamed | InDef1 | TypeMismatch |
| 5930f10b8d0891234de6fd4f7bc800e48811631c | InstanceNamed | InDef2 | TypeMismatch |
| 4d4dd7de32913de606b370f4dc58583ba1df262c | InstanceNamed | InDef2 | TypeMismatch |
| 37e25dad5ddb6703d377d157eadb3c61138c4030 | InstanceNamed | FunInDef | AlreadyCombined |
| ac953d91c0a7588275c274141e386797767d08d5 | InstanceNamed | FunInDef | AlreadyCombined |
| ff0401503e974f7d1ec7eff0f37dfe2571c60ab1 | InstanceNamed | ExistsInDef | AlreadyCombined |
| eb0320b3b3dd16c434da696d3dc1f578e4fbe632 | InstanceNamed | ExistsInDef | AlreadyCombined |
| 4ef0af0a7d617bfc701c7970b4cbb63926dac0ae | InstanceNamed | ForallInDef | AlreadyCombined |
| 0961d664dee496b19107d3e562c41437768420d3 | InstanceNamed | ForallInDef | AlreadyCombined |
| d564cf4fdb3d9ce533298ef6ad4872f06ba8be90 | InstanceNamed | ChooseInDef | AlreadyCombined |
| 7971729861236985caca3dc67149f7878474d3fd | InstanceNamed | ChooseInDef | AlreadyCombined |
| 7a77e2299964ec0c8cd76a9c6533525e061ac231 | InstanceNamed | Except0 | CanNotBePlug |
| ed4f4792c2cf3f6e1856972dec3e35f7543b8aa1 | InstanceNamed | Except0 | CanNotBePlug |
| 77afbce3b8cd5455c2e8d69da6ad31bce6712419 | InstanceNamed | Except1Fun | CanNotBePlug |
| d30e4fe48b365db96d4e6dd8a8dcb40a98f411f2 | InstanceNamed | Except1Fun | CanNotBePlug |
| 0b548a826031deff6e69b75b7467fca7253de2d7 | InstanceNamed | Except1FunWithAt | CanNotBePlug |
| ffdc52da369e8f3827e0afd339fbdc368456fcde | InstanceNamed | Except1FunWithAt | CanNotBePlug |
| cb45b9e0e8a3c9737be5672f5d8bcc3c912dda71 | InstanceNamed | Except1Rec | CanNotBePlug |
| 1ae0fb258459fefb1d82367601ee82ceaa2d13e8 | InstanceNamed | Except1Rec | CanNotBePlug |
| 57be48c4b653a48582b99a0592eec5b3f88776e4 | InstanceNamed | Except1RecWithAt | CanNotBePlug |
| 1d65d8951b353c7901f02a002bab6d6bc01c80ac | InstanceNamed | Except1RecWithAt | CanNotBePlug |
| 8f55818a7363a9e85960c01f83efd250fe4b1c3a | InstanceNamed | Except2Fun | CanNotBePlug |
| b3e2f5424d5485f7957bb0ad7422c871ab36523d | InstanceNamed | Except2Fun | CanNotBePlug |
| 1ce0c6cae983ee5178f720a1483ebd213da27ffc | InstanceNamed | Except2FunTuple | CanNotBePlug |
| da394a0e9e735c9670247929d7e957b1fc0194c1 | InstanceNamed | Except2FunTuple | CanNotBePlug |
| 00ca0f2429ee40515eeeda99205e33b9d44d6a76 | InstanceNamed | DefFunInDef | AlreadyCombined |
| 5c4cfab307e469c1a159ec73631de2279ce36125 | InstanceNamed | DefFunInDef | AlreadyCombined |
| 2d6513d88e1ac71bc8bb108307d909fcd1123629 | InstanceNamed | LetDefFunInDef | AlreadyCombined |
| db0e5f66dc4c3ad5f5660d6967eb17d86222f721 | InstanceNamed | LetDefFunInDef | AlreadyCombined |
| 22442be6763bd46c8ed58f62060fe8cf800ce322 | InstanceNamed | VariableViewExclude | VariableExcludedFromView |
| 5611f1681bacb69404ae80168fbd1da3fff7ebe8 | InstanceNamed | VariableViewExclude | VariableExcludedFromView |
| ca7446baf13796d5c30a3b90a08beb63cc7000c5 | InstanceNamed | Assume | AssumeIsNotEmbeddable |
| 689f5839fa5778f4a0a6f5cc3faab8b1360bb948 | InstanceNamed | Assume | AssumeIsNotEmbeddable |
| 86f8158c496e10f75ce26f24f02b3b4e2f0533f1 | InstanceNamed | AssumeNamed | AssumeIsNotEmbeddable |
| a8c69ac91fea8953f8c543ca9613da3226d73fec | InstanceNamed | AssumeNamed | AssumeIsNotEmbeddable |
| d52230e2a88919c95f74bb37fc759c598e892057 | InstanceNamed | Lambda | TypeMismatch |
| fe0339c2f6191fae59161f38371797cf7caf6dbf | InstanceNamed | Lambda | TypeMismatch |
| 188898b772644e1774651e96f642c583240f45fb | InstanceNamed | SeqSeq | TypeMismatch |
| eea90a3563077ee2fa0491507753f41cc18b2087 | InstanceNamed | SeqSeq | TypeMismatch |
| 7710362d119654a153ceda13612526d442d25286 | InstanceNamed | NatSet | TypeMismatch |
| 3489760b39485dd88dc13ea65a35e9d976ed7e35 | InstanceNamed | NatSet | TypeMismatch |
| 84d0af797e15100dd42820b9e9f9ca1e849a9f63 | InstanceNamed | IntSet | TypeMismatch |
| 1afb1dee21084c07e83e415688cd9c4105078c28 | InstanceNamed | IntSet | TypeMismatch |
| 3b8c3208b91f83163c421acd5f2be3995683d624 | InstanceNamed | StringSet | TypeMismatch |
| 0892d651f712fbefcf5af35e7f9ea7f56ad41e92 | InstanceNamed | StringSet | TypeMismatch |