Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
452378359536c32c6944dbce0ea9d87fd3d5709e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagOfAll True Passed
4d68a3a0f6882ff775a306ebce9ef229edef7e34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagOfAll False Passed
a854caef3f951925bcc7622995eb9b6662f6a41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagOfAll True Passed
ab185f171d474d0b6d591c8f976ace1f6dfccb91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagOfAll False Passed
5558221cbe08fc9a31d10670972c292c26b5c487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagOfAll True Passed
0a2faf7bf6aee9e56475d5174db17cc54e429f37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagOfAll False Passed
79cf2ecd0a8970346318a47ad51e5fec3f8eda3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagOfAll True Passed
3e8a6c9761a147e525767bc4a8bbe4f4ed10dc5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagOfAll False Passed
08ad8c521da709db187605e869dc59f0d8ff006b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagOfAll True Passed
e1af5b950603ba0d08f786fce84e4df2f64d74ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagOfAll False Passed
398bbf560fd34283e3c6686966a655a07db3af5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagOfAll True Passed
136d447e216eda0a81b2f8cea03c488302d1d53c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagOfAll False Passed
7883b30ec4b355c3fadba4bf686ac759466b8fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagOfAll True Passed
e958ca28ceda4af12b9f4cc115e964dba0aa4a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagOfAll False Passed
05b6e7d7f29b712d2abcf6288a7dec8aab21b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagOfAll True Passed
7ad26ba1dd0d4a9552a69745a162d7921ddd4ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagOfAll False Passed
508531ab6e2e23ea96681602eb9ffa0ffcf50831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagOfAll True Passed
8221119aa8637febced77b3c6ceeae809b79173b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagOfAll False Passed
2bc6274717b952c7112b78df26e8a14f554443cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagOfAll True Passed
04675389962c92b4a3084c868b53f6462d594bad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagOfAll False Passed
2d6b71910a571a106c94340b722fd2df6ef98fde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagOfAll True Passed
9be3010763b8e555c79d89e967487abfc0a43f45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagOfAll False Passed
c1be5172abd2c92f84e5d13f60aa49cecdccb356 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagOfAll True Passed
cc86ad94f647ff57916edc2a1d12597ca18246e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagOfAll False Passed
6edbaebb9070d2efa6c836f8cd1f03e74273e8ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagOfAll True Passed
89c7f5a481edf6af593d903578df18f9bcc0e594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagOfAll False Passed
f1314ba6acbd9e861d18b40d56aa8a7829239b7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagOfAll True Passed
02156f990e212a61f6b59fd07bc2239aea2077a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagOfAll False Passed
0aa519fb0b64a4c2c08a1e9a9550962344f805d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagOfAll True Passed
9305df69c332a3c82b98bef81475111f2ad40019 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagOfAll False Passed
f3632dacb78b761d4c37a1426d276cd1b369a1df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagOfAll True Passed
fa4ee2b48e32b418f13d9170b624d45266ff9d0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagOfAll False Passed
272c718d706b02153825c01807738be72a62a988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagOfAll True Passed
0735386da54072153797dcde572dd9aa2f564327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagOfAll False Passed
91c87905449c5e0be405503d21c0321b48444d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagOfAll True Passed
a57624ef49b285394036c9f43d1cc370400c5269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagOfAll False Passed
31c742f4ad65e1c5b767842e976c3008c5f4b001 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagOfAll True Passed
64d4f7e349026082b38cb2bb4b7fc076caa333a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagOfAll False Passed
b135818d579ada29ad54681593b0f4f9b470eb0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagOfAll True Passed
6fa0dfb058d1a6aba12afb1171ac1c511b262f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagOfAll False Passed
ea524a1f4e884f8c92ce7c3af24cbb03ac1dc1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagOfAll True Passed
bdf93c4b22426f6fb065ec526172e6e515a0d2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagOfAll False Passed
f178806f413e7dacd9b0bb2f8d22e73ed05b7c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagOfAll True Passed
b22ca6d374b59a05aa4398234360ee7245739622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagOfAll False Passed
b93442f91a03884b1c07a62ada3f904dd87a272a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagOfAll True Passed
a73eb814b0f8d52f838c54fb3b9f6bce0e4f38f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagOfAll False Passed
3a6f6bef7d7b38c83da1b0b0128edff28ddf0cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagOfAll True Passed
c22e28faf4537edb33cada925e2e0dbb8aa87892 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagOfAll False Passed
59e28b511a54315061fdd45ed61c9118110d9584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagOfAll True Passed
0b4f79b2af187f9e04c93ee714bc2cc9217504f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagOfAll False Passed
ccc394847d6802024da43892ddefe7cfff8b2987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagOfAll True Passed
8f9ae0a6fb4a5fa21b202c655a77e14c6eba645b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagOfAll False Passed
fafd2c70312d9d2f70abbebe391a919f20de06bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagOfAll True Passed
0721b84a4373f2d01ce2442aa15ffcc0b70dd6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagOfAll False Passed
e5b284e2bd1b6cc0591063df8affc9e66e0bde7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagOfAll True Passed
e8b7de192cd98095fa421275677744fdd223638b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagOfAll False Passed
02a14fb62325db76d426c5385200699cec1490e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagOfAll True Passed
8023a83deb3d18036ba430ca631f52de5cf573b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagOfAll False Passed
94bf9634bc0da31cdc0192d3a86b8537890f7f3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagOfAll True Passed
f676c11d038154af9473fe504d87ca36984562bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagOfAll False Passed
d2750ed1c07eb07b1fcc62ca31a5ed43b18553ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagOfAll True Passed
420621a1dcbdbe7256e176eedbbef3e8d213b958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagOfAll False Passed
efe5c35c29fbb1cfcbb0f6db1321274d61bb0166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll True Passed
a526e45de1fbcdb2c4366053c9ac45d34f6c2be3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll False Passed
99cc2e401d933afe84b63aae5ffaa93fa84390fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagOfAll True Passed
dee63a0a13fc6c911f3284910ad08b763ba2e769 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagOfAll False Passed
53347ff41db62b4f1456d7d3c788f0a804a46fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagOfAll True Passed
99824bb7cb30cfc4992cbc3bd9b11b48c7d7a29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagOfAll False Passed
5a2d5579bb4783f37a6865f85b588812ffda5e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagOfAll True Passed
912b526e96c3ef13aa8f46de39b2647b830f429f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagOfAll False Passed
d9a8561af5de24bc9e31857645fe041a75495411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagOfAll True Passed
f5b691e909d94d93abdbee2e01a792403d9b9e73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagOfAll False Passed
069cc271aeabd0d8312590017c144f2213321b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagOfAll True Passed
2530786f91ea44b7fe6f625301022211cb7e4941 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagOfAll False Passed
4d90037d1be40a2d1470621f65564b237e5bea83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagOfAll True Passed
cfcedfb262cfafd3862a3364c9efd2176d579e4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagOfAll False Passed
d6264bddc2a86044325d065474408e7a3f3cdefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagOfAll True Passed
3db71ab255c3245b6c36cba132571cdf5404922e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagOfAll False Passed
6d2ec9a03720780425639b08ae565f3234d751fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagOfAll True Passed
5a5419b729e0a590ff4cca19c76a963f67df3e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagOfAll False Passed
e620ac1330966a2ed4665b5a5444c5174362b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagOfAll True Passed
76a311367218eac8743fc862e4eec6bd37e9d6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagOfAll False Passed
99f60b0cc88b2087b8f6aabb943f51bd12007921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll True Passed
4c0a9d13a4205ccdeb3ec506304493f4783cc585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll False Passed
1814a4b3e48e33d89281b9b1635bb4d0d77ed352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll True Passed
f1a93e0b108238cb37973a55427501337e660bef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll False Passed
af4750a79795471bcebe148223e6c68edc9c32fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll True Passed
463830cc583de1f06de60f2591c3350d9d722cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll False Passed
468eb8088919b8b1716ec1eefe8dffc54ec5b3c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagOfAll True Passed
94a74f3919f7f01a71d5d5f95e393c8d8a854adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagOfAll False Passed
4dbd35a51c51e8c1fc3bc7a0aec5deebf3acccd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagOfAll True Passed
4333a05f6853b34c10076f2829e32c206280b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagOfAll False Passed
7c9439769ea19df2581eb7400dfb3e18b8995ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagOfAll True Passed
1a4a275ea9d4770df29ae66ead9b72754ba10416 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagOfAll False Passed
c08b999480dff8b05dcfc50b33cd07922659a50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagOfAll True Passed
b87ee86ddaaac85828d49d02babc21e2d5356209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagOfAll False Passed
3f9f7b91bad8f7680bd0fa3cb5c2be46079eeb6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagOfAll True Passed
97ca27aec3b044fad0f41404de29891ae505a1bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagOfAll False Passed
48417fcb00b7144c3c81d4401a1baeef59004922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagOfAll True Passed
0d577f2d7dc28a2fedeebc8d748a61a299f1018b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagOfAll False Passed
7afbf5044c8f5b59d54e6ea39857bbb43784644d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagOfAll True Passed
f236dbb4c9d1ebf6acde141dfa324203defb4113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagOfAll False Passed
f325f8e134b80cfdc4336a28a2efa6b23a5f3981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagOfAll True Passed
51742a8182a7a407e6be9d2c23fef8e20f0560c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagOfAll False Passed
cdc2fed33e9232d95cb902f20e243e0d528c0aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagOfAll True Passed
090f6453ab4d9990a8a3c2ee13a7786690f095a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagOfAll False Passed
fc5e6535f135d30f9d11fbdaf5778842576f8054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagOfAll True Passed
76d720c2afb1677138eb930bb10af7e8a9d1550c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagOfAll False Passed
d54e47ea7f53662377ba637e06c1a2c488ab9a3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagOfAll True Passed
b1a751d734ef7347778ec3d30e49d83ccfb840b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagOfAll False Passed
3a086af7cc74ae5e536cd6771724c869b9ecb806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll True Passed
0c69b1c61302da67a1cfd5c8ec5997c923e6854a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll False Passed
68a22a7d8c5991b71f12b6f613b1f091be9f2a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagOfAll True Passed
b7c83447307d2c5cf538626b8414b39630c562d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagOfAll False Passed
ed5192a02ea3b5d4e06e0cf6be81cf70e7497081 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagOfAll True Passed
aa66b29a2914749f44a1dd697e1c40669e3bbf82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagOfAll False Passed
168bb81b7dfbe7161b4d757eec3d69f22c73cf9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagOfAll True Passed
ce5b9f2a4f1f229e30f51cf543433434443dd80e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagOfAll False Passed
a039356068199060d64609ba6c660003a2327eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagOfAll True Passed
63ef83a95ae2f5e6c8f40cf7def44f6bd12e0700 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagOfAll False Passed