Index

Skipped feature combinations by case feature Union

Id Case Feature Plug Feature Skip Reason
f39bf8df5f6945677912d5dc3bd679b199fcbb3d Union BoolTrue TypeMismatch
7472aa89f8de86853614e6048d93c7efbfa38aff Union BoolTrue TypeMismatch
4934ee9bcbde6e97b6f8ca74498e20d8b20a8514 Union BoolFalse TypeMismatch
2ce26215c301c38c4d45c2528c9f005946cb7302 Union BoolFalse TypeMismatch
d6b20640a282246c95665f94fab793dc39fce2d4 Union BoolSet TypeMismatch
efeb8d9132a2b873df75bcfe3352e2ad9f1367c3 Union BoolSet TypeMismatch
9c4e2900f243bd156e3f3d94291f7d1f70556cd1 Union And TypeMismatch
986591c1e7f6924bd7cbddd9289f20eaaea316a9 Union And TypeMismatch
f15875e0a5bee0321a94ab02414caf569355ce29 Union AndMultiLine TypeMismatch
095b764c5eb1451fa168d2ccc60f3ecf4ee5175b Union AndMultiLine TypeMismatch
b8b7f009c1dc57f0b4457562863977f868f00fc6 Union Imply TypeMismatch
d168c27ecba1fe5cc039700cb462b812c4192145 Union Imply TypeMismatch
d7d618bd0f565b7e3991fdb9b60062cfedf016ee Union Not TypeMismatch
22a3ec224c9e7f989f0dff2e0027c121d29831a1 Union Not TypeMismatch
df8a45ecc5319610d6655bb9a4759baf80330d85 Union Or TypeMismatch
c0fa195f39e8e4ac2002987b80a5688297a5f298 Union Or TypeMismatch
b185f0b8291a08e6cfaffa1bb9c2741aaff64a82 Union OrMultiLine TypeMismatch
ed6cd4db89dbb5f1550be69928bbff54727a608c Union OrMultiLine TypeMismatch
0aef07c09688cb3e0506a4cf61e8f9fe0f81f052 Union AndProp KindMismatch
c79372331233a7959c2d16dba4be3fd178d37c4a Union AndProp KindMismatch
3c11ef717f9dd9d115b5b5f91ba7dfbdffb36147 Union Boxed KindMismatch
c7244d2777bf9d8757741b082bf683bd91d601e2 Union Boxed KindMismatch
2d9c35f03b2b492b03ca8bec13996c3c91d84ce6 Union Eq TypeMismatch
582e9cc0983eec5da81eb570af8e3e2687869050 Union Eq TypeMismatch
b754a2942d2423c1facc513bac58124fb12072cc Union Ne TypeMismatch
08980b37a83008f5cf8f39b650a336f675ca4369 Union Ne TypeMismatch
4c14a51f9cbd34da11a75ccaf0c58fc8d6f2f5a7 Union Set1InDef AlreadyCombined
5a653d48b7d7ee034977688045abe8c25eb1b0b2 Union Set1InDef AlreadyCombined
34cb727f107ac53cf15ba13d5b194af95cd5bece Union Set2InDef AlreadyCombined
27a83d7ef0a0bf41116d5dc7199013740489e16c Union Set2InDef AlreadyCombined
cd670e3cbe84e8f9757e33ae559ad8d1343825f7 Union InDef0 TypeMismatch
6b3e38e135da3e9104d95cbdab65ddf6657c0bf9 Union InDef0 TypeMismatch
96ce4535105825d8b989e36321ad1b87d91461d5 Union InDef1 TypeMismatch
d01628fcd17bb49e8fc5da9c314e32c6b39732bb Union InDef1 TypeMismatch
13671cf7b26858bb71cd5ca39e7a3dd5ca19db1e Union InDef2 TypeMismatch
7043017c0135ec094710718d54e1533d0ce7eab1 Union InDef2 TypeMismatch
c692f874e5ddb939e8d13419b9a86d21ce117063 Union Fun TypeMismatch
9528033ed010eacdcf853090c399e7bf38a9247c Union Fun TypeMismatch
d6af8d8b8b326b39a696177bd776d1388788cbaf Union FunInDef AlreadyCombined
c6161ea15c31b39523e4038584dcc2b26dad80e1 Union FunInDef AlreadyCombined
e9ba37ee2826052b92b78d7c61a036e4d818c797 Union In TypeMismatch
151aca10f3250cab54b488f342b8aa7ea3bcea97 Union In TypeMismatch
87d16d2f6fcca54e2d0df132cf92ddbbdfd9bc62 Union NotIn TypeMismatch
e91317d7ef13831d374a6d884eec15ef8568a809 Union NotIn TypeMismatch
21bd61e46517c067b052dbdc789168684a3c553a Union Exists TypeMismatch
ea7775caff3fcd703cb79fff35d336c01dcb80f1 Union Exists TypeMismatch
468219190f74854ab65395e9b57d908349b67ccc Union Forall TypeMismatch
92816eff2b0c106345341e4e9e2c626c33546b0c Union Forall TypeMismatch
f425a64d5676b750d99996279f443dae3038a250 Union ExistsInDef AlreadyCombined
817263ff28873ca00adeba7c8b156e58e04d5191 Union ExistsInDef AlreadyCombined
3fddc9ca71cb195bf3fea1aa9c8dc9330c255052 Union ForallInDef AlreadyCombined
532f6bf03d0a51170664367eb768c5bd299144f9 Union ForallInDef AlreadyCombined
9be38abd527794ae54e12da9468bad3d422d50b6 Union ChooseInDef AlreadyCombined
718ae5ee4949654b9acdbd052faa023e4b0389b0 Union ChooseInDef AlreadyCombined
3dd3fc9a3e0bc5ed1effe7469107249e019023b2 Union Record TypeMismatch
5f798173d81bca686945b6230ef49a79edb6c392 Union Record TypeMismatch
7cbae0360091276c74f500572ccf375ca3999693 Union Tuple TypeMismatch
7945b18da94380d49c255c01c51326df30096dac Union Tuple TypeMismatch
5cba53ba67304da7f69578c58ee28e18aab831e6 Union TupleEmpty TypeMismatch
1b1baa02e5daf9de95994ce6fac8edd9bf96fb18 Union TupleEmpty TypeMismatch
c167d942d5551b1e625508e04b148b6001a021bf Union Except0 CanNotBePlug
da4d29ebb5891b6c901920837cf35279ce22a74c Union Except0 CanNotBePlug
bc26fbe3f63bda54ae4c0cf08d5d26d66a3eb37c Union Except1Fun CanNotBePlug
196e58db526c4ee84b541e523cad205c11c50af1 Union Except1Fun CanNotBePlug
499888f573f5d015782efb46b48ad700aa1df41d Union Except1FunWithAt CanNotBePlug
4e78818edcb2825b6332bea7bd986f63c516be16 Union Except1FunWithAt CanNotBePlug
ffb6704f386f4bf79784c89ea5dcbc030aba18f7 Union Except1Rec CanNotBePlug
a06f10a24d1ceb0a127c47197a2dea43b3832228 Union Except1Rec CanNotBePlug
5475131cf8a38367a9a99094be489fcd7bec579d Union Except1RecWithAt CanNotBePlug
a5734cb21c4f3ebb135b8cd8ca6459743317f54a Union Except1RecWithAt CanNotBePlug
8d55bd10596b6cc7cd9488dd9c18f5d7255b8f02 Union Except2Fun CanNotBePlug
c55a1890365bdd4e1612f58b1ca29ff0da335e3e Union Except2Fun CanNotBePlug
3d5af166ecdf5961c051ecde944051f4ad103017 Union Except2FunTuple CanNotBePlug
6da236b2b1b1b8bd7a6326a4b0379fd4e28b802a Union Except2FunTuple CanNotBePlug
f37dacbd79ba5160f001a79b7b72ee87b0fe5fab Union NumZero TypeMismatch
589665229c24c75c4f8f1d97350ac75f6bd4f969 Union NumZero TypeMismatch
4bfc511c7f54232db129ecea53f9ae28e76ebdc5 Union NumOne TypeMismatch
218bc48a270defb89eb4539c3a6b0507f40a5464 Union NumOne TypeMismatch
1700c105b34ccbddedd7042ba5aa29a1cfe30fcb Union NumMaxInt TypeMismatch
bc9fde4e9c3c9f6ea348c2ffcfac5f3a0cde32fc Union NumMaxInt TypeMismatch
18a779e88b6fe6d7b566c0a9ea5a85b20091bfe6 Union NumUnaryMinus TypeMismatch
f2367e07cb043aa91952f1ad12fa75a8edb296f0 Union NumUnaryMinus TypeMismatch
93256a625ef5d54a274db92692892c9c20b4afbf Union NumPlus TypeMismatch
5c32ca6a11bc64e3e32b652611e11d0a48e005c0 Union NumPlus TypeMismatch
8931d5e49da91cfd1682b513920e61ab4fa7af6f Union NumMinus TypeMismatch
5098dcbc6034c720abad9fe9bca128ffee84d936 Union NumMinus TypeMismatch
394e3c64ebbcd19b28883b7de771f7ac221c702a Union NumMul TypeMismatch
98791de9c2d0f5357f525b82e8b2423baa12e46f Union NumMul TypeMismatch
b2232f0efe2aa6ac42404e838a2b7d77ca0519cd Union NumDiv TypeMismatch
08597ac9b67bf37222660f6ff95a08747413582c Union NumDiv TypeMismatch
a79945175729d4c40bb2f69748b99803a408c080 Union NumMod TypeMismatch
32d43df48c7847e7bbd089c5d5ec24735932150e Union NumMod TypeMismatch
fb196f4c3931fbc61ab385276f19fa1deaf00cfe Union NumPow TypeMismatch
6e83c7d8d2cf44a1d5fa8b4e456b8f1305b77f3c Union NumPow TypeMismatch
4ef19a119a95373c842567ba212c8300c9474c7c Union NumGt TypeMismatch
6e0c413ae831ad276d503278df7a612dcd818ac9 Union NumGt TypeMismatch
e5ece5b30f2f3e4fb69bc6cd96ac745ea461596f Union NumGe TypeMismatch
593d05ca561b567e8de6d33a7c682fe733b6652a Union NumGe TypeMismatch
18510aca4ce3c467a9ecbc4b9b0bfe5ce1a7b42b Union NumLt TypeMismatch
613bcc54f7d1c8f15870595fb2f93da2a610a2bf Union NumLt TypeMismatch
a545fc962be535d5859162cc6e4d26560edf3743 Union NumLe TypeMismatch
01be166e48a78e8622008323c6e4a7e50e5160f7 Union NumLe TypeMismatch
97bae7e062ac3f796195ae5385ed21db355dcddb Union DefFun TypeMismatch
a5874b203d84f59206893c1ba1385e9982f27323 Union DefFun TypeMismatch
7324f4381275a47918708af8088268441ba957ea Union LetDefFun TypeMismatch
5d5d013cf3146dc281b737bd2d5a7ada4cbdc06e Union LetDefFun TypeMismatch
b8853c0784cd55a1e5e424a0a4702c886d3a266c Union DefFunRecursive TypeMismatch
9f14912621e1926e6cabc47cce2c02217eb7eed2 Union DefFunRecursive TypeMismatch
3f5f52961be43642d262530900cb7e4f39ef235f Union LetDefFunRecursive TypeMismatch
ec2efd256f43c99bb3f2996c20afa092099557ff Union LetDefFunRecursive TypeMismatch
d94079c39c3aed005543e3c78bd5e37fa40e1064 Union DefFunInDef AlreadyCombined
a13cf213d617152d1c9d5790aff717773cd278d0 Union DefFunInDef AlreadyCombined
527b10cfb4d70f859dc1ab4555c5b871dec22748 Union LetDefFunInDef AlreadyCombined
edd32d2b405c26f2b4b26a1863a05fa69fc76ba2 Union LetDefFunInDef AlreadyCombined
d6a1c1c51805b78ecc19f6b53fcfc930ceb1d7bb Union VariableViewExclude VariableExcludedFromView
1af8b98c78c658c84869aa8a671157553d9b84c8 Union VariableViewExclude VariableExcludedFromView
a2db25ed566fdf6865ead549149ef37315fd0f73 Union ConstantModelValue ModelValueCanNotBeUsed
0056fdb36a8b735a0ecad91d1d3e3ff8136c8b53 Union ConstantModelValue ModelValueCanNotBeUsed
9c4bd827e0eaf855867347fa352af60d8421fad0 Union Enabled TypeMismatch
c38c42033bb363f0adbea45015ca6fe0f4620256 Union Enabled TypeMismatch
0911e1ab362d02b1d9d40e23ca3714f9081bd354 Union Assume AssumeIsNotEmbeddable
8e3f543db58d5462b1bf0d9970184025ab32573c Union Assume AssumeIsNotEmbeddable
3293645491d70193c251eaf84939426626144dda Union AssumeNamed AssumeIsNotEmbeddable
9491ea8192947b3dceb6c7c7a6e76c6af50cae37 Union AssumeNamed AssumeIsNotEmbeddable
803c85702e5dcbcdd6689b99c07191bd5ef1dd41 Union Lambda TypeMismatch
cb01aa3b2a094549e57b095e03224a61fd1fd01d Union Lambda TypeMismatch
2e92eef4ee75eb8d03e939a429e345addbaa62f4 Union Cross2 TypeMismatch
8a5dcb2ea15c733da64342f976b77cca8c1d24fe Union Cross2 TypeMismatch
fb9bfb5d287bdb3c4495102a2d6e4d03b06362b7 Union Cross3 TypeMismatch
bb9ebcb20eb0335ac8e2eb3ad3c388c7e8a6dc31 Union Cross3 TypeMismatch
d2bdf7841315f33a4d5b7c938b30751578dec400 Union FunSet TypeMismatch
bfbdd12f957681c80c9b4d9c32450322fe2bd611 Union FunSet TypeMismatch
650a6cd7b8afc794b8f48d0d008c141ec3e36211 Union RecordSet TypeMismatch
5756a3ac0fa21f94e92207ddc541cba0254ecab2 Union RecordSet TypeMismatch
5499aecb50438bd4fb83cfee8cdfccc44db839ed Union SubsetEq TypeMismatch
8ac2461dd3a9139cd7d5bf3688d2ac193cf8507b Union SubsetEq TypeMismatch
d6269335f9f4a2069b2ad625b4835b0bc467099f Union Unchanged TypeMismatch
389d0eada654d244d452f268ed091a5b432b5a8b Union Unchanged TypeMismatch
fb09d203e38d1fbc0355c8524fcda00a4773d6f7 Union Equivalence TypeMismatch
b591a6b4d155851dd4e60b3ca2f7a8e0ded729f3 Union Equivalence TypeMismatch
66d982b73a5bd6046a4eb35ce7e8c8c3dc9d0fdc Union StringEmpty TypeMismatch
92b37f8b7ae6133e0fe2a0d06935ff095890afb4 Union StringEmpty TypeMismatch
7c6f2d4646482ca9edc9ea92e981249f92165271 Union String TypeMismatch
b4857311b8192f31e440b6a7488116da66d4587e Union String TypeMismatch
83106259caef50bfc7fa26c1a177f7170dfcf69b Union SeqLen TypeMismatch
132622da32ac0101f8df1355219c91939611d7e7 Union SeqLen TypeMismatch
a9dcef73e8f524ad9faa267865c299bfb8c06fe5 Union SeqConcat TypeMismatch
a901545c2d2d9e4bdfe6c44f470293e11613258c Union SeqConcat TypeMismatch
434d9ee50702c203645386c0d67ab3424917e8df Union SeqSeq TypeMismatch
7984247ef4aac9babdb60f49a288f3cdb0d5f677 Union SeqSeq TypeMismatch
a8e878a4d840bcdef29c4baffec64f3143b27e52 Union NatSet TypeMismatch
ce90acb36a9568f4a4a7001e3e7c6fbdb2386ec7 Union NatSet TypeMismatch
b769287506dae712322619516be119e032744aa5 Union IntSet TypeMismatch
5729cfca70900d107127e5a234804823239dfa1a Union IntSet TypeMismatch
9b51098d2bd9d39c00d61e964277463eced07c2d Union StringSet TypeMismatch
5919bae5c3a533a5b28c0e6d5c49ef263c913b1f Union StringSet TypeMismatch
b27b4e40f0cc79a38a23e5bb0f4b24972b617b33 Union SeqSelectSeq TypeMismatch
9e15619e66fdd44f2509af809783f113ecee2e36 Union SeqSelectSeq TypeMismatch
c8992e30c91013cb7c5cc6cd08f6650e79671cf9 Union SeqSubSeq TypeMismatch
50b43eca053b1173c557dc6e7d227f76bc495b1d Union SeqSubSeq TypeMismatch
1c389c7f7669b0f40fe4faa9e51aade41e6e4eb3 Union NumRange TypeMismatch
1f217e4936cfbe3f874e76a294f1d074faf13ec6 Union NumRange TypeMismatch
313e565cdc8606023a37f43dda787c0da2ad0421 Union TlcSingletonFun TypeMismatch
9f62cbb4b33c87593aa7b5076b56c2191cb87394 Union TlcSingletonFun TypeMismatch
8a5c0fd48692b16b56be61b1bd1b95b9cf468b6b Union TlcExtendFun TypeMismatch
559c8119dc04122ed1be52f6d1d34cebaee8cec1 Union TlcExtendFun TypeMismatch
56edd69278bd94822c0d9d10c4484bf017688f2f Union TlcPermuteFun TypeMismatch
8847b1515d9cfcd502e3a5a8e18254dffeb917e3 Union TlcPermuteFun TypeMismatch
82c6075f42c0d01a2bb0008314bd687f0378a322 Union TlcSortSeq TypeMismatch
26d0b4b7726f797f6211c72a8ee77cc50b08e689 Union TlcSortSeq TypeMismatch
b60e005c72aa6ca3a3661942df8701f47923c333 Union BagSetToBag TypeMismatch
07fa7eb4715049a0238bb28ea110055d9acb8f74 Union BagSetToBag TypeMismatch
0237e038b4750efa6f84e3278f95b7f2acc02524 Union BagBagIn TypeMismatch
f1d0d47d41007cb9a3d1cc97f97a730f34785761 Union BagBagIn TypeMismatch
879d96e25308f03e667ed3817ba405d8d724f419 Union BagEmptyBag TypeMismatch
307b6c4ca4f6469d651f9cb72be9175a8c21761e Union BagEmptyBag TypeMismatch
fcd98b6f0c18dd43564e46b2a16e0c9622602892 Union BagAddBag TypeMismatch
24f61efc7236ed6ae17de8922858a68c0383e74a Union BagAddBag TypeMismatch
3324c77a65b8d082c42c97a67a3cbe4d78a8d2d4 Union BagBagSub TypeMismatch
84d2778f1ffa1e46b9bdadfa7d807e098f115a80 Union BagBagSub TypeMismatch
86e59c04bffe501e9d28f3e1ca38f5b3f5e4858a Union BagCopiesIn TypeMismatch
627e58b15bf942d4dfb9ed72fdc5ff3cc250cd40 Union BagCopiesIn TypeMismatch
7389036ae2fe2d85823b5b03baf67c1ae051792c Union BagSubsetEqBag TypeMismatch
87a09abfb6ceb62b507c6b67aea9d8b00a248e9f Union BagSubsetEqBag TypeMismatch
5f4e8b4552ab4c26bba6c578e1989bac9ec07ee3 Union BagBagUnion TypeMismatch
9223180856ca60a642307aaa8ca028a0e3aca0d9 Union BagBagUnion TypeMismatch
a44f40a73cb60d8d7561ffe2473408410c42aad8 Union BagBagCardinality TypeMismatch
9e566112ca0e45939e199808a12d3ad68aba1848 Union BagBagCardinality TypeMismatch
21e94715455e894670e1e3cc9fa40da9731e5bf5 Union BagBagOfAll TypeMismatch
46ec17a8a06efdb4a90f3f7cc89e5234c2c291d1 Union BagBagOfAll TypeMismatch
fca4af4dd2b014c19ea6e45b2a87c0f05503929e Union BagSubBag TypeMismatch
6c60dc08d87e4d2adad42773f27d3d18ba8a4186 Union BagSubBag TypeMismatch
e845e41e29e9f43875aa952eaf261d5342abec81 Union FiniteSetsIsFiniteSet TypeMismatch
3b9a427292df6bfdfb4ea94eaf41561daf7d6acf Union FiniteSetsIsFiniteSet TypeMismatch
4b27492d2e9eec7bc552db87264fff515d4d4acc Union FiniteSetsCardinality TypeMismatch
390c05c726713b3ff15868f2383d383014d0f00a Union FiniteSetsCardinality TypeMismatch
33397d4c318fe9d6d4109aa03e90ea5eac4472d6 Union SeqTail TypeMismatch
6f689a5d527ae72fd928785ecc6596e081f75442 Union SeqTail TypeMismatch
87c7953410a9caf8da54c78ba797d88bd2834550 Union SeqAppend TypeMismatch
57205b67876d407f90b00ff818abf87d2edc18de Union SeqAppend TypeMismatch