Index

Skipped feature combinations by case feature Imply

Id Case Feature Plug Feature Skip Reason
e998ddc89327c8962e7612b6e899a4333d5d45c3 Imply BoolSet TypeMismatch
9e6cc5f4746d2a11a7df4c8805f9da2abf77e260 Imply BoolSet TypeMismatch
39b0c8e59617035d5a29861d5dea46e004c79653 Imply AndProp KindMismatch
bf51b0e360f42b247f3c83c61c96505788616e3a Imply AndProp KindMismatch
b7ab2f757c7c31e68c5d8b06ed36f9184a0e9b83 Imply Boxed KindMismatch
c7d8015d9c0053fe6bd45d0668af941a6e9593d0 Imply Boxed KindMismatch
c5d8cca095f0cc1530226827b0a4f757cd8d1b63 Imply SetEmpty TypeMismatch
1379efce2de69144faab8963af6ab27a37209727 Imply SetEmpty TypeMismatch
64ff0717ba168fef1680e2164f8a2c6395a1521f Imply Set0 TypeMismatch
b988385ad33c0f81a382e9060c8b179afa3e087d Imply Set0 TypeMismatch
33e24cc6a945e06e61b309bcd2a34b34a8b1c546 Imply Set1 TypeMismatch
1a9e1e1f0b271efadc44dd8604a4c985ead63bbe Imply Set1 TypeMismatch
6116dee3a73de6b378bfc023bc0e3c3a459ed4c5 Imply Set2 TypeMismatch
f86873ec676e1429eb109ef2f5087b69e2f9bdbd Imply Set2 TypeMismatch
c65b51653633051a84094628078665ed4b29ea3c Imply Set1InDef AlreadyCombined
b3e0860a439d94f77019b0be3d4a70bd03f332c7 Imply Set1InDef AlreadyCombined
717a08ff049be0b9d77519eeff82a7f8ac300789 Imply Set2InDef AlreadyCombined
24292c9abc0e1dad7901b237b5efe4703b4a2a59 Imply Set2InDef AlreadyCombined
0aa41ce77b4723a835ee285081b46682cba8cf4e Imply InDef0 TypeMismatch
a5a05d13133537f3e95238d1c2b3dfbc519084e1 Imply InDef0 TypeMismatch
6520fad28c2c74025355ac109bcfe47f24367082 Imply InDef1 TypeMismatch
1a641d10ed4314376e6c8de6859fd60da2c0fa96 Imply InDef1 TypeMismatch
909fef26192f66ee3416360186dd048739d549ff Imply InDef2 TypeMismatch
31adb79260eee821493117feb626085bd6fe6e0d Imply InDef2 TypeMismatch
0008120815ee9be1c7eee48b428cc175f0863eaa Imply Fun TypeMismatch
6b17ab8cf993927601999581a6099af518931379 Imply Fun TypeMismatch
93142f4b3baba68ef63ad4dc279af2c18c7f67a7 Imply FunInDef AlreadyCombined
f5d16cecb23725e89179c5d7b0f0786cfb0b0cef Imply FunInDef AlreadyCombined
9be15b715f6b0328093aac422d78b9809eee0a10 Imply ExistsInDef AlreadyCombined
d3949064653cd184f185f01c3712be32b3586147 Imply ExistsInDef AlreadyCombined
aab40062028f564030cfb1fd67e45f4b221d5a83 Imply ForallInDef AlreadyCombined
2139e10ff68e14c9e4ca444805706ac6246b1840 Imply ForallInDef AlreadyCombined
b036ca40276cd7a6fd42a3ea36a9700209937dda Imply ChooseInDef AlreadyCombined
3d4d40e767e8398149694e1738dad76d878c7681 Imply ChooseInDef AlreadyCombined
59b2e2978804528125902d34f6770608a31b9f48 Imply Record TypeMismatch
7507f0bd5cbdf0e51e4efa03d274b30d1c348ce9 Imply Record TypeMismatch
a5aefc3f3dfbab6210d79bcf567ed3c24a627c89 Imply Tuple TypeMismatch
fa2eb1c326b39988337791577bd1358402dd5238 Imply Tuple TypeMismatch
7718d7b5e2204ed40588ec73b39180bf4b0092d1 Imply TupleEmpty TypeMismatch
ff4315c84b34086d8647f3df882c803ed5e3553a Imply TupleEmpty TypeMismatch
684988d8b99b99672ca65a6745f5c07e2a679567 Imply Except0 CanNotBePlug
40135b14aa8d48de0dd01c281375485c6772b36a Imply Except0 CanNotBePlug
3aa474f6b4be4f24b6bde871eeb57445265f84e3 Imply Except1Fun CanNotBePlug
cb11cca978eb54900fe467ebd29021d4fee18205 Imply Except1Fun CanNotBePlug
e1ca6fedf9156a2967c87e93962d59f8703256cb Imply Except1FunWithAt CanNotBePlug
46aadfcb496a9ce6970d8a103db90864175145ae Imply Except1FunWithAt CanNotBePlug
ad0eb9bd11e632d9f143f47b75db8758c9597d1e Imply Except1Rec CanNotBePlug
827d407f9b23ba969cd84ba92f9680eb546f55b9 Imply Except1Rec CanNotBePlug
80d948f3c72537bb44a3780261ec2faccc28b25f Imply Except1RecWithAt CanNotBePlug
50eaf5dcafaf86f3537aebe6be9c1821caba6aea Imply Except1RecWithAt CanNotBePlug
2a85eab113de64e1e0331afae8cff28f54f2d45f Imply Except2Fun CanNotBePlug
94953246205babf7abe20c41b04756ac486b6c5d Imply Except2Fun CanNotBePlug
d0cde9794855327ce4d46875ba94b9bd59e799ca Imply Except2FunTuple CanNotBePlug
76e6c72b1263bf20950121f7d2404c5fc89d1e29 Imply Except2FunTuple CanNotBePlug
4ed3e72ecf6265526fefc8391224a7ba9cc86290 Imply NumZero TypeMismatch
05a174d44ab0bcdbf79ce0ea9c500f4be86c35e6 Imply NumZero TypeMismatch
43e5d1c967d474bc2f1bf62b407c5027ac00fa59 Imply NumOne TypeMismatch
050d352977bfaeb785fee33100924de8cc068627 Imply NumOne TypeMismatch
e7a7f4e2281fc2b9406ea0bf6ad14eb4cf062d34 Imply NumMaxInt TypeMismatch
fd8ee00bb2d39f3dd21ea9363df4f781f12c7480 Imply NumMaxInt TypeMismatch
85aedd119aff0a852f82d879efb424966edd85c5 Imply NumUnaryMinus TypeMismatch
c57721dd4c34516dae18e68a85d510e5fd9b3ee5 Imply NumUnaryMinus TypeMismatch
bf195024885d5f660dbd305e2e7de589d6091bca Imply NumPlus TypeMismatch
c0c13c6c150252a19c95567b057b9ba05b88aa71 Imply NumPlus TypeMismatch
54e24ae0bf97971a418cc20503f63fc425964f5d Imply NumMinus TypeMismatch
f928ac82f33f4ee2dff7c98375fe6b1769376f59 Imply NumMinus TypeMismatch
9556bb9bd3003e924805c1101c76565d6a48191d Imply NumMul TypeMismatch
af8ad7d46aa1c6fc065dfb953ddbb6649136f4f5 Imply NumMul TypeMismatch
2046cd9a6eb51d08c1a43e0d38130b1623526095 Imply NumDiv TypeMismatch
295482a7ccbcae2ab71f9fab2562a339f55235d0 Imply NumDiv TypeMismatch
55fad3e6246014e696c2a4d26990bba37ebc5e7d Imply NumMod TypeMismatch
fa94d126d9a9eaf233ea8320eff7df90c61722f7 Imply NumMod TypeMismatch
aebc39b36c61128f3de14198386a83b40b6cb5f6 Imply NumPow TypeMismatch
f0fcf97023dff4d5a4a22b00f9a6d403607143df Imply NumPow TypeMismatch
4cef44983e6e43a09fb602a4b4bed33cf48962b3 Imply DefFun TypeMismatch
3669f3f402793237dcdd5871fd79daa2f8263543 Imply DefFun TypeMismatch
664653a2c3c522096bca8d6d9cf5ca21714da630 Imply LetDefFun TypeMismatch
c0111b06c7d025eb4d796cf910edfc99dbb36073 Imply LetDefFun TypeMismatch
605c88693de767967f1002efa82e3f2ba5e030a3 Imply DefFunRecursive TypeMismatch
d810895821cb32058426c35022cb35cdde90abbd Imply DefFunRecursive TypeMismatch
a537c8af135e86770a835322f4536ed0da4458c6 Imply LetDefFunRecursive TypeMismatch
67e0c0db64264209a0a890cd7c46c9d931273fef Imply LetDefFunRecursive TypeMismatch
55c8cb5e1a25136cebc96602b5103dc7bc396559 Imply DefFunInDef AlreadyCombined
b62d548e3243d112173f2e00e7f4718fff2d6cda Imply DefFunInDef AlreadyCombined
0875bd8d6eb0c22b084bf80de5c90228e0383c18 Imply LetDefFunInDef AlreadyCombined
3d89cf3a56c55840438e4f46ec3452613ec66baa Imply LetDefFunInDef AlreadyCombined
3fff0484f8c8a91c7a671e8c3ac6256074b2b118 Imply VariableViewExclude VariableExcludedFromView
773cf45ebe1359e93ec97b27e71bf33967032c8b Imply VariableViewExclude VariableExcludedFromView
94d0bb2da064c886ec896a6a860ba3cc67c43433 Imply ConstantModelValue ModelValueCanNotBeUsed
4e694dabc90b23aea6efcb151eeed08a7398e8ae Imply ConstantModelValue ModelValueCanNotBeUsed
a3ad35113059a697161f9b37982daa3423e94d42 Imply Assume AssumeIsNotEmbeddable
e781fee7b42b91bb91a1979a8bfa35117e6e0964 Imply Assume AssumeIsNotEmbeddable
fed95d3e858c8a26f8db411276b80de5f8b70aa5 Imply AssumeNamed AssumeIsNotEmbeddable
f6f4294f07a45b988d61df56f3844e14131cae12 Imply AssumeNamed AssumeIsNotEmbeddable
ae3e8f38804e89714e532a4f7e987697e498c301 Imply Lambda TypeMismatch
29269b5cecd46d00feccb3aa4ff83cd2f2a9180b Imply Lambda TypeMismatch
ffccaefa1119bd10614dadf97392115e8d51dea1 Imply Cross2 TypeMismatch
6ac1a9560abcab8cddf22c8996df0b0f121d0d6d Imply Cross2 TypeMismatch
a07e54f2f20899d88ae61872e220fbfc236651a7 Imply Cross3 TypeMismatch
489d1725d7311d036a216595d94ca202d1261241 Imply Cross3 TypeMismatch
2bb6e2390d97a8b3f31d8ba510a63df1580e99ec Imply FunSet TypeMismatch
f705588cbea098b38a5883af0f0cdaf88babbcff Imply FunSet TypeMismatch
8ce3335a96f6a5320f91ad9453284b9c4d94dc0f Imply RecordSet TypeMismatch
cc6e8a838041f43b517fb48e5c9e1c61c1a476e9 Imply RecordSet TypeMismatch
c1fa1c9d7479fe05c5c9eec765294c419b10089e Imply SetDiff TypeMismatch
89456437e2e95d1ebe016df6ef7a1ed384d0191b Imply SetDiff TypeMismatch
04a3887e7477afa59a1450b3e8918d67affa1d4c Imply SetUnion TypeMismatch
e1667f278fbd36c1bbab40d249b418a874d3d039 Imply SetUnion TypeMismatch
91ea885b624d8f7dd1e5b5c5e885014a94f208a2 Imply SetIntersect TypeMismatch
e80d4c453d0f5c7e3bfda3c96fa54c31818c958f Imply SetIntersect TypeMismatch
36264ff55e28c24b608e157024822ffed60e7239 Imply Subset TypeMismatch
0df310a8bf720188ddfc586674862585ba14f014 Imply Subset TypeMismatch
8aafccdcf55c63f838175438bb943c64c7bfb9bd Imply Domain TypeMismatch
0aa0c7077ceb96422f8da5bae41ccef37a24570c Imply Domain TypeMismatch
3a07f65b0e699d12333a14482f7c841fc944c87f Imply Union TypeMismatch
2ad0b706e0e86ce7fbf1b76a6b85d0ad12892948 Imply Union TypeMismatch
1aeb6d0d2f7cb5e579f45944c616bc9aa4567b93 Imply StringEmpty TypeMismatch
9d3ed871ec5d46c4ff079e15745c583b1a83b5b0 Imply StringEmpty TypeMismatch
601bcf701741b330aefc5943b1f24553575549ca Imply String TypeMismatch
0350d661f296ed66160f6df9c01ff4340cd8b4f2 Imply String TypeMismatch
531cc03f328461e70b1fa1d7af4c90b3a183e249 Imply SeqLen TypeMismatch
8115871ca659c26c31176933444cbf31f969d9d3 Imply SeqLen TypeMismatch
85dd06a596006a3f67c55a81305417c64d7cc3f1 Imply SeqConcat TypeMismatch
163588f0c388442cda4f852b44c006021abc9158 Imply SeqConcat TypeMismatch
83e4b84b1fbfdd14c2a9398adc2dc586292f770c Imply SeqSeq TypeMismatch
efe13ad7b650b3bae8aec71d01bde5263e3282a3 Imply SeqSeq TypeMismatch
8aad60ed499a67adfc05021b508a2ae6954695d4 Imply NatSet TypeMismatch
29e8d3dd10e21c117b30cbdf7b9144777379096d Imply NatSet TypeMismatch
e42aaced1f5593122e8c7f030049184c6f7a3003 Imply IntSet TypeMismatch
13a1f73fc7c15d211ff06baea5f57d65ecac0445 Imply IntSet TypeMismatch
5eea9674b5967d85d6db01607cabdb35248dbf8b Imply StringSet TypeMismatch
6fe81803649c2cc9f5ed7d6062a24f2d07e309e9 Imply StringSet TypeMismatch
981c6538a28fadeb90d5de3c0607306b0359a2b3 Imply SeqSelectSeq TypeMismatch
b471f8f5b0e00e7a0ba0e4ee3c6395b8ba7ae15d Imply SeqSelectSeq TypeMismatch
3760d80945f1b15752896e5f38d8c16ac4515e01 Imply SeqSubSeq TypeMismatch
7ce66e78d95e86260c6b07d8f7be4132cb9f881b Imply SeqSubSeq TypeMismatch
6a3a971ab594373c37a0e4b700887b0de9913dc7 Imply NumRange TypeMismatch
e4daa78205a1b742fd12017f95c8bdbf92ee321e Imply NumRange TypeMismatch
d95a19c2d856965b579058bdd57ff909a5b79d08 Imply TlcSingletonFun TypeMismatch
23b845d1c216f77a6f6540ccfb154b193baad0ed Imply TlcSingletonFun TypeMismatch
f727a403bea32de87942e3b70ccec31d9868d16c Imply TlcExtendFun TypeMismatch
102067c15010fbc3302810caf4b39f5e580cff69 Imply TlcExtendFun TypeMismatch
538a140b606f6766605703fd46cf46001e348e91 Imply TlcPermuteFun TypeMismatch
66c8fa58262e1931d24fca9331c27bb7a98de0c8 Imply TlcPermuteFun TypeMismatch
90941dd28e73a9fa983145d36c0f6808db6bca49 Imply TlcSortSeq TypeMismatch
b1b2fc8531912fd899c4a3e83972942a5f6658bd Imply TlcSortSeq TypeMismatch
fe4398de8a8aa8abeb8901ea2b2fff64bd5a3ded Imply BagBagToSet TypeMismatch
98b0cefe8eeae721d43481ade600afe3f425344b Imply BagBagToSet TypeMismatch
7f71b77f38f649ce4f0cbc9d9f06e1c9f87c20c1 Imply BagSetToBag TypeMismatch
89e88d023c3915355994d71b2e724ca1c40c0363 Imply BagSetToBag TypeMismatch
6146d9c87308c1ed8e3618c471207e1865f64b4d Imply BagEmptyBag TypeMismatch
7116833e4f5e1a06031c43790c7a45509c06c233 Imply BagEmptyBag TypeMismatch
37fb72764b87614b8a5de7ec816b8fd0284b8dc5 Imply BagAddBag TypeMismatch
e038571017e715aff4c15f2b8239270b5a6425e0 Imply BagAddBag TypeMismatch
b27bde2e44218432594daed94825ee18d35d5eeb Imply BagBagSub TypeMismatch
45beeba1698a3d185d53aca352e485df253ce54b Imply BagBagSub TypeMismatch
c010ca99d53b3033fa187ce7687662cbc9fc8357 Imply BagCopiesIn TypeMismatch
5c8a4b5fc466cfbd3240bf0a6044a7b2e0328f12 Imply BagCopiesIn TypeMismatch
d35d274f57623fbe2f8c56d3afe85a5ba6707a45 Imply BagBagUnion TypeMismatch
372303d6cb51b3b2bc0bffb53b61172a09c56183 Imply BagBagUnion TypeMismatch
e2e9ce186355172b654cdcd72beccfad54ae52d6 Imply BagBagCardinality TypeMismatch
d9af622d8ca15f16d2d8e0d4bccdbf2691af16eb Imply BagBagCardinality TypeMismatch
021b0c253fd9ef33e6c1464d6e18bc9dd3647c85 Imply BagBagOfAll TypeMismatch
82ada9bccd4baf28aecdc848dcaddf9bc0124373 Imply BagBagOfAll TypeMismatch
c4456dae728041b4fc3b0ed0e30b92e72bd69626 Imply BagSubBag TypeMismatch
180d9151e95d06514acaeed14d56c993e7fb20c6 Imply BagSubBag TypeMismatch
a347d2d638090803a125b5d643a8617ce0365078 Imply FiniteSetsCardinality TypeMismatch
61e0a7e7fb1520ed59e15ed2c993c07519586f58 Imply FiniteSetsCardinality TypeMismatch
093cd2770a6b265fd9e970c07aec6e80cf9c1faf Imply SeqTail TypeMismatch
69e4cfc84dfac40dcdfcc3c00ec66374284b726b Imply SeqTail TypeMismatch
f2bdae1558200ae3ed4f90f53cc5d5ce4bc54205 Imply SeqAppend TypeMismatch
e2ce8146c155978277ff488256148992e1b46c61 Imply SeqAppend TypeMismatch