Index

Skipped feature combinations by case feature Eq

Id Case Feature Plug Feature Skip Reason
10c82984c949c7939ad2bc6581475350634b9928 Eq AndProp KindMismatch
5f042467d3939c2bfd07a43c98e3c6d3740a2824 Eq AndProp KindMismatch
d26838da376e118fd7b94c1d3a763670531b3578 Eq Boxed KindMismatch
7367ebefa94b954b303220807c01a59be06f517e Eq Boxed KindMismatch
179b3744fae61ad4cdd6e0b09a27871c237207f8 Eq Set1InDef AlreadyCombined
f50fea9d7f45961dee4deb9ea983fb381db21f70 Eq Set1InDef AlreadyCombined
5874c03bde0dd3df09c68fd8083ded791780ca04 Eq Set2InDef AlreadyCombined
0d45fffcd9948d0680c38af99b4e70a9897402f7 Eq Set2InDef AlreadyCombined
82e006dd824a5122c7091ed0ba5c6cb9db836d77 Eq InDef0 TypeMismatch
714ed2bd93eb5e24e4ce15445f45d10cbe3f6ecb Eq InDef0 TypeMismatch
2c18071424eb844c3f6e5665dc480c2217910266 Eq InDef1 TypeMismatch
2592dfb7bf6c54fdf7f7babc5a5cf41dd5c2c3dc Eq InDef1 TypeMismatch
83ef59b15c1cfcbc8c01bf934b5abcd5a169c626 Eq InDef2 TypeMismatch
c4334f5def4109125dcfa68e3f65e16612e65857 Eq InDef2 TypeMismatch
bd277c7fd97b4bffa544cfe49483a94df8857365 Eq FunInDef AlreadyCombined
3bfe4d4c7f1818245d450c2d11a4576e16909447 Eq FunInDef AlreadyCombined
d75bc94d80249816a0043805504955333e6d98b5 Eq ExistsInDef AlreadyCombined
b2c12ecc616198800ce925f238b178fa3daad0dc Eq ExistsInDef AlreadyCombined
46ec5b4ac0df36594d278e4a1774068a6ef6fb59 Eq ForallInDef AlreadyCombined
f56cdd10f6abea03c2d4be66db325d9d7d591724 Eq ForallInDef AlreadyCombined
367160971b75beb38dff2a524ca4b5b0882028a6 Eq ChooseInDef AlreadyCombined
1a356e3e09887a70f16de53b96c80bf6b4809a80 Eq ChooseInDef AlreadyCombined
ecdb4113523f244058935752bc654bb4f413123a Eq Except0 CanNotBePlug
8533775623666ce26284933b28ed806804fba17b Eq Except0 CanNotBePlug
1c90855e84a67450c46a8ebbe6db8c346d304bcb Eq Except1Fun CanNotBePlug
ea6d12626378a4861608806bed1f7fcc5e099cb9 Eq Except1Fun CanNotBePlug
2c275a674f246770257b30a2c891ded2a173b867 Eq Except1FunWithAt CanNotBePlug
600f26722ed0842e9147a01d1030f128d41f331b Eq Except1FunWithAt CanNotBePlug
d93a3705c574086822dc4e1362ad9412ea211976 Eq Except1Rec CanNotBePlug
0749eef1933aa3073ed2f5a1a3a873ca32041e1c Eq Except1Rec CanNotBePlug
d972f757a794cf9135aa4cef7c842ef0601e8bc7 Eq Except1RecWithAt CanNotBePlug
5af68559636a491ed7cffcba88deb054bb0dcdf4 Eq Except1RecWithAt CanNotBePlug
c6f555fdfe4e069d31eb6058d5df4baddde121e7 Eq Except2Fun CanNotBePlug
a8501a9a9bd21f365b03af4b71639ce53f88c463 Eq Except2Fun CanNotBePlug
ea951e28b65068272f539b91dc8dabf40b85fac1 Eq Except2FunTuple CanNotBePlug
d8bcaef2fc5081082cd42364096ebf66c61ccaa2 Eq Except2FunTuple CanNotBePlug
8718eb4d9f1504a265cd46866bccd14c71081412 Eq DefFunInDef AlreadyCombined
0a7da25ebff2098b65be09fbcd50bc34fb02c479 Eq DefFunInDef AlreadyCombined
94bae7cd224c4d0b7c1f754434ace45fa38852a6 Eq LetDefFunInDef AlreadyCombined
5199f7ea4013a1f05338182597e99f4cd38c5c2f Eq LetDefFunInDef AlreadyCombined
cb35c6084c8afffbedfd15e8918f476fc4e26629 Eq VariableViewExclude VariableExcludedFromView
abecc5eb93f47dd81fb02a08e6b3fd04dcc257bb Eq VariableViewExclude VariableExcludedFromView
2c4dc57de5ae4399dbc73f9c0ab4bfa01bb7dcd2 Eq Assume AssumeIsNotEmbeddable
1540a662cd246bf12d779c156fb6b1bc49dc7a02 Eq Assume AssumeIsNotEmbeddable
4413d3a13e47209cc519e8917265ea09d60b322a Eq AssumeNamed AssumeIsNotEmbeddable
925641232eece035cd67fdc10cda8c0943c3b69b Eq AssumeNamed AssumeIsNotEmbeddable
2738b32f0357b5aaa6e003e5bb4721da7c975234 Eq Lambda TypeMismatch
2589695e7c978c4d79c6d3208a71e68f81556a7a Eq Lambda TypeMismatch
d170b6a91cf85937bb1547c1cc87933921271f88 Eq SeqSeq TypeMismatch
d5576ab4d5cf2f4017ac713495274a5426dffa87 Eq SeqSeq TypeMismatch
b7f25316821274e5a33a021c446201c05490cbd8 Eq NatSet TypeMismatch
af84d72d2122cab729e2421dc00981f266732158 Eq NatSet TypeMismatch
e7f39f6c2bb49b60db4ba656b6424632722ddc55 Eq IntSet TypeMismatch
9551ffe2043f55aa3d5a8b17483f65f6646802e3 Eq IntSet TypeMismatch
d8e6317cd02492769e3acceca4ed431ec5230521 Eq StringSet TypeMismatch
d4a583f089e7a44094a984942b9db5688dbcbd1c Eq StringSet TypeMismatch