Index

Skipped feature combinations by case feature Cross3

Id Case Feature Plug Feature Skip Reason
1967eb5ef1713d3c52d22ce47bf139e946700912 Cross3 BoolTrue TypeMismatch
de3c8c76788f749db6a9191b1357029be6bd8a23 Cross3 BoolTrue TypeMismatch
5b3ac2d4b76eb5f2a03781354e68fc9090baedae Cross3 BoolFalse TypeMismatch
4b521fa6478a562c55bb0a5cf0235dc9283aa540 Cross3 BoolFalse TypeMismatch
2f43c371cb01625e6ee58cb66d70d04b825bd718 Cross3 And TypeMismatch
8a433da2a00446814c1b7cce60cdc4bbdd27282a Cross3 And TypeMismatch
b495cd3747a9b163e5d8e8612b1411eb62be2de2 Cross3 AndMultiLine TypeMismatch
2147ffd820cd69a08c827d9048142c0585f5de29 Cross3 AndMultiLine TypeMismatch
f75fa60719cab751dbc2a06af4a1f332e910f147 Cross3 Imply TypeMismatch
c94e31619a5ab6c81a788102de56a01da374948e Cross3 Imply TypeMismatch
13827048a79fe03e0e483d7ada633d9d153b5233 Cross3 Not TypeMismatch
637ba0681a7be1ab3da67c430abd29a667ffee89 Cross3 Not TypeMismatch
b77d085f62acc154ac54a7d55f9784f1184d847f Cross3 Or TypeMismatch
74e25d15ece9db1a43b40f73ee5940a500e0ef1a Cross3 Or TypeMismatch
e1eaec4582760ffb52ea01d86f11fd69bef5e9dc Cross3 OrMultiLine TypeMismatch
a88b80f431dcdfabf3c1a28f801cbb9e5e36602e Cross3 OrMultiLine TypeMismatch
f71324ff90f4036875820a8e7ea258b3429905de Cross3 AndProp KindMismatch
4510cd8cfe53f0b4d402e24f5f8cce6bac740fcc Cross3 AndProp KindMismatch
da7d6d6bf23543772e355d4d7562ced86ff0cdfc Cross3 Boxed KindMismatch
3a15c6895c6c9e9cf82effcec0096dd1baa00f26 Cross3 Boxed KindMismatch
0508e641fd5930c3622be5527c296ef9693b5e46 Cross3 Eq TypeMismatch
536d0f82dd4e89a37a3293eb21c0fdf5daa4b719 Cross3 Eq TypeMismatch
52830234f265338e386081f442e0c6d2acfc9687 Cross3 Ne TypeMismatch
dbb52cd52573d866e05e2b3561224ae7c37c5f3b Cross3 Ne TypeMismatch
13ce2b1848aece2769dd977814556ef7de10162d Cross3 Set1InDef AlreadyCombined
20f10d9477f5e331c925ec93eda67606d2dfaeb9 Cross3 Set1InDef AlreadyCombined
eb29935525438b6357d24ac39de9d68e359fc095 Cross3 Set2InDef AlreadyCombined
d34c15b2ede07fe80a1db73fd76fd20571bdf3c3 Cross3 Set2InDef AlreadyCombined
a6a9ed30b77bd6d12b1f8dc60a0af4c0d44e8e38 Cross3 InDef0 TypeMismatch
ce46cde2592132df5d424150145aad7a637fa78d Cross3 InDef0 TypeMismatch
f1cdfcd76240a6c3e7dd0948b9bad70e84f45b8c Cross3 InDef1 TypeMismatch
035ca38359e2736f303e23d0753ea55c48623b2c Cross3 InDef1 TypeMismatch
a85c0733b381cca1ca646ae6bc81b518718bab06 Cross3 InDef2 TypeMismatch
c359e62c5eff735813b7ce0a2e276b9661f34f2d Cross3 InDef2 TypeMismatch
df19c9ca8d2aa1e901e217fb57d330e2b2936589 Cross3 Fun TypeMismatch
1cf3ad0108b2bfe87c6e55da5b7bd63427237702 Cross3 Fun TypeMismatch
422e4f4bf6117c06f61c79b65aee491b286cb3a0 Cross3 FunInDef AlreadyCombined
1a748668acf049fd0074779819da3d44c8798d0e Cross3 FunInDef AlreadyCombined
c1a3ccf9ce265da17ab2cc8716e94a3d458f023e Cross3 In TypeMismatch
7482cc657bbc7248ff6f1ffbd037b6ef56464f53 Cross3 In TypeMismatch
2bb0302b1ec7eabf40cee8a73792da9fdf69fcbf Cross3 NotIn TypeMismatch
72c7b5b747a7ca3407369af50e896ecf5ba03f20 Cross3 NotIn TypeMismatch
6e543b750e1acca5d2257c1df98cca8887da5661 Cross3 Exists TypeMismatch
19bd06734201173abccdd3e06e581c07e07f812d Cross3 Exists TypeMismatch
ca3c368584e97249bd0a2bc445e38f54071ace21 Cross3 Forall TypeMismatch
9eb171428d12c45953686aca3130353dc2eeaa0d Cross3 Forall TypeMismatch
b6f81d5c1a611f8d18ca36857c007644e5674211 Cross3 ExistsInDef AlreadyCombined
ce670a63091f327703e28a7ad619b76afe9cc5a0 Cross3 ExistsInDef AlreadyCombined
c38e1f9c5c73e96cbc041a5ecc7883a2b75dd798 Cross3 ForallInDef AlreadyCombined
29625a12a2c4b8b8c046dac56fe08574f9c1f867 Cross3 ForallInDef AlreadyCombined
3f592eb631a5646b6d1796f6ac88a458f2a99ac8 Cross3 ChooseInDef AlreadyCombined
9bac03ba1ff0aa447acf7b7327557b0733b879cb Cross3 ChooseInDef AlreadyCombined
a78f834cd237fdbb32a3cd02e2f6fc43aaaeee35 Cross3 Record TypeMismatch
aa0361cbce332b4056a631ddf3dca90c1329f9fe Cross3 Record TypeMismatch
2ba3e7fbd971faca973687a43d058b43e8035c29 Cross3 Tuple TypeMismatch
6630f4ff291a0d9e0911c3141da34c71c1e9306e Cross3 Tuple TypeMismatch
cae05516ab62fda986d0c5b38db4aaae6d918324 Cross3 TupleEmpty TypeMismatch
641bacdd1a774c564c8859bcff8d18705078b92c Cross3 TupleEmpty TypeMismatch
2a6c4b5c68c7f87693b7dd7803b56ac3f79a9f42 Cross3 Except0 CanNotBePlug
62e06848f7df389767cda72040d86f50db0ddbc8 Cross3 Except0 CanNotBePlug
8b63133ec6bba66ed8982d8007312d22e255f3de Cross3 Except1Fun CanNotBePlug
ecd35264c8fedc4b553e225cb175345005d570d3 Cross3 Except1Fun CanNotBePlug
18c5f0b77bed06a2622163a34a7f657f44f41197 Cross3 Except1FunWithAt CanNotBePlug
c7fdb3b07e26d25d7236a52191f71b25b7394c95 Cross3 Except1FunWithAt CanNotBePlug
04f4c328400581141df28c7f41f93b5690106557 Cross3 Except1Rec CanNotBePlug
484024b687d11b0ad73228265754ecdb11499034 Cross3 Except1Rec CanNotBePlug
999f35c0fa67087baf17a46a55bb2a07face46fc Cross3 Except1RecWithAt CanNotBePlug
7f3d276e18302b306cdc3650ef8237b6ed7a0eda Cross3 Except1RecWithAt CanNotBePlug
4890806e0f4fefaa994b75318ba5009f90db1417 Cross3 Except2Fun CanNotBePlug
71cebff61c424060a7eb47667c49008b8da4ee24 Cross3 Except2Fun CanNotBePlug
43789310f0a1c39724d57596d5859ca86d87f994 Cross3 Except2FunTuple CanNotBePlug
abb37f484796bb4b69331ed6cccd1df2948a2105 Cross3 Except2FunTuple CanNotBePlug
212d865cb2d2f1247245fb13695207b8f42dcd81 Cross3 NumZero TypeMismatch
64f85e1923b6e51ea931c1f01bbc5a160aa47d82 Cross3 NumZero TypeMismatch
b8672d353ec583fbf2de3eb25d9146759df46bfc Cross3 NumOne TypeMismatch
47632b01f1525c3e43aa6c257bb046545fd06d7f Cross3 NumOne TypeMismatch
30684eebbedbb5b4cdb02944446282d587cb0924 Cross3 NumMaxInt TypeMismatch
d837414875f6ef824b01ba7682e10055e747b28e Cross3 NumMaxInt TypeMismatch
ed630e10d73b0d95e11556d6339f12776dad788b Cross3 NumUnaryMinus TypeMismatch
7ca8bb3347ef26594b2b4b6567d3cc6659e7c4a3 Cross3 NumUnaryMinus TypeMismatch
205413dcde7b3538da8a589c790717869f6933ad Cross3 NumPlus TypeMismatch
f29ff47a733d9f2acf583c577e69981aa765d11c Cross3 NumPlus TypeMismatch
d522539ce741f1436b2322963363b6b1fc6673e6 Cross3 NumMinus TypeMismatch
c82265153f5459927900047e06d90f29e8f9762b Cross3 NumMinus TypeMismatch
6803f9cc2f2fe1ee8035a5e9612700ced1d307b1 Cross3 NumMul TypeMismatch
4727bf248f232e463ff562c7768dec9ccaf08c9e Cross3 NumMul TypeMismatch
6e95b748bd9201e8f8d239bc3133350eb0fc6bdc Cross3 NumDiv TypeMismatch
9420c39cf2c09ac658d0bbafda3ecfc368247f15 Cross3 NumDiv TypeMismatch
ec900c95b85e897b9646fec8c8ccfd7329503405 Cross3 NumMod TypeMismatch
b1ab76391eea311fd45d519a5a152660c027fa7c Cross3 NumMod TypeMismatch
16e6a947706746e2a5f9e74db238750ab27bd578 Cross3 NumPow TypeMismatch
e5ffda22f4771113789565837d33bfea48fd84ee Cross3 NumPow TypeMismatch
813346596128b560b917df790e1fc51c866afc5c Cross3 NumGt TypeMismatch
b7d5504b7cc35c4bce3e47d3257456686d00f7d5 Cross3 NumGt TypeMismatch
f91b6a9a945454546dfd93c8d6f03211f7251ef7 Cross3 NumGe TypeMismatch
538d997068ee9856120f1e2a99e1cef92c70c97d Cross3 NumGe TypeMismatch
ce19bdfcd02323928a8376111c8d2da621cbf7eb Cross3 NumLt TypeMismatch
3049c52e955636048a9f9c409ab35ba3977a8a23 Cross3 NumLt TypeMismatch
07f86525410cb21355d863039af766f02cff50c4 Cross3 NumLe TypeMismatch
b5f69ff071a412d6af4c43bf458c9f14bab1c3a7 Cross3 NumLe TypeMismatch
f317a2cfb9b8d73746ded3254d640d0a6dfcc665 Cross3 DefFun TypeMismatch
aa4ec1330a5911335063c44102b10c6f3b2bdf61 Cross3 DefFun TypeMismatch
668a2e4c8c5f663007441f53f55efc2949c1e00f Cross3 LetDefFun TypeMismatch
0de58cf74b6bc8a157bab136df7150a44042ca5b Cross3 LetDefFun TypeMismatch
60b17bc5237af589a1719d8a26992f6712f21db4 Cross3 DefFunRecursive TypeMismatch
b1d1b573e82b86bbc06f9ac4454e59d012e27295 Cross3 DefFunRecursive TypeMismatch
d58756ee84081fad5ca259c8d3d45eabfb9acce5 Cross3 LetDefFunRecursive TypeMismatch
6fb7afe840119c2f07be9697a4fe1253fea475ea Cross3 LetDefFunRecursive TypeMismatch
677f062f933f80861dedcd35245dbefb26701a7b Cross3 DefFunInDef AlreadyCombined
4d879f5de607bf113409898b8b77843233c3a390 Cross3 DefFunInDef AlreadyCombined
45cbd0861b5fd1c8ba8be11e7e87d514aef3e80b Cross3 LetDefFunInDef AlreadyCombined
2f4c90dd82d08771f23d5641784adb32bc9c8946 Cross3 LetDefFunInDef AlreadyCombined
83ec8bb064e4effa2aef7042a1e8d0d638c48f45 Cross3 VariableViewExclude VariableExcludedFromView
6ee0ce15cff9fc0160f3f6c2531edc363b6f6b93 Cross3 VariableViewExclude VariableExcludedFromView
f1341fee6a27339ea3709c964077e05b9db99cef Cross3 ConstantModelValue ModelValueCanNotBeUsed
7f1ddf059d066da780e9dffd7ecf9f94ac695627 Cross3 ConstantModelValue ModelValueCanNotBeUsed
aadb65605528243cc7e984b8cfacfa53ff94b241 Cross3 Enabled TypeMismatch
f2a91d87fc30e82d05067f933142033c549522cb Cross3 Enabled TypeMismatch
00d8602a29f663fe3e6922bbceb8deedb094a768 Cross3 Assume AssumeIsNotEmbeddable
480245a2b9ea84b0c5c47091d76695c5c5a8e164 Cross3 Assume AssumeIsNotEmbeddable
9ff8db47bf17ad455c24f699ede0103c23bcb8b1 Cross3 AssumeNamed AssumeIsNotEmbeddable
94c84119ab2552f0e5613a914253dd6440093dd3 Cross3 AssumeNamed AssumeIsNotEmbeddable
196b114da52897c8526f80cd0a6af1d68466ec44 Cross3 Lambda TypeMismatch
f3d977e709c391a37c72ea0ae511a7987d57a0ab Cross3 Lambda TypeMismatch
032520616ecbffd2ac6ecddc3cc960ce001648c3 Cross3 SubsetEq TypeMismatch
9b3fd9d448623d1c52c1da5cabe8440544c11910 Cross3 SubsetEq TypeMismatch
e7c5b94b79ee5b3f2dfa1542a775203f0c11ae5a Cross3 Unchanged TypeMismatch
89d75d94a26447a5c603bc099558a851c741ec64 Cross3 Unchanged TypeMismatch
e6f26a9676978a965ab2b159fb1599e2643a9135 Cross3 Equivalence TypeMismatch
c71677186e56b39a155aca0e9c5687b5d4d4d759 Cross3 Equivalence TypeMismatch
a7e79d4a1915e9d008d225e4eda42e91efa79719 Cross3 StringEmpty TypeMismatch
4e3642e6587310dfd0e687d494aa49d37f7b81f5 Cross3 StringEmpty TypeMismatch
22cb0a0eb517db20bcf4614b5975fa93005b5ac1 Cross3 String TypeMismatch
068f66e032eed92e1a93d89a3791f1a43621f01b Cross3 String TypeMismatch
8ee94abcafaf49c61e4eefd278c32007545f6a9c Cross3 SeqLen TypeMismatch
d5ad647459433d72905ec6c5c0ae1432d1d7be66 Cross3 SeqLen TypeMismatch
1763aa9c322870ac19c7c68bc2c592f365fad4a1 Cross3 SeqConcat TypeMismatch
adb81f17ce73e5d2f1d8cb009420d4ca42cb9751 Cross3 SeqConcat TypeMismatch
6d9aa7154d0bb9fb9fec715ae754f17ab6409c09 Cross3 SeqSeq TypeMismatch
3a03a360da15d11500b01adff8bf6b789fc38820 Cross3 SeqSeq TypeMismatch
cc09a1a7139fa9be6f84f857f6df54b290cec9fb Cross3 NatSet TypeMismatch
9e428970320b6f5373f46d48f4cca55e29ea139a Cross3 NatSet TypeMismatch
c1e8e09a0ed221360ccc2db3de9156a1b5b38d11 Cross3 IntSet TypeMismatch
c90e64fe54669ebb9b988752049b93110892707a Cross3 IntSet TypeMismatch
d6e8d7f2028bc759c70dc52485c10d6c9f39e52a Cross3 StringSet TypeMismatch
5e24a6618ccf08d7df42db22e7711e1414773a16 Cross3 StringSet TypeMismatch
6de2280f43b013c6500c5208d2a1cf16462d4e92 Cross3 SeqSelectSeq TypeMismatch
0de27c1f6dae578d87ad320f6650faf0a74c297c Cross3 SeqSelectSeq TypeMismatch
fc46ca92401619c7938376729ea3f09d610782a8 Cross3 SeqSubSeq TypeMismatch
3946b8e4e4ac4d8c8dd55b515e1819313ae852bb Cross3 SeqSubSeq TypeMismatch
0148477f69d3035b1d4653c8c89e4e90413f4e89 Cross3 TlcSingletonFun TypeMismatch
41659944b9e2094dc34537856012be772e896539 Cross3 TlcSingletonFun TypeMismatch
2526a2724edfd74870fc50fe4bd4f7ab40d65ff8 Cross3 TlcExtendFun TypeMismatch
c7be7f51a5d48605a7818dd478a740278782c633 Cross3 TlcExtendFun TypeMismatch
109563083e998420584bd2433bc287067169ab19 Cross3 TlcSortSeq TypeMismatch
25ef1fc61dd89aadf10e377e4659b0dfe1df2391 Cross3 TlcSortSeq TypeMismatch
4a40599dc0217ce8a094c34b552506e3c4c839b6 Cross3 BagSetToBag TypeMismatch
22ea46704d1dca51801720f4c32779d47c708018 Cross3 BagSetToBag TypeMismatch
a7a5d8ebe8acd85f79aab0cb3143d3e4bd6ced42 Cross3 BagBagIn TypeMismatch
c36bd3a9bc4f55e0b982a4d83968b68a62113abe Cross3 BagBagIn TypeMismatch
b76f6a02611e689bb22b0e2c5cd98737c98a4eaf Cross3 BagEmptyBag TypeMismatch
5363cb75675985686e580832d1b462b0a63b9911 Cross3 BagEmptyBag TypeMismatch
63cc41e026d0f14c4dc68ab2c5b9adc844ad8935 Cross3 BagAddBag TypeMismatch
f261cef1af85f40cefa8d021560ba7176346ce7e Cross3 BagAddBag TypeMismatch
60c72fa988c2ee037d2e78661778b78e272cce00 Cross3 BagBagSub TypeMismatch
79fc67dabb4cc65de5e4d81e7f3b6132ad935703 Cross3 BagBagSub TypeMismatch
90368f9096652402d0cdb4dc431c2be2c6b75314 Cross3 BagCopiesIn TypeMismatch
de7cdf5e0e5dec188dcd472e4ad8efe23ec078d7 Cross3 BagCopiesIn TypeMismatch
e27790d76ba4cef9b94acff4fd679f04baae0bbc Cross3 BagSubsetEqBag TypeMismatch
f199ff308653bb5549268b2781728e723974818b Cross3 BagSubsetEqBag TypeMismatch
0fe44edfd5fea8ad3ef76eaa9bc853f0046fb56c Cross3 BagBagUnion TypeMismatch
80d6de20811f9f96df4fc8771b9db6ab2702cc4d Cross3 BagBagUnion TypeMismatch
a84af6e4406645a2162e37c607a4799c24c244e7 Cross3 BagBagCardinality TypeMismatch
78678311bfa2c8f55081e7ef794db1b8930056ce Cross3 BagBagCardinality TypeMismatch
e7c35106f859397d1632ab8e5f069ebecd999176 Cross3 BagBagOfAll TypeMismatch
f9b51e5044fc1bc17eeb670d3e6f9529216ba18a Cross3 BagBagOfAll TypeMismatch
03ac7f649ad6c05afb4a1c18cdce8ff93ad892e7 Cross3 FiniteSetsIsFiniteSet TypeMismatch
22c514cd0c575f2dd9599ed74def2b58dc4dd2ca Cross3 FiniteSetsIsFiniteSet TypeMismatch
de6746759cf4e09be36acde29b9be8902032d341 Cross3 FiniteSetsCardinality TypeMismatch
113aeb8e356d53bd7bdac951738132abd1557152 Cross3 FiniteSetsCardinality TypeMismatch
fc45102af08d2ef186bbbe9de9b6769b3216bcc7 Cross3 SeqTail TypeMismatch
579211d704534c93a1e90499b7a2a3ffaad080ef Cross3 SeqTail TypeMismatch
43dbb0b64a2938d5e236c1258cc26a2b03371839 Cross3 SeqAppend TypeMismatch
444fa30f3e0ee4ddf2d12624d8ac8b2a58ecf4a6 Cross3 SeqAppend TypeMismatch