Index

Skipped feature combinations by case feature OrMultiLine

Id Case Feature Plug Feature Skip Reason
5b4b2fbbbbd13e56f5323c392db70f201dd45716 OrMultiLine BoolSet TypeMismatch
09c4bf2c022788c5d4f996725b997e40f7be4cac OrMultiLine BoolSet TypeMismatch
68ee77da70b8e4de0e73f1e7c2de436c328505ef OrMultiLine AndProp KindMismatch
aa680f589780b57327697150d33b5c6ff0a47510 OrMultiLine AndProp KindMismatch
27456636fbe4447c2e312db908ab0d767956d477 OrMultiLine Boxed KindMismatch
c4bae9876f9887e8956669a2f4dff47ec70537b2 OrMultiLine Boxed KindMismatch
ab5b537979e07dad6d583d2a26852beff9ae6869 OrMultiLine SetEmpty TypeMismatch
cc6c470b180daeb9f8e12e7ddaee402e6089b99b OrMultiLine SetEmpty TypeMismatch
3a1ef45f25682cc7e32dc577a9be4b4a4fb24308 OrMultiLine Set0 TypeMismatch
4b3ae8ad12faa35873a2dcf64fa9d4de4092b62b OrMultiLine Set0 TypeMismatch
91e8f77071e2bb7c0c9bfb210f2214429ff2d0ce OrMultiLine Set1 TypeMismatch
9b44ed2453c937c7aed3bec40d5e69a3aa53a0fc OrMultiLine Set1 TypeMismatch
0113b38f68db4ae1173a7c867e32f707c2c88e6a OrMultiLine Set2 TypeMismatch
f3f7dbda03bfb7f9f9479c5d7cddac5660fae27f OrMultiLine Set2 TypeMismatch
0b003df42a77fe4d47ba0e3c3061efe619c956b7 OrMultiLine Set1InDef AlreadyCombined
972bc1acd31b320968dffdda53df33c8535006e9 OrMultiLine Set1InDef AlreadyCombined
8ff1fffa1307c637c1253d923c5ea71bb84634ff OrMultiLine Set2InDef AlreadyCombined
7937706f44b5ee36268b45c29e3aa153ab9e6d5d OrMultiLine Set2InDef AlreadyCombined
5c6cda51a952bed7fb712772f98a97269667551d OrMultiLine InDef0 TypeMismatch
e9835ea6ca1540a0225527a51f3c5c171758c3f2 OrMultiLine InDef0 TypeMismatch
e40d342a98a089439e6e69104f898e1928800afc OrMultiLine InDef1 TypeMismatch
ef775f8d71ef4758991f4745acdf50b0255f0a57 OrMultiLine InDef1 TypeMismatch
ac67ac5e178abe8f32b30f2c2a13b919cf5126dd OrMultiLine InDef2 TypeMismatch
654a466c26ad1ee0532a198e7436d2988fa22616 OrMultiLine InDef2 TypeMismatch
d954e9bd68ec56fc809bad603ef0d8674eeee80b OrMultiLine Fun TypeMismatch
42a22ba6b0bd65856c477d0bac48a21d46f4feba OrMultiLine Fun TypeMismatch
74516ea4ff58648894581c2f675128575f12f622 OrMultiLine FunInDef AlreadyCombined
d215e1def35f0765155ccdde4952f7d1e10d128c OrMultiLine FunInDef AlreadyCombined
7f63d5d77354e0bc61b079439ca45ad18bc4672c OrMultiLine ExistsInDef AlreadyCombined
538d779988488bede67b1a58e9bf635821ad214f OrMultiLine ExistsInDef AlreadyCombined
604bcf666be46bc2b67b11e9a545db220044d377 OrMultiLine ForallInDef AlreadyCombined
26e379a1e46d5cec19743a1ab3a5f25824445492 OrMultiLine ForallInDef AlreadyCombined
485108829a6932095a335df6b98a98b3965731cc OrMultiLine ChooseInDef AlreadyCombined
4304b3496c02e0a7fa62aba8efdafdc6d645ac50 OrMultiLine ChooseInDef AlreadyCombined
4eca104a26ac4375bb814737ab777687975f1451 OrMultiLine Record TypeMismatch
44fbf67e2e4abbcb5f19d6ec0271d1168783362b OrMultiLine Record TypeMismatch
8ce40b0400535ec9e23f140c5ec1d760290f4ca7 OrMultiLine Tuple TypeMismatch
75569f532487112f9339cc8562b5056cf90ae543 OrMultiLine Tuple TypeMismatch
68d2748a8fc67f292da9e64ad5262806dac546a6 OrMultiLine TupleEmpty TypeMismatch
32c95c62f284674bf53013fd29c65bb3f127f4e1 OrMultiLine TupleEmpty TypeMismatch
a2b82fa1f0c9346f0c4be977b477e84fa6d600b6 OrMultiLine Except0 CanNotBePlug
82f70d9a3306e092af85ad1df1a6d500473b5833 OrMultiLine Except0 CanNotBePlug
9075020650a1f246f02879fb921fdf6e059a3db0 OrMultiLine Except1Fun CanNotBePlug
f4d2c2659f380a171c47d7bfdfbacd1efd65d011 OrMultiLine Except1Fun CanNotBePlug
af70edc4a79548097c9e12f5c51a436bc2c8cd9e OrMultiLine Except1FunWithAt CanNotBePlug
d28331cbd5aaa3dc8f3c085d7b11a1262e4a2f39 OrMultiLine Except1FunWithAt CanNotBePlug
2985d4309df18319354a9e47a91ad01faf3a7f2d OrMultiLine Except1Rec CanNotBePlug
2ec72b2e0540455404eb33380e771b2c4682eef5 OrMultiLine Except1Rec CanNotBePlug
269f0c22d831b9a03dc5683e90026da6aac3095d OrMultiLine Except1RecWithAt CanNotBePlug
9bbd8b05c7a9096a662978b7c31c3e345ff4062f OrMultiLine Except1RecWithAt CanNotBePlug
d50629fff6842af004e690349c7778d8a6578bd2 OrMultiLine Except2Fun CanNotBePlug
e0603a3f8c7cb133123e127e7319d6ab44b3b8f9 OrMultiLine Except2Fun CanNotBePlug
6cfe67fe2dd2bb87ad7646661b31f0203e531178 OrMultiLine Except2FunTuple CanNotBePlug
f417bc8df5909ff015ae61df3db6c87cf46451e7 OrMultiLine Except2FunTuple CanNotBePlug
d7fee23e27e7daebb6c497e8f0ce121b082d1614 OrMultiLine NumZero TypeMismatch
423e834b82713be643a34f2f268a24b1a863bd08 OrMultiLine NumZero TypeMismatch
2038bf84a6c783b0e38f4f2ac44d06dcb63c43f7 OrMultiLine NumOne TypeMismatch
f6c855a7b8451cae20be2785c60f10db31c0f001 OrMultiLine NumOne TypeMismatch
fd483c6ab076524d5cb0f2fef9c877db5f541353 OrMultiLine NumMaxInt TypeMismatch
a26dcae037519b5b9246f35b374feef14e49bab2 OrMultiLine NumMaxInt TypeMismatch
5f3d79600f753fa8dc4def164b3ea199f6d6b1d5 OrMultiLine NumUnaryMinus TypeMismatch
9648a01da356c9c0ecdd41180db90cc2ff056a49 OrMultiLine NumUnaryMinus TypeMismatch
9fd6c52e44fd728fb0b1de49cce03b7a626210b2 OrMultiLine NumPlus TypeMismatch
8113cad05f301beaeb7e4407fbd96f51aba82a71 OrMultiLine NumPlus TypeMismatch
8bd73538b4921511f1ab904ffbdd82edc55e0147 OrMultiLine NumMinus TypeMismatch
a9d193bfc0fc8c19b3e980a4b1743d21dd40c1be OrMultiLine NumMinus TypeMismatch
24abcf2c2d40b1d599fbe19c94fc8ffaa950671e OrMultiLine NumMul TypeMismatch
b17520bb14d41ea3f0c585a8b874bbdf9a3e8043 OrMultiLine NumMul TypeMismatch
2aa1f09ba33ecadcdac35e2e5fe51dee80cf3ff8 OrMultiLine NumDiv TypeMismatch
a98b589b11df24a5cee06f6558cb1a7bfaac1dcf OrMultiLine NumDiv TypeMismatch
338adc94631a0b218dda4b57794fd1c03abe2248 OrMultiLine NumMod TypeMismatch
96da6a9f45f1eefc1953de9e158b762d6ed0c894 OrMultiLine NumMod TypeMismatch
9a8dbf933f8badf1224233791bb2d855f7d7d886 OrMultiLine NumPow TypeMismatch
bdbfd6865aec71a6fbb37abf54d0f5f6f9c71fa8 OrMultiLine NumPow TypeMismatch
e84348ebdb840e5d98a15458e9208fc046b64f8b OrMultiLine DefFun TypeMismatch
e812f3c5c593d0393b0d96064db5bd5ec68566ac OrMultiLine DefFun TypeMismatch
4dc38390e37fca4b61f6f50bcfbc4344a0659484 OrMultiLine LetDefFun TypeMismatch
3a78a6eb88ccb40914b34eee9950ccf3eff79723 OrMultiLine LetDefFun TypeMismatch
2a8921c375466fe7fb43a44846351bd0d494cb27 OrMultiLine DefFunRecursive TypeMismatch
df993f847424d4cbfa961496ad6c674161bbe16b OrMultiLine DefFunRecursive TypeMismatch
c3b62461ceb2f02559212eb02772dff3acfaaa48 OrMultiLine LetDefFunRecursive TypeMismatch
25c86bc73307845d617bf6efc45b6b71685d052f OrMultiLine LetDefFunRecursive TypeMismatch
897e616879cebb89c049e3acd1e9471ddbf1c39b OrMultiLine DefFunInDef AlreadyCombined
ed93afe0a57174bc29965d6e80de8f7f5583f8c0 OrMultiLine DefFunInDef AlreadyCombined
1b4de3f4d5975c890048666c00c9d5c7682067aa OrMultiLine LetDefFunInDef AlreadyCombined
2d39f7a8a9527b457ad27626b2755e6dc2bbd878 OrMultiLine LetDefFunInDef AlreadyCombined
2d14bd9fba7068460921a32025ea511eaceddff0 OrMultiLine VariableViewExclude VariableExcludedFromView
5bdc9dd8666ae1bd73892e5599947e8308305f9a OrMultiLine VariableViewExclude VariableExcludedFromView
ecce2315ee83db286e8964c32f5c36620dab6b0d OrMultiLine ConstantModelValue ModelValueCanNotBeUsed
ec25316ec03d9fee2700f99f858294543e91482d OrMultiLine ConstantModelValue ModelValueCanNotBeUsed
170dd731635930fb657f5b0a644622455850c918 OrMultiLine Assume AssumeIsNotEmbeddable
64403789c32f0e6019a472698136b804516465dc OrMultiLine Assume AssumeIsNotEmbeddable
24c417766fb3bfd5fa9670aa91cf77341bfe1aaf OrMultiLine AssumeNamed AssumeIsNotEmbeddable
7652e6c027ad24300274d401d00ed9f62194fa3e OrMultiLine AssumeNamed AssumeIsNotEmbeddable
012959208365a344885b55ebe8fa1dd3cedcdf00 OrMultiLine Lambda TypeMismatch
19bc44cf1c16ba72bafa0ef3cf0851e77c351115 OrMultiLine Lambda TypeMismatch
b9a4cbbd0ce81ee4d0eaa70689341d8676bffb3f OrMultiLine Cross2 TypeMismatch
738049e34deb4d527e1e20eca6dfc7e3e7c8bddf OrMultiLine Cross2 TypeMismatch
89e82bc06195fd5e734b3221ff497fae037596d7 OrMultiLine Cross3 TypeMismatch
84ab39e9329497385a514b0129988e293f322b4c OrMultiLine Cross3 TypeMismatch
92399bc06dc8702181d0918130b0b37cb673b0d3 OrMultiLine FunSet TypeMismatch
b65814f0ac96eb5a35b7bb4845ca11bf67fb5c80 OrMultiLine FunSet TypeMismatch
09c9c69d0aacdef6a2184f8558912b82a7a86776 OrMultiLine RecordSet TypeMismatch
b941f7dae7cfd644d4a0a4f4f8acccf0e8aca431 OrMultiLine RecordSet TypeMismatch
a27d49acb3cd7c3c0d39ac38f24fea684a237e07 OrMultiLine SetDiff TypeMismatch
e893bc850f9c5bfd9a112dac343b724aa6445f5b OrMultiLine SetDiff TypeMismatch
009f0ed7f366faa43ccc5822c74640cd59cbb1c9 OrMultiLine SetUnion TypeMismatch
66efc6d91d37dc49df4e2f6545b50f7f79e0a5b5 OrMultiLine SetUnion TypeMismatch
ac1c5b94760863681941bc49d83dead9c45b82bd OrMultiLine SetIntersect TypeMismatch
2410e94609c379d9c8c4c1263707857453393525 OrMultiLine SetIntersect TypeMismatch
32af0be148ad2248cddbd6f09e78c375317dab72 OrMultiLine Subset TypeMismatch
d8b8ec8f361cf9c2ed14820e4338246f8287b3be OrMultiLine Subset TypeMismatch
abd96cc58acb6c6b97a262c99beb1bd5a1016bf1 OrMultiLine Domain TypeMismatch
f95c71665440c2cd732562dcb35d68fa82bbb00b OrMultiLine Domain TypeMismatch
4701b4d6dc7e33186d3d9faf1a29ccdb4d5bc2a3 OrMultiLine Union TypeMismatch
fa4f921bcdeb8c736f5a5e83f7fd85be591cfc5e OrMultiLine Union TypeMismatch
ff8c1bd31683e4e81467e5ccef286cf8c1c0738b OrMultiLine StringEmpty TypeMismatch
bf503cc799f67f35694f28e1e9616c0b26cef5d9 OrMultiLine StringEmpty TypeMismatch
6d43e2d86d071dd9483bfa78d57a9763988da072 OrMultiLine String TypeMismatch
74d7e901d94c9cb60f70571128faf29e60a1bbc5 OrMultiLine String TypeMismatch
e3fd131f5037847192ab7b75ec3ddf55cbb11ef2 OrMultiLine SeqLen TypeMismatch
66671a0294cd102886374b8132270f6ac34bff94 OrMultiLine SeqLen TypeMismatch
762452568d0253321c8ddca75812aa952959471e OrMultiLine SeqConcat TypeMismatch
5f6cbac5138d054ac445df8dfb388c46f90620e9 OrMultiLine SeqConcat TypeMismatch
7add53944f59176719fd0ea261933ec6cf0d74c5 OrMultiLine SeqSeq TypeMismatch
ed3769eb4d49e1d60ff87b84971d5edc2e5d9772 OrMultiLine SeqSeq TypeMismatch
50fb75e37de11aa271f932392cab9240ec221249 OrMultiLine NatSet TypeMismatch
e9a151e9099e7b3f38d88eb3b2a0c3660263bb75 OrMultiLine NatSet TypeMismatch
21da2eb101263bebc9c2f6edba211d12b4611ec1 OrMultiLine IntSet TypeMismatch
67c44720922d7f1f7aae85ab6b8834dcee57029b OrMultiLine IntSet TypeMismatch
7faacf33d954b8fbe79eb1f74f2d2f1b2dbd92d8 OrMultiLine StringSet TypeMismatch
d6de4e73c84a3af811b30b4d2b6e3b0b6fd622f4 OrMultiLine StringSet TypeMismatch
7d7615c1f8d073e91a980e99aca453c97fd93749 OrMultiLine SeqSelectSeq TypeMismatch
8f19c803ec4c00411ae47911f9136b394b34bb7f OrMultiLine SeqSelectSeq TypeMismatch
e59757e823d8beb2a960888bbf4e5e941ffa45cd OrMultiLine SeqSubSeq TypeMismatch
cae6107a04df70374cd5e5a277cf9115e7c94078 OrMultiLine SeqSubSeq TypeMismatch
a830e7323672390845900187b63c15e404d39614 OrMultiLine NumRange TypeMismatch
5e7df7a93d287f464dd4b6b30fa0c177136a91e7 OrMultiLine NumRange TypeMismatch
baf90dda1afc7bb23291605d5f903f488bf7c58c OrMultiLine TlcSingletonFun TypeMismatch
2baf75ec5d40119d6fdca9af6c4e9003f4226965 OrMultiLine TlcSingletonFun TypeMismatch
77758e187961187fe57961720e9cd60810e6d262 OrMultiLine TlcExtendFun TypeMismatch
9c58fa1da8984ccc4eaf936a30d0aa66fd65ee42 OrMultiLine TlcExtendFun TypeMismatch
1e8b3e204f3cc1741f774a1e7ddfe61f106d81ec OrMultiLine TlcPermuteFun TypeMismatch
c36cde110b3834553da375fa67d9c8481304c866 OrMultiLine TlcPermuteFun TypeMismatch
e5f3d8494b03193af8929d426e1057495575220e OrMultiLine TlcSortSeq TypeMismatch
e42035557bd83950463cdf5f76085f5f2b735e77 OrMultiLine TlcSortSeq TypeMismatch
da5f8bbc8dc4721b3c23895dd5a2aa77b0ec14b0 OrMultiLine BagBagToSet TypeMismatch
a79bdda1877e106059abcaa52a6221f7b798dbc0 OrMultiLine BagBagToSet TypeMismatch
ed700d2cc0198bb4ac41514afcc8d8c65831d697 OrMultiLine BagSetToBag TypeMismatch
7392cc28a775dea7633b4ee009f69daf7477b0c3 OrMultiLine BagSetToBag TypeMismatch
26a744c11ca22ea28a556b470fdbc0a1807c3683 OrMultiLine BagEmptyBag TypeMismatch
fb3301d5888a15e4ea34c8233782b04bf25ae7f7 OrMultiLine BagEmptyBag TypeMismatch
193e6ccefaf43295dc5c6eede5b9e030f30b8063 OrMultiLine BagAddBag TypeMismatch
bc579981db7c399d666c55e64debede4404e7c46 OrMultiLine BagAddBag TypeMismatch
a1ec86850069b59f767d57acc51be3287da95437 OrMultiLine BagBagSub TypeMismatch
311e9692f5a918055b00b103aa058641138a2ee3 OrMultiLine BagBagSub TypeMismatch
ed2cd5363b651269a365023ab5b05634a1b65283 OrMultiLine BagCopiesIn TypeMismatch
9c4beec7a55335e635ba0d6d3f1994ab2ac6d61a OrMultiLine BagCopiesIn TypeMismatch
0f851ac367008cf2e10982f3d086156cbe58d463 OrMultiLine BagBagUnion TypeMismatch
f797d7b7799a5ae2e0e7ab73c03f607307602011 OrMultiLine BagBagUnion TypeMismatch
ca0b412e2f7ce251f718c8e76b8dfe5819b42450 OrMultiLine BagBagCardinality TypeMismatch
7613b3a4c229df67844d8964c725376ea621f420 OrMultiLine BagBagCardinality TypeMismatch
61e06c6ceb9844fb9899e6776f8ac859a6a63f2b OrMultiLine BagBagOfAll TypeMismatch
3fd6daacfe96c9033ca9d013c72a16ade92d30fa OrMultiLine BagBagOfAll TypeMismatch
c9f22717363cdd7be2c4b81098ee6c0a793ad467 OrMultiLine BagSubBag TypeMismatch
7ca8f4e85aa51d4aad118ce9c2c8dba4f4eefb67 OrMultiLine BagSubBag TypeMismatch
1d90a6e6760d87606c7be7018cadc5e144cf936c OrMultiLine FiniteSetsCardinality TypeMismatch
40f6c2900993d6aad88a3a5ef9fe083ec600b2e1 OrMultiLine FiniteSetsCardinality TypeMismatch
d963909eae6be7fda2cee5c9899c755662199ae7 OrMultiLine SeqTail TypeMismatch
0fcf9ba2e534ab2c2b696b7d72667aec64917b53 OrMultiLine SeqTail TypeMismatch
ee4351461d1f591f2a88384664df6dbe1be76797 OrMultiLine SeqAppend TypeMismatch
b7e40afe80d0c73c6855f670655da020a78f92f6 OrMultiLine SeqAppend TypeMismatch