Index

Skipped feature combinations by case feature Exists

Id Case Feature Plug Feature Skip Reason
f191497550617bed51454902018e4b4a6a4e64f3 Exists BoolSet TypeMismatch
a503376f27b3e153f44240f1ae5bfd2ab6348b07 Exists BoolSet TypeMismatch
7acd55d5dedd348972700b59c70b8565c08b231d Exists AndProp KindMismatch
06bcc46b55c48c18fbce5f0ee9a44402851cb75b Exists AndProp KindMismatch
95b9e4271854769c2679e82b706edb3ff7899856 Exists Boxed KindMismatch
b740146082dcef42a80efb7a99e0f60c8b44b1b9 Exists Boxed KindMismatch
06f51e3a370389dc45f66b90c6de2e5be9c3d0e5 Exists SetEmpty TypeMismatch
e2f30965dda5e426905a22778d2ab1f46317da73 Exists SetEmpty TypeMismatch
1d6fdbcfb81d1742503a6b135db4ebcfb20b78a8 Exists Set0 TypeMismatch
0d3240b32e9ada40018049ae814b6fe42a46b454 Exists Set0 TypeMismatch
0e83309bca5b2754b18d21c4a9081a266349ef0a Exists Set1 TypeMismatch
930c05bb5e4e83e4d38da28da75bf4bad060a3c8 Exists Set1 TypeMismatch
aa7289ff60d15e387e9fd76f518b4f378e160dca Exists Set2 TypeMismatch
2b8dbf7702d92d2fe25d7ab102c581a574996dfc Exists Set2 TypeMismatch
e250dd1772b8ab8f81dd477dc467f60d94b328ee Exists Set1InDef AlreadyCombined
d2396e276b3c9a15b29b90bb384e6961b2893bec Exists Set1InDef AlreadyCombined
16ab2e15930cf091a7a9805b9a5388d396df96ef Exists Set2InDef AlreadyCombined
df678b29894e5ea88e112e43b4a44e164bc30a95 Exists Set2InDef AlreadyCombined
276bdfda2f3c168df63a8d328ae96c79905844ce Exists InDef0 TypeMismatch
1b4d69a7030f9605682c5b0336c0a8792e3878e0 Exists InDef0 TypeMismatch
6e6639bfe740d81ecd87863c415642c94a3a2f5f Exists InDef1 TypeMismatch
fa657c60579f5f9e5fcbab6bda8351e806bccfac Exists InDef1 TypeMismatch
16da620f81e37910c017aa7578f0f8659160dfb5 Exists InDef2 TypeMismatch
b6a86dce483c4611e0c27c6d475e1826dea30829 Exists InDef2 TypeMismatch
b16f98400ef5f1a8c142e4bcb1755b7be78c902e Exists Fun TypeMismatch
2510f4da0deb0640872302b65b76c9c460508f7f Exists Fun TypeMismatch
4f5eafe073c67cc404c763e112bc0ca534ae85e9 Exists FunInDef AlreadyCombined
6cdad24ff8fcbe2c4143ee8d31df3301da902911 Exists FunInDef AlreadyCombined
20ff9c7a42e7ea2e3c391b20305f94bd98301722 Exists ExistsInDef AlreadyCombined
d8f9a24268b2cce617d7a6e3358ad39370592f94 Exists ExistsInDef AlreadyCombined
2c0e3fe8aa6ceab228250f5b2606bf450f2c5ee3 Exists ForallInDef AlreadyCombined
34491529679574078c1469a8b089af0b484646d8 Exists ForallInDef AlreadyCombined
f1d439f0609dfab327b275546d93de5a5c6a5876 Exists ChooseInDef AlreadyCombined
ebc513a32166134c0a79786a9947cd0ecebdd6d3 Exists ChooseInDef AlreadyCombined
a5f3f5b636270155c771b80b6b3c3d1dadb5ad79 Exists Record TypeMismatch
ad78e37c553709cb3fc6eca22ac86b95f47fa5d4 Exists Record TypeMismatch
95ccec66cd8e447820a1259a6dcc811de178ad52 Exists Tuple TypeMismatch
731eefadde10281317c88609ce210dc84c4f5c0c Exists Tuple TypeMismatch
0d180907bb44a836f3bea2cfc1ea3b9444ea2eee Exists TupleEmpty TypeMismatch
dfcd605ac681eeee8ab8f0a2160af604757c0d85 Exists TupleEmpty TypeMismatch
704d84b150584ff63bc944111c4716bf8c6a3b91 Exists Except0 CanNotBePlug
4984243b99a663cc45d26adb3dffe8a0ca9b2747 Exists Except0 CanNotBePlug
d23eb4809a8f7c8c10ede1cfaca03ed61d30aeed Exists Except1Fun CanNotBePlug
2953f8b47b2510a3c52ce2a36681c593c5280ee4 Exists Except1Fun CanNotBePlug
ae1c05851029d3189b7a9d69616c8e0ed0fd5661 Exists Except1FunWithAt CanNotBePlug
56f9e1c52fb89f08861795f5d9be981548dca1bb Exists Except1FunWithAt CanNotBePlug
91b7a7bca8cb35b8eef02a7c3aa08a36ca66b942 Exists Except1Rec CanNotBePlug
d584192218cd0b5b560c6d09b9b0a079147a8d2e Exists Except1Rec CanNotBePlug
b74b44301ff119cbc2b0a27db6762e6ea101dbe9 Exists Except1RecWithAt CanNotBePlug
698861ebe95d88f0a9844fd983507e61f39d2a4f Exists Except1RecWithAt CanNotBePlug
7fe93f36731be8217848a36ed9a70a8c5f6dc2b7 Exists Except2Fun CanNotBePlug
4b4e11c7c4ac76aafb2dae6a0868a363b0c644da Exists Except2Fun CanNotBePlug
d6060fc607f8167121d4e39fd256d90b79c7aab7 Exists Except2FunTuple CanNotBePlug
fe68bac953dfac833ddc3860872ffa8b524c6ae9 Exists Except2FunTuple CanNotBePlug
1e52687f325d461de3ec49aff95ec3b6008a0f6e Exists NumZero TypeMismatch
293c50ff9ca19df0c5e7ed0a57bfa26d29c2d6af Exists NumZero TypeMismatch
6566e594b9732a5974a7b02bb09e3aaf73f37dbe Exists NumOne TypeMismatch
5f288977a19c30c77e1505c0520dbc6d87fdce40 Exists NumOne TypeMismatch
bb7f29714154a95cb699da46ebaba8a2ffdfbfd9 Exists NumMaxInt TypeMismatch
1894690b66d75e3022f752ab377d5bea57b4af6e Exists NumMaxInt TypeMismatch
23c587c6a4877496a4b75eaecd0697ad97850ab3 Exists NumUnaryMinus TypeMismatch
aedee2725fa9a5f5fe9a59c02c8a636773ef4be4 Exists NumUnaryMinus TypeMismatch
7e0fe80ec0cb13ad2c7729667e872d4b45a90f6e Exists NumPlus TypeMismatch
6c145308ab33fec5ffef8d1b4e7e0a3240985209 Exists NumPlus TypeMismatch
9eca23e5ac9525b5851f1a1944ac08ba60f230aa Exists NumMinus TypeMismatch
2b219c90bdcf30af95edc890a5f4da647ba131cb Exists NumMinus TypeMismatch
c62eb980133f38abe56e3e873686d87530616a84 Exists NumMul TypeMismatch
80a670f4661094d482acc3b3f84eba78951aad33 Exists NumMul TypeMismatch
3af697d4823d8c6b562df5f09a7fc5e8cb411db9 Exists NumDiv TypeMismatch
6b261a937789264eb602d07c6e574b55e015af7e Exists NumDiv TypeMismatch
2bc881e52d1e11b130c67aec2b98014431b98c0b Exists NumMod TypeMismatch
8f2d0ed6f67c1d4962ab305751deb222def6c978 Exists NumMod TypeMismatch
f10f3891848903be6be40ac561a5b4a011d95974 Exists NumPow TypeMismatch
01a4b49c25f56314943ea9470a97a1c1eeeb892d Exists NumPow TypeMismatch
0d6bdfd986b2be1fd1f09f18b6f8749a51b12358 Exists DefFun TypeMismatch
864cf3870d7f9de38d2d554b21eca6defcdec21e Exists DefFun TypeMismatch
2ffcf648138d67d7f5515f4bd14e8f8146588c50 Exists LetDefFun TypeMismatch
3875bc292e1b55a48ed515297269edcf79f18c10 Exists LetDefFun TypeMismatch
8035068d9b9ee41967488e65cae6150d82701521 Exists DefFunRecursive TypeMismatch
8d7664e381d266d5f396617c99a2b9444f13c811 Exists DefFunRecursive TypeMismatch
772d6a2f056742830584a5bda33b3a7d369006ba Exists LetDefFunRecursive TypeMismatch
b4a2a3e886dffba6ec63b1b2a928484f83b9f04d Exists LetDefFunRecursive TypeMismatch
16220ad34833d1dd40ac4106a58ea97c5f19c48c Exists DefFunInDef AlreadyCombined
6606f74d1b9498c94348502d765b6112f866f90e Exists DefFunInDef AlreadyCombined
96aeec16393ee41693b564ade2b26ce492814f6e Exists LetDefFunInDef AlreadyCombined
22908df1a5676100130364a57f0bfb92fbf30f18 Exists LetDefFunInDef AlreadyCombined
28834ddcb91b4af42a7e357d4361d8f57b27893e Exists VariableViewExclude VariableExcludedFromView
79fdc941cb9959c3acbc8b522b04a34b643306dc Exists VariableViewExclude VariableExcludedFromView
f2e79a01625b595d9266c7c6fa6fac6330f5315b Exists ConstantModelValue ModelValueCanNotBeUsed
3f92ec4053ece1488c2f3e505cb887ab72404cfc Exists ConstantModelValue ModelValueCanNotBeUsed
e5114b42ddd268f89c358dd43785a61888a26ca0 Exists Assume AssumeIsNotEmbeddable
62f788119684f68f80b8482fecfd71a2afccde5f Exists Assume AssumeIsNotEmbeddable
00d03a0265a1e698237093683161cd38f8328930 Exists AssumeNamed AssumeIsNotEmbeddable
c2ff3966d73b8dde8e1319f068f130b944d732cb Exists AssumeNamed AssumeIsNotEmbeddable
e5fca3078b1c33650eb74e9581f0242ad74428aa Exists Lambda TypeMismatch
0fa268f5420da752ec201107fe5887806199bb0c Exists Lambda TypeMismatch
6d6013fea9936f53288989e60a3b4356fc9e15c8 Exists Cross2 TypeMismatch
d3e1cdfeddb7633a010e641c30025745bd4bcde2 Exists Cross2 TypeMismatch
7fd5698c05fb872953f17f1e8e687f51fccd9eb5 Exists Cross3 TypeMismatch
c3de7f3b95fdba4f0efa6671f065667e59cb5c06 Exists Cross3 TypeMismatch
d94f87b174ff30c192c3a24cc6e882c3e02616c1 Exists FunSet TypeMismatch
acb024d21435772873ed845fd3676afd3693924f Exists FunSet TypeMismatch
62f0c137140696768f0efd71fd95e862750ef5b3 Exists RecordSet TypeMismatch
d13d6862e6626128a5a4bbe9618f1ce88f63066e Exists RecordSet TypeMismatch
bcc04f5ee2562e19fd822c89a5b0ce88fd86526a Exists SetDiff TypeMismatch
10f8aec1823807b39d686a94880efb61cb2f9927 Exists SetDiff TypeMismatch
1fa1a963d7962105543712f8bed26484c28e31dc Exists SetUnion TypeMismatch
708f3b588aec235577d31747ee50d0a679178943 Exists SetUnion TypeMismatch
9fb0e97c9fded26bd3fb5bfaa6de0405576c32c0 Exists SetIntersect TypeMismatch
4f37175b317b8fccfa4293b3b19daaeb757d3192 Exists SetIntersect TypeMismatch
0dd31c8f367df9771f3df6c9465b30a8e52881fc Exists Subset TypeMismatch
eff29eeed3720050272b1f780ae4c5b61f36489b Exists Subset TypeMismatch
8407f1fdbba79613b5259c2cf99a2ee6e3c5f04d Exists Domain TypeMismatch
68229a4adef90dac35d8512a459b6412125fe7a6 Exists Domain TypeMismatch
fb7cfa56b911464ec9bab1259e719c99eb364c3a Exists Union TypeMismatch
79354a4934bbfc0dce8da513994ccda58fa35f42 Exists Union TypeMismatch
26ee105da9e848879b66c9944954f2f919fae3fa Exists StringEmpty TypeMismatch
5a321953fb2efedf95a3315753017d31be56b744 Exists StringEmpty TypeMismatch
a0a305e75e5bbb146e24a40a3308dc1dc3f75546 Exists String TypeMismatch
675328a89dd23115e575bf73be6099f3ceb9d623 Exists String TypeMismatch
789002d5ca5684dd6a351c98a98d2492a108764f Exists SeqLen TypeMismatch
b1226112e2433040b2e0b3ff17ae9a0c4fb4662b Exists SeqLen TypeMismatch
882d9eb8f418d3ccd994dc230d7e58668b438ab8 Exists SeqConcat TypeMismatch
2f04ee6a658598fafd6b90ac7b1f58db19da1520 Exists SeqConcat TypeMismatch
708fdd25de8bb450e86d89c34c819933649ca928 Exists SeqSeq TypeMismatch
a83ed65f5675aee3af33945b628ded08c1ae8874 Exists SeqSeq TypeMismatch
d3550ea75feb5eee7e9d5cbbf8ca46bea2e1a63b Exists NatSet TypeMismatch
c435518bccab7801021c619a345ae40e37143c8f Exists NatSet TypeMismatch
556ab9dacbce99cbe6e8f5ee7f0659c681f21c44 Exists IntSet TypeMismatch
e365b141c8aea0ca9bb0902aad15e4dbdafd2c60 Exists IntSet TypeMismatch
004d259d7279d9e01802963614b0b9433cfef23b Exists StringSet TypeMismatch
1da8b48d5e24e50fa5a66127ad131f9debd8004f Exists StringSet TypeMismatch
3df28885885151b306f3befbc7974cd9d5c7e45c Exists SeqSelectSeq TypeMismatch
492e12940d1336482b4a8ae4448213e1d33f31a6 Exists SeqSelectSeq TypeMismatch
45c173a742166c798bf8df6831c5f7bc14b46b3f Exists SeqSubSeq TypeMismatch
1a793ddab01c0b17f4a54737c10765376eda552d Exists SeqSubSeq TypeMismatch
b39c656afe99d19d50b3e6431004b9f281ec90d0 Exists NumRange TypeMismatch
6c1ff6973e1d8571373ba9786fc4a4ee663a925d Exists NumRange TypeMismatch
d70d1bdd624edf767e645c1e550d4fcebb8536e5 Exists TlcSingletonFun TypeMismatch
e97ae69a1aee89320fdf78461d942fa78564bc81 Exists TlcSingletonFun TypeMismatch
b3db1a49ca47e31cabb561ca41b38054a2730788 Exists TlcExtendFun TypeMismatch
418bce77171a516ee9bc3c012077201b88053535 Exists TlcExtendFun TypeMismatch
438050dbe24793c4b4feadd8cf632ba98ddb5d38 Exists TlcPermuteFun TypeMismatch
54f0ca77199c0b63e0e64643171827b6749a3779 Exists TlcPermuteFun TypeMismatch
c06850a9439f48b5916ac1a41642b309fa75f2e5 Exists TlcSortSeq TypeMismatch
39e62419f8139e2640c64d12e1f50cf8ee0e6ae8 Exists TlcSortSeq TypeMismatch
6c10ba73d52cc45026f83aaaf4e930d1c3d45c22 Exists BagBagToSet TypeMismatch
e9ec3119a81a597616cf4f03f12ba77257e4489d Exists BagBagToSet TypeMismatch
86715d6a36551b2310aeebc9fd7c50c9d1a581c1 Exists BagSetToBag TypeMismatch
a85a15e9c7d8a1abcb88fbe25a5d9da4ea98b363 Exists BagSetToBag TypeMismatch
1638a87b0f979d9dc774b7cb40e79337edf2fd88 Exists BagEmptyBag TypeMismatch
18aab821bdc55fb706b5a88f864d0f0e2abb3dee Exists BagEmptyBag TypeMismatch
4dc0154a616e36201a083c27bec6b693a826e263 Exists BagAddBag TypeMismatch
bb9d39f4814a0c926c7c77e4ce27de8fa8e81562 Exists BagAddBag TypeMismatch
b997f0e65f46f31da601ebcf7215ccc1c1ec700c Exists BagBagSub TypeMismatch
a315fbcc3bec1d862f6352bcfb162ddf8d066eba Exists BagBagSub TypeMismatch
6dd2f145f32427eb0669c3a3c8ea1962da36a7eb Exists BagCopiesIn TypeMismatch
7c8e390d1190d77e2eed40eb02a3ddb5795029b3 Exists BagCopiesIn TypeMismatch
60e38506a45d161f6af3430da2c556e6113e0bf9 Exists BagBagUnion TypeMismatch
7cbfdb7bf11684e93da7c3df96c0bb6c2def20e9 Exists BagBagUnion TypeMismatch
9d2a6ab64a48d7af64fe0242762059e0bae83263 Exists BagBagCardinality TypeMismatch
7c129417aa253c9f74e033981bd6d57079b94270 Exists BagBagCardinality TypeMismatch
6d7918b7da1a0e95ae4a6e7b317c29a05f2f66b9 Exists BagBagOfAll TypeMismatch
b9adda52387a63f1151fdfb251d68ebc14d00a4e Exists BagBagOfAll TypeMismatch
326b7794e2d2241dca8556e36c96f84dc9bcd80f Exists BagSubBag TypeMismatch
ebcb43008ec15e195081f431e0447c1935becd23 Exists BagSubBag TypeMismatch
e39fd613c00f61f4152d40869d2125f8bd31cf84 Exists FiniteSetsCardinality TypeMismatch
4dc7037fbf5fea0537b2f40690ae1920f4c49721 Exists FiniteSetsCardinality TypeMismatch
d9231d448080de2ae8c72ad72e25eb5feb301b2b Exists SeqTail TypeMismatch
7ed092c330f2ce68109bbe1c5365ca8fd76ec83f Exists SeqTail TypeMismatch
89602776e810ba3a48439de4936ebde374e71b24 Exists SeqAppend TypeMismatch
a14d752c9662a60c2c28dfa2c9d31388a6a203e1 Exists SeqAppend TypeMismatch