Index

Tests by plug feature SetUnion; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1a3b84823230db238b9ed5b73176b0a8846651db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetUnion True Passed
02fc9c82b1c45de00eb7bbbdd320d83d1fa1976e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetUnion False Passed
cc0532cfa027a675c859e1d0ea69f54127178c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetUnion True Passed
a501bf1952b3a452cb72446b5180cb2e928efc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetUnion False Passed
32c524277b7d1cf352b6e395182f75667ead874a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetUnion True Passed
b6bfc60143d8a865d940544ea3d4fea3b3da1008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetUnion False Passed
95dca9d65840f9cd6fb881c3495986f5436aad2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetUnion True Passed
05cd4ef27a3891341808e504f9e95b8451647b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetUnion False Passed
a7049b4eb6d5741a06e4a2a5184f7a8948c14d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetUnion True Passed
5fc245a4b496a6446c6c0915da9f01052f9a1fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetUnion False Passed
3a7058e0e81d4810ed104f1239feff1b2c0a7dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetUnion True Passed
d9a1838a90d00178e22481be1334303c41491052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetUnion False Passed
bc2a1f8de45de1dd4bca1fb2ce29593f728eddfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetUnion True Passed
94f263450a973bcb690236853b3f53ab6342dae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetUnion False Passed
1b25c4630a4a91995fc38e1f7bac4f9e0612f3f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetUnion True Passed
2555de658b2c3a0e98523a860555c72dad97c57f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetUnion False Passed
9041c92dda62969492ac3cf773d91c8300aa91ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetUnion True Passed
d27e911bcf379827f4dda4eb27a77a8998bdb2a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetUnion False Passed
a9d217c3e3a2c10a240eea2dbef36232b2672716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetUnion True Passed
a11610b1b6c8c9e6e8452e174a7b3dd5a6b02f2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetUnion False Passed
0ead108a151e70d9d32f79a6eaf445877924e78e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetUnion True Passed
0d9d050f5d4fe8520567021b2462f8c9660296d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetUnion False Passed
b170e5a36aeacc16112466e4b69edb6b0a95cbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetUnion True Passed
6991c72729eeee6f516ab1bfb638abbe029e364d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetUnion False Passed
13662e687276350c4ed7cee6317de4266750cc4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetUnion True Passed
c87e01f7dd857c2b77fdc9f630c231dce875804b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetUnion False Passed
15f8d2d6434901933932001c9df3ef608b6a8646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetUnion True Passed
25b4088d2cf0cae40a2589f23ef27cb075f06bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetUnion False Passed
de5eb80c8d045d07da5eb320855f4ec76bdb3da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetUnion True Passed
e205c028353594e994a890dd32a0f51c3b52f4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetUnion False Passed
efe155227df625c44bb54c11207288f35b07abac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetUnion True Passed
206f2d6f431b5c41defb61f5a2fec2b1ed37a941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetUnion False Passed
e6498e38a6eefae19eb91d0ae8b64211ed916b6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetUnion True Passed
aaac966b4283c1c60a2dff801f446c197205cfc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetUnion False Passed
13f57df81040c01ed01edabff7fd45caf2dec6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetUnion True Passed
ed850fee5213d54ed11f50ab5615634d25d2029a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetUnion False Passed
7c55d42af876c298fc377d212fe01019c423e968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetUnion True Passed
5e5a9eb28ceb2f85c0bbdca646b74a0c28b088b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetUnion False Passed
f5a157782d38a8371cf4759744e5cd5db7f4432f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetUnion True Passed
b4f42abae01fd5ec8e0a76895d9530d69dd07723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetUnion False Passed
740b1a54d52ac913e8b56efae5fc8abdfda9c198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetUnion True Passed
263c928708e0f410b5583bae661644771e6efcea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetUnion False Passed
a680250adda474a0358fbf176578dc95fc328611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetUnion True Passed
b6ce59fcc7682d4e542f4ab86229b8efac7c184c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetUnion False Passed
bf9a2e2126adf4e24adf9ca49fee718b3e29d7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetUnion True Passed
e38188e3799590cb463bf8e256dff36bab5affda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetUnion False Passed
ba8625d70cf583dfded0fb508b3b49c394d86774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetUnion True Passed
a82b415aeb659e23d15651d29b81ba303b5b7afe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetUnion False Passed
559534dacb785928be6c12fb6934759db848c678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetUnion True Passed
5a4b22dcc595b3f862f74b0074e69706265d8766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetUnion False Passed
62cd5827b2aa6291390dd4ccfb10afc28a861432 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetUnion True Passed
d7accc752045471c475d56b3fe99d7d956389491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetUnion False Passed
f3581f28804fa7ba547e6419e5687ae1a7c32093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetUnion True Passed
c2529ac9bba58fb271b70fb76a7a8b15840d7400 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetUnion False Passed
61105d35008f01a549d7bc2c2b64a53f6e691d24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetUnion True Passed
629bc2f43f94e7b33c6e74456939ce12af0b3a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetUnion False Passed
e587cb4be0649c6ee066fd73bc83a6dfd0eae3f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetUnion True Passed
a10c414ff7419aa9f00fcf29cc96154abcca7f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetUnion False Passed
af1bc674aa424a9a28214fd40305854dcdfdc82f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetUnion True Passed
64bf40ad995c54847916930f0e88c1941386db6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetUnion False Passed
8b066767d6f59352d09254ebd6d0ad6946199365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetUnion True Passed
a1076a3f061158b4c982b4eb8c07f9ff41c05215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetUnion False Passed
89a47b737bbe4c8c4fde3f35c299de34523ae8e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion True Passed
4db670efd7a4e1ce6c647d54636a7445a94f803b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion False Passed
4ff2f274a8d0230cdd927b667679b18afcbfdf18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetUnion True Passed
e0ea1b81b08f8e1518309c65de9006e9722c1006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetUnion False Passed
a50e023f3b8ccd6f7888ecb9228ee98f90624652 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetUnion True Passed
54e6a87109c944dea40a802ac359a51296e33d46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetUnion False Passed
5e4208f22d15efd10e71d01c5b1775640fe27918 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetUnion True Passed
c633997ba207b1563f99472ea8d8ce77b78e6001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetUnion False Passed
44bea61abdd63273b226f94e0da35f054b2055c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetUnion True Passed
a75844ea49987959b06867897c4a396b11b6df39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetUnion False Passed
d5e962780412dfae35dbb533883812ee9a00fabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetUnion True Passed
ef13e3f1deb87fc6a497d32e47d47578820241af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetUnion False Passed
185017467860b6725a7a385cc134eb42571ba053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetUnion True Passed
c6a575f29f5308fe2652b43d2e5bbc2d872f5163 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetUnion False Passed
25c86247908fd0eb1aa58ea06961f9260a7e0e0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetUnion True Passed
62c94d7211199417654d5e3212863f971c4a3ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetUnion False Passed
ddbacf556f69fab27770526960b1be814d118e02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetUnion True Passed
36bbc5b8959b9523f85c5e042d7ca8715c7e715a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetUnion False Passed
81fb1904784321f51ccd33b5c9ff7bfe3baa02cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetUnion True Passed
ac2b2e190c5480704b4e5623b99f40f815ab4156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetUnion False Passed
e0f57aaeee33e583a6034e246677ec43ddb1374b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetUnion True Passed
80d15c770e9ff8a9a27d1a122e4e7500182603fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetUnion False Passed
f89801117fb2d911bcca9df7e75748eae13fbdcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetUnion True Passed
261326ab035ec1f1bd4bcad248475206fcfd329e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetUnion False Passed
10a786939059781d9067412748e2ef0752e5a18f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion True Passed
f566ea687743b522ea7029fbf0bfafa7ed01d7d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetUnion False Passed
d6316ecbe4f16b41d99816e72d7d78fb61f68110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetUnion True Passed
c493a03ae7edb8dc7273c6346adcd15e4d3c703a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetUnion False Passed
d271387ab46e0842f510f6c5e80f139ddfca6b4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetUnion True Passed
c3b55e37721707cae340ca2dc2cddd5cd71af7b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetUnion False Passed
44ca94bc59102c51d7ddd1e1abbe1317daa52619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetUnion True Passed
59635122a9ebbca6bcdd47c8278406ae447bf39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetUnion False Passed
c35ec66b0e1d122ed74413c28676bac428cfef57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetUnion True Passed
e769af79529edd359b9a162ac154b2a56580cd3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetUnion False Passed
c6d07afc8b7f26853c12eef0a5950d9d7ac160a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetUnion True Passed
3bbd58e77541685af520981c1891c423d834e9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetUnion False Passed
bc5fc75bc454046e7f154d818936844627e874a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetUnion True Passed
78ef39e12d63ab4a08dd5d6227a9bf90bf169a0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetUnion False Passed
853ef7d8660d86322915701342f3db3786040fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetUnion True Passed
1a6b30a097073d82a7f316271836c941c7b87d88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetUnion False Passed
57b03e041220330c1c7902ead4e9c14473ac7f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetUnion True Passed
2ddfca51fc4e6d5351d0b25461d64b2fc3c000d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetUnion False Passed
ab6d68c2cb0f68a80f78f945380fedf3229c6783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetUnion True Passed
fb43445df28f367d406b2603a8bf2c9f3c70201e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetUnion False Passed
3bd8c1216e9f364c84e22f1e54557c345b5970c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetUnion True Passed
65ac96a26a1d1232acbbd03aa865271997f04b74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetUnion False Passed
1fff29d9b76c503e619825450410e405f02007e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetUnion True Passed
d006b69a9b342e1021159a72b2aa72b8db4fc66e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetUnion False Passed
6b781beccf5997d6f9b101ee481b26217a4a0c71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetUnion True Passed
84c654a75d4e1485b5caa4ca39225f7a558bf43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetUnion False Passed
8f450fdac5b8ecd3e991b9acf148e8e0948d2ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetUnion True Passed
2ad472f3361dd4ec11f31693aecd29b18343c01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetUnion False Passed
a1cf3b5f0b01985845f81d631faf6d7e93f5cb72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetUnion True Passed
cca3fd7e25438f53515375665fb74ad3b3def1e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetUnion False Passed
4b5c90d1ac83cc273c03e31b4ef751ff736ac777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetUnion True Passed
43de0013f1414e5b09631321f12210710972978c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetUnion False Passed
b9bac57eccd60daddc79b1e06edee03b88c080da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetUnion True Passed
753297840802a0d158dfc2a02a30b21ac7d0d5c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetUnion False Passed
826d829e5672e262b637e976928552ad0e286e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetUnion True Passed
69ba3eecf032bec2f946438cac2992948d71fd25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetUnion False Passed
f42b08c85f89801f929d8ffdc9dcbfdc968c4497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetUnion True Passed
3d286c238cfdbe90ddb1daef7243147eb84917e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetUnion False Passed
0ebe4cacad09760a0b0d284cb9a588d6aee1b615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetUnion True Passed
0a652e559b1d75a6cebf6c749906ff5cb098ed60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetUnion False Passed
98af9c874aab746e4eb2c412a236e4df9acff6ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetUnion True Passed
876c66224fd5e4db950789f1ec85e51a91cd18cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetUnion False Passed
f98a73fef148fa778f703032c2294bcaef157ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetUnion True Passed
cc5fac6a7af42d454e8a7902eb07fab773144381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetUnion False Passed
1fd25a87f9cba8230a2f916aab7f02ab7d1ddbb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetUnion True Passed
76586f02694cf4ab1b89c9fb18279c44c3eedde8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetUnion False Passed
2d22bf2163f482a37c780a1eeb491a71547e2b12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion True Passed
eb3ae38141a44fe0c0cfcee7257e8fdffced038a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion False Passed
78f0e8aabf8802c68ac0618529632bc949224cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetUnion True Passed
b6723fd4f4c5b9b021f1ae49b32d242e8c0f4aae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetUnion False Passed
1103d13406e3be4af37e33c1490c1af458141a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetUnion True Passed
49fe0bd780cf1af19440895c0f5dab24d853b577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetUnion False Passed