Index

Skipped feature combinations by plug feature Set2InDef

Id Case Feature Plug Feature Skip Reason
9f75921fa0f4b014ef9781a7cb0877f2ba132964 OneLineComment Set2InDef AlreadyCombined
39d9f57641099ff83a215ca3f9db28003b68d18e OneLineComment Set2InDef AlreadyCombined
25d859001b1a3e34909e9dc6eaba76185c9f5ee6 MultiLineComment Set2InDef AlreadyCombined
868deea0e758291061ec2f05c1cfcedd37a9d7ba MultiLineComment Set2InDef AlreadyCombined
e4183060186b8c72210735207712d4f121893272 BoolTrue Set2InDef AlreadyCombined
7d7f20f9aaf7ceda2e6e565234efb5eb89af50d6 BoolTrue Set2InDef AlreadyCombined
81afd3d690035b25d8de7bb49342ca96c3723df7 BoolFalse Set2InDef AlreadyCombined
304c2bea3c09912f5fd7899dba3a49c0d2232b99 BoolFalse Set2InDef AlreadyCombined
13cdad06306a8f97683a6903807ff5edc2a8729d BoolSet Set2InDef AlreadyCombined
5edc1403037f3925d9890f0aa8778b52c482f3fd BoolSet Set2InDef AlreadyCombined
bd8f44e864bdff6b4e5d6cbf943c39fd34a35c94 And Set2InDef AlreadyCombined
9d70ee7eee8ee4fee545b6b38188340e1a6dda90 And Set2InDef AlreadyCombined
66d52c817f4a1f63bf4b5fd4afda84509a26f831 AndMultiLine Set2InDef AlreadyCombined
0cc04e8e0d5444a38151ae3d53ba6ea7abc204f1 AndMultiLine Set2InDef AlreadyCombined
717a08ff049be0b9d77519eeff82a7f8ac300789 Imply Set2InDef AlreadyCombined
24292c9abc0e1dad7901b237b5efe4703b4a2a59 Imply Set2InDef AlreadyCombined
9473859136981dda02aa65b053f267dba45c05f8 Not Set2InDef AlreadyCombined
199acf4a6b80945ce4e1a8e7571ae61162d1b4b1 Not Set2InDef AlreadyCombined
1ebfa40a659453212a10ba01bf1085ad82d0ab03 Or Set2InDef AlreadyCombined
69cd28478c3442c52486ece54ade8d2fec642539 Or Set2InDef AlreadyCombined
8ff1fffa1307c637c1253d923c5ea71bb84634ff OrMultiLine Set2InDef AlreadyCombined
7937706f44b5ee36268b45c29e3aa153ab9e6d5d OrMultiLine Set2InDef AlreadyCombined
cb6c7b3e9987125eb9f7546498c76ac0a14eb56a AndProp Set2InDef AlreadyCombined
7cd90bc8eaabf780c0e2481a761ef2a45b324c48 AndProp Set2InDef AlreadyCombined
8d14b8ed330fee86a32e0135c9e04821c3f14305 Boxed Set2InDef AlreadyCombined
59175d834bfee304dea97abd99218691e3564acf Boxed Set2InDef AlreadyCombined
5874c03bde0dd3df09c68fd8083ded791780ca04 Eq Set2InDef AlreadyCombined
0d45fffcd9948d0680c38af99b4e70a9897402f7 Eq Set2InDef AlreadyCombined
e6aab2b7ab1dc44371b4d1077986b31b7083b659 Ne Set2InDef AlreadyCombined
dd75e5a8c552834493f874741f6cf411b8472ec8 Ne Set2InDef AlreadyCombined
dcdb26516980893665e15af723c1d524290a2da2 Let Set2InDef AlreadyCombined
b3b2efcc37e1c64149e41df116b8b8d63e80719a Let Set2InDef AlreadyCombined
458cfe3eee936468f979bedfe3bd93126770ea1f SetEmpty Set2InDef AlreadyCombined
f0e8a56c661d1d746ce5bf6ce044dcee38271c25 SetEmpty Set2InDef AlreadyCombined
6668384db3b4653b6cfd2b2d55373612cc2379f5 Set0 Set2InDef AlreadyCombined
e933f4a9fa582e4a830014d194ec56602c4742e0 Set0 Set2InDef AlreadyCombined
27b75309c9b1806b1d4d8e1b227b3f8b1892ff24 Set1 Set2InDef AlreadyCombined
f436c7e052c9fc1f7066edd942f93f3b7ecaac37 Set1 Set2InDef AlreadyCombined
da3b2def2c1c281c88dbc38cc9a071ae0c795123 Set2 Set2InDef AlreadyCombined
eef125ad71c6421d36c7f3763e5f883160f21ffd Set2 Set2InDef AlreadyCombined
2eedf82321f9d81ddc75c1b391d085a47a2b3e9e Set1InDef Set2InDef AlreadyCombined
e0119a6f530139136abf8a6e5299536b787f1dec Set1InDef Set2InDef AlreadyCombined
a3d33fe88a7c9bbe339626f7f087098478dfce24 Set2InDef Set2InDef AlreadyCombined
27577302c7ac708a08125687b7fed4460157fd48 Set2InDef Set2InDef AlreadyCombined
73dddc8bda551bfb8daa2161295dd646b1fe5d35 InDef0 Set2InDef AlreadyCombined
a0ec514b3a1c53c6840b98e9a6ea21c15a8532af InDef0 Set2InDef AlreadyCombined
126b81b86b5a9e1a5d202445b4d67300dcb9f7e2 InDef1 Set2InDef AlreadyCombined
4204c251b02eb544605984774718eeecd4ea192c InDef1 Set2InDef AlreadyCombined
283c2079c2b9d806aa3413e5761028301d505008 InDef2 Set2InDef AlreadyCombined
bee67d628f810c5723e56d3dcb59538abb8fec06 InDef2 Set2InDef AlreadyCombined
bdbcffda0c144cab27ebbc7d4b5e7497ca233e09 Fun Set2InDef AlreadyCombined
0d67e3cc2a04152e69bb22e78ba98c36be85cce2 Fun Set2InDef AlreadyCombined
899e9b6861eb3cbdebf2a815760320788f4b9706 FunInDef Set2InDef AlreadyCombined
cace7feebc2cb322110fbd2458910f89c1c6ae58 FunInDef Set2InDef AlreadyCombined
0849bad1ece6c3c5a67ab760250edb4e868b6035 In Set2InDef AlreadyCombined
18b3515a61ad420203588c502c467bc8b4093628 In Set2InDef AlreadyCombined
0ed155c34408b9fc3cc5f72efabf2ba9a0c099df NotIn Set2InDef AlreadyCombined
0c98e67b001da4705b55a186abf44cefe65c53b9 NotIn Set2InDef AlreadyCombined
16ab2e15930cf091a7a9805b9a5388d396df96ef Exists Set2InDef AlreadyCombined
df678b29894e5ea88e112e43b4a44e164bc30a95 Exists Set2InDef AlreadyCombined
bb573461193425edff4e6edea3062aa57d2d184b Forall Set2InDef AlreadyCombined
f8cfe580aff9f30e65347482f27c5e3828612d11 Forall Set2InDef AlreadyCombined
f9064383330ec7224dc023a654600bba5c97f23c ExistsInDef Set2InDef AlreadyCombined
c8df9a120826356dce2a02a0865a3158bdf5fb07 ExistsInDef Set2InDef AlreadyCombined
fcf8b0e85c9ca226c9627bd3c32365f8110cb71d ForallInDef Set2InDef AlreadyCombined
1e650283db807cd3f2d91a854dee1baab2d142dc ForallInDef Set2InDef AlreadyCombined
5674ce10ff605838aed676a043c78cb7aab97f75 Choose Set2InDef AlreadyCombined
5335fda8df677aa2e37a72ec79a59484af6a7ae9 Choose Set2InDef AlreadyCombined
fc4ca7b04265275fb16925b0b73f267a59748368 ChooseInDef Set2InDef AlreadyCombined
40106f679dad10e8d7cfba3391a0569eafe7bda4 ChooseInDef Set2InDef AlreadyCombined
e3eb2ed7cdeee8c18fb57eb08e6d00c6aa21b4a0 Record Set2InDef AlreadyCombined
9be23f6c89ea797b76a40750d2112d2f36f3e5e4 Record Set2InDef AlreadyCombined
133ab9286d54fffec6e24b42323659ff5e45a33e Tuple Set2InDef AlreadyCombined
c685b96103a9aaf75a7280ae92af52eec4abb091 Tuple Set2InDef AlreadyCombined
d17c5c52084788165aba233504b182d6cd1a833a TupleEmpty Set2InDef AlreadyCombined
5c4f20821532fe004d943e46ccb3f2e94ab51f4a TupleEmpty Set2InDef AlreadyCombined
d54888600ee0b8388aa283e858331bfe32375446 FunApp Set2InDef AlreadyCombined
2c14cd1e9415e6bc91f260bad23e381a195f7231 FunApp Set2InDef AlreadyCombined
bbfd994e78c9fb4d52b3df67a7a2127295f36a8d Except0 Set2InDef AlreadyCombined
4ab27a5ebafe767b24b0f8a3184235676f267772 Except0 Set2InDef AlreadyCombined
d44554a4fa15cd7b22699516d618d30f976d841f Except1Fun Set2InDef AlreadyCombined
5b6a6d0ca0ff079ee69522e3584c121ef5d136a2 Except1Fun Set2InDef AlreadyCombined
3521089b93087551efc3e196861b8069e669f795 Except1FunWithAt Set2InDef AlreadyCombined
2cf9d4b3807c5c2bc9c37d1e8c95099cf388e76c Except1FunWithAt Set2InDef AlreadyCombined
300a004d7a01cec384c655149d61f70ba1bece74 Except1Rec Set2InDef AlreadyCombined
8a20d98f5f541cbc401ea59316bb20d3de7947cf Except1Rec Set2InDef AlreadyCombined
4611aecdebcade2341f27220009e21def5c74854 Except1RecWithAt Set2InDef AlreadyCombined
78e6a5f64450fe0e81e88b1b1947d80e60fa554d Except1RecWithAt Set2InDef AlreadyCombined
4c36720c1406a753933c86616601c8f7c6558ff9 Except2Fun Set2InDef AlreadyCombined
9f365d073badbafba5832c357a31c22f71039523 Except2Fun Set2InDef AlreadyCombined
898e4b6ae6bf5dab07e6b022e77417349c5a7f32 Except2FunTuple Set2InDef AlreadyCombined
c76bde65821c6fc81f58198a197500d15477dfda Except2FunTuple Set2InDef AlreadyCombined
153bae522fa6cd5d254a629204c5a5d52d50da1a Prime Set2InDef AlreadyCombined
3999680cf11d234cc049342f6ed1d7dffb1fe9d5 Prime Set2InDef AlreadyCombined
608873f7f2e3ba797d869446e437257c972118c0 NumZero Set2InDef AlreadyCombined
fa1c7f366fc2be15574a3d642b0818e4f1b565a8 NumZero Set2InDef AlreadyCombined
b08d2ca76fb6f593bed0bc802fe7bdf88fa0f08b NumOne Set2InDef AlreadyCombined
a0c131034dfdd40d49eb2daea4b730fa21bdfbed NumOne Set2InDef AlreadyCombined
b8da73057f93b40bdaf3601e67411da93e949682 NumMaxInt Set2InDef AlreadyCombined
81a998f270d0cc6174ce75f57bbd8245b421c1cf NumMaxInt Set2InDef AlreadyCombined
e2d32901b372654bcb43321ca8975e51d4095677 NumUnaryMinus Set2InDef AlreadyCombined
86b8016da6862dafade427f497d8c8b49ac6edbb NumUnaryMinus Set2InDef AlreadyCombined
42e21dd7fb3344efdfe2c94432d653c05b99963c NumPlus Set2InDef AlreadyCombined
0fb1c2ba2716d571b54f967d2d0de09838bd0455 NumPlus Set2InDef AlreadyCombined
8def53badf299d8b3edd636c812610f18c9a6d9c NumMinus Set2InDef AlreadyCombined
4dfff3563eca68dd75471d146815e9773f6da8cd NumMinus Set2InDef AlreadyCombined
3838a708b36bb3edf2ce4916fb33ae634e4fcec9 NumMul Set2InDef AlreadyCombined
93d2a104f90b4def8c5a77b9fc9bf3a4929486e7 NumMul Set2InDef AlreadyCombined
24cdc6e4bcfbf23f103d142c4f4eb196dd130d83 NumDiv Set2InDef AlreadyCombined
63af5fd2335123107de527b6b28709c0aff67c54 NumDiv Set2InDef AlreadyCombined
96f6790c9fe7ff8af8a64d0a214e8760337b17b4 NumMod Set2InDef AlreadyCombined
93aab5d7573933a11c90c0559b2102aa19b702dc NumMod Set2InDef AlreadyCombined
9eb693360b4e368e316c29e9378afd3f7a8b7295 NumPow Set2InDef AlreadyCombined
3d7149fac13656ff019b700b6138af23cbced8bb NumPow Set2InDef AlreadyCombined
a8faae6afc82d213fe758a375bdf206092ae640a NumGt Set2InDef AlreadyCombined
139fdb598b7fc66842f2216ac8a20e72edb43f32 NumGt Set2InDef AlreadyCombined
3fd2b92279ef9d23ebe152c867ed7162fe266637 NumGe Set2InDef AlreadyCombined
722c25b1f30efeded9ec9ffc760862d7e70b2f36 NumGe Set2InDef AlreadyCombined
f5fdcc75ca18646cde28cabec4547f6c3a7a415b NumLt Set2InDef AlreadyCombined
c789e2577b2f2590939af6bb9fcd787d412cc196 NumLt Set2InDef AlreadyCombined
aa333368391db1de4c0d0da639b12ddbb568829f NumLe Set2InDef AlreadyCombined
f19a000301313c8bc81b1b0edb5624cb9644c26e NumLe Set2InDef AlreadyCombined
52e56d32feebed198705a61d97c13ac224997473 DefFun Set2InDef AlreadyCombined
90b0d719edbe4721fbde4c7f961748bce6cb650a DefFun Set2InDef AlreadyCombined
e2d6710100ca06fae2773f285400735893d88794 LetDefFun Set2InDef AlreadyCombined
486267363412075a74ba8ce760aefe1a9f5ea900 LetDefFun Set2InDef AlreadyCombined
a49c9898b9a74ed45c5871d595fc2fc60422099f DefFunRecursive Set2InDef AlreadyCombined
5bd7245dd18ac6381b7a0c8f7af5cfcdf866b2c7 DefFunRecursive Set2InDef AlreadyCombined
8f290b96c56a85d7eb6e0daa5e7a9354de81b4a6 LetDefFunRecursive Set2InDef AlreadyCombined
585b3e6e379d3843f03ae839210288e1df65c301 LetDefFunRecursive Set2InDef AlreadyCombined
bf20132a56e4e8dbc20720b7772fb08e2fb66948 DefFunInDef Set2InDef AlreadyCombined
24e2dd3688af55b05702c503122c2aef14420b93 DefFunInDef Set2InDef AlreadyCombined
5fa6895167875f88326e283956b8818da4d8043b LetDefFunInDef Set2InDef AlreadyCombined
7341424e92af446661331d07b186f326c2c2e420 LetDefFunInDef Set2InDef AlreadyCombined
dc656c62c0eac8cbe37251c3180db1f73a317746 Def0 Set2InDef AlreadyCombined
76d041cc049f2f4b87a5350021abe404f23c664a Def0 Set2InDef AlreadyCombined
632b76c4457b9fbe35d3e5f6c9e39374a495b618 LetDef0 Set2InDef AlreadyCombined
468b3fb3bcfb30f655e741f7e9d50f9b561dfd23 LetDef0 Set2InDef AlreadyCombined
29e4aca0101af88dae2af73c1f792c65b47a9700 Def1 Set2InDef AlreadyCombined
b3e3a3f1142dbb4cebdfcc756fc91c27288565eb Def1 Set2InDef AlreadyCombined
ecc1566894cbcf2d6d0853f7fddfceff467663c7 LetDef1 Set2InDef AlreadyCombined
1ae1da729c6d66ed9e036b83379977479f0ad263 LetDef1 Set2InDef AlreadyCombined
868682db57b96bd9f133d876ab6ef9371a5bf2c1 Def2 Set2InDef AlreadyCombined
43febb72fb64b677672dbf2d453194908eeef7f8 Def2 Set2InDef AlreadyCombined
e9aef47141f97796ffb4a6f2c22450d7d2e92ec3 LetDef2 Set2InDef AlreadyCombined
d39919a9d135936baba5a8b44f28f9dbb0e0e2ed LetDef2 Set2InDef AlreadyCombined
7950cd56e4cc16bfd8fc4822a51db9eb768aefc9 Def1Recursive Set2InDef AlreadyCombined
a0602368a38538f49f9debf89fc60cfdfbcc8392 Def1Recursive Set2InDef AlreadyCombined
338644179f5463b11248124e42b78c983429f7b3 LetDef1Recursive Set2InDef AlreadyCombined
4339a8d36338c50ddfff03e6063c1771c056d189 LetDef1Recursive Set2InDef AlreadyCombined
ebb4f9a90cb4a16970b1b32e7e2f41ba9c9e5ebf Extends Set2InDef AlreadyCombined
b4a84435fbba405634da0dcdab0d290b3bf748c7 Extends Set2InDef AlreadyCombined
bdc81531ea96d8bea4c0b93d100c8dfc1e1f3e33 ExtendsInDifferentFolder Set2InDef AlreadyCombined
941e2ceadbb0eb6d140e5fba7a8449da711694cb ExtendsInDifferentFolder Set2InDef AlreadyCombined
a4e3c700e070d8e6f76f0053eb74ac6ee02a080a Variable Set2InDef AlreadyCombined
2c7d39e6af399320d13091f817284b33b03e0744 Variable Set2InDef AlreadyCombined
01c4390ab67c1b5d73e23ea64759970ee91dfce8 VariableViewExclude Set2InDef AlreadyCombined
0f079a55d65e1204aac52430a46137d98b3475fd VariableViewExclude Set2InDef AlreadyCombined
b13790d392f5a043e0a70f9a1a0855f55cd81854 Constant Set2InDef AlreadyCombined
fae3a1cc2cac5cbdf21b04292b7deaf85fa51a41 Constant Set2InDef AlreadyCombined
49b164cedc17eec4cefc7943c8ce7ba01f85c121 ConstantModelValue Set2InDef AlreadyCombined
0a6696b2ca73812dc8882cae9c25e49bd7696882 ConstantModelValue Set2InDef AlreadyCombined
53a10cc00eb907b8f9fa422679386e17ac709e31 ConstantRank1 Set2InDef AlreadyCombined
021176232a616c2573a0247ccf2ddfc53c950423 ConstantRank1 Set2InDef AlreadyCombined
581b1f5b6673fa71f1c04465450800bef37deb68 Instance Set2InDef AlreadyCombined
743e6381bd4a7c42c24783cb99758e8233973bca Instance Set2InDef AlreadyCombined
d093bee25389ebf952f10c54395645bde84e92d0 InstanceWith Set2InDef AlreadyCombined
87f7d75e0a05e6ed3e06b6210324aca2d48b30a6 InstanceWith Set2InDef AlreadyCombined
04629ca9bcff9d29501811967f8efbbe83b8a9f5 InstanceNamed Set2InDef AlreadyCombined
3197201c7f421cf57a0eca2fc5d07c2f9daa61a1 InstanceNamed Set2InDef AlreadyCombined
7429346e62eea51cdabf077c5261b44918d4d5d0 InstanceNamedWith Set2InDef AlreadyCombined
0d10d07edd385f1659235b7e009a5ca90886adc1 InstanceNamedWith Set2InDef AlreadyCombined
cfcd96fb97b8e013e512565d951511e54c5c13dd InstanceInFolder Set2InDef AlreadyCombined
620893711695d3a21f37942cd0d1338d5d9c7401 InstanceInFolder Set2InDef AlreadyCombined
aaee47221037f249e0eec28a1099036553b1c07a InstanceWithInFolder Set2InDef AlreadyCombined
f9638b71f90c6f0ea733b15e776d5b12738c5caf InstanceWithInFolder Set2InDef AlreadyCombined
7e90f3c5667cc7fe21bd1c16a83d58903ee43514 InstanceNamedInFolder Set2InDef AlreadyCombined
5f3459b8a2c72e45a7060b4e83e3095003195740 InstanceNamedInFolder Set2InDef AlreadyCombined
266482cc3b349095aebc831f8993eda76e8899fa InstanceNamedWithInFolder Set2InDef AlreadyCombined
3d613ad99a9cdc61f3e71b32040170e0beb85d85 InstanceNamedWithInFolder Set2InDef AlreadyCombined
c07274fd496af795bf7755e1df0e3396fe8a49d7 Enabled Set2InDef AlreadyCombined
2d569854e94255d5113246c8f776235192131deb Enabled Set2InDef AlreadyCombined
89a898daf2925b2b03b4846393740303545a5c10 Assume Set2InDef AlreadyCombined
66911e6dfa55c0941671eb4fb05a4b4f81fa51da Assume Set2InDef AlreadyCombined
6deacc49b22223bfa322d5c903268bd0f7b5ff01 AssumeNamed Set2InDef AlreadyCombined
5d52f9b7b2498b759478d074465602b2bf448013 AssumeNamed Set2InDef AlreadyCombined
99884abf0f45f7af35eb310b45e16c91935f0d28 Lambda Set2InDef AlreadyCombined
f1c6a0ffeba116728d9f4d6d89dc692bcc7de9ff Lambda Set2InDef AlreadyCombined
4b6b428f6e19156dfca96c2be4ada214b31dbe8b Cross2 Set2InDef AlreadyCombined
cc526cc8b6007298e625eccec1fc344e5f27b272 Cross2 Set2InDef AlreadyCombined
eb29935525438b6357d24ac39de9d68e359fc095 Cross3 Set2InDef AlreadyCombined
d34c15b2ede07fe80a1db73fd76fd20571bdf3c3 Cross3 Set2InDef AlreadyCombined
878241590732fa16d07acb5c415066552a623d31 FunSet Set2InDef AlreadyCombined
553d8af6f8fb9c9f691b4ce10c84fcfc789a2e67 FunSet Set2InDef AlreadyCombined
f866a7fbaf694b736744d348a231eaa3193c93b1 RecordSet Set2InDef AlreadyCombined
6077da93e7938d8f186750496dc2a87858ab3281 RecordSet Set2InDef AlreadyCombined
afa3a4b82d861b7a0a5cd8e3efc7e03e2bb92be1 SetDiff Set2InDef AlreadyCombined
db6f0bbefaca6d2c7fe9b25cc3868fecfdf22f72 SetDiff Set2InDef AlreadyCombined
2ceae95abd9af3564994e3ece7bf551bcd986a55 SetUnion Set2InDef AlreadyCombined
04fbea4a629500cc572131f773bba09076dd0a24 SetUnion Set2InDef AlreadyCombined
9e45d1ae49363cec96c21ea2fadb90a1601d32d5 SetIntersect Set2InDef AlreadyCombined
a8b237d48d1f9e0ee962e2440c1b893044c77eac SetIntersect Set2InDef AlreadyCombined
9bbfcf77604ebf73ea12bbff4df1b4e23282a06d SubsetEq Set2InDef AlreadyCombined
f883474b76908a419ffd0566783a99215079a1a1 SubsetEq Set2InDef AlreadyCombined
d4b053bdd258c45ed84dbd5894c59492abbb11d2 IfCond Set2InDef AlreadyCombined
d9399a404dc5cd6f0671f9b7076b490afc86aaee IfCond Set2InDef AlreadyCombined
6640f8945a277c0647dafabc675a1c9062186502 IfThen Set2InDef AlreadyCombined
a910397cdc3a7f44a3abb08630b5064ce82a4345 IfThen Set2InDef AlreadyCombined
8889a092bfd4bb79a9e28453a31a50edda6d3c96 IfElse Set2InDef AlreadyCombined
6bca5bcb2ff7d07c4fbff9efd979107d83096b2e IfElse Set2InDef AlreadyCombined
066fac8d3a805a948e79ea996dc709f540beecc9 Subset Set2InDef AlreadyCombined
9b7d1f44f04bd40adbe0b624a45d1d40806603ce Subset Set2InDef AlreadyCombined
5b08fafd467024839b6e7a89be33d6e29fa8f4e7 Domain Set2InDef AlreadyCombined
fe75c2a22e18fa3dc9602140ef5bedd62cb176b1 Domain Set2InDef AlreadyCombined
34cb727f107ac53cf15ba13d5b194af95cd5bece Union Set2InDef AlreadyCombined
27a83d7ef0a0bf41116d5dc7199013740489e16c Union Set2InDef AlreadyCombined
a186651efeaa2a8e308d7630b9502ff76c1c2600 Unchanged Set2InDef AlreadyCombined
25796bb74b45738d413456205623ff3c916ded8f Unchanged Set2InDef AlreadyCombined
634014724e8a5644ed8bb24c7c0e6a4ed6509fd6 Equivalence Set2InDef AlreadyCombined
d20db646a0cb4bb958594565cdfd60f1f9ce81f5 Equivalence Set2InDef AlreadyCombined
3acbde15cb45b1d426c8a042a0569c1260ea3292 StringEmpty Set2InDef AlreadyCombined
ed3b11e5729a4a78bf235cfc5b0d212843cd7fad StringEmpty Set2InDef AlreadyCombined
372ee39df2a3349c9b068ea2feb7da3e8b452b27 String Set2InDef AlreadyCombined
4da8d4f8cf14b722f743851194d3036cf090eda3 String Set2InDef AlreadyCombined
46a3ee06c4df551f3a6768f87ce1d295c32fb1a2 SeqLen Set2InDef AlreadyCombined
028a00bf4859f74c99440b566bdcfb86da29a2ec SeqLen Set2InDef AlreadyCombined
9c8f4beaab1216a71b27f6b739a5e519acade8e5 SeqConcat Set2InDef AlreadyCombined
1c2fd024079ac0bf20cd3979e90fa1cafbdfdfc5 SeqConcat Set2InDef AlreadyCombined
c6be49fcb42f3c49df5e7056cf9d563f19e2aa57 SeqSeq Set2InDef AlreadyCombined
918bedbb46a60fc042e29dd6b9f17b4ce5b187fc SeqSeq Set2InDef AlreadyCombined
40d0cb16035fb9ad13bef13880b3f353356b9812 NatSet Set2InDef AlreadyCombined
4f0ce781248273fb9f37326d148c605d120273a3 NatSet Set2InDef AlreadyCombined
7f2064ce2135aba9736f07d2a64340ffa2ff7b62 IntSet Set2InDef AlreadyCombined
e98f93a85a187bcc4502e420cb454c2167ff63e8 IntSet Set2InDef AlreadyCombined
74063ea69faaa8e2477fb8c39c9242dfabbaa44b StringSet Set2InDef AlreadyCombined
6f1bb5029622da867e481081e2fbd05a94280130 StringSet Set2InDef AlreadyCombined
8d5616b7976afe9a54ed7e1d1b50e1b26d6566df SeqSelectSeq Set2InDef AlreadyCombined
bec017ff3f1110a15c61f712811a78e840c78f1d SeqSelectSeq Set2InDef AlreadyCombined
be695db12661d43ee255f03860171adb4d553ad3 SeqSubSeq Set2InDef AlreadyCombined
15fa6653f215c58ba9a31e6c2e7841e6269d6ab0 SeqSubSeq Set2InDef AlreadyCombined
be03f3cfc399cfdb2c785fbfb375bfe23c6ef1df NumRange Set2InDef AlreadyCombined
00f8387e12e4f723c718ab768acf4f748bbdbcc0 NumRange Set2InDef AlreadyCombined
52618b12ed9a61d74f70818cd22903f5e7cae1dc TlcSingletonFun Set2InDef AlreadyCombined
2a6bb22a83d5fda796f6c1462df752ce1d8aadd8 TlcSingletonFun Set2InDef AlreadyCombined
2d2fd6182a1d158aa0a9e88cfaf34a58382f522b TlcExtendFun Set2InDef AlreadyCombined
3975f2b199087696c7e806f3729150f0529a3282 TlcExtendFun Set2InDef AlreadyCombined
9d17fc2c2eefe165c7bca2a0bb3074cad0e9a75e TlcPermuteFun Set2InDef AlreadyCombined
95a95e062592ef5c111b484760dccc97c5b3e612 TlcPermuteFun Set2InDef AlreadyCombined
95223d74978ec5e96a79c618cd63d0b5614ff49f TlcSortSeq Set2InDef AlreadyCombined
e9fe7a7765a05592ab44c04f1ac44626c85b161b TlcSortSeq Set2InDef AlreadyCombined
61db611d9186fb991c0543fe33122a905d3cd5ca TlcEval Set2InDef AlreadyCombined
9d4fead3644d92fa434be739260b6d4bfdf82099 TlcEval Set2InDef AlreadyCombined
48829f5921bc91c86cbb4185b2e99728d381cb16 BagBagToSet Set2InDef AlreadyCombined
ad6c6e9573c3020f205e43b6635f31ba1d56c335 BagBagToSet Set2InDef AlreadyCombined
dcd0da5dd01b64ab35d02a37c8236236b3118b35 BagSetToBag Set2InDef AlreadyCombined
e4845a4e8d5b9de737a99d7da69dc670d04e0211 BagSetToBag Set2InDef AlreadyCombined
36f255fd4405e9bcb3f4f64dbebfe8213026b599 BagBagIn Set2InDef AlreadyCombined
5bd340877e77106f4c35a8483cd728476a4296d3 BagBagIn Set2InDef AlreadyCombined
9d924b129ba795dfecd08c71ffadfbf8cdaa979f BagEmptyBag Set2InDef AlreadyCombined
a8be90dc55c8dfe059c749b19780d07ad2678af1 BagEmptyBag Set2InDef AlreadyCombined
38d185abbb053d2b7c80e6cf6caebd8da05685ad BagAddBag Set2InDef AlreadyCombined
04a199c01bd98283ea42526a535b8c80fcb14dd3 BagAddBag Set2InDef AlreadyCombined
257cfb85d78bb138c9c70c27721d97bbefe66d73 BagBagSub Set2InDef AlreadyCombined
d38bc0ed9b9fd5359b98067a716a683d0ddfaafa BagBagSub Set2InDef AlreadyCombined
3dc91c71841df10dc900c06d0d00201bcd181c55 BagCopiesIn Set2InDef AlreadyCombined
cbf7690c315119ce7d3e7ebca30466572806bff9 BagCopiesIn Set2InDef AlreadyCombined
ad8d81e655d4b02cc7eb5e5b26e5c325ba13e9ae BagSubsetEqBag Set2InDef AlreadyCombined
9b7a3480d6d204d63d560ef60469186b3edf8f4a BagSubsetEqBag Set2InDef AlreadyCombined
ca550ec71707b803fd5585af7521d050c36fa70a BagBagUnion Set2InDef AlreadyCombined
a663799fefcd39f7811cc049b2ea24ef295910c4 BagBagUnion Set2InDef AlreadyCombined
8db20e6b2682c1f3debb9c59f9ad8b74b6e60bf5 BagBagCardinality Set2InDef AlreadyCombined
5ed68245dc8df92ce2d1ddf9d759e42b6b1223c4 BagBagCardinality Set2InDef AlreadyCombined
7e2904e1185bfb5a9124afa0041f399918699812 BagBagOfAll Set2InDef AlreadyCombined
e39513a218ab856cd90919b87b0a93f2bcf444b9 BagBagOfAll Set2InDef AlreadyCombined
ccce2ca4e471be20afe4050029ef6a785caa55b2 BagSubBag Set2InDef AlreadyCombined
0309bd98e2f1dc8c79fb894813fda1f7684e41dd BagSubBag Set2InDef AlreadyCombined
e6e1e1ee59309663acafd73c601dd5546ab96f7d FiniteSetsIsFiniteSet Set2InDef AlreadyCombined
8dc6241d48da53ceb688567e4bea57aa8bdc93ef FiniteSetsIsFiniteSet Set2InDef AlreadyCombined
8dba5071d30bb8e61a2fe81e7c01a956b424a687 FiniteSetsCardinality Set2InDef AlreadyCombined
913dbbf6a4ff40832e2173768daa6dffbfcaa5b2 FiniteSetsCardinality Set2InDef AlreadyCombined
a293bdbcbfbd69fc309b55a022d37f88902b92bd SeqHead Set2InDef AlreadyCombined
a5221570947ceda4ea685d31229fc5775954febd SeqHead Set2InDef AlreadyCombined
3db33c201223f66ba4748e9ce8303fe348b49d76 SeqTail Set2InDef AlreadyCombined
b653306fa4bf866bfe46db709539391d7b36f3dd SeqTail Set2InDef AlreadyCombined
1ad1029e1559145ef169a32b8041399d36cd5475 SeqAppend Set2InDef AlreadyCombined
78ebd27b306d65a19fea27198523a957ab4bbeb7 SeqAppend Set2InDef AlreadyCombined