Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1fd388af51c0107640e4c5a849b9f85467f48760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagOfAll True Passed
8fc70d01b975b1adc107af2eec002195bde4a341 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagOfAll False Passed
1e1379044257386cb201763b2c618a18fbeb4b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagOfAll True Passed
c13827b61fe10dc4bcd28abd03c80da3b7ee935c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagOfAll False Passed
4062e00dc085298cba5278b2e8c199db6d7143cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagOfAll True Passed
1a123465d078d20207a1efdd6a0ded9975ec62a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagOfAll False Passed
bf848b16783897081b21285335fad29578b59c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagOfAll True Passed
c4fe4e9b3b60b4880bf15f66bb09b0302ca3a7bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagOfAll False Passed
3721b19416576b0adb2a373758dda8d65a276a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagOfAll True Passed
834da45b372d3c42867d3de110cce4a1f0f702e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagOfAll False Passed
167c3ae5c394c94a3da218aa9d198e41466cc4cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagOfAll True Passed
c7923567e5fa4608c8de044aedf3bc0a5e691fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagOfAll False Passed
dce8849da9744802f94814826ef1f74a167cc52e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagOfAll True Passed
ef8afca73634cc720f352b12fbf710df5a928e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagOfAll False Passed
41e4a90cf05cea431a9ef545c693e3e35800bf2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagOfAll True Passed
25dca03a8c5665d180b0d6c00bd44ef17b68229b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagOfAll False Passed
ec3c02944a44ae3c457fec758ffd0c001d279e3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagOfAll True Passed
003bd073186ebaea29eff6f18bdaaf7317ee3e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagOfAll False Passed
83a699888ed77d7bb6f8d6542ef483422c3ca6bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagOfAll True Passed
cafa3e04c4fca7e7ce2398d0b6f0937922836404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagOfAll False Passed
25b76ada658f5814d266cb709ac9ffd9f2ec13bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagOfAll True Passed
dc29abcfb1434f2832b61030d997eda69c30f34b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagOfAll False Passed
a07c3590894151355a808c5eb127c0d6926a3b7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagOfAll True Passed
9830d3aaf66fda6709d7b30b7b7e6b6f4ae2144b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagOfAll False Passed
d1a24f272c64713a8e2bf3088167798a830fdd42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagOfAll True Passed
55b9c6cbea35ac1560f45823d1dcc9c97864c44a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagOfAll False Passed
1435811a5e56f433b2cc46c6d6c19ee70cbbfff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagOfAll True Passed
6ee8ac7e04c01c33ebabcb6e11ea81791aaa6bd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagOfAll False Passed
ecda255f56a678e45c4c5e53c91d229d9390cb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagOfAll True Passed
5d7d70d98927b5763bfafb08d65b0492c2c8baa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagOfAll False Passed
c06c31858c0e2d541f6971b5079daa2339b2cc19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagOfAll True Passed
52dea1c59094512156dc538eccde1db37ac0cc57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagOfAll False Passed
a8beaa8d5d6a945131940fd64955cbe1d5d93781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagOfAll True Passed
120bf29cb6ef74cf0a2ac09212508446c980d601 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagOfAll False Passed
fdb5ab3072c3437fbeb1eb5878ce9e65cc8463b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagOfAll True Passed
2018b91ef2a93852383919d2d58f4115b750cd72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagOfAll False Passed
d7184a7a831c33e2086b74ddf8f95c7e1fb1b09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagOfAll True Passed
4b8fc545381843e69b1b79d8d7b5e390993af593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagOfAll False Passed
2eb7c22c0db36407b86b5deb5c56f12b740cf875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagOfAll True Passed
1b7f0ab36567c4bdfa4edbc41c9fef7ef7377560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagOfAll False Passed
6e9d0531a07bcc891c4ea86350e272354a039c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagOfAll True Passed
6578e8dacd553e035c0d6c42e7c40020e0468705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagOfAll False Passed
bc8867f0b24a17e17294096e8cfd2c55b7efedcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagOfAll True Passed
be3f201c8172355289c000e180fff10618d4c02e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagOfAll False Passed
427b5b256ddd05d624795e39a84b28b3206fc2db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagOfAll True Passed
2157edaf9fb06c8e67d3922ea3aaf5b54ce63e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagOfAll False Passed
a345457b5b744d966a8eb520a11aaeda36cb7e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagOfAll True Passed
08aa1912ef95882e5cdad152e0f7c38f89fe0496 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagOfAll False Passed
14e543df91e2d6372dbb30a12b2c2659f425c428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagOfAll True Passed
f7588302995d650ffb81268c3389f0ec66596a79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagOfAll False Passed
8ac0f95c4055164e24299c0179cfdbb4ea3def58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagOfAll True Passed
c4abd9e43bd46f625892fb6809c1dbee78384316 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagOfAll False Passed
865d348fae02b8ce05faaf71d6e686db48c2a4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagOfAll True Passed
b9c5b7381d6d77139c17f5b0799493b22ee2b99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagOfAll False Passed
ac8cf7253c65903bffec3f5b30e262f33a232688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagOfAll True Passed
837f4f753e96078b558b0fccd6ad5990619c70ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagOfAll False Passed
51ce8af1544bb61a736a9c09f5e015494b8cdc89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagOfAll True Passed
8dc04888fa4d8821620b3133cfdc2d893fbd867c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagOfAll False Passed
8f992a9195c52a40764bce6d2676b285e09848c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagOfAll True Passed
afaeafe66355926c4d37f699b2352bcd2c50aa4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagOfAll False Passed
847e42341f38fe76aec4e454e5e83c221a4d5ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagOfAll True Passed
be0638ad8d1dbe0996a6b1862ac7984ae20f37fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagOfAll False Passed
e46a7a8bf632f3458661864592274362ab7ae8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll True Passed
da8192df4aa04289dfeefcdaba403386abdc2129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll False Passed
d81382913c946c2e4e66a4a8056d8a520c6e6c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagOfAll True Passed
5b25dfd7f0c034246c9262bece9b574b04501b85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagOfAll False Passed
c7f0dadd270aff60ee49660a987434c4d7cf1e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagOfAll True Passed
643755dc2bc9bb68e753a4121c235b169baa17b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagOfAll False Passed
ef6ac5067342cd7e3a1ced056476beecf980bb6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagOfAll True Passed
c0612dd326954428c18dcea8aaccb9e85442c5b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagOfAll False Passed
c79abfc28eedd6daf0357d729c5dc3988b51fc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagOfAll True Passed
3a2812432797a6b7344b3aefb4af9da21d922715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagOfAll False Passed
7f69aee184fbcc4fe205768ddde054474afc44d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagOfAll True Passed
f997b177e1ecb2b23171fccbe6cd563404fb239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagOfAll False Passed
9e119c78bcaa679530962b9646b79b14cc77c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagOfAll True Passed
e71676e83799e4c950bf23ad714878696d0c4212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagOfAll False Passed
828cdeb9d5dc5fa3bd1f553ca27eb3b30804fbdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagOfAll True Passed
d6b37a26146db6e9ff63fef6e0c4bf4a93813085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagOfAll False Passed
feef0e7c62ec2b73cf61e5ad273ac145957aa7ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagOfAll True Passed
00451d13882a087afbf446e7d2c3e729603cd5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagOfAll False Passed
6570d40bffbff8785b413929764a658114dd3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagOfAll True Passed
76424150bdd692b3754754e7807e0e45eeb01b40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagOfAll False Passed
f17bf1f2512a5390561f80210b2b692512a737b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll True Passed
145e2a4850c759ff0b53595d70d1c426068dec7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagOfAll False Passed
02ee62c1204cccf58d12a8b498c7eef2cdd7b492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll True Passed
581963a595d0aefa7af81ff62cb2513774f11e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll False Passed
2aabc46dccd9347a881e97242ee5d09bd5af9b2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll True Passed
f32e98586e08573ff73ff243f8e867da384f6ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagOfAll False Passed
6326fc8912d056b07b78f9dfd85efcf4fb67d69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagOfAll True Passed
fbce58b2360967bffe7cdc2a87ed265ab72de96b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagOfAll False Passed
507e915a5525c940f10aa154d9388b37cef4717d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagOfAll True Passed
6f7243898d42fda1c5b52e4d0012e7d5472cddca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagOfAll False Passed
5e58157c1ba868f7c489b065d9ea6cc41d18c438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagOfAll True Passed
1b37a1e2263fc208c0ffad6085cb03281c0ef159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagOfAll False Passed
c646b278ba94ae4c9b988f1ab2a6b2f2bd0a1da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagOfAll True Passed
25e691e73a1a979ef37b39ad3e47aeb23e52b144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagOfAll False Passed
66615778c4ccf70fd87268bbf4b252bd00d3e1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagOfAll True Passed
5b9be598b3d6341cd3be1a16980ac10aab6d6d85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagOfAll False Passed
798062b22939c9ac0fcd0111a161794b8b779ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagOfAll True Passed
70176d168bbac26232649dd75f6d73680cdda0cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagOfAll False Passed
3eed7f6bc3c60744dfc097b2157a244d9cd0ddb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagOfAll True Passed
9c46f4e20b05b6e00cf0d66f5a56120ee72a18af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagOfAll False Passed
775a3f122d708c4c1e2f2823be56cd5ec1cf831f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagOfAll True Passed
e5ed210473d9980806fc24b6cdde64b7cb7df63c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagOfAll False Passed
22403ba6e02caa1e0038af2eddc0d0892ad265dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagOfAll True Passed
d26c0655b583d39e48f425fd781053b97b7ea64c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagOfAll False Passed
ac1e97180217bfe64259acaabc5b2a392fc7f175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagOfAll True Passed
1d3cef14e41175f568ab1bbe95a4da953e96af6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagOfAll False Passed
c4b3bfcd0927ac12c2eea137cdb80900a4ff3084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagOfAll True Passed
8190bc43900fdc31d10531bcfa31772ca3b24596 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagOfAll False Passed
4abda54d7c0142ec6193b58b8551751c0ca98959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll True Passed
0f2b27951b2f135d577bbedf42a7b672c3043f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll False Passed
b8e297f6051ad150ff8944b420796f666a90fd44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagOfAll True Passed
6faf5d335f4419b3e40f382a6cf1121bda633fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagOfAll False Passed
14c0674b393f54d80abc02765457cdc8314fdbce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagOfAll True Passed
250962e9702a10e9dfc8a3eed4e365db2c70cfcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagOfAll False Passed
b330308d9568c3088588c613aac7c0e589eede56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagOfAll True Passed
7e7b18899aee252f7465a330ba08d51ab6176e4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagOfAll False Passed
f87ecc00380c7a9b0e4dbafd4024017f01de1ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagOfAll True Passed
cabde3163abefe134cffb592c70f4f177a6feb16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagOfAll False Passed