Index

Skipped feature combinations by case feature Cross2

Id Case Feature Plug Feature Skip Reason
dda8e97597b98bfc77f8e155c94137e13b717039 Cross2 BoolTrue TypeMismatch
f700d64b0ac4f611f8f125a641aee9a9025f2b97 Cross2 BoolTrue TypeMismatch
e103e5b3e7b293907e292316345841ca265382b9 Cross2 BoolFalse TypeMismatch
a59f12fe59cf7cd6d888e0b9a0635feb780bb90d Cross2 BoolFalse TypeMismatch
a4a0d416e2179a89bf2885fb834ff6fa93ca8365 Cross2 And TypeMismatch
494ae81bcd2fa8e3e1885017358c8be764e05ba4 Cross2 And TypeMismatch
9ba6c57d3e4ee797184e9b8e963c8a61a11ae00b Cross2 AndMultiLine TypeMismatch
0d2ec716bb4041a86fab80ba28d4cf2e0e855ae9 Cross2 AndMultiLine TypeMismatch
c3440392d823f2fae76f61490c307f7f23e0237b Cross2 Imply TypeMismatch
a25dd5e96c75b32d15dc1ca7329fd995de993031 Cross2 Imply TypeMismatch
dec2a311bad9c125c02596d13e3db202ed301285 Cross2 Not TypeMismatch
670727684db80ae16a3c5af9cee94f2ffbd60814 Cross2 Not TypeMismatch
a46600ca0dd0e81b192471f0d480b6293e94d661 Cross2 Or TypeMismatch
a0ce8006b0d3937cea8acbdcb948a8bca6091640 Cross2 Or TypeMismatch
a4b8ebb713af7b66d1c6115cf7f24bf84d8ae3b6 Cross2 OrMultiLine TypeMismatch
9b0a65fea3ba580ac694ea46d30f56896ac7fa9c Cross2 OrMultiLine TypeMismatch
3fa1e936e316d3a2fddd30f62d6ffbd04c732876 Cross2 AndProp KindMismatch
6145ef218f67d992a7e7787e864aea8f6e76dee5 Cross2 AndProp KindMismatch
6553d6a71e7c0d7aea40274df5225cdeaeed6967 Cross2 Boxed KindMismatch
a58841095be6afe5fdf21b94e14ddcf5676ff726 Cross2 Boxed KindMismatch
33d3f2d9fb3b87a055c87e3031a937a109127dfd Cross2 Eq TypeMismatch
0b76cd0333aa4c58cd32db429e9a42606da60b95 Cross2 Eq TypeMismatch
c807f155c5edbe875a86b7e02efa280fd3fc1aae Cross2 Ne TypeMismatch
98d3c45d5044860c3aea0ffbd00f8f290789559c Cross2 Ne TypeMismatch
d2f62881394a24ed75b14202ef54650d2ab5f74d Cross2 Set1InDef AlreadyCombined
239ca6a1fe5c21614683f6d4067fba63f39087c7 Cross2 Set1InDef AlreadyCombined
4b6b428f6e19156dfca96c2be4ada214b31dbe8b Cross2 Set2InDef AlreadyCombined
cc526cc8b6007298e625eccec1fc344e5f27b272 Cross2 Set2InDef AlreadyCombined
1cb64113c8c98d5b264c2eb2aded2f415055eb6f Cross2 InDef0 TypeMismatch
62782ab08e850d0841bcb596f16ed880ea25f2a2 Cross2 InDef0 TypeMismatch
4c9565204bf2d44d14277700936d7a1bed1a035a Cross2 InDef1 TypeMismatch
ef3df68a41b6c7bffc1507af3a5d7b20b4c63f3c Cross2 InDef1 TypeMismatch
9eeb91de31609d04f1c9ff71abc0c941b7f13c51 Cross2 InDef2 TypeMismatch
2050bbdcce2040976433790b8627fad223708fea Cross2 InDef2 TypeMismatch
171c2bdf835edee5dad8cd65e179b2d4c2eaf71c Cross2 Fun TypeMismatch
7f9a531a3afc7c2c8d4045379eec52b5b7fd2a72 Cross2 Fun TypeMismatch
3595d5dee42769f4f5a1ce3a90da6f08c56c9b13 Cross2 FunInDef AlreadyCombined
138c49148935979885f5f79a8a770041bde2ae43 Cross2 FunInDef AlreadyCombined
e4ad0fdb638448e05fda5eba492083e9c05f0655 Cross2 In TypeMismatch
fd792f17ec85812d0d6b80e36ca0c23b6bdc6cfb Cross2 In TypeMismatch
4948c1ba89dc5ea4a118d36f1c3235effdcee9bf Cross2 NotIn TypeMismatch
b2d67313c8cba28652e8e82f14b750e77778d6e4 Cross2 NotIn TypeMismatch
dfc85e87cdf0ea0ec7049973810e96c261caa3cf Cross2 Exists TypeMismatch
212efd020046095fc73ec7371e3a6a01deecf7da Cross2 Exists TypeMismatch
0f5346b851e8feeb26c6aaa46aeb7ac82640b006 Cross2 Forall TypeMismatch
b83fa5ca5f96a00b673d46628cba7547ffc179d4 Cross2 Forall TypeMismatch
d5e8a3a1c8cf647cb1838e379a8711d430929a4f Cross2 ExistsInDef AlreadyCombined
89aa7692dd01a077414d65621f89be1b808451b2 Cross2 ExistsInDef AlreadyCombined
7284a0b20e4b229fe33a5fbd502b2c573934be22 Cross2 ForallInDef AlreadyCombined
6ed6a7d20b8b322014100293a8f54a8e21247c29 Cross2 ForallInDef AlreadyCombined
ffca0a8cd72dc3f241ec3316eb411e0266bc14f0 Cross2 ChooseInDef AlreadyCombined
c632986410c247734345c929fdf835b4266e13cd Cross2 ChooseInDef AlreadyCombined
df6bff9cea928d4b1e4d74e0cc9a0f8e330f181a Cross2 Record TypeMismatch
0603709c4b9eb78f18878ba60b12db023712dc7a Cross2 Record TypeMismatch
1a37ff78879a4e70917ee337038d655880db796c Cross2 Tuple TypeMismatch
844bc694f4b9102ab8b24c27df3ecaa24d8ba296 Cross2 Tuple TypeMismatch
c6917f34f0dede708a91a30b6f951b74ba83f949 Cross2 TupleEmpty TypeMismatch
3a120c6ba19aca6a0d67e76409cc9a4c0abe2f1a Cross2 TupleEmpty TypeMismatch
857ef600433ee5c3350146567ca216007a79b1f0 Cross2 Except0 CanNotBePlug
0e10f0ec86b5bb7546cb7926e1b3f0a1106552ac Cross2 Except0 CanNotBePlug
02f047e8c40cad01526f4933dd36ea15ee7b5f55 Cross2 Except1Fun CanNotBePlug
f70be488fa606c7d181232536bc14b7d1649e82a Cross2 Except1Fun CanNotBePlug
7e096c3392c12fdc91b4c664a1b2e561a968d26e Cross2 Except1FunWithAt CanNotBePlug
78bbdab1abc563b875053fb19cec55b56878c81e Cross2 Except1FunWithAt CanNotBePlug
ce3d58b13d32808fdf3f6d68be9dc9b98601cce3 Cross2 Except1Rec CanNotBePlug
50b00b9a538aef2106ece6bd6d22b7b3b7ab0496 Cross2 Except1Rec CanNotBePlug
3fa4123d37e8640f34869d7af4baa2015008978a Cross2 Except1RecWithAt CanNotBePlug
cb823ac069bac86ff397002dcc0d9c5136d710e0 Cross2 Except1RecWithAt CanNotBePlug
84eb9cc85b76228ff8518d919a999a39d62d9327 Cross2 Except2Fun CanNotBePlug
f97e55aa7529d0636eafe861cb2a2d70c8703fae Cross2 Except2Fun CanNotBePlug
46755d6101819ffaeb362c00df05fcb1634889e4 Cross2 Except2FunTuple CanNotBePlug
9713b66b3476b3c89e3bda1a9d879afc01747503 Cross2 Except2FunTuple CanNotBePlug
3bf4f386b47f0459e3b1f4e029a26a097861fe74 Cross2 NumZero TypeMismatch
441cb00272d55a114257709168b022f2cc8805d0 Cross2 NumZero TypeMismatch
93e270c3851db689830bd7e4730062f2cf037d08 Cross2 NumOne TypeMismatch
b326d7e4d77f4a94ca9ae6fc29c2fa6b083ce0bb Cross2 NumOne TypeMismatch
4c2d26e3d67b8b0c5d9ce114b4cdcbb5eb298ba4 Cross2 NumMaxInt TypeMismatch
edf5ea080d3c65f665b66be4443f86a80c9d912c Cross2 NumMaxInt TypeMismatch
8a543608c26cc807ec83f72d729554fe07704a29 Cross2 NumUnaryMinus TypeMismatch
30f1313ad3997b7082eaade79e914a8352e4ba10 Cross2 NumUnaryMinus TypeMismatch
fce4ef1d9be47cd0304bf72d00e07b4fda23ab5b Cross2 NumPlus TypeMismatch
d8bd6c263e55b09da0761ee8bc19c1adda7672e0 Cross2 NumPlus TypeMismatch
c20a84bc80132c7250df820d0e3034607a984848 Cross2 NumMinus TypeMismatch
d85e5abc6c00108f6871ae51edbc0d654c3c32fa Cross2 NumMinus TypeMismatch
080748276cf1253c076b157b86179cffbd15fd33 Cross2 NumMul TypeMismatch
e535509ab83be0d45895a68449c179117a10f115 Cross2 NumMul TypeMismatch
baa786701ece1061312d9f13f268dca746efe031 Cross2 NumDiv TypeMismatch
d3d6236db9e804a994e63f1960644b2e4abc5055 Cross2 NumDiv TypeMismatch
95085d8d1c08f0b35c17d3820a358e93bbced5ea Cross2 NumMod TypeMismatch
341a08265e7c825738ff3367fbec2ea23acb1f05 Cross2 NumMod TypeMismatch
15e33a8b692595e45c435b8b3a3806d4c7b12b45 Cross2 NumPow TypeMismatch
d58a0201bb7eae7a9e8baf09a6f4ceb4d227ca17 Cross2 NumPow TypeMismatch
6120159aab26dbb86ee569d82d472ec3fbdf03de Cross2 NumGt TypeMismatch
f047ac2dbe3285bd75cc8968a222e1db53cf451f Cross2 NumGt TypeMismatch
8369914437d56cf64653b736218e3fd291f31d58 Cross2 NumGe TypeMismatch
260de3dfd5e62d54b45204e3bbf5bf28b8013dd9 Cross2 NumGe TypeMismatch
1def527b901509c64b5ea5e787d18b433d411e4c Cross2 NumLt TypeMismatch
51124081e5b7410b06a412397d9ced997d9425bf Cross2 NumLt TypeMismatch
129b2ea6347c51846bf36181339c48dd8cbb762c Cross2 NumLe TypeMismatch
521178d43216baae7a7bf507f50229bbfd89381e Cross2 NumLe TypeMismatch
a8d478026f5465a601e83bb92b2c49aa6bf00fae Cross2 DefFun TypeMismatch
4406b05c7bcfc31c397a8dbd314e272f07ed9e1f Cross2 DefFun TypeMismatch
af88289643af19bcb9ad2c32921fb4a1d7ebd423 Cross2 LetDefFun TypeMismatch
05595cbd2a6bd2682437e594334e522710b09846 Cross2 LetDefFun TypeMismatch
7a0d421fa91e3f37429e392096fccdcd29b66581 Cross2 DefFunRecursive TypeMismatch
dcb9156840cdb80398c2dd0e62dabd8f075202ef Cross2 DefFunRecursive TypeMismatch
0658b1e963d768a26181e75727f7800c538ca406 Cross2 LetDefFunRecursive TypeMismatch
9bde055e933da384614b92e0a26b273b3ac9a4e5 Cross2 LetDefFunRecursive TypeMismatch
f1e83a7572e4afaa3f0f02bcd664b7776f46b079 Cross2 DefFunInDef AlreadyCombined
4bb22bb5c417a0efb5edade404890d684b3c2f1b Cross2 DefFunInDef AlreadyCombined
038c0686137de263d7001164e793b55c7525e09a Cross2 LetDefFunInDef AlreadyCombined
f7a56fa3c1e7441b5e406b39c5b59957ccaf48d4 Cross2 LetDefFunInDef AlreadyCombined
9d091de1c1cb6b9a8e78dd764547f9a6f5838747 Cross2 VariableViewExclude VariableExcludedFromView
b2f100ac71a6a0222e3d31b36b13584bf1e8c15b Cross2 VariableViewExclude VariableExcludedFromView
0b24a2f7e5257eab104d212779abc55425729428 Cross2 ConstantModelValue ModelValueCanNotBeUsed
a88c751551407db470d9dbd89149e1b44500748f Cross2 ConstantModelValue ModelValueCanNotBeUsed
0bcb643c6b4137aa1ce44d9abcb46bca4ae06bf2 Cross2 Enabled TypeMismatch
d876806fe25e5adf67ede1a7ff6d62b694d20504 Cross2 Enabled TypeMismatch
5f086d416b6f27b42df0156cd4e53f1eaa4e94b0 Cross2 Assume AssumeIsNotEmbeddable
2ba6ed54b9e76ffc6227764db3e83bdfdbf72d96 Cross2 Assume AssumeIsNotEmbeddable
3d656d2c827e52dee10756cfe65778e64a1405bc Cross2 AssumeNamed AssumeIsNotEmbeddable
c7d8d3c0b3cc264ef7cd4c65a0c1440253761dbb Cross2 AssumeNamed AssumeIsNotEmbeddable
5514366c9d9f560de81fa7c78f685259d8dafc2c Cross2 Lambda TypeMismatch
108db651158cb25435335aa45a558ea150f0ece8 Cross2 Lambda TypeMismatch
8774b5e3f10318c6b9993dc6d0f7186a94fecac4 Cross2 SubsetEq TypeMismatch
ba43e13106f3d0dd7e267eb9908b6aa67d0944a5 Cross2 SubsetEq TypeMismatch
b386d0c0a99586d5ac0bdbecd4f6013e1e5b2975 Cross2 Unchanged TypeMismatch
cfb7e12245508f3e485056e8ce5cda6736caa685 Cross2 Unchanged TypeMismatch
8dfdfcee85d6d2cb41af8ef6699a958ece34920f Cross2 Equivalence TypeMismatch
a67e40e3ba08f445bfbebd23e4df7205c1daf7d6 Cross2 Equivalence TypeMismatch
a46ac1b607e64dace004ba5acb1f613089a302a7 Cross2 StringEmpty TypeMismatch
fb327092346bdb0829bb915461d582b72fd00211 Cross2 StringEmpty TypeMismatch
2db5c11c361b6f152b7843bfe3f5b04affdb21ae Cross2 String TypeMismatch
73fe9643a36d42077115ca05a7b6e14a094689b8 Cross2 String TypeMismatch
889c538de05922a4938b4ec30d0474a00cbee61e Cross2 SeqLen TypeMismatch
6fc5940b975b6a463d6bf0516d4473a1f27d6b38 Cross2 SeqLen TypeMismatch
3eba269f11924add983af05f0107760b36ad7b41 Cross2 SeqConcat TypeMismatch
ff4e1853192e41126a11839c63a554a03c06c275 Cross2 SeqConcat TypeMismatch
ea7f4cb284baf47cdd06a6fc211b8a3c5517fd8f Cross2 SeqSeq TypeMismatch
df021f45017be4beb2a666178825f42f74bb691e Cross2 SeqSeq TypeMismatch
19670d6a6c1597cba1275448e1b446212adb2f45 Cross2 NatSet TypeMismatch
50bc72bd0691cabbf804ed09187fee5e83182186 Cross2 NatSet TypeMismatch
5c369d74f6ca7217692e50dba880d21e4e929078 Cross2 IntSet TypeMismatch
ea19c490ed9629a80c6776bb9fed9592b9a7afd1 Cross2 IntSet TypeMismatch
7942b13127b552134a7a6b56db8f90ab533792e0 Cross2 StringSet TypeMismatch
4ea08929376db45cb286cdd575d9ee9e138037b1 Cross2 StringSet TypeMismatch
a3544efa952d5d82c4f4d5cc70c3f5aa0f807402 Cross2 SeqSelectSeq TypeMismatch
f076841e569771a9b51725337c02073a25246b17 Cross2 SeqSelectSeq TypeMismatch
99b28df3a214fb9e9189c9472905039d6daf6b1d Cross2 SeqSubSeq TypeMismatch
1c193f39e61b431d0c5563c3f403d56bcd52d490 Cross2 SeqSubSeq TypeMismatch
32e5b66d0cb21ba1952777ad6fe4a7797f63a68e Cross2 TlcSingletonFun TypeMismatch
a10b8148d26a98416c8729e1ed112ce51301a415 Cross2 TlcSingletonFun TypeMismatch
a32423c0799c7ad1cdcd74c0074fd10d3bc79a8c Cross2 TlcExtendFun TypeMismatch
5d32d240f43ded2ab88171be8fa5443557d04962 Cross2 TlcExtendFun TypeMismatch
efa4b2702e79be44a13d2a5cd0fb58e15da27633 Cross2 TlcSortSeq TypeMismatch
4f60f0037d7da8ba946ac579fbbddf4e152c2394 Cross2 TlcSortSeq TypeMismatch
72302d5e2b34c98e6d9246fc63b1d8fbff01c1eb Cross2 BagSetToBag TypeMismatch
685ff45d3615e809ec81772ca4a706f0990d41d8 Cross2 BagSetToBag TypeMismatch
d3f67c7fc29748aa3d0dd72ebe6ba8f70dea206b Cross2 BagBagIn TypeMismatch
47cfab45df555b0e8dc388132d528aeb9606b31c Cross2 BagBagIn TypeMismatch
0d4c7729298304a9db021292d487fe304f0a1138 Cross2 BagEmptyBag TypeMismatch
2649c32b6b7057c7f13bbf2c3b935f8ef25beaa8 Cross2 BagEmptyBag TypeMismatch
d8306caac50febb1f35ecafd67ebe29accbeec33 Cross2 BagAddBag TypeMismatch
d8472c1168b3b15e7c287f37468ceb7cd02e9c27 Cross2 BagAddBag TypeMismatch
587e785d64af24bbcd4db5ab04c1b1cb664eae5c Cross2 BagBagSub TypeMismatch
09a0e9d20c37d1089ff361cce48ff3c31e17f581 Cross2 BagBagSub TypeMismatch
c4d2b1cacea88e687d4cb9401d0da958a848f92f Cross2 BagCopiesIn TypeMismatch
51ef22734c662e3b3154ccfe735dbbd9cb081332 Cross2 BagCopiesIn TypeMismatch
a21a75a6f3e2239b466b33ecd94b49ac6e1ac769 Cross2 BagSubsetEqBag TypeMismatch
32cd7cd8cfbe1fa4fe771cd37c04a1ca0bcfddb9 Cross2 BagSubsetEqBag TypeMismatch
08e9f0e3a2763e216da1b1ad41955fc45fb4af55 Cross2 BagBagUnion TypeMismatch
8e6af84b1e625a634a650ebbcd01ab182d9ecfaa Cross2 BagBagUnion TypeMismatch
b59480194d6378b050a4af500066bc042bdb808a Cross2 BagBagCardinality TypeMismatch
d997a4bbbbb408d1750abeecd0078e658b3265e3 Cross2 BagBagCardinality TypeMismatch
c54899a269c528547e3aff94be085736980174a3 Cross2 BagBagOfAll TypeMismatch
04779a97c49523b37d900c53958a623a4969c010 Cross2 BagBagOfAll TypeMismatch
a026be596fa90c222836aca88595f5dc45ac8a57 Cross2 FiniteSetsIsFiniteSet TypeMismatch
1c8e2858d1d51d04080f8457158b14c329c86398 Cross2 FiniteSetsIsFiniteSet TypeMismatch
43ca8d1f8560448005e5c8006cf0dfe749d60249 Cross2 FiniteSetsCardinality TypeMismatch
fe34db1e5d9f7b9a461d518c05f9a5c2080e7849 Cross2 FiniteSetsCardinality TypeMismatch
1dee192038e4c77e34490274498b5cd9d238a0a9 Cross2 SeqTail TypeMismatch
1894aa60fab99c7543b72160d0d937c0d9189920 Cross2 SeqTail TypeMismatch
5f50b9025d597283c16764d29a67c34054e2aa5e Cross2 SeqAppend TypeMismatch
8dd38d41547d694e4841a3f41b9ea072fa361777 Cross2 SeqAppend TypeMismatch