Index

Tests by plug feature BagBagUnion; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cdb41c381c3a5fe0922abf9755e6501cca21fb3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagUnion True Passed
e659a984a9fb7c458f5c26c1b1d667d2bf530490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagUnion False Passed
bcf0bd78d7b55817ab91cdb2392dcfce06cfeebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagUnion True Passed
d4eee404d07ecacca4cb97b844fe648caebeab5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagUnion False Passed
0ee4eca5070b7152741d20298cb8e3cdf75573af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagUnion True Passed
f7af4261a592a35c68333593b1ea5fb9d246f4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagUnion False Passed
85a8abbe5834c913b21cbf3ab456916a2dde77f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagUnion True Passed
acb5c263b6e90a7c2a31f91fbb77a2f19597ea07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagUnion False Passed
5799469a136fde805a90998cb2461afb26495b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagUnion True Passed
2901c85e3ef8282cf6f4c79edac028b6de6cc043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagUnion False Passed
ab160929e63d21399ec9c9a8b22827bf9b09405b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagUnion True Passed
2e0d6848e47e3282633b41dcd52f23732a844ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagUnion False Passed
2cc33665828384eef23efbe1cfd45ca3cb233f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagUnion True Passed
aa2672213ce6bb1095489043ff909ec5a3195645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagUnion False Passed
d1e05667507758e02cdc59b25395e047f3e99d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagUnion True Passed
fbf0534c877801bff1f0d99c0f8b3fc2a7ef0ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagUnion False Passed
1d062d010975de357ae539cb31f604d39b44197b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagUnion True Passed
95134a2f5f7da4adf723e0425f76f200da98a2be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagUnion False Passed
ac7f6eddee8f45063cda4c602c3c97837ef8964a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagUnion True Passed
6b33386a64f0c6425ad2d1cfcbea3929fb5947b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagUnion False Passed
74241d24e0c48a581a6eaeb58a999835e69535cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagUnion True Passed
f32da13c6f1344b42fc5ad56efe0ce539e3fbcf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagUnion False Passed
230caa1183ac5c7e49e36690232591b7ca24d3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagUnion True Passed
82a2c2c46305cb255c1a5123e247b7d18066ad1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagUnion False Passed
6e6ae2361df287483fc14b9852e0ba181f1c7f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagUnion True Passed
34902dc3613f5d9550f22d28c26ac9771480b139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagUnion False Passed
a0fa86111756a6563d3288c45b949a7670eaab91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagUnion True Passed
2d4dd1c01ebd33e88de42a3219fa188101fd331c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagUnion False Passed
958d2bc59a0381b306a8504b096f237085ddc914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagUnion True Passed
2a19a87c9a14fcabada41b02ddfe245fc4ffece4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagUnion False Passed
5e17ae9c8b847147cb905b4a44abc5b4b7d23892 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagUnion True Passed
397c478695f8a4c5f3f98e96faac60625afbad91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagUnion False Passed
a109de0e0c9808855065be11a6034aedca12d5c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagUnion True Passed
61cd8ac506243ba3baf90a96f69e451c8adab851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagUnion False Passed
b37f6c8ed4ed33ce169bbd7cf6c97a019b9ed817 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagUnion True Passed
a3ead6ccc66648b04ef04dde3122e724a4921893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagUnion False Passed
d62d05732fc254150bd468645f8c7a66d5d04183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagUnion True Passed
f05878c72eedca598f4ba7e12c52118536f60219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagUnion False Passed
770fa11718d8f11b191bee3ebe8580923caf7bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagUnion True Passed
d2a0bac72c1e04079b8e4e7eb3efeea1abaf58f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagUnion False Passed
f835351c048c5747498d27faaba7521197676569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagUnion True Passed
f523ca404e23e6b4c140271cf62b1e7cccc2e4c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagUnion False Passed
25f611bf2c537eca4e9e5eb3914ed3bdbda7e6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagUnion True Passed
7f566ff4c35ec9a48fc644a7de8e90a907bd4419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagUnion False Passed
71186c807e7223b4bf8e8c2e115c6418d2c0373b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagUnion True Passed
b7846d1b7a93ca55b7ae5bfabbe3a6f3856b06d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagUnion False Passed
47b61b03de62b9c3edbfd6b433395824d5748672 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagUnion True Passed
a56f984ee8420f9cdca028fd1b1b16c335366c88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagUnion False Passed
b8f9ee8500844d820e35220405915b9e0d7dc301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagUnion True Passed
bad41e06e0c494e1cd6fa0c4228341617c80b870 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagUnion False Passed
87a18e4f14d2e5771726629bb741c43c1b682040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagUnion True Passed
96bd0a4ecf4f35ecdb75faa322a6d28a368c31f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagUnion False Passed
889a7b34fb8bb768cef34ad27039f302b59f2138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagUnion True Passed
d136ce470881a616a33a1f9d343b09d113d869ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagUnion False Passed
894f009ddf080b95c55b34e1d5442e5abdc4083e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagUnion True Passed
ed8adf16e3b7bdce0a26433ab64b4d4fbf878f91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagUnion False Passed
335cc2ce349970b3306fa300d71e89807af8ac9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagUnion True Passed
ff6446a5c8985b5cedf8dbb0ffaf65cc98ecdcb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagUnion False Passed
a930b4d2a20d48c0ff455d5d9ac87c02959ab3f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagUnion True Passed
522e0fcb6c8867a14d3182506c666078a932086a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagUnion False Passed
c562780f8ca77127d193565e695f27ae0f8531ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagUnion True Passed
0415a564c4d5a8f06070db0e33d22148bf995f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagUnion False Passed
b063047d14fd386da6b240d12ca53c4b1f3a1af4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion True Passed
34246d492d7accc0b0a6104dafc32cae11a45470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion False Passed
de1206999eb8304396a7d21bee7683064fd034bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagUnion True Passed
45ab1038ba60c69db5e705a49a7cc9e027d31b91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagUnion False Passed
e83242a54ad3b35d75a715177aaa806b7e6a659f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagUnion True Passed
932e7c2b66f3ee098342adcee5d50c8f8e90939c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagUnion False Passed
f7b90ee9801981fdae3169cd2e21926c4e8d242a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagUnion True Passed
a9271811ee8139ebd7546e37d91937201052b23b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagUnion False Passed
3a9fa00cde4833f8e2ebe85708707bacc4c20a87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagUnion True Passed
fe3903d181488ad7f76340d843706cddeb0568d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagUnion False Passed
65ad7b18d0d9daa706c31f10a969e7934919daaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagUnion True Passed
1cfab0e85925ded39dbf063e24d558365a0493d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagUnion False Passed
2e2c31ef43c28966569feec6484a05813c97a29d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagUnion True Passed
2638dabb2eca15337dd5366a73ff5f545758ca48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagUnion False Passed
3cefd59109595a2721a1464ea351bf14df075f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagUnion True Passed
0e928d03d55d54663c7a4aeda92ca0f987755113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagUnion False Passed
ec1fadf8c1113bbbb008c2236a2ac0aa49068101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagUnion True Passed
eb9cd702ce032a8ee37e165ee7363b0f0e68c122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagUnion False Passed
1e9eeedba71db53349257a69dcc324d32bbbd6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagUnion True Passed
e7f1806b24f68a8f5d30d22ada31a225ecca2778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagUnion False Passed
e03bde99dbf217234a0d6d9d6fa8d2b735055cd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagUnion True Passed
04af59c33447c0bdf91e8dd3411d66c3d8829f98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagUnion False Passed
f2cfa95b98c5906ab0fe36aba0ba34a533d54a35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion True Passed
cfb8efa84f2fe00b1c69fb8a833fc508aa585aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion False Passed
d9def1bf5052b0a2d6885f77e8ff571448b9d969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion True Passed
b51794c653dee1d38a74b8f0dc16096424b8c8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion False Passed
d299bab409ec2265c6ed913b2572cace6f337e23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagUnion True Passed
27bec52b48535f97bea0022d5ce630b99a70e2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagUnion False Passed
c4a5b216b440c5ab88de3da3f35b5cc69884ba1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagUnion True Passed
e420caa77a87d8d2bda22c7296b8200d3115cd7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagUnion False Passed
b8406a538fd046d39092886a3f15b38dff1d3f9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagUnion True Passed
c31249a41392e7696b6dc7f6949473749e9558bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagUnion False Passed
6307da835206b35bd20756924b731c9868f9cd56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagUnion True Passed
ce95d64cc51f369c47f6792e46bc7f64460b9c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagUnion False Passed
b9719c9e31620fadf5bfe2824e8fd99b71da96a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagUnion True Passed
25698eda85004ce0d08d010fa9cbeb0e4ab58d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagUnion False Passed
cd2f3d6ac65489042659e4c84c68fb447bec4e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagUnion True Passed
9ca401fa32c6a9aca1e3ae3b1c3e13dd9e975e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagUnion False Passed
a07c1395a2c88c14a8c9f852e76092acab34e8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagUnion True Passed
14e92806a1e91a1304688c868107e4a9109f09fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagUnion False Passed
b1eb0ee29af0d193b5a719fb6a33524aed577545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagUnion True Passed
c3a2919e1ae2b8c5f444e441bb3b87ce14ec1c24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagUnion False Passed
13596ae2d4b42260789384f6613cac3e6e4d73cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagUnion True Passed
a4a59d3e17592a3156ff4006159bbd8d8936b04e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagUnion False Passed
9b4525990a8d755c7b6d0eccc3ba8758d4e8ba6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagUnion True Passed
f7e064cf27badc7c2581a60137390c7ba573eb1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagUnion False Passed
7298398a679b47621de2803f9b478714cbdd31ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagUnion True Passed
ee788776a071e9f2f1db316ee1ab145f370b45b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagUnion False Passed
a7ad4eeb20a4e14ae509908c75588ec327b8caf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagUnion True Passed
ff7312570f6d08aae388a85d10b3213204cfbc4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagUnion False Passed
b952443edcb6ed467b4e226e4a817ed92b4c41cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagUnion True Passed
96372dc7b102e6f4eab3a4f3e2fedd3f1ee445a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagUnion False Passed
145a3f2b002573d20f2f785a8189b08c85b7ee77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagUnion True Passed
b4a1694677c0f668e04f1a3663df9e8e349008de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagUnion False Passed
c3522b2b40e60e821a2501773d06fa2bc5f8af89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagUnion True Passed
ebc53c79ed6e0c186e48fc8a251cfb2e6f06e4ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagUnion False Passed
20bca7cd038645ea5af730618d3474376de5b144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagUnion True Passed
9774e0deb1a08b6d44382dfff594f48b99c2ae58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagUnion False Passed