Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b70593dadff61cf6da6f1fcfea238e03665a0be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubBag True Passed
a575d234615eb3735484dd835d51a1dc479d8f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubBag False Passed
00a513697af5af0cde8a34c807d91802b7a85a4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubBag True Passed
c181d1a68846b1b677a97f320ff96ef70df41077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubBag False Passed
b90fd524aa02630f5ce3ffa2731f049ec43bb1d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubBag True Passed
658d699ee508ae3594260bf59428764a261fabc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubBag False Passed
72c829bc362f78f935623b97d6f794445e00e506 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSubBag True Passed
06cac0b39e4544536019132d19bb6082df5b4064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSubBag False Passed
335593aa5855c31802226fff119b861a58d57e75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubBag True Passed
16e83e12d9429fd22de1af0027577f3625a74721 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubBag False Passed
64bb615cf4e20580848c59d62098e5adbb08bb15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubBag True Passed
26d7f0cae46d613512a41b60231e9096a44874bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubBag False Passed
07f4774d646893ce8f93371ddb3980de16073dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubBag True Passed
ec7ccd7795a9927ade77cc32b22aaffa339d48ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubBag False Passed
65ba790e1bbf169433603cdb477a27f5b8735858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubBag True Passed
79bdc7f2df2a67c94f0cf6f19183dfbe1de00039 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubBag False Passed
79c96d21aba73df598a672a12d0859275732c2b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubBag True Passed
5c5756229e0da24861b54ae833ba4cc43645d89a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubBag False Passed
84d87d040a8bf840bac943d4fbfd6abc72a1d451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubBag True Passed
36d5c6da787822a296b37823a4028a2d73766a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubBag False Passed
ac1c2c81900b257dc9980bd5ecd629b1976a9a25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSubBag True Passed
4d7a5344c2e6f73025467959a285268bdeaa39e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSubBag False Passed
2c982a387493bfdb208fcff0ccca5e01da48fa0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubBag True Passed
1854b62f50087493ab42fd59cb6fc1542d0cdc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubBag False Passed
16bb32ebb839961d897c9fe63e58406a6bcbac6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubBag True Passed
b009852120b30f5e76e7c9bf252be08620e9945d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubBag False Passed
fef09151484c0529513535db31fa32caa8126f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSubBag True Passed
380b55f1fc9773aab033145e96b7df06f5f87fbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSubBag False Passed
ad479fec41f680224d5474b00a42dfe9df11916f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubBag True Passed
2ffcb04c84639298a19e216a2c176e899b567fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubBag False Passed
374e5ad9436a9742120f4165f5cb8a5b096a8fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSubBag True Passed
7424fa765101a4278c18ee592f5c41d859e519cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSubBag False Passed
58d4ea36aac52a552a2aeae284227d766264b6f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSubBag True Passed
9a2f211218007f3513d2c415d8ff6eea59b76b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSubBag False Passed
d8d3af6b41e705ad5f3251e6de8aba3c692186d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubBag True Passed
098a7647be02fbd718536077b689b48231af9ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubBag False Passed
27bf126f8e9edc7e7814a17142f16424a48b064c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubBag True Passed
4faa9fb3874f6badd99f57247e2942f65e1cb5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubBag False Passed
68a5cb091ed52a8184f120fb2cc01a31a3cd0c59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubBag True Passed
780ea13b34275389fae7826635c00dff1ff7f8ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubBag False Passed
b7b01ed4e7e6b7ec2525217ce6ce708253ff0642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubBag True Passed
1fc4ff1ba96bfdb4e7cf9f591e0aa3de02cb66b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubBag False Passed
7587ac72cea7dd0490d250de04639d943d12e00b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSubBag True Passed
088ab408d643b2e69451cce69f6bb13cb5c47a66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSubBag False Passed
5caac98e4e9895143139b2218eeef99719d7bef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubBag True Passed
abf56f3c3958360cc80803f481ab55e69dad8a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubBag False Passed
e785f843181db21d35e99c05e91fb3d7eaa06cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSubBag True Passed
2696a2186031b970dc8dfea7fa3fe2a556961eab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSubBag False Passed
a42df8628fe04b19b0a1b47a568e51d211bcc438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubBag True Passed
7b860f9998e70fb48e5f1c8a9b009682131bfbd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubBag False Passed
2144c75fb32914dd9f4b0d109e47599f8317592f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSubBag True Passed
90767e6c868915881ab64d9b16c158d79b704491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSubBag False Passed
080e1f66010c0a3c00868a6c6eeb786abfffbf89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubBag True Passed
27e63ea9918e6229d947a79b3d30343240ad4be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubBag False Passed
908be63595a43f07fe75ec04ddb08d05d5ebcac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSubBag True Passed
db5090733a63b967d6aa9a52d6ee64a74c2f6724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSubBag False Passed
5a7b496260ce5ca9950d02bb18637d866961512d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubBag True Passed
8bc4a6c922b500cc2d95c29787e33bdee0c1b84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubBag False Passed
ba0cad2e66b3804f50a815121145fd58bfe5a3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSubBag True Passed
196229cc23dad5294ff62008dfccc47f01f41723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSubBag False Passed
d71b043e0216717afe7926271e3139fe15db6990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSubBag True Passed
292db3bb55799f028c00bb81d9c706ea41916599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSubBag False Passed
a614b507ea6b018f7fa4147561550cb81ea9cb8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag True Passed
c0e698ce7635f6e9cfe38f2e2ee1e4058384bf8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag False Passed
4f94390c50a4d1f91de88db960b08b5c1745ad9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubBag True Passed
3f4c5e1768a36c2c8138164ef48fd22f51d37118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubBag False Passed
83507b644d0323806f28ec57d71089a6e4a66aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubBag True Passed
26295c3efea68a78bce45850e0b1e7356e79e125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubBag False Passed
31d19c2014b7a4113733b2816bccb5b44f74a9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSubBag True Passed
5c8f0d04cd62f32df659fd30a49babf2afdc5333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSubBag False Passed
e4c67e75f94e4eccebead878eb4734e3b3ba74a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubBag True Passed
2b7330dd64b70a65db789184a37196259f066429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubBag False Passed
fc49ab667ce3ad1cfdc17068e6e59bff411fb0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubBag True Passed
83647aa5c830d565947352e774bbe8ac8b3db9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubBag False Passed
77c43f0a565f00476fe34f33d6cd579dde0a1b71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubBag True Passed
8e27d2e25ac33da122bc4bbb8172b457ef23ad7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubBag False Passed
3041f3ca41633ef5cbe83784e0ef1523c55c9a38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubBag True Passed
bfc8a6d2ac34ed37a486a1dc0de20012ee50651f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubBag False Passed
1e601742a8c3a1ed93c17c4e0cf6d00cff45b797 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubBag True Passed
dcf699d0f62b6214b63abbd7be236f560bc853e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubBag False Passed
a2334079e8bdc4b0260533a477587af65120e22a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubBag True Passed
c59b14a57324afe90de04146b62bcb6b17e12253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubBag False Passed
695c2a4f19d2c431e09734de9e2b397e952e4722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubBag True Passed
7bf298626230f32b3c1d1dcededd27f01d5f69bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubBag False Passed
58c7311ff5aa61bfadf86833e12151702b0aec0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubBag True Passed
ca14566ae40869170a41c2962009e594aad10eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubBag False Passed
3f6b9c8e47ee5012982f67941c51cbac3ba4ad8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag True Passed
5377e275a0750f03cb98f00e5451fc8493247e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag False Passed
fb1324a28b9560ea75da18da018f8cdbb3577ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubBag True Passed
2306d76964cae9f2c0958e4d0f55c4a97f66c94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubBag False Passed
1e3034279e303917d24884fab47907fecdc5faa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagSubBag True Passed
06631035c37fd06658f04916889e30e29c361c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagSubBag False Passed
d764f05c455cfda7e45d5b8d20d254a12062b833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagSubBag True Passed
e1f9af0611381723d1bb22c9bad0df1f69b2e555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagSubBag False Passed
a608aec8162b65f401508c27e2dc9f88a57e4c30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagSubBag True Passed
1fb9d7d9d68e61fee7127372c39852dcd080e0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagSubBag False Passed
1d96621e82fe171185b0e0cb3b3402bcf9b96abe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagSubBag True Passed
5aaa7734a11c681223f43ecd9ff082562f88b6ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagSubBag False Passed
cbcbf0f8aaa3b121278e5447a475624852497053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagSubBag True Passed
78caaeda55b9db47e852c424e221a6f663b41e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagSubBag False Passed
b09e0d58e9ebdffed268f679855ec81676e82986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagSubBag True Passed
5dba1e57ee98c8c4f2383e1507b6bba487c45e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagSubBag False Passed
f8d568f50c0ccedd955aa02a5881eae2440a5e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagSubBag True Passed
ff884e3ddd7f51910a2f19be986e20a1b234e135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagSubBag False Passed
fdcf8616980ee9bb8717f77d607e3662f62aba72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagSubBag True Passed
f0eb9b77c27233fc393190a21ff7a9de9c3d604b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagSubBag False Passed
018a65e20062e8f14477d73b0eca13a5c9ad819a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubBag True Passed
a5e781084305a57703f43a6f79bfbd8d0f226e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubBag False Passed
9b01a83fb745ea1f28314a87a1cbc386d392c9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubBag True Passed
b52af97eade4ed2ebae8697fbe7eaa7a06a8f84c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubBag False Passed
5445719ec7dbddbd8ce84b8f08e77f7932e24ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagSubBag True Passed
591bf185d46bdf614227f22e83f054f48c6252f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagSubBag False Passed
6e8e03bda2238624f4b1da6c65eb38e5fd299a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSubBag True Passed
5e3f95160e388a25f174ed55de3415a554dc278e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSubBag False Passed
6ec1a8a2c905fbbea1424b680677d3e9cba77a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagSubBag True Passed
569b1730fb6d3703c0b9bfa25c9d45f9fbd84e70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagSubBag False Passed
9ec12a5363aaa01e2a85c493c4033a967cb96701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubBag True Passed
61533dc851f470f414b7f37a82cc0fa479144a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubBag False Passed
3e48cb804e4464d2200f20b92936e26469212f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagSubBag True Passed
8588e1bd60d1de9a05fd17f39c2e22720de4b126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagSubBag False Passed
40a912d306dfdad9eec03cd474ef101217ae4d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubBag True Passed
db2b24c639fec8e5f5eb561d02599520c954adf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubBag False Passed
8cd6217e6fd25d158df869b2ac08557726b1a4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagSubBag True Passed
ec1a583f26ad175b304796b98f827376e32a8d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagSubBag False Passed
d77677d3298672dd0ac059ea154ffea252bd8647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubBag True Passed
33811c8d1c93a3d79aa8f7a0d68495c43ad6440a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubBag False Passed
86a47ef08ac8a1fec913814c089f3ab465b7f716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubBag True Passed
5a486c17c5831cd21291be26bb1a764b98d352dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubBag False Passed
2e227ec2e3db5f07ecb7d87a2f4df6ad65616f4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagSubBag True Passed
5722f6943b09fb44ee69f1b937bdf55581c4eed9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagSubBag False Passed
04a5ffc2c9c11820cecc001bf195957d1806cf6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag True Passed
8fe1464fc5f7b680b6687aa4f3d174021c8bea48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag False Passed
83e7850e1ffa8ac0cbfc4e20162b9c7a49f69f64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagSubBag True Passed
7db979851429c87b3b6a05773234aabaeb05a0ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagSubBag False Passed
4e3cb7a217764bce2e45bc7567d96175f2c4ac70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubBag True Passed
6534bd1e2182612c59c1e21fd155b7b6ce6de498 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubBag False Passed