Index

Skipped feature combinations by case feature BagSubBag

Id Case Feature Plug Feature Skip Reason
0216d4207cecbc9d49cf681405a2361d9dca0a04 BagSubBag BoolTrue TypeMismatch
fc124dbc266d76822fa00d58c1ae7dbee157db82 BagSubBag BoolTrue TypeMismatch
ee6290837f30fb59c3d8b35a30387f9c98b39fb9 BagSubBag BoolFalse TypeMismatch
6a8089195ead9d17d24ddafae53b663dc3adf38f BagSubBag BoolFalse TypeMismatch
5457b00e7d105b2de07c4a2a19b1fa2cc66a5604 BagSubBag BoolSet TypeMismatch
f15bbf4a248bced17d046c448861be028568db4f BagSubBag BoolSet TypeMismatch
8325c3151cbaaefb8ef5cf279ad07dcf70c62b64 BagSubBag And TypeMismatch
520b069065093173c485b526bae8f5f180a733cb BagSubBag And TypeMismatch
5af686a4a371ae6b7aa535a12f2ff579c2ee4480 BagSubBag AndMultiLine TypeMismatch
d0feed481c78d582c7f220c266a6623be57f0b2a BagSubBag AndMultiLine TypeMismatch
3adc332ae39ee505611f9373a2f8a980bcdabfc2 BagSubBag Imply TypeMismatch
8c9b911b8ccca2f20d29e82db19bf7ef834c0d0f BagSubBag Imply TypeMismatch
6b87d90340baba4e8249579757f60f612a667d22 BagSubBag Not TypeMismatch
00d06930a20230ca9a941e038f9a7d9c0b39c890 BagSubBag Not TypeMismatch
e5eb310062f819b2a9b9be1d3398132c56199da0 BagSubBag Or TypeMismatch
565168cf7e5e1ca19f671dbb9b05c0baeb1bcb2b BagSubBag Or TypeMismatch
d286c5449a1be9f93efbfaa87fce46ac9c227132 BagSubBag OrMultiLine TypeMismatch
8e02ba277b472a989bb2f300d2f668a24b6bc0d6 BagSubBag OrMultiLine TypeMismatch
c9fd247b91cb1d379a7aed8c9e5872f8b85b7e72 BagSubBag AndProp KindMismatch
426a6c939063e9708515b44861108514554601d2 BagSubBag AndProp KindMismatch
14ba303cddf7f76c0a544fa207aab68d5c758adb BagSubBag Boxed KindMismatch
f3a03f80c88baccdaec30b7db74ce7a0c5281fd9 BagSubBag Boxed KindMismatch
2540d6b5b52253415d49ae3dc79c614845f77daf BagSubBag Eq TypeMismatch
8d627508b0c91c74956dcbb0d938adb4023c8bfb BagSubBag Eq TypeMismatch
bb805817fa4a1e53b5cd5f99edab26b81b4c7a99 BagSubBag Ne TypeMismatch
02aaf31a6fdbfaa611f356127e3e6391bbae210c BagSubBag Ne TypeMismatch
284b7186b352b5d9ac78cd952d816403b9760b64 BagSubBag SetEmpty TypeMismatch
03cb08197cbd763087d796f673a05e353395976b BagSubBag SetEmpty TypeMismatch
aec0d7a5d9b36037aa313635273eef78cc65e095 BagSubBag Set0 TypeMismatch
bf0ad18161697688e55959bbf10dac0785b29960 BagSubBag Set0 TypeMismatch
43c67e193f9f65d08c09409bc7d1d2b09691c2e7 BagSubBag Set1 TypeMismatch
b05b678f0c5b6240972e4684c5e3f989d3391970 BagSubBag Set1 TypeMismatch
715cae687bf8a9daf3f5e44b987bac67c95f521a BagSubBag Set2 TypeMismatch
fc9ec3e36af0648ccf98b54502d3e2564388c2ea BagSubBag Set2 TypeMismatch
14c5d28befdee639e7854fbed2b654d49f0c270f BagSubBag Set1InDef AlreadyCombined
6f82951d3c8c51d1eaea7fcbce89073d7522af46 BagSubBag Set1InDef AlreadyCombined
ccce2ca4e471be20afe4050029ef6a785caa55b2 BagSubBag Set2InDef AlreadyCombined
0309bd98e2f1dc8c79fb894813fda1f7684e41dd BagSubBag Set2InDef AlreadyCombined
f502564ee552cacf8d4c9d1ecc018ea75c71a78c BagSubBag InDef0 TypeMismatch
4cd81cbc24be2369f03041c9fa728165eb55c4a8 BagSubBag InDef0 TypeMismatch
a6b3efd793856d9c51bd103c20487f3cffba95f8 BagSubBag InDef1 TypeMismatch
7fba1110b51c15da1f44c9996d32af510af66e10 BagSubBag InDef1 TypeMismatch
9dbc113733a6b73e2d2d7eae92af0b76b8e136f0 BagSubBag InDef2 TypeMismatch
0ab57cdeb14181ca5edea8c672df01daa6bb8636 BagSubBag InDef2 TypeMismatch
d9cd379c13b655b3db86c93392cd2dc48b57a14e BagSubBag Fun TypeMismatch
d298305d99e678c90e1642845a0c66d41e74b752 BagSubBag Fun TypeMismatch
dfe1ffd6a951795198de5db720dce76bbe23aa86 BagSubBag FunInDef AlreadyCombined
314a2212c65184da8535c13a2d1cc57a26c6daf5 BagSubBag FunInDef AlreadyCombined
58b471cb9ea1b63ede2be17bb666a61671954f50 BagSubBag In TypeMismatch
dafba13d38d27f5994c1231dc23c0dbc07fabc69 BagSubBag In TypeMismatch
9ad5668bb05a46352c67e00e98db76cdf772ecb9 BagSubBag NotIn TypeMismatch
d258a527a9bcd2daba9775f0bb6d6b5fbc44db2c BagSubBag NotIn TypeMismatch
e5fa49601e6b0d29a7b83418c06a12292655e505 BagSubBag Exists TypeMismatch
730f93ec59ab299758484e3762902f90f64b4cb0 BagSubBag Exists TypeMismatch
54ca871e6e47972b4b4fb8715cc6abf0e65dccda BagSubBag Forall TypeMismatch
8f8a86cb6a337be4f4d1b97fe8af1d813865d851 BagSubBag Forall TypeMismatch
2f8bc282085ba5bcf02804e001c373084b66fab7 BagSubBag ExistsInDef AlreadyCombined
de93fde043abc79766dab89c61f33bb5ef0b3bde BagSubBag ExistsInDef AlreadyCombined
d115106d1757885d3edfe43a80485ce8255a1c13 BagSubBag ForallInDef AlreadyCombined
5d06e8a3dc8a3f2581ab776e7e60874ee60cae38 BagSubBag ForallInDef AlreadyCombined
7f4b1b885907256fa193e66ad994153a2eed3d48 BagSubBag ChooseInDef AlreadyCombined
7241c3ed02fb5db6903be7c77397d5e10ef7070c BagSubBag ChooseInDef AlreadyCombined
f3500d406f830fdae604a20f5c98da6b456380ad BagSubBag Record TypeMismatch
23336c07fc0cb6691ce161e41bc7a7ec3a455d13 BagSubBag Record TypeMismatch
4f4b92060ca277e15ca7a43154b667cd6007b28c BagSubBag Tuple TypeMismatch
01ca9fec864ef0a8b266fb212ffaa8b42f703ec5 BagSubBag Tuple TypeMismatch
94c7d6966ed9e4450b1eef6c659a7300e6f5f2e7 BagSubBag TupleEmpty TypeMismatch
9fd55d6f06635fd570790cbb2b37130342a8e782 BagSubBag TupleEmpty TypeMismatch
c426d01f1f28247642fb6936d601caf0be0a09d5 BagSubBag Except0 CanNotBePlug
327456c3097b181a8e982023cfab09e8546d04af BagSubBag Except0 CanNotBePlug
b408b249781170bf2ac81fdefac25842377689e2 BagSubBag Except1Fun CanNotBePlug
2e2fe360dc5ce424aa7afc7152f4f0a55f17ea85 BagSubBag Except1Fun CanNotBePlug
e0c891626c2e452295c6ed12f9d97a0638a964ec BagSubBag Except1FunWithAt CanNotBePlug
ec280ec8d9cf552feb3157a72a0f1ead2bf9c729 BagSubBag Except1FunWithAt CanNotBePlug
1f912c140d026f72e589716549709e07f2ee1e52 BagSubBag Except1Rec CanNotBePlug
7448b5cc4b33454a7ad29b2d626ec17e207cce03 BagSubBag Except1Rec CanNotBePlug
a1ae77f9a51f3a75134e5acc3875263a848c2191 BagSubBag Except1RecWithAt CanNotBePlug
6ff316d44e0716bfc77af9a64541d6a60cb6fe8b BagSubBag Except1RecWithAt CanNotBePlug
da730652bb63bc3729bcca5826b8f6fe95a25ab0 BagSubBag Except2Fun CanNotBePlug
9d6e58e7dc8173cd66e3f7c5d5f6554b08ba1793 BagSubBag Except2Fun CanNotBePlug
d3161baf72dbcf35286ad4e4b7af238f48b6dea2 BagSubBag Except2FunTuple CanNotBePlug
10aff5c71a314f89f363567685aa45ad3e598e36 BagSubBag Except2FunTuple CanNotBePlug
592b316c2f757a20cbcdec36d45520d04fb053f4 BagSubBag NumZero TypeMismatch
44cc0edc3562bc4bed92177087648235f6ead1a6 BagSubBag NumZero TypeMismatch
0b72b5833685c97cb96f8a13c8aa5f156cd46dd9 BagSubBag NumOne TypeMismatch
0f9b6bba3eb5d87e36d73980f3171b4a94c26dea BagSubBag NumOne TypeMismatch
62193f4db797981da29e6fb5aff4d7f603dd84d8 BagSubBag NumMaxInt TypeMismatch
49c1dd59496673706ed114a7ddc3c086b1fc0bda BagSubBag NumMaxInt TypeMismatch
094d3ac0ed996da278da550e9f42e98d55f08db7 BagSubBag NumUnaryMinus TypeMismatch
cbb7cef304db916bd979c133f5db70aae02fd00f BagSubBag NumUnaryMinus TypeMismatch
597b6b278b6094121ec37a3cc4088f250f00eb8c BagSubBag NumPlus TypeMismatch
29c380551e873925ff024cf7278139f5a8e47551 BagSubBag NumPlus TypeMismatch
4d7925032288ac83363caf85f3527d05eaa54536 BagSubBag NumMinus TypeMismatch
413b57d7cf0d7404f6ad3f095d1271169f5ff85f BagSubBag NumMinus TypeMismatch
13c7efda68b5501b670971233f79345baaffe8fd BagSubBag NumMul TypeMismatch
ae9f4c8bbedbefaeb702a9068057b6d4c9ac34df BagSubBag NumMul TypeMismatch
f01f0b1e3fbb214c69313aa532a84d82784d9e3c BagSubBag NumDiv TypeMismatch
4a8638d8c476fbe549b3e79662ef6c929cb260d7 BagSubBag NumDiv TypeMismatch
ca7e60534d8af684683da09d5013a43860f6250c BagSubBag NumMod TypeMismatch
12270bee1e2ddc362a8be9a3def27052679c7666 BagSubBag NumMod TypeMismatch
5ee0847dd0b2e70bf8116528eaf155419cb73e6f BagSubBag NumPow TypeMismatch
0cb8af080f5a672d4b79223f519c1d7fc9124c75 BagSubBag NumPow TypeMismatch
84b5f5108f1109fa5055ec47db2c43436178891c BagSubBag NumGt TypeMismatch
275dbceec8fc73ed657f93373f92069f948746c2 BagSubBag NumGt TypeMismatch
fc167dc399f54fea5b8e98ad25b6eb243baad96e BagSubBag NumGe TypeMismatch
af198074f82746686b7ee2aef500dae445e45234 BagSubBag NumGe TypeMismatch
3e176f41cfeb10f4dfd1e331510eeb3fe2967d86 BagSubBag NumLt TypeMismatch
9212812123940721efc78011720a73aeb679a8c6 BagSubBag NumLt TypeMismatch
792ff9cf5a7145a61e85306dfd79b08502d95b14 BagSubBag NumLe TypeMismatch
e3898fb9dbd00be99ef5d0c3881a2e3da70d209e BagSubBag NumLe TypeMismatch
b27a7b64f47c162216454d60e86cce5975fd1a28 BagSubBag DefFun TypeMismatch
80dc1f9d3d4b0ee0dcc9107b1626b7745e851535 BagSubBag DefFun TypeMismatch
15816fbe5fd752be1d7947f2b700db17081a8519 BagSubBag LetDefFun TypeMismatch
42f4ae9e7026336aaee0f986f5f1d80da283b357 BagSubBag LetDefFun TypeMismatch
0f328a3422096f3d567bf5b09c836fe3f5eb51cf BagSubBag DefFunRecursive TypeMismatch
eca715ee99656db5445e8963619c8ba0082d259e BagSubBag DefFunRecursive TypeMismatch
116dff659c3e0e094da94694e8913773abf39d58 BagSubBag LetDefFunRecursive TypeMismatch
c8bf80475566a88ef96da6101a274b19354846e0 BagSubBag LetDefFunRecursive TypeMismatch
ad36bab57020a08cde787a0001941f813bbc5440 BagSubBag DefFunInDef AlreadyCombined
2ff49fa29eb99229758f694a0b7cb79fa78f427e BagSubBag DefFunInDef AlreadyCombined
776a2e8a36fa2f0a5c8e154c52616e8babb915ef BagSubBag LetDefFunInDef AlreadyCombined
44a54820c5bae44350c35f77ab6138ce18adf25c BagSubBag LetDefFunInDef AlreadyCombined
f93d2d6d9e0194ce999343876f684c672d4de005 BagSubBag VariableViewExclude VariableExcludedFromView
3418efdae24f4d9c88d07a6723887c9d344c9056 BagSubBag VariableViewExclude VariableExcludedFromView
95902e24ff0768c7daa1e5f854c85354b0c954f6 BagSubBag ConstantModelValue ModelValueCanNotBeUsed
9a4b3a41a6706e4d4d76ac35b388138bca7321ff BagSubBag ConstantModelValue ModelValueCanNotBeUsed
15ee25f00252e8f5398c23748bd87a63125b41db BagSubBag Enabled TypeMismatch
b893c3d1dfe874f6d6d2935a34e1e73ef9bfdb9a BagSubBag Enabled TypeMismatch
fe154f08dab62971eda9596c6bfd5f009ab34e08 BagSubBag Assume AssumeIsNotEmbeddable
779c8b4c4717fb176cc446e98351569fa90b4fda BagSubBag Assume AssumeIsNotEmbeddable
bac3bd2e31a461912bf80be7e599779719abcd67 BagSubBag AssumeNamed AssumeIsNotEmbeddable
d4f1818a7ed171b0790ed255381d6ff2ef09a23f BagSubBag AssumeNamed AssumeIsNotEmbeddable
0115af694b790eee1da0b755a1c6efb8a7a2f2e2 BagSubBag Lambda TypeMismatch
543fbceb8979bfaa0cf1124fae52e9c0fa8ce68b BagSubBag Lambda TypeMismatch
e6a988f192c4732aed73a562d71d9ade7191b756 BagSubBag Cross2 TypeMismatch
809881946e20046baf68ea721b14ff7fd41b2441 BagSubBag Cross2 TypeMismatch
4ced59bb1f87e3bd7f3c12574a280568d9410ed8 BagSubBag Cross3 TypeMismatch
0a70f76efc79a2ec8c654a8b6ea4e1577730b52f BagSubBag Cross3 TypeMismatch
dacedaac2fd1c361900ef24264ddaf24d67ec428 BagSubBag FunSet TypeMismatch
b24419f7bfbcefd249ed732e9e1f97b7bce83e79 BagSubBag FunSet TypeMismatch
24bd76582908aecf2a0cf3b866ea88c23e5031d0 BagSubBag RecordSet TypeMismatch
a8497b866fcbedff45ddbe7f96568af2999150b9 BagSubBag RecordSet TypeMismatch
a2c15cf971e21dc89e9fe74bd0a486bc5d5bcf9a BagSubBag SetDiff TypeMismatch
9ae05b14781a319282eaff0516b32df591411518 BagSubBag SetDiff TypeMismatch
0f676350dca705f2dc129fbf62fc4386c96e2342 BagSubBag SetUnion TypeMismatch
32e5a9855c253d5daf8b2dec486a9278321f4c60 BagSubBag SetUnion TypeMismatch
f699a76694c616184c9a489a8bd30b39798be94c BagSubBag SetIntersect TypeMismatch
fc9458f4efa391936cdeb1706af39a7ae2b38685 BagSubBag SetIntersect TypeMismatch
b8a4b70de1bd771a467209d53a8e2130ca56f065 BagSubBag SubsetEq TypeMismatch
5ae516d42c6acf0e9ff4c1f949cee58c5c247c5d BagSubBag SubsetEq TypeMismatch
5dacffe18cda9a306fb577d456a9113b8d9b8b4f BagSubBag Subset TypeMismatch
48de7c6426839289e48cc4e2ee2497b73d32226a BagSubBag Subset TypeMismatch
0f294ddb87783549135e2ad3866a0a55d5da80ae BagSubBag Domain TypeMismatch
e3b3315b1cbc51e59a035756ffdef493018ff0d4 BagSubBag Domain TypeMismatch
cbc68c306fe54fbcb5082cf9c0c950ba5870cca0 BagSubBag Union TypeMismatch
33b738ed833f841e09f7a1dcb45f02ba041d7e85 BagSubBag Union TypeMismatch
215c146dd9f1cfa9b788cbf8e86ace5e20828256 BagSubBag Unchanged TypeMismatch
7307ec906b9ace7e1f6c452b5778f7b2f6e19f88 BagSubBag Unchanged TypeMismatch
46b5283554edb51b94881ea055c3be1417672b2d BagSubBag Equivalence TypeMismatch
d0461526d32545ccf7af6b6b2f64bb8199454f76 BagSubBag Equivalence TypeMismatch
e1ef2681ffa51ebbf870966bd8c524b50997c18b BagSubBag StringEmpty TypeMismatch
e9d47336068168fb1001b36a25296f3ca94ac86b BagSubBag StringEmpty TypeMismatch
a46f687cd82015b10d296291d8ec3da6e9f1dab1 BagSubBag String TypeMismatch
8679882dd2f0c92beaedd59a9783953fad83a851 BagSubBag String TypeMismatch
09899a675781129b98a5a9011395c18055ec2bc5 BagSubBag SeqLen TypeMismatch
07a0b5344b7e9a24e29e54f6a19e0b2757e99e88 BagSubBag SeqLen TypeMismatch
69f67bbefa463f4b3569397309da33dfa5a327a8 BagSubBag SeqConcat TypeMismatch
a362cbae96dd2b287158abfe0a1a7b571828d61c BagSubBag SeqConcat TypeMismatch
1a1f789fbb43d25b9f5ea59659b211c23023555c BagSubBag SeqSeq TypeMismatch
c401dd3561b5fed3a369e4678bbb24111bf81368 BagSubBag SeqSeq TypeMismatch
73cf900be39e5267db8de6090aa55a3260ab23a8 BagSubBag NatSet TypeMismatch
fad8ed22dbee7b978a00418a1341495129106ec5 BagSubBag NatSet TypeMismatch
821f6b1b9470f9f639faeb29beed084fd5279372 BagSubBag IntSet TypeMismatch
dd7512e16008f3da7737716870e2bafced9824d0 BagSubBag IntSet TypeMismatch
97f8afa26ef67aaed4e202849243a8ed89706132 BagSubBag StringSet TypeMismatch
059b73be05b6982d9d08b8afeee01f4be6faff98 BagSubBag StringSet TypeMismatch
bf2ce076adefb026c421a6140901bcff3ca00fd3 BagSubBag SeqSelectSeq TypeMismatch
f845872b3362e5bc9bfc927089e77e4129a56add BagSubBag SeqSelectSeq TypeMismatch
da13afe66cf59a8a5a57ca9ff882be6a84324080 BagSubBag SeqSubSeq TypeMismatch
3de5f399b088c2f2cc22f5bfc4eec1cafa2e00af BagSubBag SeqSubSeq TypeMismatch
55a377fc3ecf794adc116645c83e1525a24c2c49 BagSubBag NumRange TypeMismatch
b65c2044283c1883d0b2ca66c7299d30d44f7935 BagSubBag NumRange TypeMismatch
e0adb414452b842a7bc9d585ced22ae902ce9429 BagSubBag TlcSingletonFun TypeMismatch
017d2515959462a64e588ee4489e01cea711b101 BagSubBag TlcSingletonFun TypeMismatch
8ef6241576cc7780ceee234a708089abeab2c139 BagSubBag TlcExtendFun TypeMismatch
5d84f5ca80e052cc2ae98a76afe1270a07894123 BagSubBag TlcExtendFun TypeMismatch
79a266db4f64ac2410908c89211823f8386997af BagSubBag TlcPermuteFun TypeMismatch
f18af27585f80edc18ecaa3aeb8e2ada2af3e4e4 BagSubBag TlcPermuteFun TypeMismatch
72258cf5bbf7549552492928460af61039e3e647 BagSubBag TlcSortSeq TypeMismatch
18b6ab692eec8535e406dd898e4ebf734b5b0975 BagSubBag TlcSortSeq TypeMismatch
beffd07bf1667e6e746f551c770815ca82ce79a8 BagSubBag BagBagToSet TypeMismatch
7dfa050a73fb7666cab74155e35d3e49cbf194a1 BagSubBag BagBagToSet TypeMismatch
669c58132b22fc87f6870039bfb9b7835ebbf4ec BagSubBag BagBagIn TypeMismatch
7a152184cf675133db4faf0fe45a77932c4f2184 BagSubBag BagBagIn TypeMismatch
711512167e9236cb2665bc66536bd3d568c0f39d BagSubBag BagCopiesIn TypeMismatch
0c63c00e0f164c7d36739af16eb7ba46830dea6a BagSubBag BagCopiesIn TypeMismatch
f74155703c50b227cd9aa713c7e189b815fa330f BagSubBag BagSubsetEqBag TypeMismatch
7540e528fa7b9e990e232f534dc13775dd2db772 BagSubBag BagSubsetEqBag TypeMismatch
3a63e29913746f18acff64c70875755467fa1359 BagSubBag BagBagCardinality TypeMismatch
dc307afbd0c58e955553098aec29022633caebdb BagSubBag BagBagCardinality TypeMismatch
ac91b2c5d12f32c2a0238c8c6e3ce1734a8a7b8c BagSubBag BagSubBag TypeMismatch
3adf02546474ce7364d5e5a21802cf179a4a378e BagSubBag BagSubBag TypeMismatch
d1fdfae795971dee809c241a67e1a8e21cc5fc0a BagSubBag FiniteSetsIsFiniteSet TypeMismatch
b4b4fe8df8857ca2f7677bc13d2720aca9c2a281 BagSubBag FiniteSetsIsFiniteSet TypeMismatch
75ef510bd14f913f21cb248d429b00ba82a1cc96 BagSubBag FiniteSetsCardinality TypeMismatch
206510b730c53ad998c99db40b45e2f3d19c9087 BagSubBag FiniteSetsCardinality TypeMismatch
13459850ab3075eb67c4f04a6298c13299081143 BagSubBag SeqTail TypeMismatch
15fa4b65fce63240da1b28ff06c2a7eac8178339 BagSubBag SeqTail TypeMismatch
a332dc307d5c3f153d0091cbd46c951df7e05ca7 BagSubBag SeqAppend TypeMismatch
a1500a120228e0b6a45b231dce49c5c543101b29 BagSubBag SeqAppend TypeMismatch