| Id | Case Feature | Plug Feature | Skip Reason |
|---|---|---|---|
| ca3c2a31de5f1dc55a012aa4a1461e9bdc4d9585 | OneLineComment | BagBagCardinality | CanNotBeCase |
| 6085387875a437f02ddf1cfc731ee75fbb4c8689 | OneLineComment | BagBagCardinality | CanNotBeCase |
| 69561cbeddc9301b510db9ddacd7d3bb30be0b9d | MultiLineComment | BagBagCardinality | CanNotBeCase |
| e3980b14512633dacc8d35f70b2cc1b1aaada42d | MultiLineComment | BagBagCardinality | CanNotBeCase |
| 5d639471cec37624565e54acddbfb86c49e221ba | BoolTrue | BagBagCardinality | TypeMismatch |
| a0925e2bdf2d7c2e14af16d32a403e48ea78fcd0 | BoolTrue | BagBagCardinality | TypeMismatch |
| 847b8aebe6f798e530c3c5c4bb20040e29b0fb15 | BoolFalse | BagBagCardinality | TypeMismatch |
| 24332b81e2a7ee122bd442b4eb32adb47a5c858e | BoolFalse | BagBagCardinality | TypeMismatch |
| d2e6bfc8071d434e3496123a67b00886daba955b | BoolSet | BagBagCardinality | CanNotBeCase |
| 16a942e9654610adf3aed1a858ef8b6f4f9c9b1b | BoolSet | BagBagCardinality | CanNotBeCase |
| 4da74ee38a285f1a0c4006395abe2a214592323b | And | BagBagCardinality | TypeMismatch |
| d463377b80e319b84c54ae1fe851e8f135da965b | And | BagBagCardinality | TypeMismatch |
| e17d57416a38ed1cbd78057cc099a8b8827480fb | AndMultiLine | BagBagCardinality | TypeMismatch |
| f18115bd2592f00d986005edfdfaf030e4fa5037 | AndMultiLine | BagBagCardinality | TypeMismatch |
| e2e9ce186355172b654cdcd72beccfad54ae52d6 | Imply | BagBagCardinality | TypeMismatch |
| d9af622d8ca15f16d2d8e0d4bccdbf2691af16eb | Imply | BagBagCardinality | TypeMismatch |
| e16dd975b3ff09af42ce521ae2702f67c7f6344a | Not | BagBagCardinality | TypeMismatch |
| 366686683877cceb600d38907cb88bdad052dff7 | Not | BagBagCardinality | TypeMismatch |
| 82675044d5bd2e51ebede94b2c6dbcfb9ea91eda | Or | BagBagCardinality | TypeMismatch |
| de01660a435b285e92dc2352b84c2255af2a1779 | Or | BagBagCardinality | TypeMismatch |
| ca0b412e2f7ce251f718c8e76b8dfe5819b42450 | OrMultiLine | BagBagCardinality | TypeMismatch |
| 7613b3a4c229df67844d8964c725376ea621f420 | OrMultiLine | BagBagCardinality | TypeMismatch |
| 21b77d626905202e1fcc215c7599f19fa348a114 | AndProp | BagBagCardinality | TypeMismatch |
| 4ac8c6977778cc4ce9f1e6faf5bc7ed114f3924b | AndProp | BagBagCardinality | TypeMismatch |
| 77fac1dc72dad53432ffdaf9db972ac369cfa794 | Boxed | BagBagCardinality | TypeMismatch |
| 4be2598186304694a8a62f76355317122fc74548 | Boxed | BagBagCardinality | TypeMismatch |
| ddfc3ac6716f8303ddc4c2ffa645c39db977b157 | SetEmpty | BagBagCardinality | CanNotBeCase |
| 5bf6ee619bf6d51b50d2a6e35e8e8223d2e79dc7 | SetEmpty | BagBagCardinality | CanNotBeCase |
| b68eaccf4a335728d213e138eb7a7697996f6cef | Set1InDef | BagBagCardinality | TypeMismatch |
| 2df347848c35618c1bdb0719bcc7fefc28495518 | Set1InDef | BagBagCardinality | TypeMismatch |
| 854ede4ed0d166e55fa7a87a70986611fd0ad200 | Set2InDef | BagBagCardinality | TypeMismatch |
| f27e6c9233f4863735c79fe01bcd1b3ec6ee378f | Set2InDef | BagBagCardinality | TypeMismatch |
| 6bc230ae294f6c255dbf174f7daad2476ce91c7e | InDef0 | BagBagCardinality | CanNotBeCase |
| 270af2d5d8e6d2ce3519c083c24810989147c537 | InDef0 | BagBagCardinality | CanNotBeCase |
| d40400d7790d851238097f782a2e5619aa06d048 | InDef1 | BagBagCardinality | CanNotBeCase |
| cbae316ac5cfb5475121f6c9eb6ba0aae4b0e4c6 | InDef1 | BagBagCardinality | CanNotBeCase |
| bde419c2a48d615774b950a319af5110080a507f | InDef2 | BagBagCardinality | CanNotBeCase |
| 56d5ded3b5a57a21eceabd6a38966b0d0bce0455 | InDef2 | BagBagCardinality | CanNotBeCase |
| 5cff04242f6197dffdf9d56f77a782e38d0ed0eb | FunInDef | BagBagCardinality | TypeMismatch |
| 0c82ebde0d62469897e90a685a96ff3916224696 | FunInDef | BagBagCardinality | TypeMismatch |
| 9d2a6ab64a48d7af64fe0242762059e0bae83263 | Exists | BagBagCardinality | TypeMismatch |
| 7c129417aa253c9f74e033981bd6d57079b94270 | Exists | BagBagCardinality | TypeMismatch |
| 909c64ce37228e11e26ff4e6af3945bad3622c32 | Forall | BagBagCardinality | TypeMismatch |
| 6dfa3c6b4239202864c211efd4e67730970fb8fb | Forall | BagBagCardinality | TypeMismatch |
| 42aa17daa41c2f730401a556d601b1e0b32746d8 | ExistsInDef | BagBagCardinality | TypeMismatch |
| 74341581ef064792da89d9f7c4b105bce05db0e3 | ExistsInDef | BagBagCardinality | TypeMismatch |
| 513c5d0c27d3e91e02a0da10ac972d1daefb00c9 | ForallInDef | BagBagCardinality | TypeMismatch |
| 4f26698c001eecf32521cb701a63a748155bd000 | ForallInDef | BagBagCardinality | TypeMismatch |
| db60a32957357e9faa6a4012052b31a856b74b6f | Choose | BagBagCardinality | TypeMismatch |
| 2884fc3248473045c22f4da9422f8b82dac07411 | Choose | BagBagCardinality | TypeMismatch |
| f1c2f739674de6c74a968d907bd9f5aac50969bc | ChooseInDef | BagBagCardinality | TypeMismatch |
| 5b87093b7a4ea7bd6315d95c868c3892b68ef3b5 | ChooseInDef | BagBagCardinality | TypeMismatch |
| ab7030319e66a4d7d593ee4306397e9e8334953d | TupleEmpty | BagBagCardinality | CanNotBeCase |
| 74026f15f80c8f266896292c4e6546cdc01a779c | TupleEmpty | BagBagCardinality | CanNotBeCase |
| fc0c8970c3e4bd0947f66070624d97eb4a42c676 | Except0 | BagBagCardinality | TypeMismatch |
| ec43e83df92e528e1a019437a9f4f121ba89eb7a | Except0 | BagBagCardinality | TypeMismatch |
| 8bf2cc5d3b285ef3daffbbe2cbc177253ff04c6a | Except2FunTuple | BagBagCardinality | TypeMismatch |
| b05574d047fa79d6e6d290f94e6c4178d794c128 | Except2FunTuple | BagBagCardinality | TypeMismatch |
| bf85e1a87a24a4cf3cdaa6c2487d967c2fac51c9 | NumZero | BagBagCardinality | CanNotBeCase |
| 20f96cc9ae9e1b8923d33842a04fc8e47073312c | NumZero | BagBagCardinality | CanNotBeCase |
| e7a82f81ec3f8049d15eec15cec552fbe15f2fce | NumOne | BagBagCardinality | CanNotBeCase |
| 463ae4d0fe708c7a663522ebcea3a6de19ca72b1 | NumOne | BagBagCardinality | CanNotBeCase |
| 173ffe3857d71c69da2c10dfceb2b40deb702d64 | NumMaxInt | BagBagCardinality | CanNotBeCase |
| 165f513d5f554507963626b5d7362c48c6437f92 | NumMaxInt | BagBagCardinality | CanNotBeCase |
| e30a5569a4d45f201c775df8991213c374d54792 | DefFunInDef | BagBagCardinality | TypeMismatch |
| 91e1c1a8b451419e68e45fcd2dc8ed7fa0941d01 | DefFunInDef | BagBagCardinality | TypeMismatch |
| e6bf16c36b9fa28de0797f42459fe447441cdf91 | LetDefFunInDef | BagBagCardinality | TypeMismatch |
| aa26d9910c36c0d6eeb7cb964f4bce07caa8a091 | LetDefFunInDef | BagBagCardinality | TypeMismatch |
| 79e39d83aa7f351d3398227c45d6117fd40c4582 | ConstantModelValue | BagBagCardinality | CanNotBeCase |
| ab4ecf0b69cad551d8ee276f7ea9177deaccd9d0 | ConstantModelValue | BagBagCardinality | CanNotBeCase |
| d0e9622aa7bd3ad7c52b415491187eaef1d2fa0f | Enabled | BagBagCardinality | TypeMismatch |
| ebec3da1f7d3068df4f30acd592bec8251f6da72 | Enabled | BagBagCardinality | TypeMismatch |
| 797b3126dbde4c7b317eb15eb24cbcb540c4ba19 | Assume | BagBagCardinality | TypeMismatch |
| d8b2fa9d7781f90e8cc4d1660b7bbde78c28d8b5 | Assume | BagBagCardinality | TypeMismatch |
| 73cef453116a563f5268b8587464a4538f9830c7 | AssumeNamed | BagBagCardinality | TypeMismatch |
| ac2f162a7547a262dbe88c0349430a3a9ecf60ee | AssumeNamed | BagBagCardinality | TypeMismatch |
| b59480194d6378b050a4af500066bc042bdb808a | Cross2 | BagBagCardinality | TypeMismatch |
| d997a4bbbbb408d1750abeecd0078e658b3265e3 | Cross2 | BagBagCardinality | TypeMismatch |
| a84af6e4406645a2162e37c607a4799c24c244e7 | Cross3 | BagBagCardinality | TypeMismatch |
| 78678311bfa2c8f55081e7ef794db1b8930056ce | Cross3 | BagBagCardinality | TypeMismatch |
| b914f462cb0cb737bd9a28b4eb3363ce0b2e1307 | FunSet | BagBagCardinality | TypeMismatch |
| 943c413913dc4d4a5c8e8c952e7e8f49268ba00a | FunSet | BagBagCardinality | TypeMismatch |
| 75dffa8058a68ff96a6bab83a46c1e1049e43ced | RecordSet | BagBagCardinality | TypeMismatch |
| 883f8a7835f4354f7eefa176b75e1ac6674e9fa6 | RecordSet | BagBagCardinality | TypeMismatch |
| 1d546a099d1b214830cad35ca9aa97631c5f6116 | SetDiff | BagBagCardinality | TypeMismatch |
| 97ed785c386871ebfdb053f8c3f2533558f1204f | SetDiff | BagBagCardinality | TypeMismatch |
| 5863ffe00f9efe57408c51a83c6037dee3d0b998 | SetUnion | BagBagCardinality | TypeMismatch |
| cbc2a9a22fe143a3c051b7111b432c8e908522fa | SetUnion | BagBagCardinality | TypeMismatch |
| e937afacf45035d8201ae4cac68e7c81fdc90a95 | SetIntersect | BagBagCardinality | TypeMismatch |
| eb4bf1407ebe11d6e12b3ba86593b40cd9a4e145 | SetIntersect | BagBagCardinality | TypeMismatch |
| a3809310e1275aaa3dcc8005467878ff421910e6 | SubsetEq | BagBagCardinality | TypeMismatch |
| 08bbf7455f352d44da1d538d3dd5961578ce9ced | SubsetEq | BagBagCardinality | TypeMismatch |
| 11feda17631dd4d4d53ee2fa8a5bcecc02cb1c1a | IfCond | BagBagCardinality | TypeMismatch |
| 7b453afca5de1b8cf5069a93f2baf3be01b82b4e | IfCond | BagBagCardinality | TypeMismatch |
| af756bd3053e5ff09fda5995d80cfe51a1fcf915 | Subset | BagBagCardinality | TypeMismatch |
| 57b81ebda36632db1a2382538f68cd720423a837 | Subset | BagBagCardinality | TypeMismatch |
| 31d559bf02945ae452f49c301081e5f16dae2790 | Domain | BagBagCardinality | TypeMismatch |
| 9b20375095647578cc706d40fad81c94cad23ada | Domain | BagBagCardinality | TypeMismatch |
| a44f40a73cb60d8d7561ffe2473408410c42aad8 | Union | BagBagCardinality | TypeMismatch |
| 9e566112ca0e45939e199808a12d3ad68aba1848 | Union | BagBagCardinality | TypeMismatch |
| e5068f443259f5b01baa17879b0d22397f3b7372 | Equivalence | BagBagCardinality | TypeMismatch |
| c546ecb387c5c87a03d6fbf41bbefbd3a00aa3e1 | Equivalence | BagBagCardinality | TypeMismatch |
| 6c2a6b546554483a7914d39b0241f31321f11055 | StringEmpty | BagBagCardinality | TypeMismatch |
| 6f1d8692e39a6ee44f4c24fe8ffcb5f694e527c9 | StringEmpty | BagBagCardinality | TypeMismatch |
| 1dc6bf241c9917bd78a813291a1787ffb2236a45 | String | BagBagCardinality | TypeMismatch |
| 8eed52aa1af82c5e848c6c09334ee06460054be4 | String | BagBagCardinality | TypeMismatch |
| ccb4f610cc529072be023e38b59c2f193421163d | SeqLen | BagBagCardinality | TypeMismatch |
| af2f64f30079d97ab47f76858c92338cdc1e7c09 | SeqLen | BagBagCardinality | TypeMismatch |
| d1cdbc18422e39b13b18f99c754eabd61324d2fe | SeqConcat | BagBagCardinality | TypeMismatch |
| 985dfe7caa685d3a7793d8f7a0db0e7998074b17 | SeqConcat | BagBagCardinality | TypeMismatch |
| 8f022008768d0bd27b66948d44d959501386732d | SeqSeq | BagBagCardinality | TypeMismatch |
| 09cb62e6a47f40641e224d546fcfba8fa89644d7 | SeqSeq | BagBagCardinality | TypeMismatch |
| e165b48ba230576f69220460a2da576ba28b1d28 | NatSet | BagBagCardinality | CanNotBeCase |
| 862505e2b0d7110943f2d7dd3bbfae0e142149ef | NatSet | BagBagCardinality | CanNotBeCase |
| 1d029aa74b873e578aadb7d0892e0ff520b89951 | IntSet | BagBagCardinality | CanNotBeCase |
| effd7817487db2536b89d5efa96cdbd3addd9106 | IntSet | BagBagCardinality | CanNotBeCase |
| 3302eee515887799cd891c0b0ded36f7866bafa8 | StringSet | BagBagCardinality | CanNotBeCase |
| 8a5651df1a09fe9ed4fef7287fa5d1f5ffcd6792 | StringSet | BagBagCardinality | CanNotBeCase |
| d18969d9bb27265363ae48d9e51ea5fe6e232f6c | SeqSelectSeq | BagBagCardinality | TypeMismatch |
| 194aa779b488b846e9f0305ede70f4ec85c34b29 | SeqSelectSeq | BagBagCardinality | TypeMismatch |
| 28a3db3d9e8c57a9ce4f12e3d77cb8638377db78 | TlcExtendFun | BagBagCardinality | TypeMismatch |
| 75f4a7ad433eb66636d4bb84998fa185deae3556 | TlcExtendFun | BagBagCardinality | TypeMismatch |
| 76652a4f5383a6e270e6fca0f10d06743108df9a | TlcPermuteFun | BagBagCardinality | TypeMismatch |
| 9e5b311e5dc20f7272bc537d4cb2ce8759d60333 | TlcPermuteFun | BagBagCardinality | TypeMismatch |
| 5432b616b8f8d8ad81b2ca2e2499638c9859560f | TlcSortSeq | BagBagCardinality | TypeMismatch |
| 2dc944931ea1bebb4608c6d8371dbfe2781d1bc1 | TlcSortSeq | BagBagCardinality | TypeMismatch |
| 9f1e09b54848cf8d2408ef8b667f4c7541ca8a8d | BagBagToSet | BagBagCardinality | TypeMismatch |
| 3dbf47557a7f5317a34bc5e3c22579695727f214 | BagBagToSet | BagBagCardinality | TypeMismatch |
| 85cd086878076e0a7633d3445b9dfa3b11e26927 | BagSetToBag | BagBagCardinality | TypeMismatch |
| c8b8fca97531445701a39be1429cd327afd56b8c | BagSetToBag | BagBagCardinality | TypeMismatch |
| 9b5069d9fe90f10a0025574ae342027131da4f77 | BagEmptyBag | BagBagCardinality | CanNotBeCase |
| 829adc4d5dbccf4347f0afd78bb1410c3f5d9104 | BagEmptyBag | BagBagCardinality | CanNotBeCase |
| a885240f94c0d4ded38562860d5732a76d62ef02 | BagAddBag | BagBagCardinality | TypeMismatch |
| 03a7cb1100e4f799c90dd4c0293a4e0ab4ba579e | BagAddBag | BagBagCardinality | TypeMismatch |
| 56b1ea941c0ab0a716b2f2f2ab1e0c4348fe5157 | BagBagSub | BagBagCardinality | TypeMismatch |
| 2868b7dea64eb57579dbba4f3eee81554f2c2554 | BagBagSub | BagBagCardinality | TypeMismatch |
| 984b614e5806c81ba783beb9be5f1b486d475aa6 | BagSubsetEqBag | BagBagCardinality | TypeMismatch |
| 9f68b6f14f1aa0de6fe9dbd96aab775077d9180d | BagSubsetEqBag | BagBagCardinality | TypeMismatch |
| 1bfcf12e846acfbe7ea71936790673ebb18478b2 | BagBagUnion | BagBagCardinality | TypeMismatch |
| aebec749f92e8b491398a72216e975cfdb21bc13 | BagBagUnion | BagBagCardinality | TypeMismatch |
| bb0db1a2d474c3a5ee2954cfe5f5821ee76578fe | BagBagCardinality | BagBagCardinality | TypeMismatch |
| 62cb3271086cad1e3ecfad129e9d9064012a9fd0 | BagBagCardinality | BagBagCardinality | TypeMismatch |
| f31371e4925b9af65e34449f87358aabe43f3cd1 | BagBagOfAll | BagBagCardinality | TypeMismatch |
| 5ae67bb11f874b8134956414e456528e87247ead | BagBagOfAll | BagBagCardinality | TypeMismatch |
| 3a63e29913746f18acff64c70875755467fa1359 | BagSubBag | BagBagCardinality | TypeMismatch |
| dc307afbd0c58e955553098aec29022633caebdb | BagSubBag | BagBagCardinality | TypeMismatch |
| 1a6f2caaaf20d099329efa7d735d75f326678b33 | FiniteSetsIsFiniteSet | BagBagCardinality | TypeMismatch |
| 117176b46af3866a1e38707586d89dc480f95774 | FiniteSetsIsFiniteSet | BagBagCardinality | TypeMismatch |
| 03af95c136ae8cc21af0c5360bce778b4a7e2ef7 | FiniteSetsCardinality | BagBagCardinality | TypeMismatch |
| 32ced0164d5baa34254588754c5c65e08f117d2f | FiniteSetsCardinality | BagBagCardinality | TypeMismatch |
| 4842a91652a800311e6cb6b5bf85e9d89ca95b95 | SeqHead | BagBagCardinality | TypeMismatch |
| e7958c89d1a749906a9877aa53d8576944ce0ad2 | SeqHead | BagBagCardinality | TypeMismatch |
| e43c6193bbddce9245c7256a5f5a54c282140d26 | SeqTail | BagBagCardinality | TypeMismatch |
| d196d269132f0dcddc4ac67efff156fb4b761953 | SeqTail | BagBagCardinality | TypeMismatch |