Index

Skipped feature combinations by case feature SeqSubSeq

Id Case Feature Plug Feature Skip Reason
633805cbe47d4db4edc3dff236d30603efaf6f1e SeqSubSeq OneLineComment TypeMismatch
577a4846e7e8741a748cd1fadda28b77ac6d2328 SeqSubSeq OneLineComment TypeMismatch
68d7576fed8ab7deba175d324fa7090c6a360d90 SeqSubSeq MultiLineComment TypeMismatch
c13888c8bde52c1f378691400c19fe27cc663066 SeqSubSeq MultiLineComment TypeMismatch
54e1bbc81cc9d0ccc5fb29595102a2431ef2e4c2 SeqSubSeq BoolTrue TypeMismatch
ef79d795752b035b9df414442adc25a4e6a5c1d0 SeqSubSeq BoolTrue TypeMismatch
995d9c4e42db27959d6a04500af2f6401a444536 SeqSubSeq BoolFalse TypeMismatch
af21e2823938f74cc4311b25145f566643738f5b SeqSubSeq BoolFalse TypeMismatch
b5fd8c69f731ac485afa7efbd33c982fd1031f59 SeqSubSeq BoolSet TypeMismatch
340aea76d6cb2a131b9d9a65c3e20a9ef1095ac6 SeqSubSeq BoolSet TypeMismatch
8537d984f2372cce5ce24b9ab6d1991eb10d819a SeqSubSeq And TypeMismatch
d464e5fb48bd4636113e9b54b4be00060acf741c SeqSubSeq And TypeMismatch
e12d9fb3b517483dcf9685e276487209e20a3b47 SeqSubSeq AndMultiLine TypeMismatch
6e458b6c5dd559788fcb7208f8e8f06f8fd4fe67 SeqSubSeq AndMultiLine TypeMismatch
92e4d34fcaee0688f08d525c21d9cb2fe46d4a58 SeqSubSeq Imply TypeMismatch
6d55353969a3135920e5ddcb74a97adb351baf1d SeqSubSeq Imply TypeMismatch
5fd5b59e62cb3abc78575f9ec3d1712084ac0009 SeqSubSeq Not TypeMismatch
2df9223cc68beec92a768f6bb5c2dfe5e24f06a3 SeqSubSeq Not TypeMismatch
e3616fd1d6caa05fc21f82f746e43c2a2bbc163d SeqSubSeq Or TypeMismatch
28c36406737eabcdf7a040902828979c716f6814 SeqSubSeq Or TypeMismatch
472c49158691f625875cfc288f99c1dcd986a634 SeqSubSeq OrMultiLine TypeMismatch
8113238f09ad0a61b86bf78d8afb14d5fce89838 SeqSubSeq OrMultiLine TypeMismatch
ba619c7b3138bbd93aa01a351522ff712b932a6b SeqSubSeq AndProp KindMismatch
3c45098d93fb0e51fdbc08d5d684701a898bdb09 SeqSubSeq AndProp KindMismatch
2a8a1dc4a9289cea880f1d5cc60703dd218eaa1a SeqSubSeq Boxed KindMismatch
cdced37a7d7ef322d0eca2b4957d47732babd4a7 SeqSubSeq Boxed KindMismatch
5033ea251dd61b55dfab00a984c2a627a32dfb79 SeqSubSeq Eq TypeMismatch
94404aa0c7fd050863d4fd612fe4d829edf8b9cd SeqSubSeq Eq TypeMismatch
396e3bd1a3152bf4b6378ce02f7a2d60d5546a3a SeqSubSeq Ne TypeMismatch
18dca73eee2c498cced8fb936d60b7c0bebe6fb2 SeqSubSeq Ne TypeMismatch
502252d8bf50d951408d5baf423ff0f2c0c48d0e SeqSubSeq SetEmpty TypeMismatch
5e3355f01724aa40b2b83dbda9d51931c2687556 SeqSubSeq SetEmpty TypeMismatch
35c75b1232f315494413cd12947a97bc6892f454 SeqSubSeq Set0 TypeMismatch
1851113071773a8072b75f809adfa89b1edf9702 SeqSubSeq Set0 TypeMismatch
015540487526f98201d681c836ea5d404cd42d35 SeqSubSeq Set1 TypeMismatch
3705a0254c2dc88d961a4143c5bc721f49060e00 SeqSubSeq Set1 TypeMismatch
c16fc4be4d6649f62e86d643cf6eb73500111b39 SeqSubSeq Set2 TypeMismatch
99edac1798c8fe55eb00c7db2bc8c2f780972047 SeqSubSeq Set2 TypeMismatch
5025e91916e3a4350c4be2aba96a8be3f06e5d3b SeqSubSeq Set1InDef AlreadyCombined
108fa78a401c5a210008a35fb515a1bbd56e57f0 SeqSubSeq Set1InDef AlreadyCombined
be695db12661d43ee255f03860171adb4d553ad3 SeqSubSeq Set2InDef AlreadyCombined
15fa6653f215c58ba9a31e6c2e7841e6269d6ab0 SeqSubSeq Set2InDef AlreadyCombined
eef00bab39c08303ed989de1dd289c3d00fc4523 SeqSubSeq InDef0 TypeMismatch
96068153fd747b23c4e47b7fb6a91f13e3a0162d SeqSubSeq InDef0 TypeMismatch
66e754c27fa686e432e167fa59b4f05078f81924 SeqSubSeq InDef1 TypeMismatch
228642731721e37ccd3c424d8df5597945492c75 SeqSubSeq InDef1 TypeMismatch
7edeb18544069225bbfb641efe7288423b5d4ffb SeqSubSeq InDef2 TypeMismatch
d9257bb5e039dc67cc22e90d7d83b8d2464f7270 SeqSubSeq InDef2 TypeMismatch
9bfcb7b709007d1b37c4dcd640376e6e4b286694 SeqSubSeq Fun TypeMismatch
cbb580d53facb44d243cf8534cfab13bfa51a254 SeqSubSeq Fun TypeMismatch
64618914e9aed440553a6180bacc10368fb595a2 SeqSubSeq FunInDef AlreadyCombined
3a3e0b007f8c645d33288d49efeed810dc3c87a5 SeqSubSeq FunInDef AlreadyCombined
4540ed7b488acdd4612f03d878ffed1c91e2ef9e SeqSubSeq In TypeMismatch
a0c482c66dc1606b2ca23dfedf37824352c184b7 SeqSubSeq In TypeMismatch
1049bb49a0f4f99cba0eaade94e610e49b88d36c SeqSubSeq NotIn TypeMismatch
7da754681ad103efd1914251dc9270fbbb08a2c7 SeqSubSeq NotIn TypeMismatch
3df68f696d64c934bfc51a34c357b34e5cd163ba SeqSubSeq Exists TypeMismatch
e7bf714d2b11aa50ebdfea4fb3fa385eada0e9de SeqSubSeq Exists TypeMismatch
cf143bf82855161c03a3a4f52f864f0f7abc92cc SeqSubSeq Forall TypeMismatch
b35f0967135020103f2c1f46580221df8aa9c5b1 SeqSubSeq Forall TypeMismatch
8397bc2af4994a67f1140c9887612476cf15e107 SeqSubSeq ExistsInDef AlreadyCombined
fe8b39000808a90ea1c23bb0e8aee2ce1dcfa867 SeqSubSeq ExistsInDef AlreadyCombined
ad110d9a32b0f28445f5ce3346c699aa03a57034 SeqSubSeq ForallInDef AlreadyCombined
e088166684491ec281646ef66ca15b5b4f989d01 SeqSubSeq ForallInDef AlreadyCombined
ec1e6c0ef86301a2aa59038c1f4550185573af24 SeqSubSeq ChooseInDef AlreadyCombined
cf2fdadad62b75aee4514b6c17b7ea9c51615566 SeqSubSeq ChooseInDef AlreadyCombined
11aa101a80c1231970e41da1ce97e29ebe4f1856 SeqSubSeq Record TypeMismatch
60a8c87c163c65234c92f14761548341f7b8a002 SeqSubSeq Record TypeMismatch
5f52f4327fbbc0860d60b90d4da14586b4b2175b SeqSubSeq Except0 CanNotBePlug
fbb14c12d6fee5bf384b8d022d53021c9201cfaa SeqSubSeq Except0 CanNotBePlug
25bf85c4a7448fd0a18e9247844dffc84c840511 SeqSubSeq Except1Fun CanNotBePlug
8cd237fac9271948a5e4c4c7141140f845e58779 SeqSubSeq Except1Fun CanNotBePlug
5ceb4f86735ff6a265efd1f133ce603fb902c82f SeqSubSeq Except1FunWithAt CanNotBePlug
a5a061da5a980ae35c07df96aa6417bc8716e9c3 SeqSubSeq Except1FunWithAt CanNotBePlug
3e22c9541ca4d021aafaee2af95046cbe6f061a6 SeqSubSeq Except1Rec CanNotBePlug
c2c83d8b4f4e202cca6f1b65d12df545f42e881d SeqSubSeq Except1Rec CanNotBePlug
59a6d2bba1edb14ce41cd3f88ed1bac8678d4354 SeqSubSeq Except1RecWithAt CanNotBePlug
db2817cad91a538c15b161948ea626258638e38c SeqSubSeq Except1RecWithAt CanNotBePlug
2727f7827beca9b84ba03ab4aade9538af4b51da SeqSubSeq Except2Fun CanNotBePlug
c091cc474a16c85cf13c17d64d207aef9dc209c2 SeqSubSeq Except2Fun CanNotBePlug
a74d4e9eedcd0efe50ad78c14d2d0111f5fe08bf SeqSubSeq Except2FunTuple CanNotBePlug
2e4568fe3eb2ec872a74f707c970cd71d6311b3c SeqSubSeq Except2FunTuple CanNotBePlug
24cd34992cc4f35d11b5ed73b9a93f0a8986b505 SeqSubSeq NumGt TypeMismatch
1cb482e2ec4d0ebc5b70bfb5676638a7a9989c61 SeqSubSeq NumGt TypeMismatch
091e743009c8a2b534760453ae4bb22efeabb913 SeqSubSeq NumGe TypeMismatch
1a9c51fb8596db28bb5292916700d95c79c9f53b SeqSubSeq NumGe TypeMismatch
e8286cb56312bb0681afeadebbbbd2af8b4571d7 SeqSubSeq NumLt TypeMismatch
66c87f86ade9acb2e358f76cfe528b5ad3ccb07b SeqSubSeq NumLt TypeMismatch
a80e5f2e083b823de0fc3ed473fa702690619ccb SeqSubSeq NumLe TypeMismatch
b80a9c7a7c3c58e53e69db7c6bfb2edb0dddaa77 SeqSubSeq NumLe TypeMismatch
59db5a308e5ee23e90ddcfaa109ade5175b3cfde SeqSubSeq DefFun TypeMismatch
db20ac6437805376ba27871437ef0a50b457a36f SeqSubSeq DefFun TypeMismatch
7e47cc45e6e74b1102d4d3c9bd982cdfc04d298f SeqSubSeq LetDefFun TypeMismatch
a946bdcddc6f0b0fbd850d70ca8669ac8cc98816 SeqSubSeq LetDefFun TypeMismatch
ab50eae673174189611b0b60989fb6e76937c5b7 SeqSubSeq DefFunRecursive TypeMismatch
e575790988efeaffb937c80707a842da8d666522 SeqSubSeq DefFunRecursive TypeMismatch
bb54b0ea81cbcbcacbcd3d8a1eb6b4e5eb38d32e SeqSubSeq LetDefFunRecursive TypeMismatch
3badca3cf3d796f8802c936eead1bf11eaf9b554 SeqSubSeq LetDefFunRecursive TypeMismatch
1c107cd8338fb2172167abf779a0a47b5f88c3e5 SeqSubSeq DefFunInDef AlreadyCombined
3ae2c0b574ada6fe4c5625f15ba65d668d17128f SeqSubSeq DefFunInDef AlreadyCombined
5270ff2583eb97c926ea0ad0d0d07fc1d8f56971 SeqSubSeq LetDefFunInDef AlreadyCombined
73178b249ccad565cec8cebb4c3a100d184ba88d SeqSubSeq LetDefFunInDef AlreadyCombined
8c978dea546b40be772bee15f31fb3a783e6047a SeqSubSeq VariableViewExclude VariableExcludedFromView
993000ea8ff312fae5e385bb10f76c281a706bde SeqSubSeq VariableViewExclude VariableExcludedFromView
76c3566713b3b6003563bfddf623e72b81d39bf0 SeqSubSeq ConstantModelValue ModelValueCanNotBeUsed
309c103b7d20fa756ea7bb58885abca74a08e672 SeqSubSeq ConstantModelValue ModelValueCanNotBeUsed
f3d8ba3221ec69c465116d067b8919e27c0e78e5 SeqSubSeq Enabled TypeMismatch
ca6a687d4cba4b074aa7d36010c05c34d63cc9f7 SeqSubSeq Enabled TypeMismatch
e27008e999a592c90241f2e3e2f44638832fcf60 SeqSubSeq Assume AssumeIsNotEmbeddable
e015a371855747d534e171b76c8d03ceaf09a1f4 SeqSubSeq Assume AssumeIsNotEmbeddable
4995781fb18e4ffd388ef0c41366e9509e2edeff SeqSubSeq AssumeNamed AssumeIsNotEmbeddable
9e0738a1bc6adaebba3045aa31416f0930fb614d SeqSubSeq AssumeNamed AssumeIsNotEmbeddable
868741b18eeaa10465d72a3fcbda8c4dd6dc23d2 SeqSubSeq Lambda TypeMismatch
0a0bb3877f0a452f2cc3df259e56d81feb1f185f SeqSubSeq Lambda TypeMismatch
c83a12d15e79c9c035d9ca9c47e364510be50019 SeqSubSeq Cross2 TypeMismatch
a4f8ddbda5dc0d61119160d44ad06e4c578a2074 SeqSubSeq Cross2 TypeMismatch
4f8f2c16893f8c419181d373cc443cbf8f11fbe4 SeqSubSeq Cross3 TypeMismatch
aaa8f0e2c3fc4a2bc3c42c8a514c82298c5a3186 SeqSubSeq Cross3 TypeMismatch
135bf99a390c0b5335d398a530c790ffe0a2fe65 SeqSubSeq FunSet TypeMismatch
f6af7c2b5b96b53da8307b8e06cae08142790029 SeqSubSeq FunSet TypeMismatch
8373c09d5ce4766053f5591696db68f78b1c5fff SeqSubSeq RecordSet TypeMismatch
b5d8261bebd92ab684dd92b1f1709ed4b33d5561 SeqSubSeq RecordSet TypeMismatch
c5606af37cacb51b3b1a6ce803d4d212e6a8903b SeqSubSeq SetDiff TypeMismatch
b93aa1c272ff9e31ca409a782abf607272ece5d2 SeqSubSeq SetDiff TypeMismatch
6820cc708fa4f9a341ca8738f011097128a3efe0 SeqSubSeq SetUnion TypeMismatch
c4ddabddc294bba44452a2c0034a07e2530aebfb SeqSubSeq SetUnion TypeMismatch
30ad55acc4d304c8df1f5f9ad8e24492e3f6c0b0 SeqSubSeq SetIntersect TypeMismatch
9ca1afd9712d992f9646e3a65f9240ad4cdc6b49 SeqSubSeq SetIntersect TypeMismatch
c2b596adbaef1839a42eefafdce71072535117f4 SeqSubSeq SubsetEq TypeMismatch
d1b1988a524cbfa1b71f85153aff16753e1bae88 SeqSubSeq SubsetEq TypeMismatch
09cbd696a2d4a4c269c49ac90d70ffd65a4fe53f SeqSubSeq Subset TypeMismatch
141742937623f7143f298889e64fcdf4aea761b3 SeqSubSeq Subset TypeMismatch
60212d807fcb52531210c00607ccc16e69f3fc79 SeqSubSeq Domain TypeMismatch
b0059858bae4cac99dda0bf8b485eb7f01416a41 SeqSubSeq Domain TypeMismatch
6e572c0bbdfa2cded69963086d5743cc7b98cce9 SeqSubSeq Union TypeMismatch
cdf3a71816f1d997174ea77ab46da47a4481483f SeqSubSeq Union TypeMismatch
2a8383150f8ac05a2a4a1dd61cb4fc28987cd6e4 SeqSubSeq Unchanged TypeMismatch
1a40d6d94478d01d26bc9536588f3b9299659e3c SeqSubSeq Unchanged TypeMismatch
f71a929bf14eb0939283882acfa578f85f854238 SeqSubSeq Equivalence TypeMismatch
786c5f5ce1d4001b323776a70bcdeb9cf87b6fbc SeqSubSeq Equivalence TypeMismatch
662eea2ff758d9348639e1df43d6003570872e90 SeqSubSeq StringEmpty TypeMismatch
78faeefa4ebf0ef84d4cb1e1f6f12a5837cd96d2 SeqSubSeq StringEmpty TypeMismatch
83e792ea4a49c606ee96dde43d66a8b9648c274b SeqSubSeq String TypeMismatch
9137396a7e5271d12e45abddf3430258fe4fb371 SeqSubSeq String TypeMismatch
4aaec6484fc3ceb455091f421f387b2b4fc368cf SeqSubSeq SeqSeq TypeMismatch
0f8fa7afa5818b233bb43542e705cc6261f013ea SeqSubSeq SeqSeq TypeMismatch
2b480ca04e97492294ce435aaabdf85bd9cdf773 SeqSubSeq NatSet TypeMismatch
c1960b2ec633a695015e37444315df9bde9334da SeqSubSeq NatSet TypeMismatch
529c4268c9b0b8703bc0f90613782801cfba68bb SeqSubSeq IntSet TypeMismatch
5c992d0c25cd210a6dc8d1a7e50eb04c96190f9e SeqSubSeq IntSet TypeMismatch
daf0c6ae0a949907db34187b30a64d8a2851f0ae SeqSubSeq StringSet TypeMismatch
d7c32be1e6916d195ad6616e9ad15febb07ebd32 SeqSubSeq StringSet TypeMismatch
cb642d5e5cc117a3b97126996eace4bfabd2432d SeqSubSeq NumRange TypeMismatch
67c0750aa0a16f1cbff30118a42cc9e1b4a4b7f3 SeqSubSeq NumRange TypeMismatch
ad889dda503528cbf88321fcb97b3e24f1f91b8f SeqSubSeq TlcSingletonFun TypeMismatch
dda85c8d1239be73b5e63a329c14083751f1b423 SeqSubSeq TlcSingletonFun TypeMismatch
dc461c4dda722e9de937c57a3473da99bf8bfb9a SeqSubSeq TlcExtendFun TypeMismatch
9212c2202c0d67b63a3c095a4a1b6c461dcc3742 SeqSubSeq TlcExtendFun TypeMismatch
6ff5d9164111bf48f5837ef6a790bc843d3ed022 SeqSubSeq TlcPermuteFun TypeMismatch
c3a286756c8486feb1a2839b25610bd624a148ed SeqSubSeq TlcPermuteFun TypeMismatch
9a2dcd56c558c48a8cce609922c6334a44758751 SeqSubSeq BagBagToSet TypeMismatch
a4fd83cbca1cab970c70b89ee1a452272e9aab26 SeqSubSeq BagBagToSet TypeMismatch
cec0c1ee0b91b6ecbdb85017de585df05b370ce4 SeqSubSeq BagSetToBag TypeMismatch
23e9d6ee2019bd77ea3ec84a0d7f8e242677c8c2 SeqSubSeq BagSetToBag TypeMismatch
b2ff0349fc27cdcf4daf6370d9cb1d652ce2b87e SeqSubSeq BagBagIn TypeMismatch
b461e6bc5483498153eed26d9669fa310b609a82 SeqSubSeq BagBagIn TypeMismatch
e53e89670d1015c1e0d49ac670f929f370c99492 SeqSubSeq BagEmptyBag TypeMismatch
ba112a91fe0fa9a4dc24fce18ae7f7668ddb15e5 SeqSubSeq BagEmptyBag TypeMismatch
53b665645dc6ebb48958c6c41763ea1f6205967c SeqSubSeq BagAddBag TypeMismatch
9e192bcb7a6dceb962c14748475076bbeb8f2567 SeqSubSeq BagAddBag TypeMismatch
dfe8137f2979b97a8e37984f9770251cd31b9a69 SeqSubSeq BagBagSub TypeMismatch
8a7be150cbe367e97e638ab9d071dd1dc5f39847 SeqSubSeq BagBagSub TypeMismatch
175c83b791751eea1bb3c6c2a2d92a7e6bfe8a8d SeqSubSeq BagSubsetEqBag TypeMismatch
a0b60461ec3ef168af2f0d479cdd6be66e7261df SeqSubSeq BagSubsetEqBag TypeMismatch
4bdda212bbf16f6643076c9f75442d5969686626 SeqSubSeq BagBagUnion TypeMismatch
c4e416f39131b1f26d1b1f8ddcab26980eb38a6a SeqSubSeq BagBagUnion TypeMismatch
19e4007b510ececeb8c556e01222e6c1b99c5fcc SeqSubSeq BagBagOfAll TypeMismatch
26013bd1482fe5f1856a719066f9677dc102b96a SeqSubSeq BagBagOfAll TypeMismatch
1e2489bfcb44b8a05ea84a3e77608ad6c65e58f7 SeqSubSeq BagSubBag TypeMismatch
76674211f37ce52816020b5f19c1e79e1b94fc71 SeqSubSeq BagSubBag TypeMismatch
86f8a1765321a0cbe64d6ec6727eade604c6e122 SeqSubSeq FiniteSetsIsFiniteSet TypeMismatch
aa83e06b1e3220a7f17fc14814fb740a0d0aa85a SeqSubSeq FiniteSetsIsFiniteSet TypeMismatch