Index

Skipped feature combinations by case feature Domain

Id Case Feature Plug Feature Skip Reason
e9c463f01f93d162fb02642964c1ccd9b08398c3 Domain BoolTrue TypeMismatch
b7302bf134a2c0d0796356e30837c3bcf655da1b Domain BoolTrue TypeMismatch
b2a298937c5fe74eb2679f5649ad4ec5ca67489d Domain BoolFalse TypeMismatch
70c5f6abfe91cfec1f6659920a810f16afddcc11 Domain BoolFalse TypeMismatch
a59a006090f48a9a695ea91f6ffb81ab615acf8d Domain BoolSet TypeMismatch
2253fef8be9544a29f6af8a2580f7d5b76394227 Domain BoolSet TypeMismatch
544541561aff4a1fe39fbca9a7679911074bf2f7 Domain And TypeMismatch
f43b2a5c3bb1fbba95e285fa8f4978d1bc7c0ea7 Domain And TypeMismatch
80604d55cd058aaff070da98e44bdc2826e546fa Domain AndMultiLine TypeMismatch
63df84a6325e0348efde3e2a29316e6c0d357c7d Domain AndMultiLine TypeMismatch
14ee577fdd1d5d5fb6e59317b5188f84f171ad54 Domain Imply TypeMismatch
cdbb0c5ccd30e56a452adb46b957b764eb34bb71 Domain Imply TypeMismatch
1273af220fd06c0706c202d5a8dda6fd24baf1b9 Domain Not TypeMismatch
3d1f6a0f32f26fd98c9761aea21355957d5a8b4d Domain Not TypeMismatch
7e6af5e11a25d6bb7820bb88eb9058eaf1f77208 Domain Or TypeMismatch
8a212e471de8bb0bdcabf283c2c82258fc22518b Domain Or TypeMismatch
3a86336c2c81f3ea56b661aebbac1d756f2df344 Domain OrMultiLine TypeMismatch
25e00ceeee58f20674acfd16541c9c9bc50677c2 Domain OrMultiLine TypeMismatch
3104670afaa3d41db188dde907fb89b15e15c90c Domain AndProp KindMismatch
d944ea1215a2866284aca64fa1ca1a2011ef61d6 Domain AndProp KindMismatch
0aa5efaf17ce54dcf894fcf931ec114d42b18dcc Domain Boxed KindMismatch
aa9c8e18a3d91429e14e966d0b07f13197232af0 Domain Boxed KindMismatch
9fe5b212fa45328962acbd752af70873e070d33d Domain Eq TypeMismatch
d9125f56e31b877d7c4b1caa0ac870622adcb43e Domain Eq TypeMismatch
bcf7b98c219a2fc95762fffaec4f808fd3a76bee Domain Ne TypeMismatch
0d73ab98db397a657e2fdf79b1896facada09ab6 Domain Ne TypeMismatch
280233f2a601fcfa43eff7a0166ffc6923c5265c Domain SetEmpty TypeMismatch
871eaf9e8da5cc068d22753d9471d5ab8c3ae8f0 Domain SetEmpty TypeMismatch
41f6c7d3d74c467da6e7b3b1393d673522a98a16 Domain Set0 TypeMismatch
460bce630c6c63b7de49c7dc2015bc3cd0c920dc Domain Set0 TypeMismatch
acb5a6da0aec9f1be8fb26d2d6cfd59057697d0d Domain Set1 TypeMismatch
922effb44832fe5103df1e8f7263212714200477 Domain Set1 TypeMismatch
f721cbca651d605658cc93acf3a19b1c94ec6545 Domain Set2 TypeMismatch
968e64b8e4aa71e17209b8c3daf6f9be5e840fa9 Domain Set2 TypeMismatch
22a891a400411479bb56ab4dab67305128f7d8c6 Domain Set1InDef AlreadyCombined
2a3fa422d6a09a09ba34c02fa59bd3ea4fde1226 Domain Set1InDef AlreadyCombined
5b08fafd467024839b6e7a89be33d6e29fa8f4e7 Domain Set2InDef AlreadyCombined
fe75c2a22e18fa3dc9602140ef5bedd62cb176b1 Domain Set2InDef AlreadyCombined
3cdd9d85e0fdc2e41ad270d0aedf22ac2a5b6eba Domain InDef0 TypeMismatch
0db2fc60da02ac362390e8e6eed30645c89deb76 Domain InDef0 TypeMismatch
d7838e4fc342a862fffd974fabd1784616ec68c9 Domain InDef1 TypeMismatch
97e5496d8682d154d920493702d0dd98cd61ad9e Domain InDef1 TypeMismatch
b0bbe83bfb95c9ede16b1fd63c989805dc24ca06 Domain InDef2 TypeMismatch
23062ab5f4aad687ca9041b81833c2c6e8e9884c Domain InDef2 TypeMismatch
aecfd53c9804f0b0a0705294d4e27a0265a4a946 Domain FunInDef AlreadyCombined
4e09aaddcd410a14e5fa45f7848754567b3395e7 Domain FunInDef AlreadyCombined
fe16eca74601011a976c4b52a668930ff5a3c756 Domain In TypeMismatch
d6b99dde2751a3ae71d401bf373ab6b1585e85ec Domain In TypeMismatch
5c7ec37393a548e5916bfdac3d3065a09eb7eb6f Domain NotIn TypeMismatch
e864710824e00ef6334b7f81326224688290a498 Domain NotIn TypeMismatch
1a7da21dfb0f1300d6bbe216f9ffddcae216ef09 Domain Exists TypeMismatch
b9172bf695cec3f94ade033ed6d2b81368b2bf03 Domain Exists TypeMismatch
451a1163573dd7dce7a435d1e5979370b091674d Domain Forall TypeMismatch
27d8d27caea238a019d077fbb4bbb3716fb2ef84 Domain Forall TypeMismatch
6c111223faea0e683d861e1872961064ab078d66 Domain ExistsInDef AlreadyCombined
23c7c8aa7c89e3f9500fb728026819c5d9a00415 Domain ExistsInDef AlreadyCombined
68373826da2d1e30922dbe6a0f3d9fd577006f33 Domain ForallInDef AlreadyCombined
cc7e72a0349a1a4f6da07b73882762d417ec2a9b Domain ForallInDef AlreadyCombined
e99a3f9415c71c7726fbbea684abe985c2a3a5c6 Domain ChooseInDef AlreadyCombined
cac04c00cc4d37d704cafc373da0a02da829f84f Domain ChooseInDef AlreadyCombined
36247a8daef4fa18142c47853a569ae84e5c5852 Domain Record TypeMismatch
745270dc582c2784e81a3997f858159af563dd42 Domain Record TypeMismatch
51c468bd622d2fbafa65b5f1a1f4a91fd3050773 Domain Tuple TypeMismatch
129c393d391dcf2f75e814aacfe31b531c8bc862 Domain Tuple TypeMismatch
3ce2ddd6282e7fd0f15504b973cb1f8c508d7e1f Domain TupleEmpty TypeMismatch
f4a1e6ab7a203f7b165494cbe9e98792ef855562 Domain TupleEmpty TypeMismatch
0c69243e4172fcc013d7b4dc0b2436e6acebc96c Domain Except0 CanNotBePlug
2628ed870fc528748f84af4f3078d068f7900bef Domain Except0 CanNotBePlug
628be90b88ad0166a3f7bd9ee54f35851be50571 Domain Except1Fun CanNotBePlug
868dae067472609a3a314dc7776db793110494a2 Domain Except1Fun CanNotBePlug
d34af79ac8d413a3f39e44c4e89a1c70042847ee Domain Except1FunWithAt CanNotBePlug
1c8c9f11b4e4d4c9686e8944f1247f043c795915 Domain Except1FunWithAt CanNotBePlug
75352e8bb42ded4a5f315fc67bc3457cdcfc8665 Domain Except1Rec CanNotBePlug
a309c6c9a9bf3d419f7a8f5f290f4442ddfb8487 Domain Except1Rec CanNotBePlug
8ccf129381cdec462715d2e2b82dbc92102ea22c Domain Except1RecWithAt CanNotBePlug
c57c06762e9d59f428be600f599ac3f2da01c62a Domain Except1RecWithAt CanNotBePlug
ee014309544df9f331a4923db0c0525ae2d0697b Domain Except2Fun CanNotBePlug
ba0ab217fe009d7d1f4661471e399258fb584cb1 Domain Except2Fun CanNotBePlug
a7ee799693bc7b2c6e06cd2d8725d2a1968d0075 Domain Except2FunTuple CanNotBePlug
a2e408b08bcc78c7215c8db72bad817cde027a36 Domain Except2FunTuple CanNotBePlug
8b301aa77d873538dc86d4bd25d3ad89d25979ee Domain NumZero TypeMismatch
63dc70b74c5f9796ce453b2e693ec348f75593ab Domain NumZero TypeMismatch
6a6a74189fd8cb5dce84d8fe4d45fe741305e76d Domain NumOne TypeMismatch
537ec01e006611394dd0672eee3ea8255338335c Domain NumOne TypeMismatch
7ec602a000212d73e602cca371036675420dcc5a Domain NumMaxInt TypeMismatch
643f6fa0038edde5a36644ce451a3a05aa21e2ce Domain NumMaxInt TypeMismatch
cfed1019b76f6c193e18c87f6751398e732afa35 Domain NumUnaryMinus TypeMismatch
b0659dac3167dc990db8e8335c31c3018a63d4af Domain NumUnaryMinus TypeMismatch
38d08c0f33926203861fe45f8f42489c960fabf3 Domain NumPlus TypeMismatch
c8c43b71c2231c2acc46a57ccde68ab53604e551 Domain NumPlus TypeMismatch
e467f1581eaee4bfd0b00bcda85d20def2ae92d2 Domain NumMinus TypeMismatch
9c223e651573c5f9530b4e64c6dd4d9a09d1292f Domain NumMinus TypeMismatch
2127d1b54432b23847ab7246bde4bace81eb25fb Domain NumMul TypeMismatch
06d69db6f5ece0ee503e0ee4c3a64b038a15539d Domain NumMul TypeMismatch
fbc01fa029b323eebd36d0d681a9a9f0e9bc5162 Domain NumDiv TypeMismatch
ff9e63b1c6d5c8861ab3b53528b6fb1aff019dcc Domain NumDiv TypeMismatch
5205196c9b33cea2fd789db5f2e610267b909348 Domain NumMod TypeMismatch
972b3f7a129f1f776c4fed3cdc4700efccbb6187 Domain NumMod TypeMismatch
c69b9889f43778382522098c88cf1eef5ac50b6b Domain NumPow TypeMismatch
67d26be29a6545404d9e8f22461207944644ee8d Domain NumPow TypeMismatch
7249001a9fba66ece43d70dc4a52b8275fce418a Domain NumGt TypeMismatch
0151f2d4a08a55aacb56fc38a4f289198533f920 Domain NumGt TypeMismatch
2c7af3086477553f6d4a90003c9609092acc92da Domain NumGe TypeMismatch
b18cc30160b449cbd46c6417b4d529bc4af8f977 Domain NumGe TypeMismatch
5396a0b1c41ed30779af8270f08ee58ea1b508a0 Domain NumLt TypeMismatch
7f01c06afb6581fc60ab69b17cebd8c53f41a56e Domain NumLt TypeMismatch
d731c1323fe6966b7d06cbdf26da7fd2cf91c467 Domain NumLe TypeMismatch
d6f0ce7adecbd0a0fb67384013d5f596e5b90489 Domain NumLe TypeMismatch
2493ba4cab9d37d8c7124d905887348683a24cf0 Domain DefFunInDef AlreadyCombined
ef4ef93cee2d175dbe1d1c7e5a9cb4af869a8b9d Domain DefFunInDef AlreadyCombined
44613cf080c6e3283c3ec7743489d87cfaca9010 Domain LetDefFunInDef AlreadyCombined
186bbd6bf4fb4183cdc57ecf591428bb24f8f1b3 Domain LetDefFunInDef AlreadyCombined
e4d41a11227fb379c76d14c97ba8c50d5f49c1d5 Domain VariableViewExclude VariableExcludedFromView
3a130d49649854079622a5120d5edd7b2b20f9e7 Domain VariableViewExclude VariableExcludedFromView
d978ee78c043902f2dd7c429f67266a95462bf75 Domain ConstantModelValue ModelValueCanNotBeUsed
92af0dfe55c18f0c05317fa470562f97c444b3b9 Domain ConstantModelValue ModelValueCanNotBeUsed
ee9416d89352a58f523a05b7f9ca0b71faf11d4a Domain Enabled TypeMismatch
11946c80ba962113868f06ebf7044faf28291483 Domain Enabled TypeMismatch
608ab2a620c17143f7adce995b931a6198819121 Domain Assume AssumeIsNotEmbeddable
98ad034cd27713b08631b4d678b99bc7960715c5 Domain Assume AssumeIsNotEmbeddable
b44f1cb49b75b334f112fc6606cc15956480f8af Domain AssumeNamed AssumeIsNotEmbeddable
1a601cf4d6bd81c970e470fd84599a6c7b471b14 Domain AssumeNamed AssumeIsNotEmbeddable
1e66ed6f70c959569f9b75b95827ec233c33be37 Domain Lambda TypeMismatch
f825121dbf103cc48b93727bd875f4e8e92751b1 Domain Lambda TypeMismatch
8a13927a4b55416f2921c4821f6a749f99cbb00a Domain Cross2 TypeMismatch
707ef59943ab59dacf148e569d85f617299dc88e Domain Cross2 TypeMismatch
f5133ade1283a3f6567465e1cb70b6d974632f6e Domain Cross3 TypeMismatch
7736640efc09c40f1b2952dda67f66ccada5265f Domain Cross3 TypeMismatch
730669fcb9920b1fe3db456894df6d38655b00d8 Domain FunSet TypeMismatch
df70d11957270e11ee7d368b716ac4a64cc2bb87 Domain FunSet TypeMismatch
17d6acf9ce1d1e853d4337b348a35207c60296a8 Domain RecordSet TypeMismatch
3a636a3530c43f7be8272797732b879146252479 Domain RecordSet TypeMismatch
bcb55812a6b862b6407e277d64d7da9aaaccc474 Domain SetDiff TypeMismatch
616e7a0aca4a4c5774e372139818a44c18586dd8 Domain SetDiff TypeMismatch
d46ff2400689fe4f0eeeb6f0cc88a3ad8e464f3d Domain SetUnion TypeMismatch
53d7d32b0e7f26398f741d70bdbe8488f5555761 Domain SetUnion TypeMismatch
260e91f00a61b936b7af0e0cc8d35f1732e42833 Domain SetIntersect TypeMismatch
f4773b563775304f22b9ab848c32fc0dcb65e4e3 Domain SetIntersect TypeMismatch
cf3c083b69d22ad235f2a69ac5d45dac5cf96c66 Domain SubsetEq TypeMismatch
f939c197cb8c19e286fac1c1bc10c2de104cdd9b Domain SubsetEq TypeMismatch
0e6b3f649995433138bec088bbb65f1ef7df8f4c Domain Subset TypeMismatch
fd65af9178ce3972dd4499f7bf0cdf798001cae7 Domain Subset TypeMismatch
047817a463c2e8fa1abe2a125946c7b6f861fbd3 Domain Domain TypeMismatch
4c0aa3b272e2e62bcbf2cfcdbca82a65925681e9 Domain Domain TypeMismatch
c1988edd69110d5323368983233cde56a6ca89a2 Domain Union TypeMismatch
20d0aca68b277e0a261bfb6304e78c3c9757270a Domain Union TypeMismatch
a6cf034cfc6c6eb513974610e3fb5cc694bee574 Domain Unchanged TypeMismatch
73731c5227eb128fc88bf626f5b812933a2031be Domain Unchanged TypeMismatch
8d035a69dd266f589bff16c8f26f37b2cb25f984 Domain Equivalence TypeMismatch
200f13653deade6621674dd530487bbc1ff3b419 Domain Equivalence TypeMismatch
89ebe54a8ae42f4aa1b9afb0957d36c0aad104a2 Domain StringEmpty TypeMismatch
ae90fdebf7e2e93377d62a04847b24bc527988c5 Domain StringEmpty TypeMismatch
550d13dbe518b7c3b487ff3c571d66c11a21a1fa Domain String TypeMismatch
c1b465115bbae264e82b7baf361158fd975fb79a Domain String TypeMismatch
32db9f7f067ed30365e424e1893d09c8999a75bb Domain SeqLen TypeMismatch
beb4c13d97ae1e85f6bb9afdeadb192282b007d5 Domain SeqLen TypeMismatch
8ebaaa62adeca322c686be0287dac9a9f8f9f847 Domain SeqConcat TypeMismatch
8b83bc7b91fda91651ef6556b62f3d97f87df26c Domain SeqConcat TypeMismatch
1328da1d609f060c94b7753f641aa0b31211c13e Domain SeqSeq TypeMismatch
2f2ececff717616e8494ef9921041f3375fd15a7 Domain SeqSeq TypeMismatch
4b9be7626756cfb7d14fc582e8a511db7944feb7 Domain NatSet TypeMismatch
85188c4e41139f5a5e2e855d1037a96c5eea8929 Domain NatSet TypeMismatch
3710345f430f2be1604e96de5ea38c65c8f039da Domain IntSet TypeMismatch
841be56b5eed8b0912cb205393d69aa712390f28 Domain IntSet TypeMismatch
22767b52c769b1963a1e87848b0538e2455a4ef4 Domain StringSet TypeMismatch
6a67a60ea805d4d00c6a44e8f7259cc057be1a79 Domain StringSet TypeMismatch
fa3277b6c85337af6eb478082c2f0a009bdeb7a8 Domain SeqSelectSeq TypeMismatch
afeede5e04d33243f92a8c6ec1c2daa4a835255e Domain SeqSelectSeq TypeMismatch
ac060b0603c4f2ee4ace32044e7a5d5587eec949 Domain SeqSubSeq TypeMismatch
9a53a0681afaf26209031b31a08aaa39bc96bfe1 Domain SeqSubSeq TypeMismatch
180115ebe2bf2ceee8d721539ac608ebded4bc89 Domain NumRange TypeMismatch
b9c569a142f6238b2a1b25ebd192062906267264 Domain NumRange TypeMismatch
c4e2363c3146bf0fc54ec29dac8de797def516fb Domain TlcPermuteFun TypeMismatch
4a5d8d339da9e2a2e258d9f0374baeed13504ee5 Domain TlcPermuteFun TypeMismatch
6cf98cd932fb6a7f881cb97673bd5b34c09464c1 Domain TlcSortSeq TypeMismatch
c369b71b2a4363e95e94109b52c1dc5fbe762d1f Domain TlcSortSeq TypeMismatch
d4a0fd42c43958cbe4d4a1e788c9b9c8737eeba5 Domain BagBagToSet TypeMismatch
561a1a49261a1ac6045419e656597ace36623aab Domain BagBagToSet TypeMismatch
2b87ae0f56939e4db932656e28d90239efe74d69 Domain BagSetToBag TypeMismatch
769ae644e14f4c3ec99de5765abbfa098d66431d Domain BagSetToBag TypeMismatch
b0288678e20de2f4b76aa051df099456065d3b85 Domain BagBagIn TypeMismatch
248d2b8a808b8b196823267c3d78bcf9b28cb48f Domain BagBagIn TypeMismatch
971576c918cfe533a5432966c0eadbf4db953498 Domain BagEmptyBag TypeMismatch
fb4d45ef89f127b96da796b14153fb962c579d9d Domain BagEmptyBag TypeMismatch
b0be083c8d3ac8f3e3cc8c2164cc4bd78f90bbd4 Domain BagAddBag TypeMismatch
53f61a0e07723dba8e22cdbb5bd40938ec2de91e Domain BagAddBag TypeMismatch
75206c00e83cafc7ae97d21ead5dc2f22b4d1b3c Domain BagBagSub TypeMismatch
e4b37d499b06e8ac665ed6c0b3ab56867ffa3dff Domain BagBagSub TypeMismatch
13d5f30be4802c4d36a6976de3ab16e7efd68670 Domain BagCopiesIn TypeMismatch
e70e3d74d9fe0427e72d26e5876348e3568977f4 Domain BagCopiesIn TypeMismatch
cdb5b17b8b5da3e985f08b551454acf6e93b0dc0 Domain BagSubsetEqBag TypeMismatch
9927f6bb5b2981eebf515860e4d218f9db1960c6 Domain BagSubsetEqBag TypeMismatch
44e48367f0a9832f260f25d9a79cd4fde211b49d Domain BagBagUnion TypeMismatch
282b6f309cc83275f5fc619bfb833d1256e9d101 Domain BagBagUnion TypeMismatch
31d559bf02945ae452f49c301081e5f16dae2790 Domain BagBagCardinality TypeMismatch
9b20375095647578cc706d40fad81c94cad23ada Domain BagBagCardinality TypeMismatch
eddaf0e010c50859c20c76d18295b8c7c67f3570 Domain BagBagOfAll TypeMismatch
baa2d4046c4e8fd762b8deb4bf1492c26d88fae6 Domain BagBagOfAll TypeMismatch
568c8c32ae1a2b552ac671190f419234e2be4947 Domain BagSubBag TypeMismatch
cb4053a3326905aca4b0bdf102e3e7afb8405b2f Domain BagSubBag TypeMismatch
5d13a399c5fe7a09d806d91129abccb5d20fea20 Domain FiniteSetsIsFiniteSet TypeMismatch
15895354ff115c2cb391679400b3a681498a01a5 Domain FiniteSetsIsFiniteSet TypeMismatch
99f005572b2eb335d0806f48f3dca6168788114e Domain FiniteSetsCardinality TypeMismatch
790d5c850011c65017294590bd692e1d818f2012 Domain FiniteSetsCardinality TypeMismatch
45fcf9c2874ec4fa96cc354f479e0235a0b760ac Domain SeqTail TypeMismatch
a8ad779039947fa516236b0e5c0178deb15b57da Domain SeqTail TypeMismatch
557621ca80b77ee91637ccbb478015328db2d0db Domain SeqAppend TypeMismatch
a4a5b36de85dff3b1074c24353899d4237e2109d Domain SeqAppend TypeMismatch