Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
52339e1582a449b4c6c5424f4bd25de334af854c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagEmptyBag True Passed
006143f3844c548c998c3632eb75e36c07e8011c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagEmptyBag False Passed
b4ec425ba28744012f050e91762e9e3d418fe1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagEmptyBag True Passed
a65486a56f9e80ed953d1eee726029a2c3f18e68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagEmptyBag False Passed
d0de8b234e13ff1aaf38e5a66ccdb26570d343b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagEmptyBag True Passed
b927314d6d45077465589b125bdd6e1e8e3e1771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagEmptyBag False Passed
648d69a7de484159dfb8e7a8fc7a6f51868a1b9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagEmptyBag True Passed
852f4c55310cd3842aea2a194e839767628500ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagEmptyBag False Passed
a35f90d346fffe172cbd0fdad23e0a640ddef5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagEmptyBag True Passed
869ecb0ea1789162c21619844b03d657134d2094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagEmptyBag False Passed
25f76e7e3b9aa315679a921f7ce95eb3308d9a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagEmptyBag True Passed
38261305135f54af22bd29b52d6c3b66c9e1a3b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagEmptyBag False Passed
eb545638c2208316472fa713eed834fa360d236a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagEmptyBag True Passed
32e504ec617c2a5afb8029e210edfe5d98f00f14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagEmptyBag False Passed
1bab8be42cdda9126d990e017b2e83b2c80ba0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagEmptyBag True Passed
746678354d3744ec4caa85f50075a415b4ae33ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagEmptyBag False Passed
51b28afd23ee6b430f30fe05d2f10b92e1fb5da2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagEmptyBag True Passed
f2d6ef81b45d7b42f7bc804809f3ac76c72cc76c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagEmptyBag False Passed
7f4288d4e9c59b79f6057d8012707ded73923dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagEmptyBag True Passed
03d4f278095b1680160b6ff972e4ebb7689e620e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagEmptyBag False Passed
25b0cde18637d5ab675bf874db2674c7119c18b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagEmptyBag True Passed
87dd9236f8bd813699e181cb1beecd7886730e32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagEmptyBag False Passed
e70b1956e00a0e9e3eeb75e62a02068ff15cb5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagEmptyBag True Passed
9b5f7937fc637b878074639d5bb812d747089a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagEmptyBag False Passed
a23790fd79439092980bedf690fd60b25943c7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagEmptyBag True Passed
c2dc40a0b5e0d3c00d8965003013877c470999bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagEmptyBag False Passed
649e7022ad873a4b283e0c175284d5f065d6b7c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagEmptyBag True Passed
5a1f398ba59516c6ae3c011748dd48e66f9a6b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagEmptyBag False Passed
b468e5c35530eaf5efef5c0ae56b99c00ddbe050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagEmptyBag True Passed
a4bbde5fbaf9baa162fb7e0d91ae54012b12b6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagEmptyBag False Passed
a277af86e9d5efb93374fb84a029cf0101f3b30d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagEmptyBag True Passed
659171dd96d4f677475a0a70494aee4c9708c0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagEmptyBag False Passed
68873fc5d635ea4d02ac401c7a2f0a4ce8b45a3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagEmptyBag True Passed
d62696ccb83992219f032f9f9644ffb59e873bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagEmptyBag False Passed
997692ea40c3b56c30ba43145ccf66f7170ebddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagEmptyBag True Passed
3bd02d274c8a4b1aa0de0e80588c7aee12cfaffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagEmptyBag False Passed
dd5be9e99250b2db0221a58293680fa3a8ce9629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagEmptyBag True Passed
bd8708693f436f204d5f36bd2ff5f24c9b0542e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagEmptyBag False Passed
05b426d98a74ae673d771bb2b09883ae22983321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagEmptyBag True Passed
56489e42bbdb6be9259bd67887e7f4c88c896884 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagEmptyBag False Passed
8467e0984ae227ae88cd2862f02bcfaf0dfa4577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagEmptyBag True Passed
028e8bd8fcd2b5eeb0c306a65a4d0f46e5c7efc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagEmptyBag False Passed
8a2522b48d619715b89b3b22c2edce17ba4ee092 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagEmptyBag True Passed
93c84ad5ed1c3a7d8a716fcf0ed9421708b50d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagEmptyBag False Passed
7e90d46ba52bd6229651f49effd7aef133d705d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagEmptyBag True Passed
00b9c53978e38155bb5f7382a6c3e391bdf8ca4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagEmptyBag False Passed
8c12eecca1e94785c8a42eed9249286ed195ab76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagEmptyBag True Passed
f54e229da3bee55c3b8028ce05dff5e981e7679a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagEmptyBag False Passed
b346c1b134c1df6fbbbb8983c5a77dec9bd3cbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagEmptyBag True Passed
43df8112c3ec7dda7a2520a98d176e447d2edf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagEmptyBag False Passed
0c5a5f18df21486b5a6f9ebda17005dee93f20c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagEmptyBag True Passed
253c77cc16afc0f143f7894f975a3898aff3ffde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagEmptyBag False Passed
afc1715f3762f767834e64a9cc061f73d1c11514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagEmptyBag True Passed
acca215b972084261fcad0e84765831eafc81072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagEmptyBag False Passed
95d9127b00cabc02467e3e4f80d8136ec787d1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagEmptyBag True Passed
26500273b31c4e644792f295c6df1bd4883583c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagEmptyBag False Passed
c7702336cd8b851eac67241fc319821644654370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagEmptyBag True Passed
c1ccff066a0d7977e5ac03ebbe875444f4ecaf3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagEmptyBag False Passed
30fe79718ec76be7b80c31a763b51b1080afd961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagEmptyBag True Passed
59cbf2766bc806ae6fd1f0225e61abf5fe931946 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagEmptyBag False Passed
d616d6d9484e241c7b5848cf66fabe3123b04cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagEmptyBag True Passed
7fe531d1b5541db8c55febf46d5d9f67847f045d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagEmptyBag False Passed
e6a41077192b6cf2147d7ac632a1d0016d543d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag True Passed
f21ad02a351f0aa6f099642bc587920f10d4d3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag False Passed
ab2b8f0642413bced21ba233ad632b21d9cdb940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagEmptyBag True Passed
c925c8e60d0810f678ba40d5f7a5eb307b17ab05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagEmptyBag False Passed
ee994a26770f3ba4c416d1ec9f4d0b88a1c1e1df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagEmptyBag True Passed
7322cecb6cf84d1a9709402ebb9a88ff555e6daa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagEmptyBag False Passed
1d0fed77a8487d0b3e7795f218a6019a572dcd5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagEmptyBag True Passed
157940891e206a730bb3b4359adf11f40f992061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagEmptyBag False Passed
3ac896a8e7a1c0100dd74fbb5dc7f3ba57210019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagEmptyBag True Passed
c1dcddca4d43ce4dc96cbdfd3b69abb67d1e6346 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagEmptyBag False Passed
a3a17ecd8930a9fb45393d2155177f586ecea0ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagEmptyBag True Passed
6d59de086800fbc6bb61e11fd9143804447a3ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagEmptyBag False Passed
cc9c96c5727fc7536788c4c1a482e773feef678c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagEmptyBag True Passed
144ed62dbaa2d4d31b430b8aef6adbf472dedcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagEmptyBag False Passed
86148adbbd5d62068ae0dde76d95fb3a115e9481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagEmptyBag True Passed
da8aca17916dc02ffb2d11c352ff250242fdc06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagEmptyBag False Passed
96e6aaed7e5018bc0d6cc5c3b6faff89fda3b806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagEmptyBag True Passed
2abe59208c4a2d796076d8a7281970870b6776d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagEmptyBag False Passed
7e50217014d4f48774df5aa044a93e7476598aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagEmptyBag True Passed
66013bc1c381a703416bef91f380788dd383e357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagEmptyBag False Passed
d360e43b6340d08f6331faed04f9b3590b776906 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag True Passed
7c2ad8cf2a7193123c1ba2960b4123a447c417fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagEmptyBag False Passed
2cbeb7e5c390435c7e8f053fec2ceb4615029032 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag True Passed
c2f947decd8e716868927c119fb73c95af233407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag False Passed
1485acf443dbea9c2a64b52f79eddcbf9b3a53ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag True Passed
ccc3518df67a96f3051d761dabd6f2394646460d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagEmptyBag False Passed
643511c26b8a053322a1429399e86ae340cf0d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagEmptyBag True Passed
e45fb658c8f25d64b94c62ab04ccb549f6cd5123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagEmptyBag False Passed
67542a23f9160dcac3452eb379686037413097b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagEmptyBag True Passed
01b10e5cf4a7266a9884ad2894feb31e72a6a438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagEmptyBag False Passed
7724433998bb16df5277636790807aa313c39626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagEmptyBag True Passed
afc897055e58aa89a9d8d13c5217c8227cf80f55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagEmptyBag False Passed
36774dbd4c2c6f747ccfeeb2be190644154ce107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagEmptyBag True Passed
0e98c2f888697b0fa356f6c990cf795c4b561d63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagEmptyBag False Passed
eeb9559323fc60b51ec302939492dc5859f34e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagEmptyBag True Passed
bb43cfc46b01801804f3b813a9989f03f0e33942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagEmptyBag False Passed
d08714cad6f0e8f1af7b97e5fc185ee5cbc92cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagEmptyBag True Passed
10f5a177595186088faeff1738a2927bc209a1d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagEmptyBag False Passed
032bddef59c11bf8a164ed7503f19632b306b57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagEmptyBag True Passed
ab5216c893ebc9bd02b00e51b52370f6b2ebdd8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagEmptyBag False Passed
5e26ee568a9ce66c34eaf3ebff2bd856eee26392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagEmptyBag True Passed
f998cfb55d8f310b0d62e563b47fb8ff7650ff94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagEmptyBag False Passed
264ef780e926b6b923641c92af74121f0ae45c38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagEmptyBag True Passed
34e7790345c79dad97da5f4ccb3002f7936af617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagEmptyBag False Passed
228b780cc499135295f4d78751d0c109810047f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagEmptyBag True Passed
72bcd06fe6d6713b5b0f87bccad591e256fe02fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagEmptyBag False Passed
c89a7e1cafe2b1b97edb290836f8dcacc4d4c171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagEmptyBag True Passed
4903770e775848abd92d6450f583668afd616e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagEmptyBag False Passed
75e3706ff0ddfc802b58d0a49c40359a309f37ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag True Passed
faa78280c86d0c2b0aa712b47af4870c0796982f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag False Passed
31b10f11585762cf6f14a97d84fdb537d1e87751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagEmptyBag True Passed
46c15bca53841c020e11eb1b6f3fe095566e1e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagEmptyBag False Passed
f1dd95b0f776b36df5a64e745b887472d6652d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagEmptyBag True Passed
c657ed15e5992d4935964e7b13e91b63558064e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagEmptyBag False Passed
8ca29571ea238e0c4095ddd4289aa8b1e7b63195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagEmptyBag True Passed
ffd7b2ca844c63655eb925828a4eed9bd57391f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagEmptyBag False Passed
3d63ac32014dcaedba4716ff212c41b2a36058c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagEmptyBag True Passed
c646ccf707ed6184f9d7529f8881032df9565f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagEmptyBag False Passed