Index

Skipped feature combinations by case feature Subset

Id Case Feature Plug Feature Skip Reason
cc84ec896b7633dffeaf79f2bde66a2e3d2dbe7e Subset BoolTrue TypeMismatch
9554968af43f3be8efb950f4feeefc229ec0224a Subset BoolTrue TypeMismatch
a2ac810e5c9e615ff716bb22f79654381207ae9d Subset BoolFalse TypeMismatch
921872da3c720884e2ed33dc6691870abb785efa Subset BoolFalse TypeMismatch
89a2a07d1b9092fb2746a7580cbf34921c17ed3f Subset And TypeMismatch
6236bbf15c2e6493d14a1ced840ab22a1106c635 Subset And TypeMismatch
9376c6f2fe709247ae8d0d84a6b43ce297e6247c Subset AndMultiLine TypeMismatch
0ff6fbba5dd368b1ef14c6018aacc389c07bcd8f Subset AndMultiLine TypeMismatch
7b678cbd3e6578e7e48a7cc85f09aecbdbf730e3 Subset Imply TypeMismatch
2a5f6d15e9f640596256788b6d9d8289c9fe820c Subset Imply TypeMismatch
707592c93ff4907aabdde819aac94550d11825dc Subset Not TypeMismatch
4e58885970dac19e2406eda784f47d902944cad4 Subset Not TypeMismatch
beebd395c7a14a719cb5c9094d7d3168441d5837 Subset Or TypeMismatch
19fa76052c2c1806fd9ea4e82f44d61a81ce42bc Subset Or TypeMismatch
fd5ba511d29f3468eab6806688d4d65da6a75aaf Subset OrMultiLine TypeMismatch
7acc8b4878f5fc5772e08ba1c5028893fd8d605d Subset OrMultiLine TypeMismatch
6a46f46e737467301b7678d83a440735d1dfe692 Subset AndProp KindMismatch
bd5a9f4ce62ffb3ac481023fe951c3862dd5e681 Subset AndProp KindMismatch
f222d6dee232731cd95ff0eb1e5c60e8d79fba5c Subset Boxed KindMismatch
30b8c318f3cb4e1bd4e9a5b56c2584987fe6805a Subset Boxed KindMismatch
d2435aa23a178051b7b25cf012aa7eaa73b97a92 Subset Eq TypeMismatch
249fd2321911f6acd845ceec2b27bed11a5a74f1 Subset Eq TypeMismatch
5695892376b54f020180d5e2c5eeb3b16b95ac73 Subset Ne TypeMismatch
5079c3ed0843ce7da64d5ac7ce206e924be56042 Subset Ne TypeMismatch
9f8b9ef53ea8fb791fdd32e9f4a66739a3757fe0 Subset Set1InDef AlreadyCombined
c57375796050a80d1718817cf4f00a6fadd3b4b5 Subset Set1InDef AlreadyCombined
066fac8d3a805a948e79ea996dc709f540beecc9 Subset Set2InDef AlreadyCombined
9b7d1f44f04bd40adbe0b624a45d1d40806603ce Subset Set2InDef AlreadyCombined
71ebfc75eac641aaacc9780a012877004d259f3e Subset InDef0 TypeMismatch
d256955781711044baa7acab15bd7e0240fa3667 Subset InDef0 TypeMismatch
9f40b7f3f477deb389f1c47724430530048001a4 Subset InDef1 TypeMismatch
648f62b03f85b1adfe74ed4270bc565a498c8ddd Subset InDef1 TypeMismatch
3fda9f8ef964d4465e3ccf7bf063d52e52116cc9 Subset InDef2 TypeMismatch
39716dc2fac5de6f8263409a7bfbb68694e25949 Subset InDef2 TypeMismatch
f5ebdc40c5e60a6478d03872bb422a51634e0147 Subset Fun TypeMismatch
74d9f59519af7a2f7d882bdedbeac9dd5ea61e40 Subset Fun TypeMismatch
be0f90c3abc1c84d7ac9f79db5795899dc209ba3 Subset FunInDef AlreadyCombined
cbded4f1d00ce397b887e9b0065e34f04b3df9d4 Subset FunInDef AlreadyCombined
39dd1d30d05a967614b2b25c1377faf8c28c68c0 Subset In TypeMismatch
78e40851fe61e47bac7878d49c74a48b4263d166 Subset In TypeMismatch
3831ae2cdae587d1cf355785982c1d7bb4a278d3 Subset NotIn TypeMismatch
534dc3bbeac8b2af24641c6a534b970e4e34f4fa Subset NotIn TypeMismatch
4024da48e3039791ca2b88cb1f8a68891b59a890 Subset Exists TypeMismatch
60e05d596bdc435bb0b10841c4b05feea95533f1 Subset Exists TypeMismatch
af4c7c174aaed901149903111c087733f4ca458e Subset Forall TypeMismatch
b673cfc46dd1bc16c1a786068b90eb70e34319d1 Subset Forall TypeMismatch
deec686d927bf6a1c1982c753cc5c5ffd7bd39da Subset ExistsInDef AlreadyCombined
1af7dc66c1adfc7a4c5d8dc706cee183d1b2e7d2 Subset ExistsInDef AlreadyCombined
8b5ad1efc4f6afdcb984807ab50c6013ba7fdbca Subset ForallInDef AlreadyCombined
9129185e3df426b7fad268cfadf162cc6331a379 Subset ForallInDef AlreadyCombined
e568b1e0181e142d0e845db0acc8f617d251febb Subset ChooseInDef AlreadyCombined
aa708b1b108eb5b468527b8a99ced0150c436a19 Subset ChooseInDef AlreadyCombined
d2817fabf711eb6de58c2fae46624a71a263ad19 Subset Record TypeMismatch
7800a5a7c771c6e08268f2f7d28d429197aa8fca Subset Record TypeMismatch
da2a9319a54f9f04f23be0d321f987e94592aacd Subset Tuple TypeMismatch
0a85d3570db39dc005547328b2e3cca6492b9792 Subset Tuple TypeMismatch
3f3864c6b23f5e545eacd664e43d9e5b0378ba59 Subset TupleEmpty TypeMismatch
6e778c39dbf9486edd113099eb89ec677552350e Subset TupleEmpty TypeMismatch
ec6f9244d0faf37dc3ac966e087cebe0e96863ce Subset Except0 CanNotBePlug
61fb41a97e8c22f0db32b1c97032614b1fc3865b Subset Except0 CanNotBePlug
d04a3d8d10fa32490ac74eb59deaeaa5d8758050 Subset Except1Fun CanNotBePlug
59bc6ea3b24ab35a784060303419c902d8cd4933 Subset Except1Fun CanNotBePlug
e46dab57bc7a16a2a7913599e6ef94317dda1c60 Subset Except1FunWithAt CanNotBePlug
6b2754b6b1884f156b416614092f650a99791147 Subset Except1FunWithAt CanNotBePlug
daec539e5920550d917e76e73e97ebeaa10d044e Subset Except1Rec CanNotBePlug
f39151075d14be4ddb800c5e44127f1d2cd94201 Subset Except1Rec CanNotBePlug
37af12ab7b74bd150fc652838053d59e86712a4a Subset Except1RecWithAt CanNotBePlug
562e30ff3f4dde905a4723ce62a126455436eb45 Subset Except1RecWithAt CanNotBePlug
ed5342f1880453153290327487cb12b91e28163c Subset Except2Fun CanNotBePlug
f5ea1f7d0277d7fa7463fce4c2e2a7481374feaf Subset Except2Fun CanNotBePlug
be67752061e4113a12b87f6969da74fa6c8d849b Subset Except2FunTuple CanNotBePlug
2dcad4e31eb05ef1a441767a7abd16df9282775e Subset Except2FunTuple CanNotBePlug
a8274eac7bd2d9be002951a87cb5b535fb2be56a Subset NumZero TypeMismatch
6e0130182482aaef2d27da3c294e27ed12b0628e Subset NumZero TypeMismatch
a5fa63c3f1ab6cc20a2b172cfdb39a2e3b0447cd Subset NumOne TypeMismatch
230d6753b22269a59c02581300cd07c7e87dc590 Subset NumOne TypeMismatch
67146a85b185e758bda5873ef0e4ba6f0ea7d9bc Subset NumMaxInt TypeMismatch
25701a43aab6fb7935e003387c91cb57d81bda75 Subset NumMaxInt TypeMismatch
f60596bfd3ce254e32924213e73089c0a930bc70 Subset NumUnaryMinus TypeMismatch
24728d17a64824a45565b8772bcb736ed6d5a9d6 Subset NumUnaryMinus TypeMismatch
c5ec84c2d9e5db9e9872cde88453eb3302de3e3d Subset NumPlus TypeMismatch
86be488a5cfe0296901087222606047323e4546a Subset NumPlus TypeMismatch
613993aab73d44473d6537e738590a5a6036942b Subset NumMinus TypeMismatch
1c228729f2a1cc5611bc40b8998e089b562df04c Subset NumMinus TypeMismatch
fd7450dff6ea2b37df1511158714e54148c76d37 Subset NumMul TypeMismatch
5dd3ce4b650489b7754142ac82f96cbb85aae94c Subset NumMul TypeMismatch
62a6bd2a91acc8fd2ed9fd2e7add43b1688f3805 Subset NumDiv TypeMismatch
1cc314c9c85ebe64ff74bce6fe717d6a315abfdf Subset NumDiv TypeMismatch
de0dd0662319c272745b6438c10a03e23fe21c49 Subset NumMod TypeMismatch
39eb5b8ae644388aad628072743e56aef5ab2737 Subset NumMod TypeMismatch
8c4ddf1d94d42e4ab41ee9e2c799964aea3ea21c Subset NumPow TypeMismatch
1e02e1124f34c95ce5dd16d3c9792eaca60418bc Subset NumPow TypeMismatch
d49e9c0360d69432d6b09eecbe5ec24c02929bc2 Subset NumGt TypeMismatch
30658bc5f4ec621b783c4b9a7a0bb1dc1f693002 Subset NumGt TypeMismatch
74f5585165da1901a42c1da8dac58bd366e62faa Subset NumGe TypeMismatch
27382e1f58f97474f4d2d0b6e5e3268327d7d2eb Subset NumGe TypeMismatch
b8ea32afc30a7a7b2be370b1cbda6cad2043257b Subset NumLt TypeMismatch
4f42d86d6de18e8cb95c64086f6046f34f44d446 Subset NumLt TypeMismatch
e763ba54ce7d7186e899cb3c863904e5ecb83edf Subset NumLe TypeMismatch
d4b86dd08e60283be4308bbda475060347d955ec Subset NumLe TypeMismatch
0357fb77dc4940950f11e7196229785cd1a41700 Subset DefFun TypeMismatch
d273ba5e8fac9c3c2078e5a82e014dfb68cfd6ef Subset DefFun TypeMismatch
125aec9abb2e34984c76c55addbcb275d042c338 Subset LetDefFun TypeMismatch
aca316ff51a6def33861c2c5e63cae07059fb235 Subset LetDefFun TypeMismatch
c61fd58839f6eb68e0b5ca76e09d7532d93cd9b6 Subset DefFunRecursive TypeMismatch
7d25c44085a225d1704949d126820fa95d0b4e8f Subset DefFunRecursive TypeMismatch
fffb58d4bbc62fe4a067fe089af4472309b6433c Subset LetDefFunRecursive TypeMismatch
d332eee389be7bedd405e0626289fe633c2dc802 Subset LetDefFunRecursive TypeMismatch
6289ab2832c4e3c82521121bab6af87b63b0ca55 Subset DefFunInDef AlreadyCombined
8d75b071907d33cde220007289c2b28fa36a78c5 Subset DefFunInDef AlreadyCombined
0e2a2319a826b01922d73e80a5b24a24c0030ec5 Subset LetDefFunInDef AlreadyCombined
76849234fe6a30044036a576d2e1b3ef03b08afe Subset LetDefFunInDef AlreadyCombined
e8edde177b55285c7c276f74ec08564165136540 Subset VariableViewExclude VariableExcludedFromView
5f0cce2ccf079add6aeaab9e27cb50a71a73af53 Subset VariableViewExclude VariableExcludedFromView
f8ba747348346c3fa81ffbe415bb2898b52f7cb4 Subset ConstantModelValue ModelValueCanNotBeUsed
c26c264188ef4e6a36cc28274ecc906d6f931fd3 Subset ConstantModelValue ModelValueCanNotBeUsed
e19f9fb039e5ee5d4272e8faf521af4070ed7a6c Subset Enabled TypeMismatch
1d9f0c40fb69f24f281ed211e07e7fe00a45a64a Subset Enabled TypeMismatch
5d29e10247e5ae326281b00fda07462607f8856a Subset Assume AssumeIsNotEmbeddable
402466e9892d7258887392e6e25639053936a4f4 Subset Assume AssumeIsNotEmbeddable
3020e638259070f3ff61035522d5c00c158394ed Subset AssumeNamed AssumeIsNotEmbeddable
7b57afe72fba8768b7bfff588d60de2143795c5f Subset AssumeNamed AssumeIsNotEmbeddable
36d70c56715f154580ac247d5c1ea05da0fc1d24 Subset Lambda TypeMismatch
7b9afb4dd3db835f6217782dc471033cf7903e67 Subset Lambda TypeMismatch
6e6ece1759bc9335ed121c1ae9fa6995204d2d4e Subset SubsetEq TypeMismatch
d522cd8eb94905ad79d4309a2f04d941ce768fcd Subset SubsetEq TypeMismatch
f82e72939431c54a2efd2ea72bb8bd34975e1975 Subset Unchanged TypeMismatch
fc0b2c51e3de657351b72228a6ec6834c7b8b4f6 Subset Unchanged TypeMismatch
af0e1bab2ef6cefdbd57cabc9ab3104f8c07901a Subset Equivalence TypeMismatch
a3b747cd0f880e38dbaf4a49764c1ed24fa776f9 Subset Equivalence TypeMismatch
a49768587f99e0baf2a6698c7dc2c85809b0e4f9 Subset StringEmpty TypeMismatch
08cc387b30e22c25214a3875086385db182fd201 Subset StringEmpty TypeMismatch
3bdadeff7cc7f8fb5c2970ee461a9545c069f8ef Subset String TypeMismatch
76daa41fc1f681a33338d5623571fdc568909df7 Subset String TypeMismatch
edffe4e82d567719b19ffb8bfdebcd0ccad7e502 Subset SeqLen TypeMismatch
1b796268ee672dabc2f62825c50737727464d1de Subset SeqLen TypeMismatch
ad4a513d7ffd5b2591e3cbaf5fe45535eccd1f0a Subset SeqConcat TypeMismatch
12c1bce09d47ae802ed6ff46614479724c4d1ae3 Subset SeqConcat TypeMismatch
e4ac824b5f99ebfefcc74090281ed889635ea153 Subset SeqSeq TypeMismatch
684683d89057305464fc627221500d7e4987f3ec Subset SeqSeq TypeMismatch
131db887636e4dedcf7c33450ff706ff1eb1f870 Subset NatSet TypeMismatch
957997cdfb2546bd2a0b42003f72e31dce1adfdc Subset NatSet TypeMismatch
63f8e52b3374f53936ce450ab5d33bbbdd964ab4 Subset IntSet TypeMismatch
a6f358f5bcf08527b50900d017db8112c02fcf31 Subset IntSet TypeMismatch
429c66801b527279ff79da42826aea618a1a0309 Subset StringSet TypeMismatch
ee7d3379028cded7779ab799a77edf589fc4f1fb Subset StringSet TypeMismatch
784616a3acf2b6a1bf9fe9b7b4505f2c631a5126 Subset SeqSelectSeq TypeMismatch
7f8ecd96902fcec16d221b2f41cb65d98e452b17 Subset SeqSelectSeq TypeMismatch
d9c5764e79df5ff1c1abfc8b3741096224cb6ad7 Subset SeqSubSeq TypeMismatch
f67cbb9a295ab86cc309f64c7a39e654c374adf9 Subset SeqSubSeq TypeMismatch
6217ad38c1ec302ab7e3f9f258b85133b02adb6b Subset TlcSingletonFun TypeMismatch
84cd1edc74eea9615be8040e9d76ed3fd8b02ca3 Subset TlcSingletonFun TypeMismatch
685404c6c01a8523df1b009093ca817459a94f06 Subset TlcExtendFun TypeMismatch
b61d45fbb9c3ab7fbaea4e84ba2c651b24f3f649 Subset TlcExtendFun TypeMismatch
80be4de28d5341e74b6d44b258094fe8371e4351 Subset TlcSortSeq TypeMismatch
62f901009631a82ce0ef27d40ed7245790899eab Subset TlcSortSeq TypeMismatch
1faaa99be59eac9f4fa85c0a6832f9011511acbb Subset BagSetToBag TypeMismatch
39f6f219596a8dce9afc518627e1f23befa2bde2 Subset BagSetToBag TypeMismatch
2ac462525a31e28a5f7461eab707774bede7574f Subset BagBagIn TypeMismatch
8ac5411a396df901efb299a61a99c640637744ba Subset BagBagIn TypeMismatch
7a965da6b75ee841d5a32866bfe65e3e3b09c4c1 Subset BagEmptyBag TypeMismatch
7901b9a8b8a7bc242f70c0e16f5c5f6b661637eb Subset BagEmptyBag TypeMismatch
6de594cf158f3df828a9395d81f82aa1279f8c4b Subset BagAddBag TypeMismatch
fbb3724d386a4963473b920ed089068d532d49ff Subset BagAddBag TypeMismatch
0f875223f180c611e089ff10efee8be8bfa88c74 Subset BagBagSub TypeMismatch
306126ef5eec3a00e5816017bcf30a4fbeacee4b Subset BagBagSub TypeMismatch
cb2ce3d84bc2ff970db0c6c6ca723c7096d4d1f7 Subset BagCopiesIn TypeMismatch
b02853a19f4d373f4ac1c6fbc667293a07fa7943 Subset BagCopiesIn TypeMismatch
ae71feee6d0f56868f501e6b82f7c915c7262c64 Subset BagSubsetEqBag TypeMismatch
e5fcc248b4761aeeeea179e2e1302fe46f4b8cd6 Subset BagSubsetEqBag TypeMismatch
e9b28fed4cb816fa8cf72b534f970381b6bd397d Subset BagBagUnion TypeMismatch
41c551a77f148d818a2aa8762b38ba6a8feb972c Subset BagBagUnion TypeMismatch
af756bd3053e5ff09fda5995d80cfe51a1fcf915 Subset BagBagCardinality TypeMismatch
57b81ebda36632db1a2382538f68cd720423a837 Subset BagBagCardinality TypeMismatch
8eabed27ca11b98358c6617a50e368a251a4eccb Subset BagBagOfAll TypeMismatch
a699f119d811559f596ffcc6755cc89756040fff Subset BagBagOfAll TypeMismatch
227727299805b56e2669e2ffd64cb0b6c902e046 Subset FiniteSetsIsFiniteSet TypeMismatch
2114496192bda2f91a8c4b7b9efd67cbcba5ad07 Subset FiniteSetsIsFiniteSet TypeMismatch
c89b76e2a328d9f6327beca391917b3fc7ba81ff Subset FiniteSetsCardinality TypeMismatch
dc38b28d273e1d4969b1d4cfd3365ed07d7d0f14 Subset FiniteSetsCardinality TypeMismatch
ba0a01fbd39638a487f47398f6572a797a8c5037 Subset SeqTail TypeMismatch
16abb24273563e2ee54f0274dc0e25dd05177a89 Subset SeqTail TypeMismatch
573de0bcc39aafb8c4cc055a0271345b5f521b47 Subset SeqAppend TypeMismatch
a850376d8c38d95aecd584f3f08441afd7996fe7 Subset SeqAppend TypeMismatch