Index

Skipped feature combinations by case feature Tuple

Id Case Feature Plug Feature Skip Reason
4c97f243bee6f532d0cbdd73bc84d8597449f702 Tuple AndProp KindMismatch
a3753f7a49251f76cf08e05841e33d880d74dce2 Tuple AndProp KindMismatch
4c4c8b9d975dcb6be0daea1c0b83c84b1fdf6725 Tuple Boxed KindMismatch
4b544b503fd658ca290ac298f68b15f0f9637334 Tuple Boxed KindMismatch
0fbb5f835dd4f03a8b54c813cc8e2069fd82d8c8 Tuple Set1InDef AlreadyCombined
34533c574614203dd7af46154226d99fdbc551e5 Tuple Set1InDef AlreadyCombined
133ab9286d54fffec6e24b42323659ff5e45a33e Tuple Set2InDef AlreadyCombined
c685b96103a9aaf75a7280ae92af52eec4abb091 Tuple Set2InDef AlreadyCombined
a7aca40e664540ac0100feeead552a207e3426f1 Tuple InDef0 TypeMismatch
b0f6c5c9f0c57ab56b8a4e9f84df9f2223954f4d Tuple InDef0 TypeMismatch
4960ea799317d7d145d99217063bd44cd516fc4f Tuple InDef1 TypeMismatch
be6e6e28d4dcdd3b9efc260e8ab9fab3ed5dd30a Tuple InDef1 TypeMismatch
f95cf0be5542821775a371f87ed54dc370169288 Tuple InDef2 TypeMismatch
12e54f8048279783791e49f8311d38b385fc2f44 Tuple InDef2 TypeMismatch
9837c3e0af2e17193541db0e3b32204d4d8531fd Tuple FunInDef AlreadyCombined
11793503e7c83083bae166b4d6852311131a37ca Tuple FunInDef AlreadyCombined
5a73169d2723fe37e9609f9f801c3d46bac12026 Tuple ExistsInDef AlreadyCombined
488f010bfde17c0522089b7e42c1bdbc314ea18a Tuple ExistsInDef AlreadyCombined
96623c9eb636cfbd7ab895a26975d4fe84f36d6a Tuple ForallInDef AlreadyCombined
1118557d75846c55340e894c7410bac8a3784137 Tuple ForallInDef AlreadyCombined
db4eee7200f5bc091407bbc91516c6015b70c0b5 Tuple ChooseInDef AlreadyCombined
7ae28e657308a24647f90844ab93f8a0f2297190 Tuple ChooseInDef AlreadyCombined
c372c55469049c7190797b7a150516d039323ac3 Tuple Except0 CanNotBePlug
607cab1494432aa9e1c600311ab3baf6e6bfd609 Tuple Except0 CanNotBePlug
726f80ea1d1b2abd175093aefcd40db416c4605d Tuple Except1Fun CanNotBePlug
c8bdf2e1d24991b64397310a8ac4f98f8a493322 Tuple Except1Fun CanNotBePlug
a7b989700583fdb6afa42146994f2e711ddad498 Tuple Except1FunWithAt CanNotBePlug
be6c9c626cbf4c3b845ca4a8887b1cc7b441b7e6 Tuple Except1FunWithAt CanNotBePlug
8d075aaf9888671207c4b94b92283d27f8306c14 Tuple Except1Rec CanNotBePlug
2a3ecc3bdb52184625e6b63f840c4c3834e7710b Tuple Except1Rec CanNotBePlug
ef4eb79132c407673bed8b2a1083f6df0135ded2 Tuple Except1RecWithAt CanNotBePlug
fbb0dab836b48d125502ac5402ea89ef083cd46c Tuple Except1RecWithAt CanNotBePlug
e3c77c342cfefb3b6d318ab5db72ad818fa75e22 Tuple Except2Fun CanNotBePlug
6383a32bb7604f6adc4afe245aac4852ddbac40f Tuple Except2Fun CanNotBePlug
5572cb47dad0c9a0bb56d17d93349ee2c611e104 Tuple Except2FunTuple CanNotBePlug
f465804f0206dad38af922996c7ae2954bd70ce6 Tuple Except2FunTuple CanNotBePlug
a12487e016e587c5a6d2a4611c39d0bedad28404 Tuple DefFunInDef AlreadyCombined
2d79279472717be1761e5995d4d6d9c92a29b6a6 Tuple DefFunInDef AlreadyCombined
2a2ba174bda351610af2cd78df779ca6d2d00408 Tuple LetDefFunInDef AlreadyCombined
a9d5b953ca0335f4b1d2127a817c616a90a6e4c0 Tuple LetDefFunInDef AlreadyCombined
2443d7580c9e30d18632c32c96fdfe4f3792373a Tuple VariableViewExclude VariableExcludedFromView
50d8e541e6bba7d10b453e1ec60b096841e7b985 Tuple VariableViewExclude VariableExcludedFromView
6cd0d4b1eef375b43c5702bbcb4038547af8d16d Tuple Assume AssumeIsNotEmbeddable
e3580a658cbfb832c36a1ec7137de425b42b935e Tuple Assume AssumeIsNotEmbeddable
b0916835405242f4ac2a702f796585040b93ee0b Tuple AssumeNamed AssumeIsNotEmbeddable
4330c13d47d63da1a80ac56d6dd217fd829d9e13 Tuple AssumeNamed AssumeIsNotEmbeddable
c977f69a43b68a52630876b3cc3816126289f225 Tuple Lambda TypeMismatch
cdcfb8520a913d966c58bd68e068ebcf09d48544 Tuple Lambda TypeMismatch
1dbfb807494b697d95614f1132275a7cc7ef19a6 Tuple SeqSeq TypeMismatch
d31cc3e94ae9b677609f8b58c929c41f14499c02 Tuple SeqSeq TypeMismatch
909d8b5fe014b99b07ac29001907942af953ac9a Tuple NatSet TypeMismatch
356be9eb1aba8648bf25aecb62d209699461322c Tuple NatSet TypeMismatch
ebdf21524f11e8c4393643ea50ba2a86ed9fb90b Tuple IntSet TypeMismatch
5434843cae424b3dbef0e5c9d4faf3b79241b2a3 Tuple IntSet TypeMismatch
241170ebe02a357b2fbad5e8c6213e8a0e6b8de0 Tuple StringSet TypeMismatch
86152f9ccdd1b325a6d29fb1575947d168f3256f Tuple StringSet TypeMismatch