| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 9e4e45807de30f34e3a0f13f2ba77554d2766487 | OneLineComment | InstanceNamedInFolder | CanNotBeCase |
| 599bb1d0c0b2fc71103889656f5e3d41887adbc6 | OneLineComment | InstanceNamedInFolder | CanNotBeCase |
| 4c22f31ef8d0a5ddad7066dd479bca4ca1124bde | MultiLineComment | InstanceNamedInFolder | CanNotBeCase |
| 78f5b4127c6a1edf30e42361d86210740e4774dc | MultiLineComment | InstanceNamedInFolder | CanNotBeCase |
| 429c2833494269a16471568b1c5c4e42da9f74d0 | BoolTrue | InstanceNamedInFolder | CanNotBeCase |
| 44f04ffa8455a855b08a9a6f3e2e87219d040f8f | BoolTrue | InstanceNamedInFolder | CanNotBeCase |
| 8b4b56f1ffaf3bc4720cfc285a7e9da21a13f6a0 | BoolFalse | InstanceNamedInFolder | CanNotBeCase |
| cb0df19c40d0213f104dd822a36ee1f73e7da36a | BoolFalse | InstanceNamedInFolder | CanNotBeCase |
| a57fcc15eb7a06e83c67f3b6eb945c649a8ad73b | BoolSet | InstanceNamedInFolder | CanNotBeCase |
| 6999cf0d6776984cf784c57027fbb929f036e6e9 | BoolSet | InstanceNamedInFolder | CanNotBeCase |
| 2025efeacd3a6a01ec769fcd436d622fa812ae45 | SetEmpty | InstanceNamedInFolder | CanNotBeCase |
| 3c9ebe545595c4533f79cdaa45cb3404db50d1f5 | SetEmpty | InstanceNamedInFolder | CanNotBeCase |
| 05a7c6f0b69eb23a1fe3daf23f2da2463fb7ba26 | Set1InDef | InstanceNamedInFolder | TypeMismatch |
| bd13f560455bfdc79e7fdd718502179a5dba6cdd | Set1InDef | InstanceNamedInFolder | TypeMismatch |
| f3fb224ce06c27160f83d72a823859d06e12553d | Set2InDef | InstanceNamedInFolder | TypeMismatch |
| 0b9842a6e61d7c7e2d4dccec78f90c08bdae2dc8 | Set2InDef | InstanceNamedInFolder | TypeMismatch |
| 964d0faa8fab39b398a18d8008461e2684267075 | InDef0 | InstanceNamedInFolder | CanNotBeCase |
| 50d9a24e1ac167c6e84e1a5930c81cf766a5fefd | InDef0 | InstanceNamedInFolder | CanNotBeCase |
| f475d00890417e52168c869196202201d781ac60 | InDef1 | InstanceNamedInFolder | CanNotBeCase |
| 2ba07e2b51431a36e149f9fd21289aaef81b6289 | InDef1 | InstanceNamedInFolder | CanNotBeCase |
| d7b48c7e444a9fd538dcdcc51c7123b695d08d6e | InDef2 | InstanceNamedInFolder | CanNotBeCase |
| 7c76216dfc361cd401b3792b00e5abc5637dcbc4 | InDef2 | InstanceNamedInFolder | CanNotBeCase |
| 2aec106bacbbf10f0d739fc177d96d14879a0910 | FunInDef | InstanceNamedInFolder | TypeMismatch |
| 5fc699a92df11d988f3ab314902e181c93e66a6d | FunInDef | InstanceNamedInFolder | TypeMismatch |
| 6672a05f560a6ed4d960ea04d77b09a458cc1b70 | ExistsInDef | InstanceNamedInFolder | TypeMismatch |
| 0abf4c2c36a7c416504d73b5b8f495391046e02c | ExistsInDef | InstanceNamedInFolder | TypeMismatch |
| 65ae70dd5600d4f707c385b4346f0f4c7ef9046d | ForallInDef | InstanceNamedInFolder | TypeMismatch |
| 374e86798f5d64b85d0b4cb21e1748e749d2601e | ForallInDef | InstanceNamedInFolder | TypeMismatch |
| a785f1abdd734cf641b279b22b2736d9cd56a1a4 | ChooseInDef | InstanceNamedInFolder | TypeMismatch |
| 3becb95fb743b4e321b47b3c466300b73611a1a8 | ChooseInDef | InstanceNamedInFolder | TypeMismatch |
| 96ca8bff7df7ea188d69cefd02ca89b4663bce30 | TupleEmpty | InstanceNamedInFolder | CanNotBeCase |
| 0a6199096d0bbf7d68c32c8807917cfbc30ff4eb | TupleEmpty | InstanceNamedInFolder | CanNotBeCase |
| 1f000d8e443796c09ef0bc1aea4742e2b86fce6b | NumZero | InstanceNamedInFolder | CanNotBeCase |
| a455154a45aa8aa9adce301488b5c586093c0eef | NumZero | InstanceNamedInFolder | CanNotBeCase |
| 808756438ba0661cf211608f0217b5e557228389 | NumOne | InstanceNamedInFolder | CanNotBeCase |
| 74cc6e1dadb29d9f208164ba8955ec6ec7050f57 | NumOne | InstanceNamedInFolder | CanNotBeCase |
| bef2ed42da671c02f6e349e14883aefd8f1eac12 | NumMaxInt | InstanceNamedInFolder | CanNotBeCase |
| 7a4ee7c62daa5af148cfdc8a8faccbb1369c6471 | NumMaxInt | InstanceNamedInFolder | CanNotBeCase |
| 98be3d973275eda31dac4cdfaf85a72f1002724d | DefFunInDef | InstanceNamedInFolder | TypeMismatch |
| 53cd797546841fcb190a61b52c0fd0777bd9201a | DefFunInDef | InstanceNamedInFolder | TypeMismatch |
| 54ca25f2cd18e9eafb6ed03ff78823818cc20f6e | LetDefFunInDef | InstanceNamedInFolder | TypeMismatch |
| 785edf7aad34e4578cc9685c02a5820ae4e646c4 | LetDefFunInDef | InstanceNamedInFolder | TypeMismatch |
| 8bd69b9a1a67b4039fda16fa923f02e4291ad26f | ConstantModelValue | InstanceNamedInFolder | CanNotBeCase |
| 20a2b853a918b23722182a5c9045a9a16cc8fc5c | ConstantModelValue | InstanceNamedInFolder | CanNotBeCase |
| b8c6d31799f3e95c084fa1647a2752b3b448cf87 | StringEmpty | InstanceNamedInFolder | CanNotBeCase |
| 238a9ed5c9647fa081fc0357a85229f3a8a77425 | StringEmpty | InstanceNamedInFolder | CanNotBeCase |
| d77e91dbd93cae4b33f39e287cbb8a78c1d17284 | String | InstanceNamedInFolder | CanNotBeCase |
| 644ec256691314e32f14b7048bc1e05acbe48a06 | String | InstanceNamedInFolder | CanNotBeCase |
| dc6b040769c6182767fedc70cdb67086233f7d5c | NatSet | InstanceNamedInFolder | CanNotBeCase |
| 430d16df95c7d6be4760dffaf969adb445b44fe3 | NatSet | InstanceNamedInFolder | CanNotBeCase |
| c5e152191e7d356631116365d3af6e190670f292 | IntSet | InstanceNamedInFolder | CanNotBeCase |
| 37bd846f41d72a78b36866beb8329ffd8767fea3 | IntSet | InstanceNamedInFolder | CanNotBeCase |
| 4c9d51f0044c65356216c507b503a4633cf2bdad | StringSet | InstanceNamedInFolder | CanNotBeCase |
| 7a922b3fc12ef65f7b3a151f8acfa66d93fc8fa8 | StringSet | InstanceNamedInFolder | CanNotBeCase |
| 128b19a30b53c959931f6f98f782ec93ea15da21 | BagEmptyBag | InstanceNamedInFolder | CanNotBeCase |
| 4fe83427d7ee1da560806d88ca4a195dace49582 | BagEmptyBag | InstanceNamedInFolder | CanNotBeCase |