Index

Skipped feature combinations by case feature NumGe

Id Case Feature Plug Feature Skip Reason
8d0b58c06856b768533a3468b38d0c7394b291f1 NumGe BoolTrue TypeMismatch
daba891544fe5f4322d2d9fdfff454c06a4a3404 NumGe BoolTrue TypeMismatch
5d0b281096243f7dce394054dc19845a0741bffc NumGe BoolFalse TypeMismatch
227a4499cf1db1756017bc2a788f4906cd7569a2 NumGe BoolFalse TypeMismatch
c89c53d789976aec0ad8511aef1bc61026d39e6e NumGe BoolSet TypeMismatch
427629a069bdff7d83746fcf590ccd9ae619c1f0 NumGe BoolSet TypeMismatch
317c13963c5feee96f1cbf127b38a933c9c70c24 NumGe And TypeMismatch
b4b2e6461ff2443336f0cba6edabdfe5820ce1d3 NumGe And TypeMismatch
6e12e8a01d0fc56e3097d7685fb31fefa2aff05d NumGe AndMultiLine TypeMismatch
015f608a1da1d613fe884181c3dbf772a73751e8 NumGe AndMultiLine TypeMismatch
c58db3368e30d39eda23b36eb43615855d12af4e NumGe Imply TypeMismatch
bc59a0569c78b7e9b3a2e94f67787fa185906efc NumGe Imply TypeMismatch
ae92223bd37118c24cd86abbb6c5d2aff82e9f6b NumGe Not TypeMismatch
bea3d3c61d2e3ee072fd6082f0b1533f6b5dafa3 NumGe Not TypeMismatch
8aa58a5fb5ccbf0242151a4b29a0e9503d123ea0 NumGe Or TypeMismatch
ebcbe4f38bb004f6597b262bab599ce775dceb7b NumGe Or TypeMismatch
3d591defdc99d1a8ccd6fd4d8e1213dc95f4f40e NumGe OrMultiLine TypeMismatch
897bce01e24aa56ab70b4aaae51641bbd4dcf622 NumGe OrMultiLine TypeMismatch
6acadc6312ed92f426592b099c9ce0a777edbe2d NumGe AndProp KindMismatch
033b53814ac52f0862d38306d22a10eba2cf487d NumGe AndProp KindMismatch
d127a0fb1bd1c231f69b54848c9575b073fbe2c5 NumGe Boxed KindMismatch
57586926e015cf8bdaab692f8ccd946ef0ac8cc4 NumGe Boxed KindMismatch
493c8b99f0714351d39d10c943054ddc17f7e339 NumGe Eq TypeMismatch
436cb360b214a1243492fbf22593df10955e72fb NumGe Eq TypeMismatch
eeba2623054c5d039f939b5ba38f6e48274a7273 NumGe Ne TypeMismatch
4b80821fa22cfb6e8b8c221a3a6432f82f93b80a NumGe Ne TypeMismatch
e85727d062aa52f151937fb882b72da62843a6df NumGe SetEmpty TypeMismatch
36bf09d05d4916c5f3b770f79a88b97655cd666e NumGe SetEmpty TypeMismatch
8ccc27f8067609fba1cc699f33a0821569ebd58e NumGe Set0 TypeMismatch
4ae4a2d7a9082cd84b5dbca867e50a86dec734b9 NumGe Set0 TypeMismatch
12b604233c823dfff85aad6caedafc562fd99bf6 NumGe Set1 TypeMismatch
20adb9ab971cadf080aadf1c38f921fd64a15057 NumGe Set1 TypeMismatch
719c2ce9714b3949915a26ed31a6c52ba1a529e8 NumGe Set2 TypeMismatch
edecd9cb439ef99b76c7cdafd3864e9a801547fa NumGe Set2 TypeMismatch
67badabba0e68e050e302ad8779601da612e96dd NumGe Set1InDef AlreadyCombined
6fe2d63136b8365a34e67961a5b476cd71b15bf4 NumGe Set1InDef AlreadyCombined
3fd2b92279ef9d23ebe152c867ed7162fe266637 NumGe Set2InDef AlreadyCombined
722c25b1f30efeded9ec9ffc760862d7e70b2f36 NumGe Set2InDef AlreadyCombined
11bcc3b8544970b05b59fa2affc8b2d241685f1d NumGe InDef0 TypeMismatch
559dedbbbe3131786122120a31fdc12c15e2e5cb NumGe InDef0 TypeMismatch
2e798d2c85432b59027558948554f091746c2c01 NumGe InDef1 TypeMismatch
b1892be89368ef33c55eca2dd9d1b8178b3185ae NumGe InDef1 TypeMismatch
791648176494d329ad758dcadddd0dcfece53c48 NumGe InDef2 TypeMismatch
1c0c4115820d8e971476f1557d14012e57bbb7df NumGe InDef2 TypeMismatch
dbf664ac41d600a47ffa6fa43fa55e2f92053d76 NumGe Fun TypeMismatch
dd761104fcb6fc8e41f41e11a281195c13174656 NumGe Fun TypeMismatch
227ec9e0f6f2e584189cefb1c7e018c91ec8759c NumGe FunInDef AlreadyCombined
a90e8ff5376b64961f172e9e64c9c1c2c8d31f2f NumGe FunInDef AlreadyCombined
d6fdde87af3cef828901ab0adaadd5f9cf1d95fc NumGe In TypeMismatch
375ec35d21015ccab87cfb1e56a9fa9c5c776b88 NumGe In TypeMismatch
773109a3ca762bc88a67db8e500678ce054da65f NumGe NotIn TypeMismatch
348fac19633d85113c992e2b31c9cc268f6a1489 NumGe NotIn TypeMismatch
e799a52d1231f278aadee4bb5091477be739618a NumGe Exists TypeMismatch
06f5f7c68b986fe6e3e544741acbb44b97ea70ac NumGe Exists TypeMismatch
37064e084bac1f751f44d9c5541e910481193291 NumGe Forall TypeMismatch
9588e93d2948e91ae37751d190992f88716d437b NumGe Forall TypeMismatch
7bc6203c57e83a8220e5ccf8059a41c519a7dea4 NumGe ExistsInDef AlreadyCombined
f80824f5b016e0e5dde2a44f2bdea36cbbddbad9 NumGe ExistsInDef AlreadyCombined
60a691c6a24c8e858d3096f100c668d8f2b71c4a NumGe ForallInDef AlreadyCombined
cebc8841dba1d4e66af3958448b9a44b39fcb26b NumGe ForallInDef AlreadyCombined
1bf03ebd85038de4d488306b0249a9d20a81b66a NumGe ChooseInDef AlreadyCombined
ef9e9253962c234af2bc815ca331db6a7a45f000 NumGe ChooseInDef AlreadyCombined
26876154283eb0b5fa5e861dbfdec6f0ef198d2f NumGe Record TypeMismatch
aa43c5d199676d4d38d11da373cb0e6c839f02cc NumGe Record TypeMismatch
aea0e1dc1f7d7067d7e170b61b9af72472b91d32 NumGe Tuple TypeMismatch
8fcec8faa40a32589eed5c25dee314fc98bd9669 NumGe Tuple TypeMismatch
878a3b485218b37a668664cb15fde56f9c660338 NumGe TupleEmpty TypeMismatch
70c5ae05301be4889a242df283843d8a400d4e79 NumGe TupleEmpty TypeMismatch
f0878f040c0e56c4d26325b0719b890e7672f82a NumGe Except0 CanNotBePlug
ec72251934b20d476e9230591577ecb99bec7f8f NumGe Except0 CanNotBePlug
1bf9afca480b9e784769b1cf0ea427a9afe6aeb2 NumGe Except1Fun CanNotBePlug
99f25985a018df97d306a146164dfa93c2c3ebf7 NumGe Except1Fun CanNotBePlug
6c900f87f9e411b4c48eb027553607790f79e06d NumGe Except1FunWithAt CanNotBePlug
d5e552902f861929f2ac549d257917acf2243910 NumGe Except1FunWithAt CanNotBePlug
513bd1f5c8a3d5c4d1016fb65dc6981d981b7e84 NumGe Except1Rec CanNotBePlug
ef5d6ef736733b6a55a4ced4d46d9e1c74aee042 NumGe Except1Rec CanNotBePlug
303f33f61aaf97e0348be1215e5f9e47de8b7924 NumGe Except1RecWithAt CanNotBePlug
a3bfe304ad9f08d2eb366d166d1d22e24a2226c4 NumGe Except1RecWithAt CanNotBePlug
144acb76be1b97224ce9afc02b630ccb724b383b NumGe Except2Fun CanNotBePlug
473a09622d7420460433b5812ae44976ab25710c NumGe Except2Fun CanNotBePlug
d7d33dfdbba418b48b4ebd4bd4a35da2dca3aea1 NumGe Except2FunTuple CanNotBePlug
6a91e34342110f2754addffe4c6612328162d44f NumGe Except2FunTuple CanNotBePlug
a57b275875642075e640884a72ed1a972867d25f NumGe NumGt TypeMismatch
9d6c039d833a9a74d9fd766e62ffb2d207a5b309 NumGe NumGt TypeMismatch
3b4b397f03026ab2484900eda2d7e1efb803d90d NumGe NumGe TypeMismatch
5b2cfa956e839caf71564926e3e2825d3f43e926 NumGe NumGe TypeMismatch
7e0efcdb0c2781613281c12d4e8ce95befda72f3 NumGe NumLt TypeMismatch
0d872e24e6ebd320e8bd6f58b876faee2243ba46 NumGe NumLt TypeMismatch
d384dc43216d889e7ea5fd0d8193dccbda19436c NumGe NumLe TypeMismatch
43c77ae231bba307580f1aa9ddae842b85c88be0 NumGe NumLe TypeMismatch
84a81d8dbd7a009605f3b52481cbe93d3d76ae8d NumGe DefFun TypeMismatch
45d17d475522298166a706968be8305480bc42db NumGe DefFun TypeMismatch
3c52a4da5bcb47007874c4a6e26336161167751f NumGe LetDefFun TypeMismatch
dccb45b1a2e8d0ce4d377059a96d1b7c2479076e NumGe LetDefFun TypeMismatch
dccf683bf371c97e71f31ef6e9ababf08abff4c8 NumGe DefFunRecursive TypeMismatch
7acc7fc68efbea66705efad0a1890acf099a7614 NumGe DefFunRecursive TypeMismatch
978099a68cb08f898c45548ea701739bf4e16082 NumGe LetDefFunRecursive TypeMismatch
33499047a8a51f6259d3009b914e091bf68ff0ba NumGe LetDefFunRecursive TypeMismatch
aaa0062230da1a2ec1e0de14950de41a40186dd4 NumGe DefFunInDef AlreadyCombined
af34b0416297610cc763ddeeb9af29265be8251b NumGe DefFunInDef AlreadyCombined
3aa79bdfea51f7216586ca288f893689b10844a7 NumGe LetDefFunInDef AlreadyCombined
c034bcc6fe3e225f4a4134c6422ece7d9489d199 NumGe LetDefFunInDef AlreadyCombined
0965ee1ec64db8670bc5c5920d0a90d159c383fc NumGe VariableViewExclude VariableExcludedFromView
aa7d7fa23341a5cca049077906e6098fa27cc117 NumGe VariableViewExclude VariableExcludedFromView
e03288da04626090a3ea2740588dfdad9a44bee3 NumGe ConstantModelValue ModelValueCanNotBeUsed
a41032194eb1956d3ee77d9a4ab35705aecfb7bc NumGe ConstantModelValue ModelValueCanNotBeUsed
dd4b45de726e27e9e2dee775027f9bd50123c4d7 NumGe Enabled TypeMismatch
a0cb15914c762c68d0dbf3e57d8247bb994d2700 NumGe Enabled TypeMismatch
38ae55c657f214f457dd847785aa29c2c393b6fe NumGe Assume AssumeIsNotEmbeddable
5100ee87110e52e19dc9a6a26eff9491f07b6e6c NumGe Assume AssumeIsNotEmbeddable
98f3279db7656bfbd6dd27fa56c8a34c8d7ac947 NumGe AssumeNamed AssumeIsNotEmbeddable
3fd72f8f47babde760c207e97331ab47f4698d6d NumGe AssumeNamed AssumeIsNotEmbeddable
33a63e10bc74be9ea6bbedefa7a2a61f6be326f0 NumGe Lambda TypeMismatch
974ed8a0e8b3d47c9f794d2c2fc747f689827744 NumGe Lambda TypeMismatch
ca9fb68b52fe668324dc0aba1bea827f26a2b5de NumGe Cross2 TypeMismatch
de387a9da181bd7d97fbacd577131117afed5f29 NumGe Cross2 TypeMismatch
4651e9c12288b9e30eadbc0b12ebdafad4df4a11 NumGe Cross3 TypeMismatch
a16877bc359069d3e1db3b83f8180a63ff48ca2b NumGe Cross3 TypeMismatch
a31c6bb738854ae1301e2882f4f23632ab49953a NumGe FunSet TypeMismatch
e66e9e0fa5b0b4cbaa27b72cdb752f7c4c036cfa NumGe FunSet TypeMismatch
4166e02e88470165f5e588fe824ba950c779eda5 NumGe RecordSet TypeMismatch
7dae87aa8c3f90724934604a0f1a7f205d2d7839 NumGe RecordSet TypeMismatch
932a670211d46d25c8fd50bcf8be89f9bba49209 NumGe SetDiff TypeMismatch
499e95c1821aa0bce41baf876948ed1e2d8fbe68 NumGe SetDiff TypeMismatch
f0ad3d28c6e93c432b326ffd829284b33d3cd80f NumGe SetUnion TypeMismatch
f84c0d742791aa9f4cecf8e12cf4ddcaa955cc5a NumGe SetUnion TypeMismatch
a8f5a8df0174d01bb46818945bdd44b27a0cacde NumGe SetIntersect TypeMismatch
d6981b2b9a8426ab4d07fcb30183aa283e7c2f82 NumGe SetIntersect TypeMismatch
bfad4fa537efc4435764112bb08121faae3bacb3 NumGe SubsetEq TypeMismatch
7191c4a1ec9ad2408e66a4c9df8d125fa6c9703a NumGe SubsetEq TypeMismatch
cafe13ff9c56012c7d1d38bf6fc0008a7c71d9b8 NumGe Subset TypeMismatch
46b56a2762c757d725b626ff85bdbf185536b17b NumGe Subset TypeMismatch
8acbf3758389ae559496d2eaa26b6cb474f0d427 NumGe Domain TypeMismatch
098ce7383efc4abb1bb732ce71cd70f7f06b3d84 NumGe Domain TypeMismatch
a230ca2f66e74ca2263862007952fd016cf20364 NumGe Union TypeMismatch
e4fea5be5e666074b346a840aaf1cdc590287ce2 NumGe Union TypeMismatch
e2745f0ec0a859ff62521cc32783e6bbafbe11a9 NumGe Unchanged TypeMismatch
a9de49f5cd8267f11e8e8c4b1486bdcaef64d83d NumGe Unchanged TypeMismatch
146132703ec03e8fb29abbe5057d560484797d95 NumGe Equivalence TypeMismatch
c8d62c12be4feb35b0ddf4df3007a29d88e4ac28 NumGe Equivalence TypeMismatch
9644cc7b19206a2c51de80de3ccd7c4519f8402c NumGe StringEmpty TypeMismatch
005b0aa4a7b1f6c0ed73da42947316133afb73a7 NumGe StringEmpty TypeMismatch
e16877e7ec746c0ae13fdba9b92a49e930928d7b NumGe String TypeMismatch
5404e6fcf76422515a4ac3f78af88e7342db6575 NumGe String TypeMismatch
6d5f3b21415b11b82ab74ab57f31c35071ca4165 NumGe SeqConcat TypeMismatch
9f94e7ba0affac2848394efbb442b1f27fb486c2 NumGe SeqConcat TypeMismatch
27b0232f8f4072bec62b2765dc9f78a1383d5cd0 NumGe SeqSeq TypeMismatch
1dac63c5f4c8cc7251f29e63391fabe2a5491c1b NumGe SeqSeq TypeMismatch
f8469e2ee236cf0674547b97e0e0922a06b79241 NumGe NatSet TypeMismatch
423ca49613dc7d2d74d93e197b19d7107db8ac28 NumGe NatSet TypeMismatch
5363d7c5b2be83a0f148b47f2adc2b97f3fb56b7 NumGe IntSet TypeMismatch
c6cb527920b28b9a57c51e61564d654aa758334f NumGe IntSet TypeMismatch
a4c7cb789f8e5bbc544ab6a658143d188a508b2f NumGe StringSet TypeMismatch
1f283f1419289c5f3a8fa3d9922023782981e2de NumGe StringSet TypeMismatch
9596ec81620a8adeead56d2b45b31d83ec3421d5 NumGe SeqSelectSeq TypeMismatch
de111de1d9d0211ed59e7a962665ce9edacf6149 NumGe SeqSelectSeq TypeMismatch
3d0ab4c82a970c67e35c8a3ad8797e7322920241 NumGe SeqSubSeq TypeMismatch
b2166080ec2d3e108d5226db3089fb37c26ed8b4 NumGe SeqSubSeq TypeMismatch
60fad91ae08c1afc47d3c6ab248316b581de9475 NumGe NumRange TypeMismatch
ca5f4446f7a7b1f9d2597c3fd0f0fd7bd7fff342 NumGe NumRange TypeMismatch
1ae51b0a4a447699f9aabacf84b6a6501edf495f NumGe TlcSingletonFun TypeMismatch
cca25d35a7a2b32c336ac16b8575a476e5c83327 NumGe TlcSingletonFun TypeMismatch
2d89e8ac4dec255a9e6d81203625753fa075cedc NumGe TlcExtendFun TypeMismatch
2c9e5872e9b2f5b068cfb230d265a26deee79448 NumGe TlcExtendFun TypeMismatch
a335ed204a797547053a531d18f9def349752a80 NumGe TlcPermuteFun TypeMismatch
6e95fceddbd8fbbd7f570ef89526200a9664904d NumGe TlcPermuteFun TypeMismatch
a4cd803777ad22d386cff478178ea20c6685dd61 NumGe TlcSortSeq TypeMismatch
1a350ab0adb81a82dc5f9e0763beb6b903adb0f4 NumGe TlcSortSeq TypeMismatch
6793174958c8907a47d77b9142d588f696d390b6 NumGe BagBagToSet TypeMismatch
4d61c5d9a8ecab9ae3cf7bdfdfb2aba9b9be4632 NumGe BagBagToSet TypeMismatch
07486e2fab70727c5736d43c7b0819e27ff22b2e NumGe BagSetToBag TypeMismatch
dccc429a2ef7c77512963f62a35bb0e8520f2ed5 NumGe BagSetToBag TypeMismatch
c0d3539cf84aa0e996282ac31068d0b271761da7 NumGe BagBagIn TypeMismatch
9940f419b314d1d3a36c54be2b953d4506a4d6bd NumGe BagBagIn TypeMismatch
e109ea39ceec0677883466bde251bfbcccd123bd NumGe BagEmptyBag TypeMismatch
d5437f53b436ae920c85cb5617abde8f3033396d NumGe BagEmptyBag TypeMismatch
fd18819f9060c34971ffa94149d22763d85b3bf3 NumGe BagAddBag TypeMismatch
80e4905eb44e03e20ae21f2934d47fd567eddc03 NumGe BagAddBag TypeMismatch
3b05d4be1e04d928890a2a18ff5c0beca0b5d5b9 NumGe BagBagSub TypeMismatch
9741a51d80123c1724fb82f0286d82cb5d20f92d NumGe BagBagSub TypeMismatch
f6d436c7a3fc9cb1047f7ea00bc4716731e9843c NumGe BagSubsetEqBag TypeMismatch
bcf26497d1a2c9bd3c23d25e50a8bff14b2ddccd NumGe BagSubsetEqBag TypeMismatch
5ba7237d9d91f2d19d363a9134ab0fa2ec36f164 NumGe BagBagUnion TypeMismatch
e3d89247ed657552e8c6c69317cec9fe76ef209a NumGe BagBagUnion TypeMismatch
6abfb56bbb21bf7cc173f46908486a8a8241d807 NumGe BagBagOfAll TypeMismatch
8c8924354177af195f29d8ecb2b4f873174759c3 NumGe BagBagOfAll TypeMismatch
b3239c7b110bbcdb7d01e601cf1d4bbe0deed59d NumGe BagSubBag TypeMismatch
ca9bad3f3c49dcc2ecc0033e2a51f8c2fa5b4ebc NumGe BagSubBag TypeMismatch
170bd3d3d24a7d56408ac35ef28f5f5587898e51 NumGe FiniteSetsIsFiniteSet TypeMismatch
b020411487dbae4469884622ab161d800294f859 NumGe FiniteSetsIsFiniteSet TypeMismatch
ce654294a49827d1363f2bd350bdc6f8221b9172 NumGe SeqTail TypeMismatch
887b6b5cdd22fd461aad21676fb3bf72c6544238 NumGe SeqTail TypeMismatch
fbe986a46ac10ae576072c0fbca66af587321a9a NumGe SeqAppend TypeMismatch
2c8b6dae82806565e0863b950086faa44f5127db NumGe SeqAppend TypeMismatch