Index

Skipped feature combinations by case feature BagBagToSet

Id Case Feature Plug Feature Skip Reason
998f2f634d08187195231ad47027aa97997a95c0 BagBagToSet BoolTrue TypeMismatch
f765b8349d5abff3c541a12f2a95fc17864757c1 BagBagToSet BoolTrue TypeMismatch
3d5ac3601676ef09fe53c33f7ccba5a66a0b72ad BagBagToSet BoolFalse TypeMismatch
a887c4c7c1b019159d574472a7d307f36d5c5d9b BagBagToSet BoolFalse TypeMismatch
4944564c4db798e22e5f748019a5e2ec25a35cbc BagBagToSet BoolSet TypeMismatch
deed7a751ecbfbc123b56fb56a99a5e380ae5554 BagBagToSet BoolSet TypeMismatch
94da3dfe5b10f403474627fa47b28f3402f068f0 BagBagToSet And TypeMismatch
9bb764fa14a3e0469220eb316dec94f7c6d1b94a BagBagToSet And TypeMismatch
ddf04f7de238be8ad10f6bb12a6e0490725ff235 BagBagToSet AndMultiLine TypeMismatch
befdb73829379bce626bbe4beb020ee51bbe590a BagBagToSet AndMultiLine TypeMismatch
79238d7ece2bd3c86114405c92477c3a5586d516 BagBagToSet Imply TypeMismatch
ae9f9cc981ef26126cb17e2bac934604c62218ac BagBagToSet Imply TypeMismatch
7cc0029af020c78c797161bdf44678e749e87b80 BagBagToSet Not TypeMismatch
7c96cdaf44527a34f7e1fcdea04e0fb5c70dd1c3 BagBagToSet Not TypeMismatch
f0a5cccb53d36fdc2bef9f4a0ba25696c4a6f4bb BagBagToSet Or TypeMismatch
56e6bbf70e64a76caf29f222449f05ebf8efc6fa BagBagToSet Or TypeMismatch
355f0f0b92f2af2f6b6dd333cc57e6bfe240bce4 BagBagToSet OrMultiLine TypeMismatch
42cfeb23392b2300a9380bae47f45fa6db7187e4 BagBagToSet OrMultiLine TypeMismatch
9559ac1ea5def40ee3ed5f92cc38a2312bca6c09 BagBagToSet AndProp KindMismatch
893b7f6d21d0e22d59f306d687c389b7d6e7db8a BagBagToSet AndProp KindMismatch
236669dc3a25ef30113877c923d9b554ad1b6068 BagBagToSet Boxed KindMismatch
6d581f8469d3356d110e9222f134b1b0d686093b BagBagToSet Boxed KindMismatch
b30cf85f75e9993c684cb05a1f072c285fd717fd BagBagToSet Eq TypeMismatch
563f4de6b5f97f9d5099e64333a254a9fae88af0 BagBagToSet Eq TypeMismatch
db107168f4cfd50c22f5f8ab21b3a3c31ef06e59 BagBagToSet Ne TypeMismatch
0bc5c80f498307187829238cf133aba3ffbc7296 BagBagToSet Ne TypeMismatch
b8f26a9a81d971188d4d89aff2a22cb10aa4ce7b BagBagToSet SetEmpty TypeMismatch
0794750d5c5c4bd1890d3e46939f5f133fb4a3e9 BagBagToSet SetEmpty TypeMismatch
90802f33fda0333edd95afcbf57de2809c5a32c0 BagBagToSet Set0 TypeMismatch
833953f00e60f94e18b355779f013c85a7a9815a BagBagToSet Set0 TypeMismatch
a6b4c514b9b9d896746ad3b27ce7171ed0e1bb38 BagBagToSet Set1 TypeMismatch
d6ca21b1d0a3a19fa8165cb4f0f260cd5fd98bc8 BagBagToSet Set1 TypeMismatch
26b9de5c7ebc8a332798b9b84ad16678441f5521 BagBagToSet Set2 TypeMismatch
99cc1e2dcb404a7813780044891398e9304368cb BagBagToSet Set2 TypeMismatch
17c8a60d28387ead4aa79dc39f1614939f8a7f53 BagBagToSet Set1InDef AlreadyCombined
d78a2bc3eabd2377f5a5b5bad147633df5bf9b8e BagBagToSet Set1InDef AlreadyCombined
48829f5921bc91c86cbb4185b2e99728d381cb16 BagBagToSet Set2InDef AlreadyCombined
ad6c6e9573c3020f205e43b6635f31ba1d56c335 BagBagToSet Set2InDef AlreadyCombined
8f34759407d023d55664e4423ce662c5ba6a2a88 BagBagToSet InDef0 TypeMismatch
2b83e5ca3bc5ecbc6bc9eb8fba59fa3a9f2a89dd BagBagToSet InDef0 TypeMismatch
0a430d355a4057a7a34b1f28f7f1a41999e564c4 BagBagToSet InDef1 TypeMismatch
09d1fd87ffa9f9196b4589e4a087f17233a4e618 BagBagToSet InDef1 TypeMismatch
55fbdacca3df1937c1b1bef2afb5c5d8589d3cb3 BagBagToSet InDef2 TypeMismatch
9cd0dd8f695505c4ff22554b0a45740f05de7536 BagBagToSet InDef2 TypeMismatch
1277919fdcf6ea017bd9f241664ddb1fc7d11b2f BagBagToSet Fun TypeMismatch
d4228c9ace47268070d433f45d521d9cee1c0df9 BagBagToSet Fun TypeMismatch
9e82055ebbf0d69576bdc3ae554337c3d44aabdb BagBagToSet FunInDef AlreadyCombined
e46a66105409cb720b91effd1ab2a016110f4483 BagBagToSet FunInDef AlreadyCombined
1671302d109a566fd915859f294e13cce48e5c7c BagBagToSet In TypeMismatch
0e507398941abd715200353ef5f1fb7362519c24 BagBagToSet In TypeMismatch
bcf81b597a2738d0adfba8c31b24af2ad1a36c7d BagBagToSet NotIn TypeMismatch
7e0a015a85c6b349feedf752da399624db868107 BagBagToSet NotIn TypeMismatch
a63e594d27319dc3463ee585054e03006addeed5 BagBagToSet Exists TypeMismatch
120cd821e0836a1a3a26eb455102269662e4fe41 BagBagToSet Exists TypeMismatch
d49207258919b33042c965d31ec6c2bb8d176859 BagBagToSet Forall TypeMismatch
b9027234599cb3a7e9965e7839861ac54719eb60 BagBagToSet Forall TypeMismatch
87c935c3ba9db5f21b85f9e87fa4396d353a9c4a BagBagToSet ExistsInDef AlreadyCombined
459e77f957cda817e08d5a5567479ad8a759150f BagBagToSet ExistsInDef AlreadyCombined
535dac40088e74c7de475bb7959a26d498d97dec BagBagToSet ForallInDef AlreadyCombined
f3f04896ee4f13d95bcd9227b9ea47e9410719c7 BagBagToSet ForallInDef AlreadyCombined
f51a8f232b8f4dd543dfe38b1abd5b09499f92be BagBagToSet ChooseInDef AlreadyCombined
3028013882cef23eefbff5c525e56e1723164818 BagBagToSet ChooseInDef AlreadyCombined
30c5a41fc33e508dc6e8149b9d90312f2efa706c BagBagToSet Record TypeMismatch
8f995a868dc8e61b309e556cc6699c883df38f6f BagBagToSet Record TypeMismatch
c28f133fe8e97ce31669ad5084576cecc10ebc32 BagBagToSet Tuple TypeMismatch
e51f86b06bd97d1414557de423e0544e867bc717 BagBagToSet Tuple TypeMismatch
2029d5f6c6367af03ac25031863ea8a5f522b9bd BagBagToSet TupleEmpty TypeMismatch
925116b54160fa2aeb5e619a2e0acea5fbc453c9 BagBagToSet TupleEmpty TypeMismatch
eaa94939b7a430cd171a776736a62f3c95a0dbe7 BagBagToSet Except0 CanNotBePlug
6b372a2783f4deb997b74c31a4fc86c1f429b5b9 BagBagToSet Except0 CanNotBePlug
84af73ac9f59761cf2461760ce1cafd238048059 BagBagToSet Except1Fun CanNotBePlug
ca6072aa54eb8012db394db37ec640f8e1bd87f3 BagBagToSet Except1Fun CanNotBePlug
a1ef82dcba7882c67ec190f06a1359a86388335f BagBagToSet Except1FunWithAt CanNotBePlug
00a9511e0f6151f99bf38aeb593b3b575ba873bb BagBagToSet Except1FunWithAt CanNotBePlug
fe4a3a12fa182f8009a646655cdddf286dd35ff1 BagBagToSet Except1Rec CanNotBePlug
0c71abe157e4e4c7cd0ae6be0941af8bf963dc24 BagBagToSet Except1Rec CanNotBePlug
df5e9ded842fdae89701d769179dd464004b6b5f BagBagToSet Except1RecWithAt CanNotBePlug
64f1f098daa90b77bd6e042f084f35358518787f BagBagToSet Except1RecWithAt CanNotBePlug
610fd45bbfdc34947bafd41b1e281e4fe963cf5e BagBagToSet Except2Fun CanNotBePlug
3fc20638d42da568315c2e337754c095c0777dbc BagBagToSet Except2Fun CanNotBePlug
87d4dcf003aafa19e2157b66d5e5c11ac3a1a871 BagBagToSet Except2FunTuple CanNotBePlug
d36c83036b1dbb1b140f423dd2f5b7e6e4e99a95 BagBagToSet Except2FunTuple CanNotBePlug
0a2ac1c031471ad8d05e00dfa199d4f8b9299449 BagBagToSet NumZero TypeMismatch
cde18eac3ca0d9a43feb966a5fc95ee1ad825c1b BagBagToSet NumZero TypeMismatch
24ee2ea18d7234bb8c2b2f7442459d948962d23b BagBagToSet NumOne TypeMismatch
80b180539014a92e6905935335ca98f94b25cadd BagBagToSet NumOne TypeMismatch
11394522e83f96d23b40e7be1e2aa472595e00ae BagBagToSet NumMaxInt TypeMismatch
ef1449e76f5c7cb0634c1c87b1b3bc2d528656b0 BagBagToSet NumMaxInt TypeMismatch
311feb6d89da856f7fe5ba71f0d8c86f85d82204 BagBagToSet NumUnaryMinus TypeMismatch
d0e9b93889ad40ed680cc98c754f2701869bb290 BagBagToSet NumUnaryMinus TypeMismatch
e10a813a04c18d4bec9e341862dab5b536ec999e BagBagToSet NumPlus TypeMismatch
671472b3dfb70e4b53a607f94f8fd0bfaa703c4b BagBagToSet NumPlus TypeMismatch
940daa5531f7bf5c51450190147643ad8b764301 BagBagToSet NumMinus TypeMismatch
0688fad93ac4da639eb80656401a4e1324c1514d BagBagToSet NumMinus TypeMismatch
f8daed10966275665447168ac07f86a5136353f2 BagBagToSet NumMul TypeMismatch
fae9ea0e6765f65b93352aba81be3dcc4648e513 BagBagToSet NumMul TypeMismatch
0a3a768650d1d73f4291ca4709e2a715f0c7b0f8 BagBagToSet NumDiv TypeMismatch
acb1271b552696e0d7846e8f590fe24f9ee61978 BagBagToSet NumDiv TypeMismatch
cdaa8add07f9813b2baeb1a96ed667fadb2ae9e3 BagBagToSet NumMod TypeMismatch
c7c19d41cdf11ddc7609fe4234e02a1a53261e61 BagBagToSet NumMod TypeMismatch
d338aa9a335e02f440ad328bcadc3adcca71a943 BagBagToSet NumPow TypeMismatch
ec67a180505e9dbf1170bb91f298ecd56fd41faf BagBagToSet NumPow TypeMismatch
a571d8cc815e22ce2efce30c08e4cbc48d7c9e92 BagBagToSet NumGt TypeMismatch
e0fbe634590112cfb51175a3ce83145ae184249e BagBagToSet NumGt TypeMismatch
e895d65b4b7050022dba5171b847af53b373da3a BagBagToSet NumGe TypeMismatch
bd87cee44c8ae55784347bf43363a074b3ead017 BagBagToSet NumGe TypeMismatch
e19962fd144aa98303f1177e00cba486deb2661d BagBagToSet NumLt TypeMismatch
0dc1c63af68ad3911738d84be03d5f5a91d307bd BagBagToSet NumLt TypeMismatch
6dc55905961758d440698050e80d6078c60cae42 BagBagToSet NumLe TypeMismatch
158dc49ba6eea92b87424196e3f0bb3162a55e51 BagBagToSet NumLe TypeMismatch
00b85b75157a10b4ac495cddc501a458cc8fa5dd BagBagToSet DefFun TypeMismatch
914a69cec6ef3d2dad8a5fdcc3cfccb1f2d21592 BagBagToSet DefFun TypeMismatch
a5aa9ac869a5fd173161f03a36b0f38bf89bd6fe BagBagToSet LetDefFun TypeMismatch
9d4df8c25711b1f8348e619b09eab0444d56d961 BagBagToSet LetDefFun TypeMismatch
27f60ff65840ef87528972ac980fa277a3a98bc2 BagBagToSet DefFunRecursive TypeMismatch
b1ac1346122f46bdc3f74af93740b4cd8af94641 BagBagToSet DefFunRecursive TypeMismatch
300f004abc5a000916b313be67173fd3c95dd25f BagBagToSet LetDefFunRecursive TypeMismatch
3e9f50b9399d64545d9f8594556c175ee911b111 BagBagToSet LetDefFunRecursive TypeMismatch
806320ec45256b6c3164ad202b5c5d9d280be7c6 BagBagToSet DefFunInDef AlreadyCombined
1e566db0071cd6d361449967cd72187315040346 BagBagToSet DefFunInDef AlreadyCombined
293d92f60a689c9557f92de3c1f502835214af6a BagBagToSet LetDefFunInDef AlreadyCombined
ffc5954de5e7db6fb2e710e47fbd238167b713e8 BagBagToSet LetDefFunInDef AlreadyCombined
16321e8b35fbfc0c0fbc0ff049315ce9b0780957 BagBagToSet VariableViewExclude VariableExcludedFromView
7d6093f080c7e5b8fc79c498175d2c00d3945f9d BagBagToSet VariableViewExclude VariableExcludedFromView
319cc59badf1ec1bee929aa49e6df4f9d3727141 BagBagToSet ConstantModelValue ModelValueCanNotBeUsed
8a276714aaf5cc6b3d7a4176c616400d1f7f3b10 BagBagToSet ConstantModelValue ModelValueCanNotBeUsed
4e33a7f2c346149f1a8911903492a6838f08d1bf BagBagToSet Enabled TypeMismatch
8c4b443e07fc314f0beafcd4ed06707cd80a8249 BagBagToSet Enabled TypeMismatch
6773c2ec84c950e90682d3dbe0a6b98d97f194b9 BagBagToSet Assume AssumeIsNotEmbeddable
da5d2f926f6c540cabd63001bd81f45e8e8827f5 BagBagToSet Assume AssumeIsNotEmbeddable
55668d3d34406b85b8e89e21bdcf37c17deee09f BagBagToSet AssumeNamed AssumeIsNotEmbeddable
833232336eea1d86bdc0299c64dbd2ae3e336cc6 BagBagToSet AssumeNamed AssumeIsNotEmbeddable
e86989571405633567917abbfb53253fc8dfed74 BagBagToSet Lambda TypeMismatch
f17037acea1dfd6e9137056012f9091c524a09c8 BagBagToSet Lambda TypeMismatch
6ac138303d0ad7b6ee84acdd858b8cb1dd008101 BagBagToSet Cross2 TypeMismatch
89dcb5373a48845c48d6d476104d80445bb99953 BagBagToSet Cross2 TypeMismatch
b2866747c7c4dbda1d6fe39e4583e1a99257d1ea BagBagToSet Cross3 TypeMismatch
8747a17ea476b42ef93caab80e5ff328ffd44a04 BagBagToSet Cross3 TypeMismatch
102dbef2458c17fe588e5d7f69ceb35d365bd15f BagBagToSet FunSet TypeMismatch
cd3f34df7f7c91ff4acfad7c9b9da8afb815fb8a BagBagToSet FunSet TypeMismatch
61ceeaf5baa7c6891c32362217f339e3d7c97a1b BagBagToSet RecordSet TypeMismatch
77c41d41269be6f8289c4f6bd8137253951bcb65 BagBagToSet RecordSet TypeMismatch
680c5acda389fbfac91a1afc6ec064cb0051ccae BagBagToSet SetDiff TypeMismatch
d028b9b7aac07c3091deb15f49fce60ac1f4714f BagBagToSet SetDiff TypeMismatch
b39b60582f94a4d52d9d52884e3b5c839f1eadba BagBagToSet SetUnion TypeMismatch
451a889b443531ea16d9884c0db2538859898704 BagBagToSet SetUnion TypeMismatch
5feb2afacfdc7d85fec17aabda37e7203c362703 BagBagToSet SetIntersect TypeMismatch
828a8ad29cec8a3f13e27f9fd4d228477433873d BagBagToSet SetIntersect TypeMismatch
dd1616c0cd93ee7ee2df70ea0ebd1bd6f6793c6e BagBagToSet SubsetEq TypeMismatch
10d556e597ad2e0792d6fe1df0c4ac8d0f7541ed BagBagToSet SubsetEq TypeMismatch
ab6a838c139d16228d053ab8a5d285c5de2a71f8 BagBagToSet Subset TypeMismatch
beb7137efe50334b6c4914914d5ef880b7e42461 BagBagToSet Subset TypeMismatch
3fb4689e78ff7d8be7d50282be3051f13d57d001 BagBagToSet Domain TypeMismatch
ea28f6469adb4924be47abab01ad3d66e24a04fe BagBagToSet Domain TypeMismatch
51a56593b1070e59a8bdaafdc966b899fd17c935 BagBagToSet Union TypeMismatch
8a87137fc218fd0646c266139a9017ef7d5ed617 BagBagToSet Union TypeMismatch
e44d8b4248d72e147f93e476403b4c0a9078109c BagBagToSet Unchanged TypeMismatch
b48d3f7c86e7d6f3d2b2487f5a1eb8c146eb29a3 BagBagToSet Unchanged TypeMismatch
070ccbd0178e3306f294b956ce0310d606af2676 BagBagToSet Equivalence TypeMismatch
26175f2e345ad3eda07c1cf5c067c1c788b53684 BagBagToSet Equivalence TypeMismatch
c1de9751a10ef732825e91881bdf9b7fb68d26c7 BagBagToSet StringEmpty TypeMismatch
0443117c07c99c4bdea941b0f28f20258251868e BagBagToSet StringEmpty TypeMismatch
131c2530b40ab0b6935f316dcb5488f8d60551fe BagBagToSet String TypeMismatch
3b45c7a0838da38ea350f891dd59c5586d596ed5 BagBagToSet String TypeMismatch
942a936e0a945c072323ce98bde574ac21b50eeb BagBagToSet SeqLen TypeMismatch
c08ecb5bd3568163164a15c5bebffe8f189b052c BagBagToSet SeqLen TypeMismatch
75574f5d893924f3d1b6d4d02e3d440d259515b1 BagBagToSet SeqConcat TypeMismatch
8986bed5112f228f781507a8a1b4a86dc6fefbc4 BagBagToSet SeqConcat TypeMismatch
3d50ef17527a463fd67991db1fe143a20aa658ce BagBagToSet SeqSeq TypeMismatch
0484f12a588db8b99f2e3ef0fcf0885a64b41a6a BagBagToSet SeqSeq TypeMismatch
6a5be44acfe6807fedf8a859a42b5eebc0cd0ef6 BagBagToSet NatSet TypeMismatch
3f072c73987d014982b63c353b1e649c0ab044d8 BagBagToSet NatSet TypeMismatch
b7a8911c3f14ca1633a517e062b10188c81ac12b BagBagToSet IntSet TypeMismatch
06f0e14246bfdb46d9d1d2fed902f609d1d7e5d6 BagBagToSet IntSet TypeMismatch
bd349913426b788cd082a46a848132a90bfde0cd BagBagToSet StringSet TypeMismatch
d36ca8e2b5bf8eb204eef4ab7010cffa7f8bcca2 BagBagToSet StringSet TypeMismatch
8a699885f655abcfb6423d0843b85988cc9708da BagBagToSet SeqSelectSeq TypeMismatch
026858715eda36d2476b50ac172aade672078b9a BagBagToSet SeqSelectSeq TypeMismatch
96ce5eb46de7b8ee2dcb2a45181f000d7e276069 BagBagToSet SeqSubSeq TypeMismatch
822c0b56bf0067b710252c5e25bf7d44a64e0c43 BagBagToSet SeqSubSeq TypeMismatch
7b74173f49d029c423f03d07a07f3ae59219b11b BagBagToSet NumRange TypeMismatch
246a4ed5691ce472e3774e6747c44ce32c70675f BagBagToSet NumRange TypeMismatch
a90c7303e8226ff121a3917550b4cf626345459c BagBagToSet TlcSingletonFun TypeMismatch
c579044a47b6cf5f13c2a875277cf985ca6363d4 BagBagToSet TlcSingletonFun TypeMismatch
29f2f7aa7ec4b924afe7201d6654ed8c0b5bedb0 BagBagToSet TlcExtendFun TypeMismatch
e78ab790f985de20ec0109474742095c1c2127e2 BagBagToSet TlcExtendFun TypeMismatch
225f2440d44363c6f7aaf9150878bb856d9d30c8 BagBagToSet TlcPermuteFun TypeMismatch
c7f93fe3044ef59ce67411fc967054bada5ede5b BagBagToSet TlcPermuteFun TypeMismatch
dc1309d85d95bdb6d1c466c2ea92b929647ff40a BagBagToSet TlcSortSeq TypeMismatch
677eaf5cb89d4f2208fa7f2d6922fa984645a0d1 BagBagToSet TlcSortSeq TypeMismatch
65fe30625dc4a1cc6b9736f83e7a75b78bfc95cc BagBagToSet BagBagToSet TypeMismatch
9de70f49c4a12be400b52757e2cab4e2a8473ffc BagBagToSet BagBagToSet TypeMismatch
93b2fc5ce2bc8cdd3db8de7ebf3401dc3a5181b7 BagBagToSet BagBagIn TypeMismatch
ba2a76fd83cd427f704a828c570bc15b9eb5a78f BagBagToSet BagBagIn TypeMismatch
1c6a2a9d376121970c4512fde4d62feeab3fa146 BagBagToSet BagCopiesIn TypeMismatch
980e384f7b040d515d001894426be85e961973e2 BagBagToSet BagCopiesIn TypeMismatch
43c7a14f06aeb44acc2cb198b52e49c9e6354ca4 BagBagToSet BagSubsetEqBag TypeMismatch
c6e442cb2c6f95349c9fb69c470ddd984955ee57 BagBagToSet BagSubsetEqBag TypeMismatch
9f1e09b54848cf8d2408ef8b667f4c7541ca8a8d BagBagToSet BagBagCardinality TypeMismatch
3dbf47557a7f5317a34bc5e3c22579695727f214 BagBagToSet BagBagCardinality TypeMismatch
c028003db30eebb1e536584ed9a101076b97bcc2 BagBagToSet BagSubBag TypeMismatch
1a8b30b2bcc7f515e79b646bc32b1057ba8083dc BagBagToSet BagSubBag TypeMismatch
14216a1313138b2fce47b6fef7ac92feefbc78ab BagBagToSet FiniteSetsIsFiniteSet TypeMismatch
28a99f1044c0f8683ee75a1b6c038522724f112e BagBagToSet FiniteSetsIsFiniteSet TypeMismatch
8656f529405caab024a0c29dd1521eb7392a1858 BagBagToSet FiniteSetsCardinality TypeMismatch
3a5986d00139ec78dbfeb0e40f10a6319d5585c5 BagBagToSet FiniteSetsCardinality TypeMismatch
cd2b9c4afbc911371990921e5db8b5e50ecdb93e BagBagToSet SeqTail TypeMismatch
52aed4433fcbe3b4f2fa7b61d2677fa2f0492b66 BagBagToSet SeqTail TypeMismatch
b4e6f468b9d99b118bc4d7280ad4b4470991392d BagBagToSet SeqAppend TypeMismatch
b375e8941343ef8b150595c65a2aaf876817c71f BagBagToSet SeqAppend TypeMismatch