| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| b5c1ccd1b421b76ecc00518aa20839e27d6d2e3e | OneLineComment | MultiLineComment | CanNotBeCase |
| 3de6d84627e139c42b0ba4e1918ba56147c0d253 | OneLineComment | MultiLineComment | CanNotBeCase |
| 2e4c0003ad3017fc7cf3d34e3a855e2f42cecfa4 | MultiLineComment | MultiLineComment | CanNotBeCase |
| 03bd08585f0fcff9d1c69da547a69620719ddbfd | MultiLineComment | MultiLineComment | CanNotBeCase |
| 29782bc26034ce7a3ac4f6bb2e29a3c5e39c4aa5 | BoolTrue | MultiLineComment | CanNotBeCase |
| c943e2bf3b9dfcb987d0ef69cb2f1d3c9ee8ca31 | BoolTrue | MultiLineComment | CanNotBeCase |
| 4200fe39d057a379dd89f032e69a79bf0d17bbf9 | BoolFalse | MultiLineComment | CanNotBeCase |
| 9ea1a8b547c9bf3705adbcd3f783c47976997fff | BoolFalse | MultiLineComment | CanNotBeCase |
| 8ff44c9cc22c35a29b029998160f7c0b98b0a9fb | BoolSet | MultiLineComment | CanNotBeCase |
| f1e728802d8ad07ff7ad6ae54aff21f9514001c5 | BoolSet | MultiLineComment | CanNotBeCase |
| 0171b9f8feaddf3930bbabd308fec282ffcac70d | SetEmpty | MultiLineComment | CanNotBeCase |
| 43a66c6365286457931bba2f58bbacc01af749e5 | SetEmpty | MultiLineComment | CanNotBeCase |
| b6ae79008b23f26d6af39c5a48aa9c3c9311f060 | Set1InDef | MultiLineComment | TypeMismatch |
| 44255cf82d7ad76c41265a2739974adb26deecc0 | Set1InDef | MultiLineComment | TypeMismatch |
| 2513f15f3a0e1a42dbc2733a8ab737f7491b760e | Set2InDef | MultiLineComment | TypeMismatch |
| 9606c0eaa10c9cd3c5c8f78c8f709edb2355d4b7 | Set2InDef | MultiLineComment | TypeMismatch |
| 7ece77a11c2f0cca624708e54763690b80c2ccea | InDef0 | MultiLineComment | CanNotBeCase |
| 9d4b5c193cbebb484ba27d10ecb69ed3cfeb8f8a | InDef0 | MultiLineComment | CanNotBeCase |
| d07b8ac4961a1ebcda408a73b0c0bfca9c1c44a0 | InDef1 | MultiLineComment | CanNotBeCase |
| 4b1ce0b297801c0632641d897f12e97cff375a0b | InDef1 | MultiLineComment | CanNotBeCase |
| 2121efd4adc658e7949eb2731576fd37319b59ac | InDef2 | MultiLineComment | CanNotBeCase |
| 35747f4777473c59645d6b117175d5b257afc531 | InDef2 | MultiLineComment | CanNotBeCase |
| 9f0cf698a0a992e60a75dece33bc44f83d7bab3d | FunInDef | MultiLineComment | TypeMismatch |
| 978ddd5b2efc6562c78d53f5aff603e808443182 | FunInDef | MultiLineComment | TypeMismatch |
| 0f400a6c9b0dbf09fdeb50697996ecd1b9cbaa39 | In | MultiLineComment | TypeMismatch |
| 2675c0f211066929ffaff0126f3f6742a0df9d8d | In | MultiLineComment | TypeMismatch |
| 3a3b1d756a28b2396643f7590f19318948417af2 | NotIn | MultiLineComment | TypeMismatch |
| ae2f4c5fea6130bb71d605864ee46625751abc8f | NotIn | MultiLineComment | TypeMismatch |
| 5710a5f6066c4bec6447c194907e7406fcd791e1 | ExistsInDef | MultiLineComment | TypeMismatch |
| 7564a30ef05e2089a43ee8a43638e95f3daca945 | ExistsInDef | MultiLineComment | TypeMismatch |
| bef8497a29a319c235a9f25f4c717d17ad88c298 | ForallInDef | MultiLineComment | TypeMismatch |
| 2dbb27946df12dae0686f0741c5e996b62497dfa | ForallInDef | MultiLineComment | TypeMismatch |
| 9ceae42e0a9000b8c888135b88c40eb2ac2d39e5 | ChooseInDef | MultiLineComment | TypeMismatch |
| d7e9ecec426905c9786c5542d02f7daa9b36ad8c | ChooseInDef | MultiLineComment | TypeMismatch |
| a69fdb0fb9211abb1e91ee859a10cce3275e258a | TupleEmpty | MultiLineComment | CanNotBeCase |
| 322e4146d5449f385ef1ba0ab7ff2d79a7f88c4b | TupleEmpty | MultiLineComment | CanNotBeCase |
| c22c7e263585fb8d92699f9f88f1f70395bc1640 | FunApp | MultiLineComment | TypeMismatch |
| d80f41e58ae65bdf63af251665243d10f80e6843 | FunApp | MultiLineComment | TypeMismatch |
| 52fe9419eb21677b8516bd9e061c34ceabed8c8b | Except0 | MultiLineComment | TypeMismatch |
| 2cee83c578d27c6da90c85bd3ecbf9290df3cad4 | Except0 | MultiLineComment | TypeMismatch |
| 165b8b872402b4f1a939130772a1db1a3cfd6437 | NumZero | MultiLineComment | CanNotBeCase |
| 7e859df89dd751766b8d16aedaef9d1e7c4dcb17 | NumZero | MultiLineComment | CanNotBeCase |
| 400220bc3cb42a7ac294873239ed563333ec6722 | NumOne | MultiLineComment | CanNotBeCase |
| 299651202057b6337f5e16e3eaf6d149a77c9f58 | NumOne | MultiLineComment | CanNotBeCase |
| f4ff5a6e15105f855c833e8f333a3280c3d89326 | NumMaxInt | MultiLineComment | CanNotBeCase |
| ff1ee77c6b20e10a1cf7ca8b1d828d6f1d9f4647 | NumMaxInt | MultiLineComment | CanNotBeCase |
| e67924d0c79c4504c55cbde64804e0ccf5d76cff | DefFunInDef | MultiLineComment | TypeMismatch |
| 01783291fa7d5529bebe49d0ee4f537bd408acc6 | DefFunInDef | MultiLineComment | TypeMismatch |
| a8878cc43a8f93301012e7312572d0c4dc5da90f | LetDefFunInDef | MultiLineComment | TypeMismatch |
| ab39f15365a6664b3fc6f142a9bf7cdc04e8f717 | LetDefFunInDef | MultiLineComment | TypeMismatch |
| cd6b98ddf037407409bafc833dc186f8107644b5 | ConstantModelValue | MultiLineComment | CanNotBeCase |
| f86ca14f0f275611cc2177dc966024320f4a9b81 | ConstantModelValue | MultiLineComment | CanNotBeCase |
| 1d1140c8f659608936f4f12b0e3718163b3889c3 | FunSet | MultiLineComment | TypeMismatch |
| bd6e955e2b5391db9f2cd95c6821404567022408 | FunSet | MultiLineComment | TypeMismatch |
| 722eac0cc8195e37bebd964083e80828af4815b3 | RecordSet | MultiLineComment | TypeMismatch |
| c1400353703059fe67f2b723ab451a9dbf0f566e | RecordSet | MultiLineComment | TypeMismatch |
| d31c3a2f3149554cae69468d2cca1dc2c4b8dbe0 | StringEmpty | MultiLineComment | CanNotBeCase |
| eee96a88509586d2439882f8d68b5792297aa105 | StringEmpty | MultiLineComment | CanNotBeCase |
| 16ee1cbaaf11033377c10f3f122f4496e8a334af | String | MultiLineComment | CanNotBeCase |
| b0eff005c79e38799c42df6d33d4232d093b2331 | String | MultiLineComment | CanNotBeCase |
| bac88bf6c59314bca36bbd32a9f7b2706ff41adb | SeqLen | MultiLineComment | TypeMismatch |
| 81a094f6a3a0ef36a5c4c0e116603e3019c265fe | SeqLen | MultiLineComment | TypeMismatch |
| cdf342d7f4cd2080bcbfd00044f8ea435618cf0c | SeqConcat | MultiLineComment | TypeMismatch |
| 067d0f2da994bd3d8a9c425051d6b5db15799b1d | SeqConcat | MultiLineComment | TypeMismatch |
| b5e7c3018258fee33386d865fb1b085810ff19e2 | SeqSeq | MultiLineComment | TypeMismatch |
| ebc931a887ca892cfc95a0ee3dd7757b041b2327 | SeqSeq | MultiLineComment | TypeMismatch |
| 5ccdac7f48354e3b0773b8e5a25410d8f5c817f3 | NatSet | MultiLineComment | CanNotBeCase |
| 665a47928052aae9359d4c347b4ab877e47e4cfd | NatSet | MultiLineComment | CanNotBeCase |
| 4cbd0a8c46c289a6b6606205e01a555ec1173dfd | IntSet | MultiLineComment | CanNotBeCase |
| a4b7235c4ab11de535b1952eb131222227d47ab4 | IntSet | MultiLineComment | CanNotBeCase |
| eefccbe83a8260236ec19d3d6a4d3080c5d7914f | StringSet | MultiLineComment | CanNotBeCase |
| 6abb3405b57fea6b91712bca6756c6784fa82b45 | StringSet | MultiLineComment | CanNotBeCase |
| 81a64cae9cbfd7dc36baaa0ba68d3bfc8a81bf0c | SeqSelectSeq | MultiLineComment | TypeMismatch |
| e7dfa5bd283e2f3e25738c3d5a0efb0a7deed984 | SeqSelectSeq | MultiLineComment | TypeMismatch |
| 68d7576fed8ab7deba175d324fa7090c6a360d90 | SeqSubSeq | MultiLineComment | TypeMismatch |
| c13888c8bde52c1f378691400c19fe27cc663066 | SeqSubSeq | MultiLineComment | TypeMismatch |
| b3660722d65ddabb9437c6c7c3a723a08ae4a618 | BagBagIn | MultiLineComment | TypeMismatch |
| da5a0173d2ad9e075bf1b6fa1d910a8500eddc27 | BagBagIn | MultiLineComment | TypeMismatch |
| 409d6e9aeffae271063670563203aeafbb38bf1d | BagEmptyBag | MultiLineComment | CanNotBeCase |
| 4691e6aed743133b38add92592f7b494f0ad09fc | BagEmptyBag | MultiLineComment | CanNotBeCase |
| 0ee1420db13195165fb8d72886d5dd2ff3b561a9 | BagCopiesIn | MultiLineComment | TypeMismatch |
| dec4ece3cc520e1b6425862092205a80d70c26bf | BagCopiesIn | MultiLineComment | TypeMismatch |
| f875494bb0e6e015cea273ee57b2fd2160b8f0cb | FiniteSetsIsFiniteSet | MultiLineComment | TypeMismatch |
| 37e960aef0f6fad9a3eb8c11a743c42190109c74 | FiniteSetsIsFiniteSet | MultiLineComment | TypeMismatch |
| 2761f17370cee6c3d77b4d3d9e61a4176841c9e7 | SeqAppend | MultiLineComment | TypeMismatch |
| f957b061699ab018823cb8d4b8a7b1c563537ea1 | SeqAppend | MultiLineComment | TypeMismatch |