Index

Skipped feature combinations by case feature SubsetEq

Id Case Feature Plug Feature Skip Reason
157fb1a24a24e33bd6dfc8933c31ad183ba1f75c SubsetEq BoolTrue TypeMismatch
9f7bc7bb228850a651a2499167f1cb4d0cfe3072 SubsetEq BoolTrue TypeMismatch
9a75b557ba2e8f0196e22827003d28b450c69b02 SubsetEq BoolFalse TypeMismatch
833d34df06d87344e210339115abc0e4392de73f SubsetEq BoolFalse TypeMismatch
72cbb306d53d7a741808073c74d5a7fc1bd3da73 SubsetEq And TypeMismatch
5055b7eb60e2172fd7741a393b7343039f2f6bcb SubsetEq And TypeMismatch
bffbfb8da20b230d86e200cb634884b1a0edbf1c SubsetEq AndMultiLine TypeMismatch
cc7bd1c0abb06f3d8a26e8afa706514f60b2c7fa SubsetEq AndMultiLine TypeMismatch
ede883d2462a26ccb5416cec8309ae0e0bd39a0d SubsetEq Imply TypeMismatch
de1fcf29fc3fdfe804c81ecdd06b145787fe25cd SubsetEq Imply TypeMismatch
a7c475c21177ca7458396f4f95530d14f9396452 SubsetEq Not TypeMismatch
8bc3f7f9821c273fe987b2b14d58bebc13ac7c57 SubsetEq Not TypeMismatch
ecb2b54562f5821ae1902fe01ce859d8ab94f57a SubsetEq Or TypeMismatch
f4fd8a9c32f5735cda34be38392463b627e4d8de SubsetEq Or TypeMismatch
a6ad76bb3d2e9e14958f4d041829e1c60e62c78a SubsetEq OrMultiLine TypeMismatch
c076447c69adf239b181cf1101fb3ad2eb249edf SubsetEq OrMultiLine TypeMismatch
2e83d2301517bf82b76527e2e3286e2e5db10e03 SubsetEq AndProp KindMismatch
5d0d43f8e7f2754ce1dced08eb61e82c6ccbe9a0 SubsetEq AndProp KindMismatch
f634cb460bd104d88a1537ad399c1e5ad04919a6 SubsetEq Boxed KindMismatch
fd1b082a15b5f2a914951ac0681403da2b96bbf9 SubsetEq Boxed KindMismatch
da26de66ebe7df0d8fb09dde6e180d06a948d7e3 SubsetEq Eq TypeMismatch
5ba79a4e8da5c47170d7b2484ed9fb30b6f29e7c SubsetEq Eq TypeMismatch
7627d1d9f4f16369846402e65a0737d6e7e09d03 SubsetEq Ne TypeMismatch
6e4643a3b3b0f8a3648dd6f71d9aab6a363e70df SubsetEq Ne TypeMismatch
7dcf23824dd059152718f92891a2374803552f0d SubsetEq Set1InDef AlreadyCombined
7f72a2c7ba00a1363ca1037c94c3a6e7f59937e0 SubsetEq Set1InDef AlreadyCombined
9bbfcf77604ebf73ea12bbff4df1b4e23282a06d SubsetEq Set2InDef AlreadyCombined
f883474b76908a419ffd0566783a99215079a1a1 SubsetEq Set2InDef AlreadyCombined
0c4f84d8a0ea6ca2256738a88c38f40d8c2f2271 SubsetEq InDef0 TypeMismatch
0a1dcd0f5ec62fee3bed3727c42a227d463c4149 SubsetEq InDef0 TypeMismatch
7afced45867fe08ef3156308017764b8dbeb525a SubsetEq InDef1 TypeMismatch
15dd6310010a453ac90c4e6918dc6842506a40f9 SubsetEq InDef1 TypeMismatch
3150f3710afe36b2a311740227b131a386102ee1 SubsetEq InDef2 TypeMismatch
28ca6e8403ad7f0eae2c29185cf307b3133b1d4f SubsetEq InDef2 TypeMismatch
702883aad4e1ac77ba0c7463e07c8d45a11bfe58 SubsetEq Fun TypeMismatch
ff4bc0ad16cc4b58e16a72727f9d61af3a75375d SubsetEq Fun TypeMismatch
57f3eed87f417b8a60a7d9a5469a0fe14cc3393e SubsetEq FunInDef AlreadyCombined
c7896d8c57320aeef1d4672d92bd5167f9b98cc6 SubsetEq FunInDef AlreadyCombined
81867912ae477cc399c855672b409b360ee17200 SubsetEq In TypeMismatch
d32e1b5e3a296ebeafdb1f90711ab7258c8adc77 SubsetEq In TypeMismatch
8f7d21093eba8f21177c10455f98f01735b23f10 SubsetEq NotIn TypeMismatch
810ecac8077d58a885bf43b8c733acb5b9d14c1d SubsetEq NotIn TypeMismatch
2cd4a7fbd2232bc8ef5854a13d9694aaf3caab6b SubsetEq Exists TypeMismatch
ba2cb78c498fa252a89e934e5eab06df01411e60 SubsetEq Exists TypeMismatch
6b967a269808c578db1a6b7ededfed75db86a038 SubsetEq Forall TypeMismatch
9229ad6e717425ff91660ebf9930e398bb7f74c8 SubsetEq Forall TypeMismatch
4fc3b81bef372ea6a2f8c6dc4a4a4f7635941ab5 SubsetEq ExistsInDef AlreadyCombined
7feb2ec628f00588f31250d60bfe0b195fb6e829 SubsetEq ExistsInDef AlreadyCombined
7c5bd7e1e6f8869f165eec3c329faca29d09d2de SubsetEq ForallInDef AlreadyCombined
39b2b2270b74d9430c825517ce60be0688d099fd SubsetEq ForallInDef AlreadyCombined
4f8c21278e78c5bd5dbdeabb91f3331ed7837a6d SubsetEq ChooseInDef AlreadyCombined
d43459988e4a321c4a906a6fc7e3d082db9c45ff SubsetEq ChooseInDef AlreadyCombined
b22c5c9d3022bbeaa29f463a3a1922da6d82f744 SubsetEq Record TypeMismatch
d757b8c458ee0c370bddb256fbf6c51394964ff4 SubsetEq Record TypeMismatch
da0f1ef1eaa85bcc9d36e0ffdb87c031dacdb6f0 SubsetEq Tuple TypeMismatch
97707093f31a877655635660f4b439582cee611e SubsetEq Tuple TypeMismatch
e1b612c28c44d48e80389b75c11007146c0fbfb1 SubsetEq TupleEmpty TypeMismatch
a32adfb859e3080fe3a96dccd2eb5806d347c20a SubsetEq TupleEmpty TypeMismatch
09ec2ea87744381b8c199fa65e2a237580d9f83e SubsetEq Except0 CanNotBePlug
385c91b29fafa75f48b4fc322726bbb048d4232d SubsetEq Except0 CanNotBePlug
f8dcff6fcd55ac1f00723ff365fe31673143528b SubsetEq Except1Fun CanNotBePlug
faa46403e9427bc03816e39ee975f271429d9505 SubsetEq Except1Fun CanNotBePlug
d634f3391932aa3a886846eb47eccd339b11b721 SubsetEq Except1FunWithAt CanNotBePlug
c849505caff8c1f4a6fed4ab98684ed90ceef1a6 SubsetEq Except1FunWithAt CanNotBePlug
2bb765ee26c79f7c44a094c65a5862f1aef7ef3e SubsetEq Except1Rec CanNotBePlug
44a970790f827528e4130f473a7c1b462f59450c SubsetEq Except1Rec CanNotBePlug
a51dbb80fc0f09dfb5d248abbb87934032bfd540 SubsetEq Except1RecWithAt CanNotBePlug
1861160ce18a66047267585bcb9a3a4553dd41c6 SubsetEq Except1RecWithAt CanNotBePlug
3f9c994a52af066237f353685646deccb02e709e SubsetEq Except2Fun CanNotBePlug
c189c9a1f3a7c506356c786d6c2d2a1904c98f3e SubsetEq Except2Fun CanNotBePlug
8af50f9764ea84d8c338ee81399175e6a21100b3 SubsetEq Except2FunTuple CanNotBePlug
9e5b8446960071ba835c5def0b0895326e888a7a SubsetEq Except2FunTuple CanNotBePlug
6bd6117a0da27398f6c27def3ff57884d27f720a SubsetEq NumZero TypeMismatch
791901c6362d7cbd5b20f18c3e79913d633f4da5 SubsetEq NumZero TypeMismatch
98f642c3c94551e7762d3791221b0fcd57df18f6 SubsetEq NumOne TypeMismatch
18ec442337be2730482fd128833f7cff8356462a SubsetEq NumOne TypeMismatch
9db27faa03461295d85831dc43f42fc9d55b322d SubsetEq NumMaxInt TypeMismatch
89915318481682ec27c3a260911f9ba6679417c3 SubsetEq NumMaxInt TypeMismatch
17f3209c44971edb0d1e51ef93866cd055892c12 SubsetEq NumUnaryMinus TypeMismatch
4d8a5410da3fe5c0a1ec4e443a5f1d423b627c26 SubsetEq NumUnaryMinus TypeMismatch
4b2298297a78fbbd482f8930756fd8bda75bdea8 SubsetEq NumPlus TypeMismatch
2456a180d8dbb1120e9fbc8203a1c4d2c4624497 SubsetEq NumPlus TypeMismatch
177947cf9ccf917da1e8921876a4c3c67a1a12f6 SubsetEq NumMinus TypeMismatch
384f44453bb5e37014ba09d93f2cedbac31f8152 SubsetEq NumMinus TypeMismatch
02862da5c675bbd1004d0570a23ff2277b606acd SubsetEq NumMul TypeMismatch
7181d8e2dea5cc37589c35c447bb9af3d65a50bb SubsetEq NumMul TypeMismatch
8a7244301db6ec682efe5ade5e077d2bc3a2805d SubsetEq NumDiv TypeMismatch
f3a560a336794e89132a0f252eb353e2422b7299 SubsetEq NumDiv TypeMismatch
3c2eddff8ef645d16b2446b6f688b0825d2f88b8 SubsetEq NumMod TypeMismatch
b1231e2abc33450aef16d7f13870afa5316f2e73 SubsetEq NumMod TypeMismatch
bf0422d58f52164b9a171bf498e27d6e4da5f52e SubsetEq NumPow TypeMismatch
ee722d3a7f55cd48ece6fe62ac3c7cad08f864ff SubsetEq NumPow TypeMismatch
3030f158a3768e2f871767a1df95ff4e84d9f5bb SubsetEq NumGt TypeMismatch
e958c56bc5ab17fe3d656c4a49622748e0fd79db SubsetEq NumGt TypeMismatch
f5855720b600fccb6c5d378baf232e4b552c6e74 SubsetEq NumGe TypeMismatch
97c05958da25fdb1b09c85d6944c6c640dfaa86f SubsetEq NumGe TypeMismatch
7a36b0733a69a48c078dabb6b63138eac89756b0 SubsetEq NumLt TypeMismatch
19ca4848d7d92343a895d7d5261d81253fc818e8 SubsetEq NumLt TypeMismatch
a5e08b1751769ff659c1228f8e7a01e2603830aa SubsetEq NumLe TypeMismatch
cda8ae96bb4b70ec10b58095244e44923d4978b5 SubsetEq NumLe TypeMismatch
c3f880e66034242511d1ea1cfb5ab4956f7e4efe SubsetEq DefFun TypeMismatch
d10be91d16394c9838780077d1b6ba520d7a1d05 SubsetEq DefFun TypeMismatch
49b28854059a4f5c73395125b3692bff24f003f0 SubsetEq LetDefFun TypeMismatch
815260abcf7b1f8453c6828337b7f8ff67b2caf9 SubsetEq LetDefFun TypeMismatch
9d2688c2a9cac28ba22c8b35b2541a8cc6e0e27d SubsetEq DefFunRecursive TypeMismatch
1e96ec3beedfcda174e63868899e08adc3a8e525 SubsetEq DefFunRecursive TypeMismatch
9f6072d29d66ab383752d3df935df3a3fd2b1d64 SubsetEq LetDefFunRecursive TypeMismatch
0731bcdfb53a227872eb1260c901a6e29b050e7d SubsetEq LetDefFunRecursive TypeMismatch
7082440c5558cb343cee852a52ef0c10f69d68f9 SubsetEq DefFunInDef AlreadyCombined
010b74cb97c658b2883920458c8f1a4cbc09f05c SubsetEq DefFunInDef AlreadyCombined
2b031a7fcf29c44ef576560a021a361c4d1b9650 SubsetEq LetDefFunInDef AlreadyCombined
1fa43ee695266d489d39795f9df698f51a99e170 SubsetEq LetDefFunInDef AlreadyCombined
770b5ac8c610dbe6943feadffb8c9240a7ad1528 SubsetEq VariableViewExclude VariableExcludedFromView
7c313c3fd3590d6729dd311628ca46a1de82941d SubsetEq VariableViewExclude VariableExcludedFromView
8da6cd8fcb39119a0cbe0cf90768c4cf3b0d74f6 SubsetEq ConstantModelValue ModelValueCanNotBeUsed
1e028aea9f6af6b7d037e102d942a9a0a6a5d3f2 SubsetEq ConstantModelValue ModelValueCanNotBeUsed
633fe97256a8e3f250460abcd3b329d7ea854c39 SubsetEq Enabled TypeMismatch
130cbbd920be9e81b2cca73005a992d2fed31283 SubsetEq Enabled TypeMismatch
5a78344abc5fc5424ec875a5f6f97ee8aba1b37e SubsetEq Assume AssumeIsNotEmbeddable
0094cc6007f463c1bf1e8a87b96c5f04324afe70 SubsetEq Assume AssumeIsNotEmbeddable
acfd32dc8875cfe050cce71c6f9114dda142a30f SubsetEq AssumeNamed AssumeIsNotEmbeddable
b8f264b53d2e9795dde9faf829d590fffd244078 SubsetEq AssumeNamed AssumeIsNotEmbeddable
4ca6e3b4018659c3711a7d37035880382d8be8d6 SubsetEq Lambda TypeMismatch
d47125c43fc5a350917a48a9ab22d124e65de6fd SubsetEq Lambda TypeMismatch
fcbbe733aeec02cbb30cf0f6879a386ee13b6286 SubsetEq SubsetEq TypeMismatch
e2dd15c8d7b44054c2458b116590950951018c48 SubsetEq SubsetEq TypeMismatch
bae63168b8caa07ddd4fba6bfa9bf37543771191 SubsetEq Unchanged TypeMismatch
8b96dc8d61b4d4ca8be2f94bf63d8633bbe856ba SubsetEq Unchanged TypeMismatch
f600fc3808e326c4c12469894de8a722383a7d6e SubsetEq Equivalence TypeMismatch
d785a47ce0d470254458970596e21eac7ec69358 SubsetEq Equivalence TypeMismatch
52b8df9f90368a8f588f83c2e38256de2b96d34c SubsetEq StringEmpty TypeMismatch
72e77b98339c54cb3146cfca34af47dabb6b58da SubsetEq StringEmpty TypeMismatch
d22d80ca45e98e09bbf15e51080655c61a3817bb SubsetEq String TypeMismatch
7ac17bb65b318af07e757bae7d5f4aee3ecf0d59 SubsetEq String TypeMismatch
97e396ddbd81714ae2a249598b958581f3295d3d SubsetEq SeqLen TypeMismatch
24e674979c1da52d3b5bc25b05fa70a61e4ff22e SubsetEq SeqLen TypeMismatch
43151a085e9394f8486976a629200e3976585dee SubsetEq SeqConcat TypeMismatch
e99699e071ba7fe756db3ac6f67732b061f177ce SubsetEq SeqConcat TypeMismatch
8aa7e765d55420d4dafb70c062ecd34e4283f0c0 SubsetEq SeqSeq TypeMismatch
b44c297472cab6f396cca9ae90d791102202378e SubsetEq SeqSeq TypeMismatch
ec6ed9f52c08fcfe973f0021557c982d18b7eef3 SubsetEq NatSet TypeMismatch
9f3dba43a5b3c8bd15d43b0a5d7c30b0f03d94a6 SubsetEq NatSet TypeMismatch
b58fa1b774b785c6d33c59f2295cb90c456e0e22 SubsetEq IntSet TypeMismatch
eb2d76cc1f3d14b788f27b494a79180364d9e088 SubsetEq IntSet TypeMismatch
fc4632406cd20c590ad73fec03eacdf9644b735c SubsetEq StringSet TypeMismatch
d7d794c4a05c31612f5375052daa889a0f64e0fb SubsetEq StringSet TypeMismatch
d8ff8448b169ec8389e9340d01d314e9e75ca912 SubsetEq SeqSelectSeq TypeMismatch
8d75dcc037697407375a1af14718a6d94df1e82d SubsetEq SeqSelectSeq TypeMismatch
6527519cb3d6c7e62f47d0f3056467360159d186 SubsetEq SeqSubSeq TypeMismatch
b0cc4f89c7fc15089f28844ece31d5f32a9bda4e SubsetEq SeqSubSeq TypeMismatch
d4c9d4e14cb21c2bf54f089413180c2f85756cf7 SubsetEq TlcSingletonFun TypeMismatch
ef6c2112c3034709d97c498fcc8cbd354645aca0 SubsetEq TlcSingletonFun TypeMismatch
1b79b5a5bb4b429b12060e137c347ae4f938beda SubsetEq TlcExtendFun TypeMismatch
616da5eb82127451a37f38ad448bfc726e90b242 SubsetEq TlcExtendFun TypeMismatch
e0c4567fac94300bf1ae271f04defd98bd7c2108 SubsetEq TlcSortSeq TypeMismatch
a88b94c0c20c67a875cd82b362e8f33d5768f5d6 SubsetEq TlcSortSeq TypeMismatch
eca668df67ea61f7119b92b23b21ef0025986c92 SubsetEq BagSetToBag TypeMismatch
783ffae8343ac5e72d2670bbb2bccfed5b2b5d67 SubsetEq BagSetToBag TypeMismatch
9fc3604f270b110fc97d96663417e4b11daa712a SubsetEq BagBagIn TypeMismatch
66b3b80a7163ba107c08a1a1831891ae32b36bde SubsetEq BagBagIn TypeMismatch
9c04b83780a4cdbcb875fd96981ec8d7b9ecb687 SubsetEq BagEmptyBag TypeMismatch
e2f15d7cf949b11b21b958d4ca23c1e76bfb4e20 SubsetEq BagEmptyBag TypeMismatch
f8647944efd8433ad018d05b68b50bee3c70ca77 SubsetEq BagAddBag TypeMismatch
eccb17b21d616d178c0f74da9af67f437f34661f SubsetEq BagAddBag TypeMismatch
8de753b42a860c64e8454556df90ae56ca91adbf SubsetEq BagBagSub TypeMismatch
e536543eb345646f382cd20a4936843a45916eac SubsetEq BagBagSub TypeMismatch
2197d466d24f484729b6915615bda8e4fc97f776 SubsetEq BagCopiesIn TypeMismatch
60f95cd68289002c7e4acb84f713219c5a2391d4 SubsetEq BagCopiesIn TypeMismatch
54a4ad1441a55daf4435b45f4d1143a9e608730f SubsetEq BagSubsetEqBag TypeMismatch
72a26bf0c9f4c5a9418b0ce41381e350357e721b SubsetEq BagSubsetEqBag TypeMismatch
fb5bb2d49950bc7eddf3878af2a4b73f2cd7bf43 SubsetEq BagBagUnion TypeMismatch
c69c8eec9531d577d4738bacf0c8a67a7f68aa33 SubsetEq BagBagUnion TypeMismatch
a3809310e1275aaa3dcc8005467878ff421910e6 SubsetEq BagBagCardinality TypeMismatch
08bbf7455f352d44da1d538d3dd5961578ce9ced SubsetEq BagBagCardinality TypeMismatch
228b39b6765ab3cb7edf1a64350404024f6708f7 SubsetEq BagBagOfAll TypeMismatch
8adbc6a3f870175c94e2f37174056f254fb91572 SubsetEq BagBagOfAll TypeMismatch
fa22213b42aa0c31d234b680fe5cdc8b55d6ac38 SubsetEq FiniteSetsIsFiniteSet TypeMismatch
3c25a91bc886677765e750cf796869b46938eb4d SubsetEq FiniteSetsIsFiniteSet TypeMismatch
229249b8e38dceefe5810069989d77de1e895df9 SubsetEq FiniteSetsCardinality TypeMismatch
53cd9f063dbb6e1a7426c5c4467cd1ab938f4a77 SubsetEq FiniteSetsCardinality TypeMismatch
79a70de04f50ef385354e0a31b1311114681d782 SubsetEq SeqTail TypeMismatch
a05d8bcfdfc38c3a7fa33889fb5cfdcaa3121817 SubsetEq SeqTail TypeMismatch
accd2c8da7e56e00d4113578690f4f4eab67644b SubsetEq SeqAppend TypeMismatch
3d2811619a70568bc1e38b2f12bad5cc82183606 SubsetEq SeqAppend TypeMismatch