Index

Skipped feature combinations by case feature SeqHead

Id Case Feature Plug Feature Skip Reason
cc2753b082df09e2d3afb3834a76c619e770876c SeqHead BoolTrue TypeMismatch
f7d8b8e7353cf32117d7fcff352336f269841f07 SeqHead BoolTrue TypeMismatch
23c1efe58c9d0d9ccf66b93158d04eeb7a345cf1 SeqHead BoolFalse TypeMismatch
e3284794d497da8cdb2d8d45df98eaf9c21dafe0 SeqHead BoolFalse TypeMismatch
e48e03b206a6ae72f38aeffd965e3a69fe5f8cf9 SeqHead BoolSet TypeMismatch
f45f5d6ac6e4c1761b96cef2da0648352ac02519 SeqHead BoolSet TypeMismatch
3725de1383e076af3ac271bbae4ca8104e2a3f8c SeqHead And TypeMismatch
b5c547daa9bce8e356cb248ce9c623a76cec5b50 SeqHead And TypeMismatch
35945629e2e5daa8cffa74f662cbbf89397e829c SeqHead AndMultiLine TypeMismatch
94354d9305548198643651af6ed033a4517cde78 SeqHead AndMultiLine TypeMismatch
00642b6da1bdcc95a760b414ae9ee47e0626b773 SeqHead Imply TypeMismatch
7f11198e98140e983eea81a9beae2866e93f1f3b SeqHead Imply TypeMismatch
b63ce1b816430981372a531e38b888c52d3ef552 SeqHead Not TypeMismatch
938cfe61d8b8a6788d9f286ca02ae9119c2f0755 SeqHead Not TypeMismatch
c6793095c50f49c30f6da7245adaef9a944551f5 SeqHead Or TypeMismatch
794ad5fcae112a81c89e7d8514e3a2f3d70b84c5 SeqHead Or TypeMismatch
0383ea59f04bbf97ff772a390b7811cdc5858d74 SeqHead OrMultiLine TypeMismatch
52c9ebb8065b6645885d4334be28d9636af56d9e SeqHead OrMultiLine TypeMismatch
1d9f2ec4b7ae906832e5db0550b159241b57bbef SeqHead AndProp KindMismatch
b9d26c167f22bc92ad5acf9bea7d2ff29bbf4838 SeqHead AndProp KindMismatch
dc2453d6447714f8dc5a64ee8a6ac0da1972a0bd SeqHead Boxed KindMismatch
a6937445e49e73b5b96ad74c2f6744c54eadc8c0 SeqHead Boxed KindMismatch
018cce838489299f85e2ef895b5d835fc48dff30 SeqHead Eq TypeMismatch
c85dfddb7cb39d2790531b1a58b11e81deffd2ef SeqHead Eq TypeMismatch
65f650ada54703ca296e0da660b30960f4f5d50e SeqHead Ne TypeMismatch
fbcffc19af37965bde3f218e6a3af2980780e1fc SeqHead Ne TypeMismatch
76878d2053b38c5b22610dc8b6a0917f0fbec048 SeqHead SetEmpty TypeMismatch
c0d1bbb4c8900d836c6caa385d1d129175fa075b SeqHead SetEmpty TypeMismatch
0852ef310252a5870bf502e0b245725391ef7ee9 SeqHead Set0 TypeMismatch
12bc39d9fa5e3f863b503ef4e0bd04222c0f5013 SeqHead Set0 TypeMismatch
8dd55abd8fe2bf4cc05719615fb1ef4722d43d2e SeqHead Set1 TypeMismatch
5004c4cbcfeffe5edc8c662486c33fc5309e6a4b SeqHead Set1 TypeMismatch
430a34aee7a6b74257d07cb7eedaf0341210bda3 SeqHead Set2 TypeMismatch
d4d26fff47f21b1e58de2506b28edae402549a3f SeqHead Set2 TypeMismatch
9e4bbe71242e64029d16ddea909685b13d93290c SeqHead Set1InDef AlreadyCombined
e4eda68eb54fdf36a99555e1c1bca1c1dcb9652e SeqHead Set1InDef AlreadyCombined
a293bdbcbfbd69fc309b55a022d37f88902b92bd SeqHead Set2InDef AlreadyCombined
a5221570947ceda4ea685d31229fc5775954febd SeqHead Set2InDef AlreadyCombined
50d9286bba0e338234650fc299ba466c4dd8fdc3 SeqHead InDef0 TypeMismatch
1b5915d87bc53d563dbbac95eb9daac375f55e3f SeqHead InDef0 TypeMismatch
d54d19a94d63c851bf3334014a361d6370b603e6 SeqHead InDef1 TypeMismatch
abd1efd7fc5a6bb4255337d525991a81f054dec0 SeqHead InDef1 TypeMismatch
1ab5c2e08bdd1623c574544ea26f8c922aed5195 SeqHead InDef2 TypeMismatch
8886372ce196e8203166a27d29052cb862f28adb SeqHead InDef2 TypeMismatch
2ed39645c35337afa522bdc27965fe8ca8cf9de6 SeqHead Fun TypeMismatch
ca5b0afc7ce1359610db4b2709e11f9e4e0b9e4f SeqHead Fun TypeMismatch
fb479a873a31d1e57b6da013a563ff05ea3da72e SeqHead FunInDef AlreadyCombined
1a07d63a43ec74dc8f46a1c02c7ccf06c300ec85 SeqHead FunInDef AlreadyCombined
c5867e2637bbde2f4ec6defe4e9450ebdc9affad SeqHead In TypeMismatch
24b2f909fe245afd0131c47e4937527bff3cff13 SeqHead In TypeMismatch
759d27e26364a50a1371397c64be9009cf99e287 SeqHead NotIn TypeMismatch
b2291d37237e734dc462c7dd93c79290811da1b8 SeqHead NotIn TypeMismatch
8d933d386aa9f66909945c85115cfcf38b8a8798 SeqHead Exists TypeMismatch
29292ccc9efe11749426315541629d58f794eb5c SeqHead Exists TypeMismatch
a549995c53d18397083508052995837a48cb9c74 SeqHead Forall TypeMismatch
a802b1373b2491c5107be2b0f1e3594b22f52ef1 SeqHead Forall TypeMismatch
a26c47875eaf3984d9b1bf4005ed8096ca7e8fb8 SeqHead ExistsInDef AlreadyCombined
8f9e8afb67d21c68d9ad9d668177d333dfed61e2 SeqHead ExistsInDef AlreadyCombined
3a32db832443a77f1fab8853dae0ddf30ba4641d SeqHead ForallInDef AlreadyCombined
2954d81690956a4d064fefe420e3e116775bf71f SeqHead ForallInDef AlreadyCombined
93e0d36334ea0c7b0a932b4e4602b75919928dae SeqHead ChooseInDef AlreadyCombined
1b6cfdde666edfcdfab76a0f885fd804896cba4b SeqHead ChooseInDef AlreadyCombined
8c843c3bb310b33058831a35c767f1fe6942ed6f SeqHead Record TypeMismatch
e79ca8a5d9161576751c164831db92f66c6b91a4 SeqHead Record TypeMismatch
5dfd13c2bb03eb53cb520f4311017ee42cecacda SeqHead Except0 CanNotBePlug
7253a8b347bca9561309906b4be087366e8ac76a SeqHead Except0 CanNotBePlug
fde706998a523d6e6e353ccee7dd1db9eed28a81 SeqHead Except1Fun CanNotBePlug
5a372c1bfc589d395e5f98f86bee0ff1fa72b558 SeqHead Except1Fun CanNotBePlug
074eb1689ddbaea9c8b341a418216791887b7f89 SeqHead Except1FunWithAt CanNotBePlug
b7ecea00a75e2e110c43fc2c52de54ba5036be00 SeqHead Except1FunWithAt CanNotBePlug
3c8815c3c358c7c6d5d22e917c796f9dedd93c32 SeqHead Except1Rec CanNotBePlug
9cb43c201628bf913c64ec6db84a047fbccc37da SeqHead Except1Rec CanNotBePlug
a13602e585920a1b2960fedf5b3d1d54e8e3a6c3 SeqHead Except1RecWithAt CanNotBePlug
47fe4068f948da844ed1a657197f64c88e98679a SeqHead Except1RecWithAt CanNotBePlug
171c047e4f091672d44bd0ecb3c6d5d24c218f10 SeqHead Except2Fun CanNotBePlug
733434331b9a39ac2b76ba376fd42b3c40bda004 SeqHead Except2Fun CanNotBePlug
a30c8393a646c502fe3ca63f36d56d5899fdba48 SeqHead Except2FunTuple CanNotBePlug
45058d42bcda8d83cba2e9bf2d1444358da3c3f2 SeqHead Except2FunTuple CanNotBePlug
dabad24859f14bc3260b8d56f68fa0a36e967569 SeqHead NumZero TypeMismatch
80c8499927b31ad6176b1954ecb9d86059cd5ce3 SeqHead NumZero TypeMismatch
b882d60e2ca0682b97b1b441e5581631c468bccc SeqHead NumOne TypeMismatch
7f118bbbbdff643694e6adbe12c6b1a65e5393df SeqHead NumOne TypeMismatch
9442c265e5bc61a05ff802da9d70f44b91eb748e SeqHead NumMaxInt TypeMismatch
428d32acc8572cd2dfccd53692164c8ce60d27e2 SeqHead NumMaxInt TypeMismatch
0a2e272b4fd78704321b76cff89a80e16e8d5ae9 SeqHead NumUnaryMinus TypeMismatch
fe6c20048618671224299ff21f806e84526e8240 SeqHead NumUnaryMinus TypeMismatch
c1f96dcfb2b0c655f56651b5783c24ac1d5d90ff SeqHead NumPlus TypeMismatch
35530836ae6dce36764b413c77d63b2d7af19fe9 SeqHead NumPlus TypeMismatch
20e0ce7e057f81045a1e97354574163e2094d6ab SeqHead NumMinus TypeMismatch
ecd0f9a7d3545a589ec756023552ecf128363374 SeqHead NumMinus TypeMismatch
179b88585b062b3e4ce085d3892a81aea9909e0c SeqHead NumMul TypeMismatch
a42d3895449fafb9f4c5051dc9f0702957e9b3d6 SeqHead NumMul TypeMismatch
f1c03f841a1b6d3b2f0fece31124cfb24e55858e SeqHead NumDiv TypeMismatch
8e8e610dfb6c2e8e5ff7ec6e0fdd5148ec37eec4 SeqHead NumDiv TypeMismatch
90e192414e370f05d965f953c7c6c827f8bf6da0 SeqHead NumMod TypeMismatch
df7b9f11ff9fee8594b722a64642068de1c9cf7a SeqHead NumMod TypeMismatch
72e7a9207860ec37641e38dd67afda47e5c099a8 SeqHead NumPow TypeMismatch
e451e1347d520d78f0f8c33faf48759e1b01ba29 SeqHead NumPow TypeMismatch
047a5df3585ddbb49292e62821ff3f71c3b6c573 SeqHead NumGt TypeMismatch
3c37feba4c4fe8eb1a58c0c7e238db4630e9d81f SeqHead NumGt TypeMismatch
1e228e997ea773158a3cdf2d75ffbbbf5318095f SeqHead NumGe TypeMismatch
f2b7c73224d32da5eaae9b1f3f03301b49a4ab96 SeqHead NumGe TypeMismatch
99efb60711d00e21e61cf8f906ed1dffb982da96 SeqHead NumLt TypeMismatch
61c39a468b3f8540b0b419a13e51e8d26705a77a SeqHead NumLt TypeMismatch
096671d5cb6c6f788818da0a15bb10976ec0ae93 SeqHead NumLe TypeMismatch
9e32d7b435e3bbb610a335ec90d868741ae7d6c3 SeqHead NumLe TypeMismatch
98ea9a7c8c5a9345988d00fe1028235d05cf45aa SeqHead DefFun TypeMismatch
72a98460e0ee15f39139fe76b1b90e94bcfe2474 SeqHead DefFun TypeMismatch
e2d29974120784202783cc9b55beb5bc2ead6ee8 SeqHead LetDefFun TypeMismatch
2c28a3532613433beec1d46a961453ec8f043e31 SeqHead LetDefFun TypeMismatch
3a1c1bd112077c22ab0b1d4301392a9abe55741d SeqHead DefFunRecursive TypeMismatch
f0e58acbf198d09c905c2ca6c3691098c5bbe776 SeqHead DefFunRecursive TypeMismatch
8e67e832713f23487f6b11f9657b58531e928096 SeqHead LetDefFunRecursive TypeMismatch
3bc3a42e15fcd74fb5be31a8599719b5424b5c29 SeqHead LetDefFunRecursive TypeMismatch
772065f027305b193fb134eed3df6ea5e4544b3c SeqHead DefFunInDef AlreadyCombined
0116b8639ef8db686cc21e7b8867a0b14063aaf0 SeqHead DefFunInDef AlreadyCombined
a3b105dfab828244406ea2c43aac900c937a8a1f SeqHead LetDefFunInDef AlreadyCombined
022d4d019f3daf407f8e1ad296444637e84bdac5 SeqHead LetDefFunInDef AlreadyCombined
7911bbf1862831695db5a76e27ac833d47d80088 SeqHead VariableViewExclude VariableExcludedFromView
f2fe3e014c98ec94a56ffbb4ba098dc645b905b9 SeqHead VariableViewExclude VariableExcludedFromView
252a363bdd5c4e2d2fe548c423aa74647c9295fb SeqHead ConstantModelValue ModelValueCanNotBeUsed
79a8267f3d6fc3fa749df11b18c9da688d58b8ce SeqHead ConstantModelValue ModelValueCanNotBeUsed
166a50ec6a3389676986c94c6e3efad131b3e003 SeqHead Enabled TypeMismatch
e98ff16f45053d120ec4c0f995c7f24058bdae98 SeqHead Enabled TypeMismatch
a71f8849f1f6e66106b0cd2aca07e0b53c3a8cf4 SeqHead Assume AssumeIsNotEmbeddable
22683ae3c4601009c02a482a5ff8f0b5293b16af SeqHead Assume AssumeIsNotEmbeddable
4209159e8bad94644f398439ffaaac369b954961 SeqHead AssumeNamed AssumeIsNotEmbeddable
158a8260d01b2ce0e56f3b8f3cb5f4a8179cd163 SeqHead AssumeNamed AssumeIsNotEmbeddable
4e5284b7b13d557269b7de80dcd23018be5a868e SeqHead Lambda TypeMismatch
fb71796966e2cb1e6e504532d039ded3713cdfad SeqHead Lambda TypeMismatch
2c445e62591f7394a1aa21b543bc6f02a630a835 SeqHead Cross2 TypeMismatch
5fa78b3fcb6a26558dc0e88f06a5040d3174b2cb SeqHead Cross2 TypeMismatch
fd2e15f30bef2ce26ded507e379499f5ce34211a SeqHead Cross3 TypeMismatch
4d19453b71a5460ea113fcfd3a471d2296b6c20c SeqHead Cross3 TypeMismatch
045df29d3ccfa5d556a6d552e572dd28bbf017ad SeqHead FunSet TypeMismatch
9678be62f7e35c5d7c07168269ad6f1f4bba49f0 SeqHead FunSet TypeMismatch
5aa3b8914357d4999055ebbc0969de95e872050e SeqHead RecordSet TypeMismatch
a0afcf245ab3804d5d2d34810380d303766f527c SeqHead RecordSet TypeMismatch
c9c1acdfa4740c0e240e9ba3ed4152fe14a0934a SeqHead SetDiff TypeMismatch
127ad95d7adb427211521e2da62aa60288df4031 SeqHead SetDiff TypeMismatch
a25b45b33db21f7b1a66188566abda644392a1f2 SeqHead SetUnion TypeMismatch
ea53dfa062f8ab9623d7023d4384051d71f0169c SeqHead SetUnion TypeMismatch
3f1c245505ba08ddc9a8fa8f71ce74d1acd17444 SeqHead SetIntersect TypeMismatch
2720be0d80ff4ce4a411b1ae4d32b6d03b1eb4fc SeqHead SetIntersect TypeMismatch
0a51ef4ec798c761a9ef145d866100ff736446d4 SeqHead SubsetEq TypeMismatch
33f70ea9ed3386925e7c238da7ed7f531fffb336 SeqHead SubsetEq TypeMismatch
f8f0a73a587c3683765ed99ca91f0d7d47ed22c0 SeqHead Subset TypeMismatch
43ae09c9fa4766cbaf0da5bd2d8f21e9c915cc68 SeqHead Subset TypeMismatch
baa5922f4ce8d909b4b476120becac404e3c54b5 SeqHead Domain TypeMismatch
3920f6f84589b6f2457ca9d02be71165f8b4b6e3 SeqHead Domain TypeMismatch
78e8aee5df5458316fb395900edbfaaa788688b7 SeqHead Union TypeMismatch
d043c9545c041896d993f178af901edc44b21218 SeqHead Union TypeMismatch
589fa28a6de50162110bbb1e1055ef3217c6f55c SeqHead Unchanged TypeMismatch
057054a8203360001761894ec96c93a6c3b8876b SeqHead Unchanged TypeMismatch
9c0836b23b3ed7165ff4cd9cdbee2afa51929530 SeqHead Equivalence TypeMismatch
b54da7bb0f165c950196445097316b81c77503aa SeqHead Equivalence TypeMismatch
110a296eb94b9fa77be7a583bab25f39a20d1caa SeqHead StringEmpty TypeMismatch
bce4035366e7783d6598caa50b099711e931d256 SeqHead StringEmpty TypeMismatch
97a344b50bd05355dd80d1e5267de1565c15065d SeqHead String TypeMismatch
da42fe9ab06ed85a0cdeed039cd734f9844cfeda SeqHead String TypeMismatch
30a4a3c4e8aecc69feae91ea9abee3b34e39a550 SeqHead SeqLen TypeMismatch
331f3b03527227506725aa64f05476ae577e907f SeqHead SeqLen TypeMismatch
6cba5dc10469c3232e7b18e0c158383210ec04c1 SeqHead SeqSeq TypeMismatch
8addbd1023373d7b4083ad32a94ee1349dafcb7b SeqHead SeqSeq TypeMismatch
0bae6ea96244a4adf41db97b0aca948209ee4031 SeqHead NatSet TypeMismatch
a04e9fb56450008f465b3c41a86923451588f46c SeqHead NatSet TypeMismatch
2fb43ac640b12d1249076587e7b305498d4c3970 SeqHead IntSet TypeMismatch
b3b774e123be4278ae411961aace5b1f88d49e0d SeqHead IntSet TypeMismatch
42ba7304a8eafd7f97ae1202d3ab237961792fc5 SeqHead StringSet TypeMismatch
282b7141efe6f5d55adc056739c475638efa3b71 SeqHead StringSet TypeMismatch
e208c56ed6c068b145aff9cc8edfda3c396c8d6c SeqHead NumRange TypeMismatch
0072235b3c4c3bd8e20397a2e7414b9ddd7ad61f SeqHead NumRange TypeMismatch
3e5d7d5ec1dfc328e66c3b6bff378acceff449ae SeqHead TlcSingletonFun TypeMismatch
df4309329dc32bf35e7b0e4720b9a74144c8b216 SeqHead TlcSingletonFun TypeMismatch
7246e77017365a72746b3f1b0ef1f0d3d45ce1f8 SeqHead TlcExtendFun TypeMismatch
86052c874b7d8bd5fb09f3489076a46b0b92352a SeqHead TlcExtendFun TypeMismatch
0e8e55a1f7b786e75efecc228924d22bf1cb8007 SeqHead TlcPermuteFun TypeMismatch
fd36dabc26f22044c915ee130d0fd881d01203d6 SeqHead TlcPermuteFun TypeMismatch
164be6ebc4ea18e9be5cc802c7613e59106754ff SeqHead BagBagToSet TypeMismatch
b9bb5611c422b97ab39f44026fd1c7452a1c0b26 SeqHead BagBagToSet TypeMismatch
94979bdab4949c63d5840360744a88ac52225db0 SeqHead BagSetToBag TypeMismatch
acc974d4598a0af9256f45df5cc61b7f7050e65e SeqHead BagSetToBag TypeMismatch
24291af83682fa3f3171a41e6d5c3d3d4f3b083d SeqHead BagBagIn TypeMismatch
8396862ecc86bcd935c695e6f2e585138fe24260 SeqHead BagBagIn TypeMismatch
a695d18d352f41805445a1849be05d7eca6d4601 SeqHead BagEmptyBag TypeMismatch
d36601a02e4a90ccb870a405f2571a5baca9bfa1 SeqHead BagEmptyBag TypeMismatch
ccd58d704ec0e2eaefca56a8d0fb6ceb6361a03c SeqHead BagAddBag TypeMismatch
ab92f6ab2d027e55bab8bf248007a374f289ae44 SeqHead BagAddBag TypeMismatch
f0936c2a30cd34b875a8079cacdda23861da5a8a SeqHead BagBagSub TypeMismatch
1d6406323f19bd083f2b10e29ce7ce7ebeb93da8 SeqHead BagBagSub TypeMismatch
a29b78741b2359a283ac4b4a628989e2adf49961 SeqHead BagCopiesIn TypeMismatch
c0bc57173565a40526e9d45e6be23f737a427515 SeqHead BagCopiesIn TypeMismatch
c6dd5f42dcc608fa8fb98c223d221a2aa3562d78 SeqHead BagSubsetEqBag TypeMismatch
eaf7161cd0f92c6971fef98fd49d1f93b3dda13d SeqHead BagSubsetEqBag TypeMismatch
ef3504f9efa6d09406cefa5a8fb1206a917c1696 SeqHead BagBagUnion TypeMismatch
4a257907cfe4106d905395eeb943f09698a2a25a SeqHead BagBagUnion TypeMismatch
4842a91652a800311e6cb6b5bf85e9d89ca95b95 SeqHead BagBagCardinality TypeMismatch
e7958c89d1a749906a9877aa53d8576944ce0ad2 SeqHead BagBagCardinality TypeMismatch
1c80086d1805ffcb8b460d35ea5d843e67f2d9be SeqHead BagBagOfAll TypeMismatch
6e5f3377db02659fca5f34d29c42799442fa7891 SeqHead BagBagOfAll TypeMismatch
7341643f817b33802d3042df66c81fa6dc60785b SeqHead BagSubBag TypeMismatch
8306f237806ff1e29305ce798efcf57f9838a0ac SeqHead BagSubBag TypeMismatch
1dee9b80b95de5cfafac56e907307179bb8ac5ee SeqHead FiniteSetsIsFiniteSet TypeMismatch
baf513bc8daf05168e1767147a1ab375f8eadba6 SeqHead FiniteSetsIsFiniteSet TypeMismatch
66037c24e86761237378608a69d382a5e81e74cc SeqHead FiniteSetsCardinality TypeMismatch
55d0e643b40156776b229e21595943181979f603 SeqHead FiniteSetsCardinality TypeMismatch