| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 7261046f008d4ddfd19bfd2cb518b7447557467f | OneLineComment | FiniteSetsCardinality | CanNotBeCase |
| 42c1a04e59a717cd1259feb8a90ad0b99d996a24 | OneLineComment | FiniteSetsCardinality | CanNotBeCase |
| b664d6bc661b8ba4e0208894f91d51c67f82b1db | MultiLineComment | FiniteSetsCardinality | CanNotBeCase |
| f527676c189cc8ecfbffa62166a46964bf3d4418 | MultiLineComment | FiniteSetsCardinality | CanNotBeCase |
| 0ee57e60842bd3469df4ad3eba6a58f1fd711017 | BoolTrue | FiniteSetsCardinality | TypeMismatch |
| c829821f8d57b200448e2569a2e0c085aaad9144 | BoolTrue | FiniteSetsCardinality | TypeMismatch |
| bf3b18c280cb6e3860387bd25a5e90a08265a9ff | BoolFalse | FiniteSetsCardinality | TypeMismatch |
| 7342de3dbdc7481ba15eabd20f7e41fa86e8d9df | BoolFalse | FiniteSetsCardinality | TypeMismatch |
| f9d11ad4c8e629cd6e33036ca8c3893f8f58b560 | BoolSet | FiniteSetsCardinality | CanNotBeCase |
| da11bdf35d24ec81c82e17548d147927ef953c90 | BoolSet | FiniteSetsCardinality | CanNotBeCase |
| f6e7305535fe67baaa50486d4826349e36c2b75d | And | FiniteSetsCardinality | TypeMismatch |
| d252dd89f2e9dba2afdbe2731446bf65ca136ae7 | And | FiniteSetsCardinality | TypeMismatch |
| c644ab7f19e8736ba3052c47c96d7089603c517e | AndMultiLine | FiniteSetsCardinality | TypeMismatch |
| a198a1de823d72f5fe15c6dbdd171f67f3c0f6b7 | AndMultiLine | FiniteSetsCardinality | TypeMismatch |
| a347d2d638090803a125b5d643a8617ce0365078 | Imply | FiniteSetsCardinality | TypeMismatch |
| 61e0a7e7fb1520ed59e15ed2c993c07519586f58 | Imply | FiniteSetsCardinality | TypeMismatch |
| cce258dc5f79d1a628214a39658711e635e79f2a | Not | FiniteSetsCardinality | TypeMismatch |
| e4c6ad7562886caee5b6576357806f265130e15a | Not | FiniteSetsCardinality | TypeMismatch |
| 8d0c7ccc96d9dbecf0d4f976d3a12cb30679a209 | Or | FiniteSetsCardinality | TypeMismatch |
| 7788d329481adafb229f1e3bed7c8e3cfc4c2b6d | Or | FiniteSetsCardinality | TypeMismatch |
| 1d90a6e6760d87606c7be7018cadc5e144cf936c | OrMultiLine | FiniteSetsCardinality | TypeMismatch |
| 40f6c2900993d6aad88a3a5ef9fe083ec600b2e1 | OrMultiLine | FiniteSetsCardinality | TypeMismatch |
| b2c60131512fb4f7a5cb643a6e81df23d4ad3a01 | AndProp | FiniteSetsCardinality | TypeMismatch |
| c9186108dbd8f65a2129b6f5666a2c9cdf12eb39 | AndProp | FiniteSetsCardinality | TypeMismatch |
| 9740cb55a72784615e955e0f45d8b754e9b99f8d | Boxed | FiniteSetsCardinality | TypeMismatch |
| 510382d3130b438540a2983ad94587f3896fce8d | Boxed | FiniteSetsCardinality | TypeMismatch |
| 29f693d1436175a78177b68f2f5f42b7b6679508 | SetEmpty | FiniteSetsCardinality | CanNotBeCase |
| cfd63786887cf6cd6cf34cc3bdef9c20b378cf51 | SetEmpty | FiniteSetsCardinality | CanNotBeCase |
| b5f75bf4697f9782f741acfd072e39144c1cf063 | Set1InDef | FiniteSetsCardinality | TypeMismatch |
| d6a86434197b7aeb82ed7f6196e071a2034dd673 | Set1InDef | FiniteSetsCardinality | TypeMismatch |
| cc9eaaa46cbdfff88f58f0b23a441ad77a7831bc | Set2InDef | FiniteSetsCardinality | TypeMismatch |
| b30407eda86975687ae93ee4c49179b06d4864e6 | Set2InDef | FiniteSetsCardinality | TypeMismatch |
| 0d2401b7f21891b277d0d1388d200d31a7d7b53b | InDef0 | FiniteSetsCardinality | CanNotBeCase |
| e9928bdb164d62199e74deba2bd969921c8a21bc | InDef0 | FiniteSetsCardinality | CanNotBeCase |
| 65b5136ccb9cc498e18b9c506ae3b1d765f87f5e | InDef1 | FiniteSetsCardinality | CanNotBeCase |
| 1278a1a5945af4f7080f9390e2de1773fd9aaeee | InDef1 | FiniteSetsCardinality | CanNotBeCase |
| e23c5c0f1f2bd039fa63c07bc1fdda555159e0ac | InDef2 | FiniteSetsCardinality | CanNotBeCase |
| 2b6b5190742b6ffc41bb5092ee5184eff51674d3 | InDef2 | FiniteSetsCardinality | CanNotBeCase |
| 4ecd318e38f1f0a8fb3a2bd1535e5d1204c92e91 | FunInDef | FiniteSetsCardinality | TypeMismatch |
| bedd5b8325579738da7c17b73e011ef7e4f9e620 | FunInDef | FiniteSetsCardinality | TypeMismatch |
| e39fd613c00f61f4152d40869d2125f8bd31cf84 | Exists | FiniteSetsCardinality | TypeMismatch |
| 4dc7037fbf5fea0537b2f40690ae1920f4c49721 | Exists | FiniteSetsCardinality | TypeMismatch |
| 7f91c6aa06fd73b3e95dab91c1c6ecf812d3feb6 | Forall | FiniteSetsCardinality | TypeMismatch |
| 955e3f33838e658c90aeb9fda81ababb69ac4944 | Forall | FiniteSetsCardinality | TypeMismatch |
| 0d5eda68f82ee5cfc7a4f8f2d383ba8a70f1e427 | ExistsInDef | FiniteSetsCardinality | TypeMismatch |
| f0fefbf2c57a6429bc7e05563ac776f834f54c65 | ExistsInDef | FiniteSetsCardinality | TypeMismatch |
| e4c56b17a75e453885d5682e3cad8eb05f7c0eda | ForallInDef | FiniteSetsCardinality | TypeMismatch |
| 43be0e8787a381e7adcfa4aa85d806e7867f15e9 | ForallInDef | FiniteSetsCardinality | TypeMismatch |
| 28869e6fdf8f3cc3157810500983eb0c81e698ae | Choose | FiniteSetsCardinality | TypeMismatch |
| 8fa9c6e57f58f722b33a488738f2481444930df2 | Choose | FiniteSetsCardinality | TypeMismatch |
| 9be526ab5d7d7b828cef38aa14c838ec50477ac6 | ChooseInDef | FiniteSetsCardinality | TypeMismatch |
| 9d8abe6b9600822ee0c87b796ad8e99659862149 | ChooseInDef | FiniteSetsCardinality | TypeMismatch |
| c8854c8e86089060cfdb15fae4eb356419e051a6 | TupleEmpty | FiniteSetsCardinality | CanNotBeCase |
| 3e653978f4bca08e98a735284a735cd20bd802cd | TupleEmpty | FiniteSetsCardinality | CanNotBeCase |
| 31ab1eb9d6c1f617cd19063a4bb9cc24f09bf567 | Except0 | FiniteSetsCardinality | TypeMismatch |
| d67a24b90d23d3de7de915601c9e8c21f3108e01 | Except0 | FiniteSetsCardinality | TypeMismatch |
| dd2a890b6b5a8993ae2bcc43e82199b93b2ef779 | Except2FunTuple | FiniteSetsCardinality | TypeMismatch |
| 46c9d733cde22ffc8518c5c0d7d20e21509ba2f5 | Except2FunTuple | FiniteSetsCardinality | TypeMismatch |
| 336c7aebd5f776e0239354d425c07243dfaa1f44 | NumZero | FiniteSetsCardinality | CanNotBeCase |
| af8a7b1505acba06da53880ddc050dfd0fb2422d | NumZero | FiniteSetsCardinality | CanNotBeCase |
| dfc721a5751218060bb1ca6a630975d08c91de22 | NumOne | FiniteSetsCardinality | CanNotBeCase |
| e461928378fbdc378278ac17dc31606239e76964 | NumOne | FiniteSetsCardinality | CanNotBeCase |
| 306353862bad504a1cd461db210499a42718e1a7 | NumMaxInt | FiniteSetsCardinality | CanNotBeCase |
| 31c85bf9ce822f06f0f74d9ac9e0f73421b50baa | NumMaxInt | FiniteSetsCardinality | CanNotBeCase |
| 07ebf1c46bf89137afa388b45f8042069d3691ef | DefFunInDef | FiniteSetsCardinality | TypeMismatch |
| d2c6b3097c289750b780041f7d87df9d81a14b52 | DefFunInDef | FiniteSetsCardinality | TypeMismatch |
| c8e05d2a3ffbddef7c3a6b1c7e114e9e51a09ade | LetDefFunInDef | FiniteSetsCardinality | TypeMismatch |
| 19853db3e718b414fda846bd049acae38a8852b8 | LetDefFunInDef | FiniteSetsCardinality | TypeMismatch |
| cd235d79a59d347fc17f3f426de2290a47bcdfa1 | ConstantModelValue | FiniteSetsCardinality | CanNotBeCase |
| ae315d7e60158f5de8725d4ec4b1812085839484 | ConstantModelValue | FiniteSetsCardinality | CanNotBeCase |
| 0246f3899cf0048ec10ba877816afa8ff56a439d | Enabled | FiniteSetsCardinality | TypeMismatch |
| 8ca3f8b0f3b9e8a6534e50ec9493e8f450238c0a | Enabled | FiniteSetsCardinality | TypeMismatch |
| 9bd2f481d9a346b77d84c2484d2e4344100f22b2 | Assume | FiniteSetsCardinality | TypeMismatch |
| 63979cdf2cbe8a868bcef95ec0e2a546b6a76785 | Assume | FiniteSetsCardinality | TypeMismatch |
| 3640010df164339dcdfdc17e648c17c7ef68f155 | AssumeNamed | FiniteSetsCardinality | TypeMismatch |
| a4e1feb624598845dc3208d4122d607cc1feda29 | AssumeNamed | FiniteSetsCardinality | TypeMismatch |
| 43ca8d1f8560448005e5c8006cf0dfe749d60249 | Cross2 | FiniteSetsCardinality | TypeMismatch |
| fe34db1e5d9f7b9a461d518c05f9a5c2080e7849 | Cross2 | FiniteSetsCardinality | TypeMismatch |
| de6746759cf4e09be36acde29b9be8902032d341 | Cross3 | FiniteSetsCardinality | TypeMismatch |
| 113aeb8e356d53bd7bdac951738132abd1557152 | Cross3 | FiniteSetsCardinality | TypeMismatch |
| c795e258444a41a877d4b5ea79b834463a284b1d | FunSet | FiniteSetsCardinality | TypeMismatch |
| 8810fbcebe7c7cd97531ef66c59e004cb34a922d | FunSet | FiniteSetsCardinality | TypeMismatch |
| 1b9ae3f21a4bee1c1c9138caa3dd27d0d547a424 | RecordSet | FiniteSetsCardinality | TypeMismatch |
| 44032cbfbe5eb3751bde1cbb825bfea863e6515b | RecordSet | FiniteSetsCardinality | TypeMismatch |
| 67876add669e35661479e2df2f1c5e838f9e2b83 | SetDiff | FiniteSetsCardinality | TypeMismatch |
| ab075de6f073cb926b684e822fa36a9a8653cbfd | SetDiff | FiniteSetsCardinality | TypeMismatch |
| 8bc300467d0f13fee556501a715bbd30ac81cec4 | SetUnion | FiniteSetsCardinality | TypeMismatch |
| 7a55c70ff50a4aaca88faa0215334a04eb8306d9 | SetUnion | FiniteSetsCardinality | TypeMismatch |
| 58d56447f16ba56951b762ff21467823aba30973 | SetIntersect | FiniteSetsCardinality | TypeMismatch |
| 0eedbd996235b3c986ccf7fd478c0d68c985c6be | SetIntersect | FiniteSetsCardinality | TypeMismatch |
| 229249b8e38dceefe5810069989d77de1e895df9 | SubsetEq | FiniteSetsCardinality | TypeMismatch |
| 53cd9f063dbb6e1a7426c5c4467cd1ab938f4a77 | SubsetEq | FiniteSetsCardinality | TypeMismatch |
| 160e62c08cd84565894a3b9c1dc5e722e16f41b6 | IfCond | FiniteSetsCardinality | TypeMismatch |
| e99a39d55323138e126449333efc11fa6933d576 | IfCond | FiniteSetsCardinality | TypeMismatch |
| c89b76e2a328d9f6327beca391917b3fc7ba81ff | Subset | FiniteSetsCardinality | TypeMismatch |
| dc38b28d273e1d4969b1d4cfd3365ed07d7d0f14 | Subset | FiniteSetsCardinality | TypeMismatch |
| 99f005572b2eb335d0806f48f3dca6168788114e | Domain | FiniteSetsCardinality | TypeMismatch |
| 790d5c850011c65017294590bd692e1d818f2012 | Domain | FiniteSetsCardinality | TypeMismatch |
| 4b27492d2e9eec7bc552db87264fff515d4d4acc | Union | FiniteSetsCardinality | TypeMismatch |
| 390c05c726713b3ff15868f2383d383014d0f00a | Union | FiniteSetsCardinality | TypeMismatch |
| 08c620a1b58f06ddd13396e89d21cc27609d90e2 | Equivalence | FiniteSetsCardinality | TypeMismatch |
| 43a51fb43075075da86e49a898da763086a069c5 | Equivalence | FiniteSetsCardinality | TypeMismatch |
| a484f571200b947a7fa5d7fe348e206ef2bc2227 | StringEmpty | FiniteSetsCardinality | TypeMismatch |
| d427eef53236305671fbff0e113e4f9c34bbd311 | StringEmpty | FiniteSetsCardinality | TypeMismatch |
| 3cf826fd3cda7eb8a9e8c9ec7ee2e848398eeaa2 | String | FiniteSetsCardinality | TypeMismatch |
| c28c066468eaa1966aba67c4e04e777af5ef24f9 | String | FiniteSetsCardinality | TypeMismatch |
| 25fc5a1049c4ae6945111e8bbd63f7ecb6f65935 | SeqLen | FiniteSetsCardinality | TypeMismatch |
| dcfc06b50c843fb31d255ca6eab4f51082a82933 | SeqLen | FiniteSetsCardinality | TypeMismatch |
| 518b0fa64c6afb006b0b5d23a89bab5a2cc7f2e3 | SeqConcat | FiniteSetsCardinality | TypeMismatch |
| 8dacd5a42e991716950cf09a62388b25d324018f | SeqConcat | FiniteSetsCardinality | TypeMismatch |
| 2ca6db6b4f278ed50737d57132a915efff389f0b | SeqSeq | FiniteSetsCardinality | TypeMismatch |
| 5d56bf01098461c5b276ba04d2cc30eb1448fc06 | SeqSeq | FiniteSetsCardinality | TypeMismatch |
| 48873e53c13172b071f8ebdbf76b9d9ac1d6e647 | NatSet | FiniteSetsCardinality | CanNotBeCase |
| d1eb59059d4f378a6c69793625ea5a8cd59e805d | NatSet | FiniteSetsCardinality | CanNotBeCase |
| 728adde07456070467c4d7170d2712ad4255d969 | IntSet | FiniteSetsCardinality | CanNotBeCase |
| dec8e45eee8df6afb7dab698c7a72548c0ef673d | IntSet | FiniteSetsCardinality | CanNotBeCase |
| 3b9e6f5c53ad8dbd4b237adb02e05f0f377b242f | StringSet | FiniteSetsCardinality | CanNotBeCase |
| 532c58c2bdc5c02cbf9405a55935fc6059d47610 | StringSet | FiniteSetsCardinality | CanNotBeCase |
| f101955d12340d5ae601ab8478503c4a2fb524e8 | SeqSelectSeq | FiniteSetsCardinality | TypeMismatch |
| 4e33e0366ebc3a81b0f4ce4671ddbab614d3abc0 | SeqSelectSeq | FiniteSetsCardinality | TypeMismatch |
| cf8060180fa35f7807536579d757f065153591aa | TlcExtendFun | FiniteSetsCardinality | TypeMismatch |
| 15cabc1b6553490b56fecdb8d4b7a0c9da94b744 | TlcExtendFun | FiniteSetsCardinality | TypeMismatch |
| e78576e8b8e333398a0e07cacc632ca054c9ecfc | TlcPermuteFun | FiniteSetsCardinality | TypeMismatch |
| dcb190aad1c219d7cdec21625b64f2c440071e19 | TlcPermuteFun | FiniteSetsCardinality | TypeMismatch |
| f1e77c116de59f6c51b1d100855634b643535888 | TlcSortSeq | FiniteSetsCardinality | TypeMismatch |
| edc5ecd1341b7a5ba0ab800f56306e6f26e7afd3 | TlcSortSeq | FiniteSetsCardinality | TypeMismatch |
| 8656f529405caab024a0c29dd1521eb7392a1858 | BagBagToSet | FiniteSetsCardinality | TypeMismatch |
| 3a5986d00139ec78dbfeb0e40f10a6319d5585c5 | BagBagToSet | FiniteSetsCardinality | TypeMismatch |
| 4d81ddc1a0d6dc54e2c674c4c1be02857457ab67 | BagSetToBag | FiniteSetsCardinality | TypeMismatch |
| 84fb0ac69a1c3c3784730c08bb2db11eadb8f167 | BagSetToBag | FiniteSetsCardinality | TypeMismatch |
| 5896cb33d8598808c83b3e13a2a12635d8372b54 | BagEmptyBag | FiniteSetsCardinality | CanNotBeCase |
| 1d212e68b29e0e765122e2c035d3bc82e9efdabd | BagEmptyBag | FiniteSetsCardinality | CanNotBeCase |
| 792ec17b86aba40754c3b0219e2746487143ec59 | BagAddBag | FiniteSetsCardinality | TypeMismatch |
| 72b93ae99df2b44f75e3d3355bb848a1ec4ca08c | BagAddBag | FiniteSetsCardinality | TypeMismatch |
| de2e7ade520091ad7c6b96a36ea01dc65042eeb7 | BagBagSub | FiniteSetsCardinality | TypeMismatch |
| 5db1b22e23a35d7232bc04a1130b3910fbfb49ab | BagBagSub | FiniteSetsCardinality | TypeMismatch |
| 1436290560971629cc8d205acce20f25632a1179 | BagSubsetEqBag | FiniteSetsCardinality | TypeMismatch |
| a94d81c1ca76c58c576b8ed4f18075413c4cd54d | BagSubsetEqBag | FiniteSetsCardinality | TypeMismatch |
| aa5488fce1c6a2651e5f189f79065e83b15844a4 | BagBagUnion | FiniteSetsCardinality | TypeMismatch |
| e24e27a1cfe7b8129e3d447222e1c09a2e6c0104 | BagBagUnion | FiniteSetsCardinality | TypeMismatch |
| 39fe050d2d168da15d83037ef7953268263f8171 | BagBagCardinality | FiniteSetsCardinality | TypeMismatch |
| 36ea45db0f288c39fe95eef5b1250069d9442499 | BagBagCardinality | FiniteSetsCardinality | TypeMismatch |
| 2223b5cd8051718cb2dea4ed90f0b4c3be02f1ee | BagBagOfAll | FiniteSetsCardinality | TypeMismatch |
| 9da0794d6976547e8e6297f364cb7bb5a910f6b9 | BagBagOfAll | FiniteSetsCardinality | TypeMismatch |
| 75ef510bd14f913f21cb248d429b00ba82a1cc96 | BagSubBag | FiniteSetsCardinality | TypeMismatch |
| 206510b730c53ad998c99db40b45e2f3d19c9087 | BagSubBag | FiniteSetsCardinality | TypeMismatch |
| 86f6937c3b396a80b680d637da611357239ebe93 | FiniteSetsIsFiniteSet | FiniteSetsCardinality | TypeMismatch |
| 9889098e76e5d8654b1ac72b7132af34000f5875 | FiniteSetsIsFiniteSet | FiniteSetsCardinality | TypeMismatch |
| 52e4dbff3a2fa6efdffad021b4133ba39b52c8ee | FiniteSetsCardinality | FiniteSetsCardinality | TypeMismatch |
| 5afecd97fb7eabca21ce3ee387b662275e1337d6 | FiniteSetsCardinality | FiniteSetsCardinality | TypeMismatch |
| 66037c24e86761237378608a69d382a5e81e74cc | SeqHead | FiniteSetsCardinality | TypeMismatch |
| 55d0e643b40156776b229e21595943181979f603 | SeqHead | FiniteSetsCardinality | TypeMismatch |
| 3dcbfdd91180943f3a1c97d7a6e37daa610ca8ca | SeqTail | FiniteSetsCardinality | TypeMismatch |
| d9b3a1c95015cc1b97b70765068689a45275778d | SeqTail | FiniteSetsCardinality | TypeMismatch |