Index

Skipped feature combinations by case feature Choose

Id Case Feature Plug Feature Skip Reason
07dbc140c525d0208fccf9003fafc47a5dd2f3a3 Choose BoolSet TypeMismatch
f5867c4b2b4516805cc463c64dcf5be0c88578e4 Choose BoolSet TypeMismatch
aa6b95a4fbaa87d0b39ddf3031c78d54d30236c9 Choose AndProp KindMismatch
7127399b44024be85a94ea5d25c96babf769cbd0 Choose AndProp KindMismatch
1cc449694483ca96d4125a014a72502d06ede455 Choose Boxed KindMismatch
7130a14a8d1bdddbf27c43524e32b7ce93634092 Choose Boxed KindMismatch
cf17a00da93b6b8fb0e7887d6a65ffb9dc6148e4 Choose SetEmpty TypeMismatch
8419f28bb572f2fbc091300f059a4018a08d126f Choose SetEmpty TypeMismatch
a6893ce26b6ee1f420310405c045549fb51559c8 Choose Set0 TypeMismatch
34fd09b419696e39c77ac11dd09bee86334b7157 Choose Set0 TypeMismatch
031bc837778b66b1e002efd28a4d77111b86dde6 Choose Set1 TypeMismatch
a55fb36d4a258eebd849208cc7c19ed4ff252ce3 Choose Set1 TypeMismatch
652b5566b5d65bd358e191fcb6446036944cc29a Choose Set2 TypeMismatch
fab324556a23cc6db5bccea159f42e381862b525 Choose Set2 TypeMismatch
8c29a3096d513958fffa92e58b16bf5bfcea096f Choose Set1InDef AlreadyCombined
62af80273a53f9167b7f61f97602e8d11d7b7d0b Choose Set1InDef AlreadyCombined
5674ce10ff605838aed676a043c78cb7aab97f75 Choose Set2InDef AlreadyCombined
5335fda8df677aa2e37a72ec79a59484af6a7ae9 Choose Set2InDef AlreadyCombined
e917d43616ada250f9d5ee63d442260b74f880f7 Choose InDef0 TypeMismatch
2a7b22489950b14cffd7852749f9070eb36b870e Choose InDef0 TypeMismatch
4a6e14aef45d91d3d42e2bc5701999e64114d4d1 Choose InDef1 TypeMismatch
d24528dfcf756fa4f79f96e51306c85f14c6c1fc Choose InDef1 TypeMismatch
ac8ad194e44cc5f0423d59d91968741a4a028c49 Choose InDef2 TypeMismatch
60447ec7b06837f9a2e006c65d3317710ab12b45 Choose InDef2 TypeMismatch
d7566c4073ffaab089d4c4aec9bf6a70153e994d Choose Fun TypeMismatch
68896abb96469ae005535171a4bba8e0f1b679a9 Choose Fun TypeMismatch
3c8888b9e6298e3d7a80e87633e066d5e6264dfc Choose FunInDef AlreadyCombined
1a668ef8dc0e69acf7489d38bbdce5445fd92e35 Choose FunInDef AlreadyCombined
00dff216458ae356d8f76c3a987dd4f6e3dbc743 Choose ExistsInDef AlreadyCombined
2a3fd8a79316081efdf954db0fd1a02f5f60d6cf Choose ExistsInDef AlreadyCombined
a21e457fb5e1486e32469dbefcebffe53654df9c Choose ForallInDef AlreadyCombined
dbb796792c02cc86521c7783a6e1506ceb2bf467 Choose ForallInDef AlreadyCombined
32630ea493af1d0bdab6d1ad33da079de32d34df Choose ChooseInDef AlreadyCombined
07310e87b792713ebf2d7258d2799cb8ab8a935c Choose ChooseInDef AlreadyCombined
558dbdfe57924fe62b4a6fd12b255a20ecc97b23 Choose Record TypeMismatch
ae4cb05abc09ff9fb1b7167be049307b06d6e4bf Choose Record TypeMismatch
f26c88098fccaa968ed70a447cf5976cb177ad93 Choose Tuple TypeMismatch
b9bf4c193d798f587b8a21088d90f54c0e9ee4b9 Choose Tuple TypeMismatch
cd007eed427aeed2a52ac1b05015f88cdaef4b0d Choose TupleEmpty TypeMismatch
5976760c526f4bfdc52009617a5492ad495c020a Choose TupleEmpty TypeMismatch
bf78d85b911771e840784eaa24f441b96a26a621 Choose Except0 CanNotBePlug
94ebf0f2c22ccc0fd6dc7d5522dd40595c6e6f21 Choose Except0 CanNotBePlug
37d1076ba0e0664a9b221e14bdbfbc496e3bad20 Choose Except1Fun CanNotBePlug
7ce6d3c33e164bd64575b62153f12904a30b1fbf Choose Except1Fun CanNotBePlug
a1aa39264f4fa283933679380c63499d06e85fb0 Choose Except1FunWithAt CanNotBePlug
7c439516e30763ac98d487027fc33601713aacd7 Choose Except1FunWithAt CanNotBePlug
dbd6e32d8c7b5e7140c9644485604fce1ab8ede5 Choose Except1Rec CanNotBePlug
5c868d373abfb17dd782b94186aadfaeff21fd1d Choose Except1Rec CanNotBePlug
1898d5afd2d8e0d8f986cd1ccb6e348aba1ac271 Choose Except1RecWithAt CanNotBePlug
9c770ac2a5af4c3ecbac577b48d3d32329674c74 Choose Except1RecWithAt CanNotBePlug
0fd32414e51c938ae342619935f2624a19c61cba Choose Except2Fun CanNotBePlug
8b5fde65781152ecbf6e94486043ba3742112a27 Choose Except2Fun CanNotBePlug
2800b6f61b7dde7c50e154c89b4fd96ccd80dd8a Choose Except2FunTuple CanNotBePlug
eb5e2276643144a37f3f909e119a58b040778517 Choose Except2FunTuple CanNotBePlug
28aed464bdf537f90f84ff30948ad1c49a47518a Choose NumZero TypeMismatch
b3a008aac7d0b40347ecf7c0a7e0646dda0c857c Choose NumZero TypeMismatch
8beb471b1325779c373703c71a50a8806977005e Choose NumOne TypeMismatch
d53be86566929785bda90580ca2d4fee01805e84 Choose NumOne TypeMismatch
48608a4ef6785aaec8377e6dfc548b5612411f18 Choose NumMaxInt TypeMismatch
de960bd9288fae45d4e63c37fb9505069aa0d9a7 Choose NumMaxInt TypeMismatch
8e77e5e47a224499b2e593a424c53c4a28419d4d Choose NumUnaryMinus TypeMismatch
648c6ad02a335738a1788bc82eda4949d5094a60 Choose NumUnaryMinus TypeMismatch
2bf67ed6a64f710f00867519ccec9fd9711f090b Choose NumPlus TypeMismatch
8976fb2bd4235ccb090d40cf987a8027dd819ff3 Choose NumPlus TypeMismatch
96a80674de4207902221a75457ad48bc5c40a7e2 Choose NumMinus TypeMismatch
330bcfc69546d986fcc88fddc4fca4f065db2635 Choose NumMinus TypeMismatch
7beaee577646067c2ce7d234efafdd577e593bc6 Choose NumMul TypeMismatch
2a26f6f4cc026a746e805828bce4442ff8713ca8 Choose NumMul TypeMismatch
48d8c9adbed49eacb43e57ff15a727f427b930b2 Choose NumDiv TypeMismatch
80853023139431883dad2eb6ad2291f5389a2c9c Choose NumDiv TypeMismatch
93dcbbbf262db95a365255d660a609eb5ce96e10 Choose NumMod TypeMismatch
065631db19591219e3872031685ef3b8adb21d97 Choose NumMod TypeMismatch
6bf056aaf01c86dea7ed9ae5349dc2b096aab204 Choose NumPow TypeMismatch
13944f4828459777b7b156a49a5872c63b318d9a Choose NumPow TypeMismatch
a183d5fd5ea70dbfe2b2713015a86260d57a475f Choose DefFun TypeMismatch
6c1e68a2e3d486f081e61ee0f4bed1fefbe12a47 Choose DefFun TypeMismatch
8537837d0d0ddae703469c7ef339f9f321af7900 Choose LetDefFun TypeMismatch
facf989a680c48e563c8dd5055fed749fe8969ab Choose LetDefFun TypeMismatch
5824ba21e56031faefafd0176c4624708012b9e6 Choose DefFunRecursive TypeMismatch
39ac189382e71933f70ea2fcc9348fc74b9e471f Choose DefFunRecursive TypeMismatch
19819c4d3890793aa452c8c39a7b59ba5c895a72 Choose LetDefFunRecursive TypeMismatch
2829aa4616126f3add8b615693b9335e1feb5e26 Choose LetDefFunRecursive TypeMismatch
5e19e6bd26062ce80a122291ed81209c95c04b12 Choose DefFunInDef AlreadyCombined
bd356ed5baefd1ccbdb24545f3969af1c0e08ebb Choose DefFunInDef AlreadyCombined
361614b40c1225c7901d1f6508b2c533da4152ba Choose LetDefFunInDef AlreadyCombined
557b102e9acb054a5403f95821d8ef3a2db8dce0 Choose LetDefFunInDef AlreadyCombined
d71b225d2f229abf4d4d8da61c2c5fceeda3fead Choose VariableViewExclude VariableExcludedFromView
f646004623debf0e7ae35576da6e334147c7865b Choose VariableViewExclude VariableExcludedFromView
85efc258c78555f69f884e056c57d0931a383b61 Choose ConstantModelValue ModelValueCanNotBeUsed
8628ee315574a57430928aec0722a3d0a1351f1f Choose ConstantModelValue ModelValueCanNotBeUsed
49f292f8a85c5b6dc43e34d4ba1f2dd7a7351da2 Choose Assume AssumeIsNotEmbeddable
6d132ed35809b8d883d209a7a1cdc3917617c74e Choose Assume AssumeIsNotEmbeddable
08d3ad4a383edbeb1052f4a7d2eecc0feb7091c6 Choose AssumeNamed AssumeIsNotEmbeddable
798d9a02cac65a68f31f91496d4e4067bde675bc Choose AssumeNamed AssumeIsNotEmbeddable
d0a3d49c7eefdca45f44fb3ec0982f0df202eec2 Choose Lambda TypeMismatch
8a4920cfd7bb99a077aa05049dcef9939366f7ba Choose Lambda TypeMismatch
88bf372b498bb52be7d3d0bc64b43e1de23da162 Choose Cross2 TypeMismatch
6f6562c6c839abbe9f5ef6314bf6f7f7380f4dc1 Choose Cross2 TypeMismatch
99f437deb880e37d21d1704dc72e64361dc6e547 Choose Cross3 TypeMismatch
c1d18e73b58b5871835ee4eadd10f436dab261b5 Choose Cross3 TypeMismatch
fbe5da4a07bee171e9f6135c1fd7f4cf7293d017 Choose FunSet TypeMismatch
7da973bc0db95d7c59a51aa7582a1de493cdc4e9 Choose FunSet TypeMismatch
be92026a5c749e24420c26913d3c7215a9619169 Choose RecordSet TypeMismatch
cad96ed93d032a3fd8332c9a7e3870644ed50d36 Choose RecordSet TypeMismatch
755d45f22d1a60fba6c130bf5fb3ec13e99e5d80 Choose SetDiff TypeMismatch
4774c1fd6cb6c0e9077cd1ccada6ac8eac63ef37 Choose SetDiff TypeMismatch
111fee14ae5e312f32c2988981f9c7193f9bf763 Choose SetUnion TypeMismatch
dad97dfa1911ec09e7dfcddccdbd89f02613c0b1 Choose SetUnion TypeMismatch
69f9fb7df7e589152baf15bef2ed562f7fabf5be Choose SetIntersect TypeMismatch
e6c530c647eccf339690b81cb51caecc5abe611a Choose SetIntersect TypeMismatch
8ef667093f70668f3930ad99bcfca90fc1bbf338 Choose Subset TypeMismatch
ef41b4815ff86b2ca1dabc7a4235a116c189f78b Choose Subset TypeMismatch
1379c671c320ebda379536a9813f5cb0ecbac66d Choose Domain TypeMismatch
887195362dcf883335110ba04bbb6a292f19ad81 Choose Domain TypeMismatch
c528e2c6e156a9bc5f85220c78d08df86716a724 Choose Union TypeMismatch
b03f61feb4f6e3fdc7a4ada769c136469703d081 Choose Union TypeMismatch
d30a64e402db939eb5ac4a883923e7c79301b966 Choose StringEmpty TypeMismatch
e9d90fe58fecc6b754c932f50a92428e64373e4d Choose StringEmpty TypeMismatch
7537aa90028a0e361afa504231e1e243b0c582f8 Choose String TypeMismatch
3fda8edc15a702e9607291210d298f1d075a81e0 Choose String TypeMismatch
16e7a7a63815373a1d8d3db0150741a16d512d6a Choose SeqLen TypeMismatch
d54171026d1b2f97a4c61d8d7cc3c203c5a8d037 Choose SeqLen TypeMismatch
f47159feaf6207038209100d5a9cbe2ddb21e2c7 Choose SeqConcat TypeMismatch
49511a580e2804397daacd28119631bc65748d5e Choose SeqConcat TypeMismatch
33f3f8a5a2d97e40b06ab9d18b747c41995fa3e9 Choose SeqSeq TypeMismatch
0d87dc75180aea36e275426a15ec1e8d79e2e76c Choose SeqSeq TypeMismatch
12193b905b647f57b2ddb01e6d240f99478ff0e0 Choose NatSet TypeMismatch
b89023c9d3ee81d305217a65ea73ed5a597959c4 Choose NatSet TypeMismatch
33bc614bbd38a5ba3d945a4a4e6d1c0a9204f9eb Choose IntSet TypeMismatch
c62bfaf10e17bda87938b97d7ba179e317011832 Choose IntSet TypeMismatch
17c3a438eece2d74abd58321b92aa37cee66e98a Choose StringSet TypeMismatch
d0d643e77d272cc17d9b3f62397443f5e0dee4bf Choose StringSet TypeMismatch
f5e14b1c44301cc9037e53ab7027dc5b1ddb8ee7 Choose SeqSelectSeq TypeMismatch
4a54a0aac5b1f6af8600fe1868bcdd56096a03ef Choose SeqSelectSeq TypeMismatch
3da56b7e7b748f047ac80fbab531be7218f832ed Choose SeqSubSeq TypeMismatch
51a68620a895a998cf4c890104d5d79824bdfd27 Choose SeqSubSeq TypeMismatch
bb065eb2a344f644d80631e2ce8e485abb0ff9d0 Choose NumRange TypeMismatch
b8cd1af40f394453e35ff8db72fe7a3566af3792 Choose NumRange TypeMismatch
14ff27f2131fa721f655ea94d11c031cf470ab32 Choose TlcSingletonFun TypeMismatch
a2e114bc338feb2cdd4e467a67cbd5ffc65154cd Choose TlcSingletonFun TypeMismatch
29e3b2c4ae138f8de335f88e57d01b8096165371 Choose TlcExtendFun TypeMismatch
2f5244eb6f11bb7c2f7ea2c0ba1d8e16637c6bf4 Choose TlcExtendFun TypeMismatch
b52cc68e21707ecff0d5bd871364e2dee855c28a Choose TlcPermuteFun TypeMismatch
2986798e4bed4074a0e88edb5cc1928731f9b282 Choose TlcPermuteFun TypeMismatch
887ee22b4dc4fb7b8b3d1475c83396ece7c9f54f Choose TlcSortSeq TypeMismatch
2e540b32d40839926b3d3f7b82964467fd820ae8 Choose TlcSortSeq TypeMismatch
9982d6818de9843c6f9b58bbf1bbdbcbf5fa7f6d Choose BagBagToSet TypeMismatch
eec076e84a8c7a0640b687a92bb34325a0fa3859 Choose BagBagToSet TypeMismatch
fa9504ba41bb4e4279eeda2b967fe5c2ade47214 Choose BagSetToBag TypeMismatch
c5d5454c40d004e6636be43a53dc96ffb6a9da7d Choose BagSetToBag TypeMismatch
8a1798d62934b9796c0088d6f9fbb1a0e43f67ec Choose BagEmptyBag TypeMismatch
c36508435a6ac3d506a9b1bfa68240c2e0320d24 Choose BagEmptyBag TypeMismatch
86e5c77fb12187b68e12cc99f8889e273e467561 Choose BagAddBag TypeMismatch
375fcaee143295450afd7e11e3ef47af4949af7e Choose BagAddBag TypeMismatch
6f85fe58d6fd0222317b715694b657ca1b7cfad5 Choose BagBagSub TypeMismatch
8efb60de443d5654c2e25dfba4abf9c438a5bb0f Choose BagBagSub TypeMismatch
f5f590fade9ca17908c3ff9d7992d7043d2875b4 Choose BagCopiesIn TypeMismatch
47c6affb07a33736a246c7949dba344c452b6075 Choose BagCopiesIn TypeMismatch
5f4594ad7744ec032b3141cc810145fe4e48e29a Choose BagBagUnion TypeMismatch
92283e28120558df9205a28a13bc96dfe0ef6c69 Choose BagBagUnion TypeMismatch
db60a32957357e9faa6a4012052b31a856b74b6f Choose BagBagCardinality TypeMismatch
2884fc3248473045c22f4da9422f8b82dac07411 Choose BagBagCardinality TypeMismatch
ab6b4792b4e6245ef6ce649aee79fee6c6cd44a6 Choose BagBagOfAll TypeMismatch
e1ea313f621faff764995eadcce133916ccb0b55 Choose BagBagOfAll TypeMismatch
a049136ee0977ebb63ae747bb889b1405856dc2f Choose BagSubBag TypeMismatch
d3d342df4450c79d5dc7b6a9089227febd058191 Choose BagSubBag TypeMismatch
28869e6fdf8f3cc3157810500983eb0c81e698ae Choose FiniteSetsCardinality TypeMismatch
8fa9c6e57f58f722b33a488738f2481444930df2 Choose FiniteSetsCardinality TypeMismatch
700fa31acad9e9ad381263f456ce282cd885b644 Choose SeqTail TypeMismatch
8cfa78e93900a4ee2e26df6e13e379d73fa2e220 Choose SeqTail TypeMismatch
be1032c8772a3f5ec550beaf82aa26274cf48817 Choose SeqAppend TypeMismatch
eff15494d2221c20975f9e4d1992becd0a319dd9 Choose SeqAppend TypeMismatch