| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| ef07994a8996e7dc3767298c2e4c384350a0d42d | OneLineComment | InstanceInFolder | CanNotBeCase |
| 89934a2623336a7a9692d181269d33489a615b6d | OneLineComment | InstanceInFolder | CanNotBeCase |
| 332cf82df6eaf0da0bdc659f9f70401b1a747416 | MultiLineComment | InstanceInFolder | CanNotBeCase |
| 74b368cde572415a1022d9ace712fc642c7a764e | MultiLineComment | InstanceInFolder | CanNotBeCase |
| 07bf7e628123a553d7046168bf2364f94af372cf | BoolTrue | InstanceInFolder | CanNotBeCase |
| 27646d664755f486adadb0dd7f47a0d432edbcd2 | BoolTrue | InstanceInFolder | CanNotBeCase |
| 1ffbe2f9c93eed811467da36dd99117520a99361 | BoolFalse | InstanceInFolder | CanNotBeCase |
| 181b7db6d54e9688fb7cbdade2a12c2379c1b015 | BoolFalse | InstanceInFolder | CanNotBeCase |
| 43a35f3ecbba2981b47fbe87cb12da7f6b425a8b | BoolSet | InstanceInFolder | CanNotBeCase |
| 2f233d1c07e3ce787a1e4274e7b93306af211b06 | BoolSet | InstanceInFolder | CanNotBeCase |
| edda60d4d773e6a48c581c6a7a1a28d8db4c527f | SetEmpty | InstanceInFolder | CanNotBeCase |
| ff87cd2eb2077915f56c8ab08c25ea85ed280854 | SetEmpty | InstanceInFolder | CanNotBeCase |
| 7664775c3cbe09baa366732fa67057f573c73af1 | Set1InDef | InstanceInFolder | TypeMismatch |
| e8422c4f4d224ebc943b9246d7b8f6c5f35a6f7e | Set1InDef | InstanceInFolder | TypeMismatch |
| b9513c753bedfb529e9d5224dc28fb40e0a87f4d | Set2InDef | InstanceInFolder | TypeMismatch |
| 1b7775ffb2beacbba0446026f6f51bc97d05cb08 | Set2InDef | InstanceInFolder | TypeMismatch |
| e47cd9b476f3dc2c8eb36375991f77316c2c990e | InDef0 | InstanceInFolder | CanNotBeCase |
| 45602e626ad116fbcef1247ef2e7d999580626ad | InDef0 | InstanceInFolder | CanNotBeCase |
| a5b7b1efc317487eda2278299585bf0f5a8a6594 | InDef1 | InstanceInFolder | CanNotBeCase |
| 6361be0130c2b6e778d6645bb72a10535ee04a9d | InDef1 | InstanceInFolder | CanNotBeCase |
| a00a9951eef953ddbd3feb03138ab4d313eb6226 | InDef2 | InstanceInFolder | CanNotBeCase |
| 5687a3965f2c483a727cc66cfd10b91743caf8bd | InDef2 | InstanceInFolder | CanNotBeCase |
| b137eda187512b047ac49832b8674cd3f970d5ec | FunInDef | InstanceInFolder | TypeMismatch |
| 18e384da87bbe681d0ff315ddf1d0d0920b36e70 | FunInDef | InstanceInFolder | TypeMismatch |
| baa6f874d1348f4fdce233956d5b96cd56af2581 | ExistsInDef | InstanceInFolder | TypeMismatch |
| 65d333d14546743b91b64247d9b0267ec918f0ce | ExistsInDef | InstanceInFolder | TypeMismatch |
| 221f5d20c9bf806514f726e6e46705a79fb2cc83 | ForallInDef | InstanceInFolder | TypeMismatch |
| c40407dd63fbd6e894c979fb2949ceaa36db29ea | ForallInDef | InstanceInFolder | TypeMismatch |
| d6d8f3388abedb83ff8c2eccfd7fd06ff23e97be | ChooseInDef | InstanceInFolder | TypeMismatch |
| 7b0f1b3c09158ddf4f8f6e6e86eb7e44a52dd2a2 | ChooseInDef | InstanceInFolder | TypeMismatch |
| eda5d4a1009ce86d5675981c4772dab69b6d6006 | TupleEmpty | InstanceInFolder | CanNotBeCase |
| 983e7ddd1c98ab9e2d8fa78c7c91fd78e0dc4407 | TupleEmpty | InstanceInFolder | CanNotBeCase |
| d2daa662db6e8fcbd10821116ea5dcb1e451eb5c | NumZero | InstanceInFolder | CanNotBeCase |
| 943adc382e45d24eb364314540905374ed2ee32c | NumZero | InstanceInFolder | CanNotBeCase |
| d2f0fa119ef394ad4969734b9bbddf8ec77c63e6 | NumOne | InstanceInFolder | CanNotBeCase |
| a7a61e37a45f5965bfbf9373bd8b3033219d143f | NumOne | InstanceInFolder | CanNotBeCase |
| de82655e7f6a8209ffb1a330a75ce2b256d1ceba | NumMaxInt | InstanceInFolder | CanNotBeCase |
| 6960ea653ee16c9284b5ddf8395f07f18920fe47 | NumMaxInt | InstanceInFolder | CanNotBeCase |
| 49720d5030bd78e9891699ac576766cc16d2084c | DefFunInDef | InstanceInFolder | TypeMismatch |
| 95bd27ff32071098fa23d539abe34fe7e7855876 | DefFunInDef | InstanceInFolder | TypeMismatch |
| 67190f211b9e977d34a0c87d441b7633237ab11e | LetDefFunInDef | InstanceInFolder | TypeMismatch |
| dea1db5a2f73a18cc4dab2ae8fc5e12ec0c7714e | LetDefFunInDef | InstanceInFolder | TypeMismatch |
| 8dbb13217a7d293731ea49854398804b0805dbd5 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
| 3c476431618ce72071810725173d367197a072d9 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
| fac0f578c4e4bb2faf1bc969a654eb3226b23455 | StringEmpty | InstanceInFolder | CanNotBeCase |
| 6970b50604b5b3d3dc46a325360225716c58b581 | StringEmpty | InstanceInFolder | CanNotBeCase |
| 329e7ab26dc33dc7fbba44cde3cc3a1fd9c16382 | String | InstanceInFolder | CanNotBeCase |
| d0e043f76454be5367762be3ec9f24382465472e | String | InstanceInFolder | CanNotBeCase |
| 4698a2f34330ded08f9d9a10fc57c9be04a7476b | NatSet | InstanceInFolder | CanNotBeCase |
| 279d09feb5e22f8d4d9c0e463f8101c674f6a6ce | NatSet | InstanceInFolder | CanNotBeCase |
| 11edb2e61a3ccfd08aee7cd7aef3e8768c930580 | IntSet | InstanceInFolder | CanNotBeCase |
| 27fdc0d932f34dd7e449cd73a50ab8887ca8cdeb | IntSet | InstanceInFolder | CanNotBeCase |
| 0e690687fdd118032b9a1fbf12d2d7529a4b0dc4 | StringSet | InstanceInFolder | CanNotBeCase |
| 8f520f5f9b800da76e7cd106ea74912a8d3bdf21 | StringSet | InstanceInFolder | CanNotBeCase |
| 886e7c478554122ecd7ca52ac279282a089a1e34 | BagEmptyBag | InstanceInFolder | CanNotBeCase |
| 5f158050891962e7c35702338fca682a30b48bed | BagEmptyBag | InstanceInFolder | CanNotBeCase |