| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| 1bb6f163e7b1ac9511221902b66ad503d8255c35 | OneLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| c51c554f2b17ee5d59724d8e2628428ea27f1113 | OneLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| 30c8ae2d3920307ab78692b79d5de28f912c7fbe | MultiLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| bb5233a3250baed969ba7580aa5f6fe77b01d59f | MultiLineComment | FiniteSetsIsFiniteSet | CanNotBeCase |
| ec1093bf78a44f29721143369618fb32da9417c8 | BoolTrue | FiniteSetsIsFiniteSet | CanNotBeCase |
| a6de9dd995c397dad0e67bfef5b821980a711b86 | BoolTrue | FiniteSetsIsFiniteSet | CanNotBeCase |
| ef6e2b985a1b091e6803b3faf8d451184b8b0315 | BoolFalse | FiniteSetsIsFiniteSet | CanNotBeCase |
| 736561d4bc7c8528b471388bab0e5d48f3327b03 | BoolFalse | FiniteSetsIsFiniteSet | CanNotBeCase |
| bb5c9dcc170b5281aa86f04aab70e83843f02364 | BoolSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 3d3f1de8fddd772358e67623fc5caf9317c1e5c2 | BoolSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 682d34b15e8cff974c8fd4c9620ad04141666f2b | SetEmpty | FiniteSetsIsFiniteSet | CanNotBeCase |
| 6c6b1a7cca218a8900cf3f46da9021745d390262 | SetEmpty | FiniteSetsIsFiniteSet | CanNotBeCase |
| 4c6889debb6cd2dffb52e9f7d3884fba41eca912 | Set1InDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 3048e4360b548a84feb6f5395731ec2d7a172ae6 | Set1InDef | FiniteSetsIsFiniteSet | TypeMismatch |
| c2a04d53c5f00bd227f4927995f77946a6ca59dc | Set2InDef | FiniteSetsIsFiniteSet | TypeMismatch |
| c3893a0003b94e58d66ca4bc3509070cce882d76 | Set2InDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 729170a9fa134b353f09e5ee41371b6dbb9f937a | InDef0 | FiniteSetsIsFiniteSet | CanNotBeCase |
| c79675a8447a3ba3d1e90db6efc48c6392fe2699 | InDef0 | FiniteSetsIsFiniteSet | CanNotBeCase |
| ee350ff4ea88b5c8e2c2bd4582aba11a7741203d | InDef1 | FiniteSetsIsFiniteSet | CanNotBeCase |
| a912591dd54242d562b6c45800be69e842ada514 | InDef1 | FiniteSetsIsFiniteSet | CanNotBeCase |
| 3850f9f52678e15881407a8938ee9eb6628b7d0f | InDef2 | FiniteSetsIsFiniteSet | CanNotBeCase |
| 706b48a614ab1eab298b6e29189f4e6079dcdd4d | InDef2 | FiniteSetsIsFiniteSet | CanNotBeCase |
| b3d2b54b2d264635ce3921765e05d6879c8c6fd5 | FunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 4952e92a1d9034935f44ade8fe7ce4512b905ce9 | FunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| e73aafe58f003f7f95948fddc8e0de2cac7ab27b | ExistsInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| c80112b62e404aab1fb377e053adc700a8cad713 | ExistsInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| d4121b2bea33f75b3e6667aed41b1149cb314d4d | ForallInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| bf1d53b12b2403a0f9d2f5f58a57938169f019f6 | ForallInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| a687ec41d7bdbfc591039be6e45582b647d56fec | ChooseInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| d44f03611062e0b47f9eda55520b69cde75fbe70 | ChooseInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| b3bf5a069e7101f1fa7df6f0b9c28137cec9ecba | TupleEmpty | FiniteSetsIsFiniteSet | CanNotBeCase |
| 8475ca462280752a4c88eba97906eb9aff19ed94 | TupleEmpty | FiniteSetsIsFiniteSet | CanNotBeCase |
| fd169d053885bdd088a76836bede38b22b165421 | Except0 | FiniteSetsIsFiniteSet | TypeMismatch |
| f6523030111489e0dc6b46f74bfcda9d8b8e3ae1 | Except0 | FiniteSetsIsFiniteSet | TypeMismatch |
| e1156f14c0aa941c91280c639d4322468b9b7f43 | Except2FunTuple | FiniteSetsIsFiniteSet | TypeMismatch |
| 02af27a91db446168e6c2f726561f9888c81696f | Except2FunTuple | FiniteSetsIsFiniteSet | TypeMismatch |
| c260bd31124a5595bab9cca1e0e5abe011553fae | NumZero | FiniteSetsIsFiniteSet | TypeMismatch |
| d6ec36fc6f851f1a2fa559ba2ecc23f3b2b8b067 | NumZero | FiniteSetsIsFiniteSet | TypeMismatch |
| fbc166ca0448bed0016769304f1fc1a38d173dfd | NumOne | FiniteSetsIsFiniteSet | TypeMismatch |
| 9e9b856a977aeff07a9c5eb73dde6483c2959431 | NumOne | FiniteSetsIsFiniteSet | TypeMismatch |
| 103f911a2289bfa550578b378b0bc0dbb1012929 | NumMaxInt | FiniteSetsIsFiniteSet | TypeMismatch |
| 7b72ae8dcbc29db50571c011094592230010fde3 | NumMaxInt | FiniteSetsIsFiniteSet | TypeMismatch |
| d464705e1c1d9cd9a3cf5bc96b2ccc9814395f34 | NumUnaryMinus | FiniteSetsIsFiniteSet | TypeMismatch |
| dace3d56b76ec9dd4c9bafa508ee4815d8dda9c5 | NumUnaryMinus | FiniteSetsIsFiniteSet | TypeMismatch |
| 46d9ad7bc33bdedae8c9b8b01fc0e776a1f9931c | NumPlus | FiniteSetsIsFiniteSet | TypeMismatch |
| 089b904551c3a1abf8ac908b732d1b896b2e042f | NumPlus | FiniteSetsIsFiniteSet | TypeMismatch |
| f75abf90dba23ba118b21514e8603866cc343d5f | NumMinus | FiniteSetsIsFiniteSet | TypeMismatch |
| 07afac0a836544cd616e23011744b8ed1524b871 | NumMinus | FiniteSetsIsFiniteSet | TypeMismatch |
| d88c4a9f4bb688ea755d2aa14b03a14161fe74c4 | NumMul | FiniteSetsIsFiniteSet | TypeMismatch |
| ffc4472a19352f5ccbd5ac68939f35d749dc1d52 | NumMul | FiniteSetsIsFiniteSet | TypeMismatch |
| e00bb5a82c22a3f02dcb21c8874859d4d2a88e9f | NumDiv | FiniteSetsIsFiniteSet | TypeMismatch |
| ae97b600971a941c81a840dd22b69ffc73383862 | NumDiv | FiniteSetsIsFiniteSet | TypeMismatch |
| 879085e08675db64a2c9ecaeeb4a5a9086d18f24 | NumMod | FiniteSetsIsFiniteSet | TypeMismatch |
| 602122658a2c4bb98c3d1cc8e541a24050d4453f | NumMod | FiniteSetsIsFiniteSet | TypeMismatch |
| 1bef740adfa1e770556d6b1a7976f6b04b3a15f6 | NumPow | FiniteSetsIsFiniteSet | TypeMismatch |
| ee454df3bc1cc39a4cd7feac86f221671894d7b3 | NumPow | FiniteSetsIsFiniteSet | TypeMismatch |
| 3ca9326754c639a83addebdcbf093ab2fff4d1d0 | NumGt | FiniteSetsIsFiniteSet | TypeMismatch |
| 361a6f41ac25718e036b0b7e9ed86eb4e22268a4 | NumGt | FiniteSetsIsFiniteSet | TypeMismatch |
| 170bd3d3d24a7d56408ac35ef28f5f5587898e51 | NumGe | FiniteSetsIsFiniteSet | TypeMismatch |
| b020411487dbae4469884622ab161d800294f859 | NumGe | FiniteSetsIsFiniteSet | TypeMismatch |
| 4ed2b61dd9d0816b548bb8a2751539ad408dbd9c | NumLt | FiniteSetsIsFiniteSet | TypeMismatch |
| f8bd9f909cef3ef35e87b05ba1b12a979a0044b0 | NumLt | FiniteSetsIsFiniteSet | TypeMismatch |
| 9c6100a9cd9bd0cec7e99aae4ce37288294d5519 | NumLe | FiniteSetsIsFiniteSet | TypeMismatch |
| a774bfb9e960a26d05f1cfc148075011bc5a9a7d | NumLe | FiniteSetsIsFiniteSet | TypeMismatch |
| fd02a04ca7a4c00f80247a4276b3fb317e487805 | DefFunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 94af368fc23e80810380bd8589822dbb6e8162a2 | DefFunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 2ec461a1eabef7eb126c0ba1e0c4a4151da3cd46 | LetDefFunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| ed49f1858ee60f69d74c2cf958fb9fc59d885669 | LetDefFunInDef | FiniteSetsIsFiniteSet | TypeMismatch |
| 6ed409e773f83ac4b0e4c646b4d4f1c3bf01d7a3 | ConstantModelValue | FiniteSetsIsFiniteSet | CanNotBeCase |
| 2f04e13858c27be6d532634e1b41e61eb8340d75 | ConstantModelValue | FiniteSetsIsFiniteSet | CanNotBeCase |
| a026be596fa90c222836aca88595f5dc45ac8a57 | Cross2 | FiniteSetsIsFiniteSet | TypeMismatch |
| 1c8e2858d1d51d04080f8457158b14c329c86398 | Cross2 | FiniteSetsIsFiniteSet | TypeMismatch |
| 03ac7f649ad6c05afb4a1c18cdce8ff93ad892e7 | Cross3 | FiniteSetsIsFiniteSet | TypeMismatch |
| 22c514cd0c575f2dd9599ed74def2b58dc4dd2ca | Cross3 | FiniteSetsIsFiniteSet | TypeMismatch |
| 0fe8a2f0b40f0b80ae2cb435c23dbf14c8b6d447 | FunSet | FiniteSetsIsFiniteSet | TypeMismatch |
| ca00f2389055c602c8a4c67f4b8c108cc98c060e | FunSet | FiniteSetsIsFiniteSet | TypeMismatch |
| b7e1ca4fe605ef6defc423d8c0d82002646b0221 | RecordSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 490045b17bad2069c3d102b4fd9028bf74537012 | RecordSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 09c6181522c399ac326422c1154bb3cd2310abe2 | SetDiff | FiniteSetsIsFiniteSet | TypeMismatch |
| 415041d14cfc55c8ed0187447526c4a23c73a0b3 | SetDiff | FiniteSetsIsFiniteSet | TypeMismatch |
| aeb3514541c509364a65b41b42336592eeca9f4f | SetUnion | FiniteSetsIsFiniteSet | TypeMismatch |
| be1a6ca852d50a0cb35e0d535bcd7e85766f80d5 | SetUnion | FiniteSetsIsFiniteSet | TypeMismatch |
| 333ff765cf85616cc1d83102025494b7e6f7ceb7 | SetIntersect | FiniteSetsIsFiniteSet | TypeMismatch |
| 887e237cd2e003b5240df0720f8ab3f844bdfc0e | SetIntersect | FiniteSetsIsFiniteSet | TypeMismatch |
| fa22213b42aa0c31d234b680fe5cdc8b55d6ac38 | SubsetEq | FiniteSetsIsFiniteSet | TypeMismatch |
| 3c25a91bc886677765e750cf796869b46938eb4d | SubsetEq | FiniteSetsIsFiniteSet | TypeMismatch |
| 227727299805b56e2669e2ffd64cb0b6c902e046 | Subset | FiniteSetsIsFiniteSet | TypeMismatch |
| 2114496192bda2f91a8c4b7b9efd67cbcba5ad07 | Subset | FiniteSetsIsFiniteSet | TypeMismatch |
| 5d13a399c5fe7a09d806d91129abccb5d20fea20 | Domain | FiniteSetsIsFiniteSet | TypeMismatch |
| 15895354ff115c2cb391679400b3a681498a01a5 | Domain | FiniteSetsIsFiniteSet | TypeMismatch |
| e845e41e29e9f43875aa952eaf261d5342abec81 | Union | FiniteSetsIsFiniteSet | TypeMismatch |
| 3b9a427292df6bfdfb4ea94eaf41561daf7d6acf | Union | FiniteSetsIsFiniteSet | TypeMismatch |
| 0774690dc29f4de421013a8e32d899611170b480 | StringEmpty | FiniteSetsIsFiniteSet | TypeMismatch |
| 6d31e52c7d88700f7ccb5c30088f4c54af8c096e | StringEmpty | FiniteSetsIsFiniteSet | TypeMismatch |
| 20241dc94145c3c4e9168e8c27a73a6e84e00637 | String | FiniteSetsIsFiniteSet | TypeMismatch |
| 57e77949b04bf1101a897bbced2d2bcaeeea3edc | String | FiniteSetsIsFiniteSet | TypeMismatch |
| f066815d41c6380d3ef4ebb798e90fdd09ff7305 | SeqLen | FiniteSetsIsFiniteSet | TypeMismatch |
| 370a1ec91ae798f0982f0d25809ebf4db9af1c54 | SeqLen | FiniteSetsIsFiniteSet | TypeMismatch |
| 49cb653984f130b757aa7ba65582c7faf117c5be | SeqConcat | FiniteSetsIsFiniteSet | TypeMismatch |
| 2c62d9f7c6313aa8566a70c99198aa62bcdf81cb | SeqConcat | FiniteSetsIsFiniteSet | TypeMismatch |
| a2a8b78f4615b97685147eba583f9dc1a6b62110 | SeqSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| 5d99ab6b767cd05e79aefa1bb7db4fef44714255 | SeqSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| ab31fcb3f2668dcf8cea73d78e53db4817bcef35 | NatSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 80f63c084649419644655b49fba376337e9379bf | NatSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 3a84d82f18cd82c0fd2daff359e846e06ab67e3d | IntSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 00eaef114cc43c887e6f64faa1d45af73a3be15e | IntSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 2fcff39df41733fd27cf9d889d340980804aecc8 | StringSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| 01935a481a8386242cc22327d80fe00d3e669db2 | StringSet | FiniteSetsIsFiniteSet | CanNotBeCase |
| d00b3b0758f57c9442f432c873fc291ae23966f6 | SeqSelectSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| 60757ba3330acb59ef99f1a7dbd653fb98a20846 | SeqSelectSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| 86f8a1765321a0cbe64d6ec6727eade604c6e122 | SeqSubSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| aa83e06b1e3220a7f17fc14814fb740a0d0aa85a | SeqSubSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| ba358d6018f0fc4be80ac395c17589a94e708a51 | NumRange | FiniteSetsIsFiniteSet | TypeMismatch |
| e6f49a4d0a83ae18254cdb8b71afc5fd5ea0e39e | NumRange | FiniteSetsIsFiniteSet | TypeMismatch |
| 9a58ffb4d68fb8f0dbd5b62f5612dc3cd6fa8c3b | TlcExtendFun | FiniteSetsIsFiniteSet | TypeMismatch |
| dddc3ade24bc5ebb1d3dba91334052aca6892782 | TlcExtendFun | FiniteSetsIsFiniteSet | TypeMismatch |
| cd589c84d8ebc29fc884b20e6f3ffa0fca2d454c | TlcPermuteFun | FiniteSetsIsFiniteSet | TypeMismatch |
| 5518d8de99c8999a01a092366181f163d0c88dd3 | TlcPermuteFun | FiniteSetsIsFiniteSet | TypeMismatch |
| 7ca57f2bced17c912f4b73055593d8025455a514 | TlcSortSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| 64e1cc24286ae88e8209aee0e15f198a8b26fb97 | TlcSortSeq | FiniteSetsIsFiniteSet | TypeMismatch |
| 14216a1313138b2fce47b6fef7ac92feefbc78ab | BagBagToSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 28a99f1044c0f8683ee75a1b6c038522724f112e | BagBagToSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 4d46079f2bcdca474994b6550d20ced1464b4adb | BagSetToBag | FiniteSetsIsFiniteSet | TypeMismatch |
| d18f4c0d1b7dec8d58538291d1a45720368defd4 | BagSetToBag | FiniteSetsIsFiniteSet | TypeMismatch |
| cce84017cc0de4289ed37240a8b295ef2d3ed009 | BagEmptyBag | FiniteSetsIsFiniteSet | CanNotBeCase |
| 50a33ade46e750b3cb2a745b47c72e57362b5087 | BagEmptyBag | FiniteSetsIsFiniteSet | CanNotBeCase |
| c0a3deeb89c3d690d83a0f708b20c368a31d0f07 | BagAddBag | FiniteSetsIsFiniteSet | TypeMismatch |
| c06f02f847c25e7835077b57a651752c7a751cda | BagAddBag | FiniteSetsIsFiniteSet | TypeMismatch |
| 0fbcd1abe37def754e16aae53252f6819800dcfd | BagBagSub | FiniteSetsIsFiniteSet | TypeMismatch |
| 89b171352b209b73f54574cbc0ff8a080fb20dba | BagBagSub | FiniteSetsIsFiniteSet | TypeMismatch |
| 2f41ea3926597f3d8b4d27e1d450c878ec5a0349 | BagSubsetEqBag | FiniteSetsIsFiniteSet | TypeMismatch |
| 454346ed7f7b1bb58976d9303eca907aecedff51 | BagSubsetEqBag | FiniteSetsIsFiniteSet | TypeMismatch |
| 0f264fca2c9bf2657354efa8e17a9c767da348c2 | BagBagUnion | FiniteSetsIsFiniteSet | TypeMismatch |
| 409f73d9b7db540117264399ba04454ae91d2600 | BagBagUnion | FiniteSetsIsFiniteSet | TypeMismatch |
| 39f026e27f1ecc3e91a9b50a826c3698d6443ad4 | BagBagCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| f4ed1202727255a5da6985b1e4034c5ce0015d7a | BagBagCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| c2aa24f5c306a3bef9b433215b9e5723ef616083 | BagBagOfAll | FiniteSetsIsFiniteSet | TypeMismatch |
| 09e7bf5c47ac84ae1802f92fc7b5a9955c62d3aa | BagBagOfAll | FiniteSetsIsFiniteSet | TypeMismatch |
| d1fdfae795971dee809c241a67e1a8e21cc5fc0a | BagSubBag | FiniteSetsIsFiniteSet | TypeMismatch |
| b4b4fe8df8857ca2f7677bc13d2720aca9c2a281 | BagSubBag | FiniteSetsIsFiniteSet | TypeMismatch |
| e4cda29b8b406234ad405821d3e95a3c404673e9 | FiniteSetsIsFiniteSet | FiniteSetsIsFiniteSet | TypeMismatch |
| acac77a825f92286a32d96f27840ec797686488c | FiniteSetsIsFiniteSet | FiniteSetsIsFiniteSet | TypeMismatch |
| 70a9d2db4c7e8b6891854ec70dc41c14340893ba | FiniteSetsCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| a614a156ddd2818c9e96bc2df3ec1a086417547a | FiniteSetsCardinality | FiniteSetsIsFiniteSet | TypeMismatch |
| 1dee9b80b95de5cfafac56e907307179bb8ac5ee | SeqHead | FiniteSetsIsFiniteSet | TypeMismatch |
| baf513bc8daf05168e1767147a1ab375f8eadba6 | SeqHead | FiniteSetsIsFiniteSet | TypeMismatch |
| f5768b6a49421411c60472692f6f25cd16d42e12 | SeqTail | FiniteSetsIsFiniteSet | TypeMismatch |
| d633fbc1b927fde98b28f5ec7290f9775f90f14f | SeqTail | FiniteSetsIsFiniteSet | TypeMismatch |