Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e9dcf7a491ea4acaa99d1df1eb7d7d546d0a0ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSelectSeq True Passed
b7a44c702f52228d80b9e474f1f84182e1d5a360 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSelectSeq False Passed
e82c96e6f75976c2accb149a6f4e626130389449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSelectSeq True Passed
bc1764edef9ae9cc208476fcaff879a4e6c43fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSelectSeq False Passed
0f41b54bab24e1f4178405307bd67cba1dc44df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSelectSeq True Passed
044474d819e2c7db1cd173f8e22b2a47e2d9575a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSelectSeq False Passed
1b67d35b2466ceb61bf5dd80072b57a1b66486d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqSelectSeq True Passed
9133cca47fe4cf8cfa6093aa12b99afb08e3b868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqSelectSeq False Passed
c8cf9a31e2c4ff8051a752aad7e770aff2b7b066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSelectSeq True Passed
95400fffd24a77521ce72c4072f9896c025069b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSelectSeq False Passed
33457cfd12f6fb06844535b09eb08a1f7cadb463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSelectSeq True Passed
80e35d888f240e5b96cd000df50301e3f11ee670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSelectSeq False Passed
84166882d572090d4c2f4de6c9551bd9f1f298b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSelectSeq True Passed
385e54be99c51d8873baa9f6c48179399b3d8ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSelectSeq False Passed
0f3f8c4603e31820f1e00bf8fe3bedf921b2b0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSelectSeq True Passed
041e76c2bad53851bd12148f51b4861efd150363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSelectSeq False Passed
cde840678ccb57abdeaed7e4a29a4d86bbe66912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSelectSeq True Passed
20e5db31f5d11c461abf0e8227d602b4ba4f5472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSelectSeq False Passed
29cef74fce5d821919d879178d08dd68702d6c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSelectSeq True Passed
5ea9a5043059ced6088c34f014fe16acc02f0a76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSelectSeq False Passed
195ec3ca6bf559af4fe246a36dceb7f31f1a3602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqSelectSeq True Passed
7c513a3d814440436ab7c4cc2802dab0b38f87b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqSelectSeq False Passed
0c476297c82c54d5644e47bd367642b9f93c723e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSelectSeq True Passed
8d090ad44b791744c24cff09c7dd94a4347982c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSelectSeq False Passed
70fca274e412aa3a1e7621aed0269c8b1b7f340b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqSelectSeq True Passed
eb53f51d3f3eb409c62de09dacf7139840c12d89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqSelectSeq False Passed
57733b7faf39a9012ade27021a70a22f2128f5db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSelectSeq True Passed
df82303e781b68588d9a643984cef6502f383edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSelectSeq False Passed
d832c8ce10e34656609a3d447a26d1182488f199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqSelectSeq True Passed
28810bf55bdee2f90e672c7a1163af5eafbca0b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqSelectSeq False Passed
9c45e68925dc894b1683d5f6d94c6a110b2649a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSelectSeq True Passed
3d62293cbba4fc98a9aee20acdadc29b914a6e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSelectSeq False Passed
a1d6ff79dee18a5320fde3964cec962013c374bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqSelectSeq True Passed
26f342f41428c4725ab5ef300d59c036d3c4a100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqSelectSeq False Passed
488f4a2280b18e68005abde14bb1fecb4f77c131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqSelectSeq True Passed
0ee221d21e3d66273065526fa201218c299bf4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqSelectSeq False Passed
d0d098fdc17aaf2335278f3104da6cf8cee9a6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSelectSeq True Passed
3247e61788644146e628f47f9b8cce3cdd0e4b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSelectSeq False Passed
75b3b3a03ed9fe02147f3ada4863018a41e8c064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSelectSeq True Passed
6cbbe54038d8b9a835be1775c4d6b8ad9ec4e434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSelectSeq False Passed
8c627af862568fd65e8af1757c0fa16888a61725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSelectSeq True Passed
2c2a028c375c6a5a1cddfac4df1f1eb6aed1901e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSelectSeq False Passed
d27cb319fde5a2283891cb16df1aebd164d54ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSelectSeq True Passed
691aeb67fa53ba3b0d678cd42b5f13183509ae00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSelectSeq False Passed
d2cdab86f03bcfb5988ccec5eeb2b8a10fef348b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqSelectSeq True Passed
ee1b031b370a09f47a044b44bca7ea26f9662838 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqSelectSeq False Passed
a00bc60df219634fb2d14b1215228a5a93752dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSelectSeq True Passed
eed6525840fade459f185c2c82e7e0a8068c6eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSelectSeq False Passed
9dcda4926ed63cd6fb45c3eaa157468a015036ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqSelectSeq True Passed
7cbf5c5133209f2c855246bd4caf0ef61ad9e951 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqSelectSeq False Passed
e329461bbbf54ce5f44b8708a9b59f8d6503aa57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSelectSeq True Passed
3c9e1c74bf384c02c87c1efb5da4428e8295e1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSelectSeq False Passed
64abb5b0d99633e69cd2423b7bda431fb0d0c309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqSelectSeq True Passed
71f97dafbb84edf228acfb02be76a5168df1b91e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqSelectSeq False Passed
d0c0a87707f4ac03816258d7c2a7f4d43d563c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSelectSeq True Passed
3e3383c4c9211b9c626a6a892c57296011a8a48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSelectSeq False Passed
0f738e739923c0f6d4aa571ce1c66a601f1c1f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqSelectSeq True Passed
4a99a36e361230599fc8847f3f614fee1427b0ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqSelectSeq False Passed
041780aae427f47577650103e5486484c4f8aa34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSelectSeq True Passed
6be838671c989dc45858ffe676f4b1cc1d9e2553 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSelectSeq False Passed
9830de8c4262344ced5b67dec5c08567fb34c27a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqSelectSeq True Passed
07c9e375fead73efab61a2d7924ebc8aca50293f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqSelectSeq False Passed
cc64d037ad1e897ce498fcd947de3aba0fed9ae9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqSelectSeq True Passed
3335077e794ebaa00ff78d292cf10e7db1b79387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqSelectSeq False Passed
4aafc1a911096ce471d6dd42331977dd1b6f1222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq True Passed
7306e6bc8db290723af09c87b390251599a501e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq False Passed
f3d6b74cc4603127c8065a1a202bb25ecd59b94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSelectSeq True Passed
a8a4aedd49d496b5f2ab482334119959451357db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSelectSeq False Passed
70c09fb47d8fcca5027a8118469234f0eb88d21f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSelectSeq True Passed
300682a228368bcbfc26813453623c9b94f4da54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSelectSeq False Passed
77ece201c829abcc17f1912afae54a5ff7313e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqSelectSeq True Passed
07e002f65ee8a3ba9e40207b4ba3eb3408922ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqSelectSeq False Passed
7024f50506f67d33f6802356b5f811e62a11162a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSelectSeq True Passed
72d6ff0216ed73f38ae48fb422d5de2ccadb1767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSelectSeq False Passed
2b1b007b2067eb60fd7f280e1cd8b0156d46a694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSelectSeq True Passed
057baf077d0e7cb43085b1f024acdfae20eed97f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSelectSeq False Passed
ce768febf4c4f40d288be8c712e33eb323198382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSelectSeq True Passed
bcee445e87e7355006f352cfd076ce73ffe2bb35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSelectSeq False Passed
ea5616563e8b584382ba3a230e824b5eae3590a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSelectSeq True Passed
dbefcd77664e0f5287b52b3fc8eb68eb758d6276 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSelectSeq False Passed
967a4363fd6693589c39e7a6422820a5224630cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq True Passed
e42fbeada1d477be260833c8ff91a1b2722ebffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq False Passed
9f9a5b459c573bb21b818ad33829a5703724432f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSelectSeq True Passed
84da46c4f509f210a8c0312bd455b58bca092b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSelectSeq False Passed
f2c589d6ad0469a4abd8b82295f442d69cf7674b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq True Passed
6b79fdddc53f2d7d5d921d7199c863f7957b49be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq False Passed
dd9942a8615e91621c24fc152fb2c066a0355470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq True Passed
eedd28519223bf0468847da3cecf6cd64cfd8788 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq False Passed
c55d22ebaa6ff67aedd854d6e7652601ec1ad19a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq True Passed
c842a26a347bc16bc5d6ddafe28abe9b8e0e192f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq False Passed
6f3b719fee362010a982528d1712d314b1197466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSelectSeq True Passed
71b361a754ee3035311660f3717ab196ba764ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSelectSeq False Passed
cf772e635dda42a277bde07d54fff6e8526ca261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSelectSeq True Passed
613822264836fca4feec29c6f976e3aec5939787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSelectSeq False Passed
b95ba2bb4ae0afc5a92a265b028ebbe2328e448e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSelectSeq True Passed
15da9585490ee350c13eda79a5497c14341575b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSelectSeq False Passed
1ff6acaf4a57b5928c90b759251e54281b5d0b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqSelectSeq True Passed
c877937bc47c3e7d57391e3b1f2f0573203db6b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqSelectSeq False Passed
52aea5b1e2b2d69271a30626cf35f64e06f9285e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSelectSeq True Passed
d1fe8951874a9cce2920dd27193a30e266de4918 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSelectSeq False Passed
fbae734ccf766272bce0b9346b0b6c80e9897d1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSelectSeq True Passed
1103a644dace7046ddf9122d2f807861962cc2fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSelectSeq False Passed
a0c7dfaf6b7477610ede5476ec90424d6e684835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq True Passed
80954b711ae3282015756fab096510d8c5bf2588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq False Passed
4d13bd7228490d8235e922bc27fc752ba2ceb952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSelectSeq True Passed
f47a4c8a4473e8646920327dc28506add2c8fdb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSelectSeq False Passed
12f7528f4cc81db7b2d4d6bfb5e07b694019a92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq True Passed
72fa1fc1fcc25fd75b4d7c9b900a606fa5b55a9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq False Passed
e9402c7fdd97162764c7dfe79aa7f88d4da49992 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSelectSeq True Passed
4bdd669b29aa30eb3c471bc9c5daf7589fe0358e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSelectSeq False Passed
be96c65739cf80dd48afdd604216c167883002e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSelectSeq True Passed
ccd9176a8ea3f2c9ecd441a08185e28b4c28573f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSelectSeq False Passed
0151a60ecb566db7fccf211d1804facfb1333d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSelectSeq True Passed
9c472151aa917304045f6af27feb104762687df5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSelectSeq False Passed
3219625a5a83ef4fd34e8dbb8527052bd6bf2ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSelectSeq True Passed
4d242a85f56fc9a82d22888686f7fceb93fbe9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSelectSeq False Passed
4c1a47443bca01b983f7b495691f9fd604b41e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSelectSeq True Passed
605d472c1bb788a805ff2534aa173a79e3de96a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSelectSeq False Passed
c67bd9bb2585261f310391492fc2a3fe5223165c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSelectSeq True Passed
37ff8039e3da733c6dfbe71e3ff56a4b853beb8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSelectSeq False Passed
e822f4a78e70bc8671a6cf1690e48ddb6b6bc924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSelectSeq True Passed
433172cfdc35f34436e41ed8f2e21366f8f5a119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSelectSeq False Passed