Index

Skipped feature combinations by case feature Set0

Id Case Feature Plug Feature Skip Reason
b5e035192e5771020cc04351a787d10229f75694 Set0 AndProp KindMismatch
2b137fc8864d5fd3e9fb6e416355b888e45812a1 Set0 AndProp KindMismatch
ff8b46e367264ee517093ea1cfcafca8c73774b2 Set0 Boxed KindMismatch
d4c4fdd937889f019b7c39e11e7e0c5938f09dd8 Set0 Boxed KindMismatch
186bea99b58c109438b44faa94512846e01abd81 Set0 Set1InDef AlreadyCombined
3affc438bd5cb96f8e2935fe85cbd882cf325702 Set0 Set1InDef AlreadyCombined
6668384db3b4653b6cfd2b2d55373612cc2379f5 Set0 Set2InDef AlreadyCombined
e933f4a9fa582e4a830014d194ec56602c4742e0 Set0 Set2InDef AlreadyCombined
41a5c0e7f3487d5475f1d07feded4d29ca88fd67 Set0 InDef0 TypeMismatch
ed830dd14f87e6f8817e41f3732359aae590eb11 Set0 InDef0 TypeMismatch
d1a114120c9df0ae0e65a2e9b839f3998a421580 Set0 InDef1 TypeMismatch
3d55ec6e8eadd65cced7dd03e072ccabdd656998 Set0 InDef1 TypeMismatch
9ad99b453987d93460f09858c076698e7292f165 Set0 InDef2 TypeMismatch
85f79dd6d62e6da0e0d69fd42614ef3810ded877 Set0 InDef2 TypeMismatch
2387cad5e76626f8ba65e71b2a5e64d77b97b756 Set0 FunInDef AlreadyCombined
2a9ca2ec63ccd42cf4142fc6922e6af900a8fd1a Set0 FunInDef AlreadyCombined
b2df52e876f7d0e3b162667d5f41865c28272129 Set0 ExistsInDef AlreadyCombined
631d5c49e4f42cfc083a5b442804cbf832e9bb38 Set0 ExistsInDef AlreadyCombined
34dea1d9171a84776896977b0a53b01659f1671d Set0 ForallInDef AlreadyCombined
f8af7910be7b65abf629885cbff2852489c7708a Set0 ForallInDef AlreadyCombined
81842e2a4e35f8902a05ea164dc4712e60a49dae Set0 ChooseInDef AlreadyCombined
3faaf9f262f4856967eb58d7485e312171cf7f20 Set0 ChooseInDef AlreadyCombined
5b8bc2bb5efa8221ad2dcb2aeb87bd0ba24d20ad Set0 Except0 CanNotBePlug
007505e2eb71ddb716d39d730445af5db6f10882 Set0 Except0 CanNotBePlug
8f072d3e8f0e2c320fb9d5c1d5ed0c85d746a493 Set0 Except1Fun CanNotBePlug
5210117ae0424a424812f290c1412a62b50385e3 Set0 Except1Fun CanNotBePlug
85dc7f52f425e02f495e69d0bcce2f2b57a66020 Set0 Except1FunWithAt CanNotBePlug
c4deedf278dbb5c8ef6611d913d516775989d04c Set0 Except1FunWithAt CanNotBePlug
f0c1c79615e68d8ae2b66f47bc141c37bde783be Set0 Except1Rec CanNotBePlug
a7661f104f50ff902324c8a6e56550d495a7dc8f Set0 Except1Rec CanNotBePlug
6fa05f8fe55b9ed29abfe7c835e754410712d54b Set0 Except1RecWithAt CanNotBePlug
03491876848d3b1256757fe8a4f33ab451662897 Set0 Except1RecWithAt CanNotBePlug
5efb6376c2f15ffd904a8c707d34ca2eac4df8ae Set0 Except2Fun CanNotBePlug
150b997730b8b76feb070ba8759674367f811372 Set0 Except2Fun CanNotBePlug
e2f6b5339fde9d5deaf5a53f50179f2542b50961 Set0 Except2FunTuple CanNotBePlug
9497f7c2f1dba7fca82a9ca91af24e76da6f5212 Set0 Except2FunTuple CanNotBePlug
ebac818f8bcddc7e0c1857d3f597a12df6714b9e Set0 DefFunInDef AlreadyCombined
bd3c10458a78800fd6c5c8cb0759a24c018c33c5 Set0 DefFunInDef AlreadyCombined
c3aaeae78cb68c4800d9bccc48e607dbb2b5d31e Set0 LetDefFunInDef AlreadyCombined
4b4ccbb20c87f509c6463ea80570da8834ca17ec Set0 LetDefFunInDef AlreadyCombined
870bdbfb7b7f8ff954250e298d7b76450e8f593f Set0 VariableViewExclude VariableExcludedFromView
156458ac775ad035293e1db2c702481d81fc4c11 Set0 VariableViewExclude VariableExcludedFromView
8abac2155fd7522a3bc41c4fb2680b35a918200a Set0 Assume AssumeIsNotEmbeddable
a26425d5e4411ea8bc0acc5c96e675fbf1f3e615 Set0 Assume AssumeIsNotEmbeddable
d9da60f82f3c41bb3f183b82055d9f959ab984fb Set0 AssumeNamed AssumeIsNotEmbeddable
6c4d34e774c40f6e28e63e053cf76e16056a0a37 Set0 AssumeNamed AssumeIsNotEmbeddable
da9dd7b94239a943dfc1f33ce625d89d978fdee1 Set0 Lambda TypeMismatch
bbdd3821a44083fca70168a5f00c1dd786625035 Set0 Lambda TypeMismatch
3897e16e67dc6b7cf9d93e6ad98bacbb159deca7 Set0 SeqSeq TypeMismatch
a876c8f6ef924fb96e08f9ce2ebd9a36164afa07 Set0 SeqSeq TypeMismatch
40ba047b794aa45b7df9d9d51ea8bd078861008d Set0 NatSet TypeMismatch
664931a8912ad6c7dccc690fb2c3b78dafa6fe9a Set0 NatSet TypeMismatch
720f9ee0c5162543f3430988f9b23c51f8115fa0 Set0 IntSet TypeMismatch
1e0bece175802c88e71003e8109cc4c91a95a946 Set0 IntSet TypeMismatch
123c837245c9584bf4cf00e7462ed25a1856ac08 Set0 StringSet TypeMismatch
afe59d325ca8e5c6d2234130ae1a7aaaf4f68793 Set0 StringSet TypeMismatch