| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| aafd7125f286338b81f93176edf6544cca9d0622 | OneLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| 47e906a23283d61cf2890bd3330423fbac142226 | OneLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| 52874a22a320c16c7389ab49bb12c08e6a364ab2 | MultiLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| 4ff3ccb73ef6de8fe23ce8690ba072157c1bb3ea | MultiLineComment | InstanceNamedWithInFolder | CanNotBeCase |
| 3bcfc704161ac7741e9e4983650516832d2719d3 | BoolTrue | InstanceNamedWithInFolder | CanNotBeCase |
| c92c51b076c0502f8c7826a241dd30b93d6f8b86 | BoolTrue | InstanceNamedWithInFolder | CanNotBeCase |
| 9c66fb00551ae721253a4f16dc99294d891b9944 | BoolFalse | InstanceNamedWithInFolder | CanNotBeCase |
| 9c0b4d513911cefd828def7d727a86feb5cb94e7 | BoolFalse | InstanceNamedWithInFolder | CanNotBeCase |
| 0646c4a8efb9554b1a015121bf26d92fe6f5770f | BoolSet | InstanceNamedWithInFolder | CanNotBeCase |
| 4a91d88cdc6af6c1687ede457712b2a6c699b9a9 | BoolSet | InstanceNamedWithInFolder | CanNotBeCase |
| c267446cc1283d1fd10c56e0af666264e0142d16 | SetEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| 55a7d08a6f9fccc4f9f4024686c2997d783f2a59 | SetEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| e75db3254861b726a7abe6a07a1fa5f82ce4cec0 | Set1InDef | InstanceNamedWithInFolder | TypeMismatch |
| 31075d0bff2f2ca794f9c02d85346c84f4e4ffef | Set1InDef | InstanceNamedWithInFolder | TypeMismatch |
| 18d5031a90de4f7a57d4c861d7cd9650ad5ed352 | Set2InDef | InstanceNamedWithInFolder | TypeMismatch |
| 407a617f773404d293e4d46347df93f538416a7b | Set2InDef | InstanceNamedWithInFolder | TypeMismatch |
| 90a35016f7afcfc5cc1c25a62c31f7ceb6c85163 | InDef0 | InstanceNamedWithInFolder | CanNotBeCase |
| cc5be1548df88d834824bd82a667f87e26ac3ac0 | InDef0 | InstanceNamedWithInFolder | CanNotBeCase |
| 9ce91eba72ba380233bb6eb1645cfbb0673dafbc | InDef1 | InstanceNamedWithInFolder | CanNotBeCase |
| 39d0e7a577c1e1e5bd154f3491efda4cc6afc330 | InDef1 | InstanceNamedWithInFolder | CanNotBeCase |
| 05975a9f0c30dcb746f335079884a15e9a9801ed | InDef2 | InstanceNamedWithInFolder | CanNotBeCase |
| 82975e2f088e6a6832c02added2d1481a74da365 | InDef2 | InstanceNamedWithInFolder | CanNotBeCase |
| 6adc413a2704e8149eb8f0db52be9ee70179234c | FunInDef | InstanceNamedWithInFolder | TypeMismatch |
| ff1569c57ecb2448cbf9572370202269924e1f5e | FunInDef | InstanceNamedWithInFolder | TypeMismatch |
| 4574a400ec8122c641b3c972fc63a05c9952bb48 | ExistsInDef | InstanceNamedWithInFolder | TypeMismatch |
| 68e1107f6a5a18d73e6cdefda4dbd2666dbdc891 | ExistsInDef | InstanceNamedWithInFolder | TypeMismatch |
| a8a71b62f9a3985fad4e170162b8ecf389f1e20e | ForallInDef | InstanceNamedWithInFolder | TypeMismatch |
| 144246e5c8a65ea4962173b00044671e7cb31a1c | ForallInDef | InstanceNamedWithInFolder | TypeMismatch |
| b3d9f10c2a3c8d76023f3f918e46abfbb626ff59 | ChooseInDef | InstanceNamedWithInFolder | TypeMismatch |
| d6fc88ab9cdaf889a4c6041e2cd0bea8e67c1828 | ChooseInDef | InstanceNamedWithInFolder | TypeMismatch |
| 29ae43e370d95266a5a90e9dab192bde37fc4d1c | TupleEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| 2f26ead99c9ed7a5f7e9218b489ca3bd9de852a1 | TupleEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| 8bb2af6d7f98968c732fdd6e9b2cdf174f50a355 | NumZero | InstanceNamedWithInFolder | CanNotBeCase |
| 1e3a5ce23a8e686f3419879dc1cdb2aadac49c68 | NumZero | InstanceNamedWithInFolder | CanNotBeCase |
| b05c41f3cf4db44ae7027029222daf25c6c19500 | NumOne | InstanceNamedWithInFolder | CanNotBeCase |
| d4824cfbfbc0990363af67255135036b5f26b199 | NumOne | InstanceNamedWithInFolder | CanNotBeCase |
| 6e611955d13adc42fe2c6c7f034e256d94ddef4d | NumMaxInt | InstanceNamedWithInFolder | CanNotBeCase |
| a7e1be06e6cb846614b7dcfde5016c64be527216 | NumMaxInt | InstanceNamedWithInFolder | CanNotBeCase |
| 703cccf9d6cbf8288613224797b7c39b0ad68eab | DefFunInDef | InstanceNamedWithInFolder | TypeMismatch |
| 327478f17ddcc99e3f5ae7f267c6e683876a1eaf | DefFunInDef | InstanceNamedWithInFolder | TypeMismatch |
| 8633fd5811149c8eb985e0fbfcaf72500fb20557 | LetDefFunInDef | InstanceNamedWithInFolder | TypeMismatch |
| b1d17d90a33284aff699e079049286b981bbb35d | LetDefFunInDef | InstanceNamedWithInFolder | TypeMismatch |
| 6cafd6d595e030b05377e280985dc3d7041d101f | ConstantModelValue | InstanceNamedWithInFolder | CanNotBeCase |
| 2c4a9f2d59a8f27b8a6d81d8fae14cd2b4070930 | ConstantModelValue | InstanceNamedWithInFolder | CanNotBeCase |
| 4445fdc4879f037b7488dcceb6c7df300249f938 | StringEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| 35c841c1474376a027251e3e2836daf77de9acba | StringEmpty | InstanceNamedWithInFolder | CanNotBeCase |
| 69128423d063dcdd3f9730aaf27f04b02a14b893 | String | InstanceNamedWithInFolder | CanNotBeCase |
| 1988bfc8c88a64f6b3ff689072e5f196b0a364c3 | String | InstanceNamedWithInFolder | CanNotBeCase |
| 1e8b728f9b626aaa832abb223228ce73dc66ce8f | NatSet | InstanceNamedWithInFolder | CanNotBeCase |
| 64fbe7765b6876448f150828731d032c82373d7f | NatSet | InstanceNamedWithInFolder | CanNotBeCase |
| d67a6b9b632114e87f98d1401c5c1caa8bf912bf | IntSet | InstanceNamedWithInFolder | CanNotBeCase |
| d4889d4c6c340a263df65261d7f9b5124453d6be | IntSet | InstanceNamedWithInFolder | CanNotBeCase |
| 2511d3700591514a59a4580bbbe317643dd2d1f0 | StringSet | InstanceNamedWithInFolder | CanNotBeCase |
| fe9e0bfb9e83937295bd961aa3780c91cd3d2c28 | StringSet | InstanceNamedWithInFolder | CanNotBeCase |
| 92b43adc551816f119a8975c1f81c74a8db95893 | BagEmptyBag | InstanceNamedWithInFolder | CanNotBeCase |
| 7e7fa9392b0d9550f6cab8823c866c53671e7967 | BagEmptyBag | InstanceNamedWithInFolder | CanNotBeCase |