Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
93bee629f9be91c3d1c6a2ac8c21ff5ba47e6c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSubSeq True Passed
f188a91f14a9cc74e9bbeffcf11bfa78a41feabc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSubSeq False Passed
27e9c7d972a0a41f11b19eb1cb25af6406e918c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSubSeq True Passed
7839c864c090dce0f9ad78ecce97abf12f0b6f76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqSubSeq False Passed
2ce032e17ab6f24a33379607d4863d2ae67237f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSubSeq True Passed
cf6e13339b3a6662283a5cd41eda1ceac86e00bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqSubSeq False Passed
7aa8beddf2b145e547ef52593dc6d54e4980db99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqSubSeq True Passed
cb891d1c8a53e30454b9e7351caf7c450d635bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqSubSeq False Passed
72f042c2ee357b37b833a00319bca4ca5c07ea15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSubSeq True Passed
67c555325ab211a2fb3586635c3286e0fa7171e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSubSeq False Passed
4aea8ea9e261be519ca1c786d40e8096922f7eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSubSeq True Passed
dc92c4c772d7568d75c1763ae5cb7f5cd0a1d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqSubSeq False Passed
c778b7198dd1e7dd0b488672d8fccd6b840827a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSubSeq True Passed
c60d7f5adef43a0573c8d288512068f472c4ada7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqSubSeq False Passed
54739d2bed608ce1d0d2e6d6e5b84dea31446b1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSubSeq True Passed
ebf462c4e37f36ea7df895938c39e95b0791fa74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSubSeq False Passed
328b10f1ce1f28fa7684ba66049e3a81baaea9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSubSeq True Passed
24fc4ea671188c00ec94895b28ee069c58669d8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSubSeq False Passed
ef46852aa5e7e4d0a732b285da04d46375b14a9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSubSeq True Passed
da857fd62c77d4c49a83eadf658d34424612be27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSubSeq False Passed
1e44072bb3e9832c43e4e09c03dbe11f9a025387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqSubSeq True Passed
20bba3f64dde6fb7f192ed0b7aacca61e675a20a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqSubSeq False Passed
da364a42aeeed1d8a68f8db9033ba2309159be91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSubSeq True Passed
ef42b3f3c3cf75f099e5770b179131e89988e6ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqSubSeq False Passed
a4ec0fb6a4d9966cec3c8a15ce0e6deda7727945 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqSubSeq True Passed
849d72b5eff759dc045b1fe5ece00434e83e586c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqSubSeq False Passed
ac2c5b76ec7a44eeebbb3bc4adf5457174c406b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSubSeq True Passed
5fe799e3c4c4452a83a923aa3018338698c0f789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqSubSeq False Passed
7e5c82d15d4328133fff997776399874778fea89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqSubSeq True Passed
fb924ba53a62c02ac2de1a43b209e85c299cfad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqSubSeq False Passed
308eb5ba34c250533a509d94f395c287ed3da868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSubSeq True Passed
3829c360444a230ac38a5db8ec905d7f7d4301d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSubSeq False Passed
f6d526ff56bd1fee760e06ad0cc6159a98baa471 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqSubSeq True Passed
1f6c0a20c399799afa3d663329b73474a65d4802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqSubSeq False Passed
ae09902a9fdaca1b3edc9b025a9955ce9875d08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqSubSeq True Passed
4c6b15f394c135d0280acc3b35fb467cb07904de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqSubSeq False Passed
a36b9e3756d7ed1a40cee43b35f7fece658087d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSubSeq True Passed
e9d81d0fcfa220e154d01ebe5994f4ac3238f70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSubSeq False Passed
7da8e6d96cfdcac04a539bf79c5c3d5514a48357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSubSeq True Passed
3abf51a35f6377c02f7f47ad3becfb15ca3c7bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSubSeq False Passed
2e506f78bca32214d10a287a75648412152aa337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSubSeq True Passed
018723cdfdb12e45af3f0537c2f94e5fb05528b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqSubSeq False Passed
a4733bdd18f904035dd40c7afc5be7a6beaba800 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSubSeq True Passed
97c0a954fd285b6e9145f712ef03301d13a3ac82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqSubSeq False Passed
98a3a8b6d2defbfcadcbd0d9d553ee057c8c2b38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqSubSeq True Passed
ffde401ef5b1c67de36ca9e310022ed3ddb5faaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqSubSeq False Passed
5d850389d6676d42d78603beebc0e64a430e77a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSubSeq True Passed
f16b720498917326106588d4d3a0aba47460ea96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqSubSeq False Passed
7004f71802cb06a277d0a53111a708bab43d818d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqSubSeq True Passed
80901cdce036e1efc505af3e5bd7423a69335597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqSubSeq False Passed
abae327babae320d7966456e957d293f96ec4d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSubSeq True Passed
d5e3be992490d1f8d382173c58bb13eed210b1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSubSeq False Passed
21e2568863cca2cd77eebb9bb92d248587f463e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqSubSeq True Passed
97c24107aca9aeadffd6ecc2f486e242661624b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqSubSeq False Passed
92da66e09e0df012b5a4e4b8682b349cfc0b9b3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSubSeq True Passed
b937a5ee750327a7c009ed6a312a7fd40d11141f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqSubSeq False Passed
f794f0b4b1122ff0e49f96478e56dfa4acd7ba39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqSubSeq True Passed
05777455172c9996f8aa1ef3a691971c320361f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqSubSeq False Passed
0e446b406f542019d4e4f1d510880017b702bbcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSubSeq True Passed
2182a0919112f737aee97cb233f8361a31d44d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqSubSeq False Passed
18f97d624dfc181bdb48d7d9bc52e17957a4ff06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqSubSeq True Passed
80c0cc6927494fa414c66aa220a92318d2c81bf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqSubSeq False Passed
acae16a9f6486203f05037d791c962ea029c6e5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqSubSeq True Passed
9662907bfefc3aa08ee22b569e59d076ca5cf678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqSubSeq False Passed
73fc8c53cfe37b66f138a4eaab60e53e3b61b591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq True Passed
397ffe4546debcc4ed63f890e45d470b1bf14c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq False Passed
c5851ac5ee39293b9409c4311aff8f280727410b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSubSeq True Passed
a8ed7c27e62e53a2b0317c83244d301bf7d293b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSubSeq False Passed
6afc870ba695e5b1b4aa10adbae1fc8e68d2b40b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSubSeq True Passed
cce5172753431428b15f00adb6ddaf0982dae677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqSubSeq False Passed
36dccbfc97bd5953abb3b9cbd0e3de5436762025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqSubSeq True Passed
cf627f6747cff715264bb203698f6b5b8d92c8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqSubSeq False Passed
e1e2b4d2f756ac53c1a423d7536fc74db06f7dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSubSeq True Passed
6aa77a7d281b32a7307fce4f23d5c98e165048eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqSubSeq False Passed
9f77382da7c25cbd189a0ea790f9c3a3cccc4037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSubSeq True Passed
650e5ba732b83bdfb80508d300bdba2be9ed44cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSubSeq False Passed
18dc36b1b37dcf102051b16b4d938647de240d87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSubSeq True Passed
05c44ef036f3b641d88f66c68f355b6c0b4e0756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqSubSeq False Passed
886a7d735833023f27518e95c2e3a4f6f771dcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSubSeq True Passed
e731951e77c0d0fac8a0b0208595ae05483823bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqSubSeq False Passed
3cc38dcfb2d113c8b3cfb32f33a95d83edda67e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSubSeq True Passed
80f5ae9eb9ec71b9c4fbe6401bf4b470dbcc36cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqSubSeq False Passed
f1491114f95fe642b0480279d342f754b2a2b141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSubSeq True Passed
abbfad39794a74b18fa2071ccc24444878486fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqSubSeq False Passed
c3a3701a080f2abb0b7b445c769636f1ca271d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq True Passed
157d7703cfa5bfcf3ec5f510c99e36dd095068eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq False Passed
b4ce68fc8a24cd371c064895494b97570a32f41f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq True Passed
3001d490057c3baa25a35159854c9a12b3c6f226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq False Passed
73c3ff75ed0fc8ab3583ebc0b272238fe656fc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq True Passed
f113d07264937f04d196c50736c5805ef023ceac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq False Passed
3f0c863b12fa3135f4a05416d6a6a65d7a5fac93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSubSeq True Passed
dbe54f5788f485103fbf8844367e0fece9685cdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqSubSeq False Passed
13f1a35e840154a3ca8a0b7ece3a5e8ba86cca4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSubSeq True Passed
8092e9d6b86144efbdf83018a7c484b1c0a55d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqSubSeq False Passed
3332385077d391771798ff91419efab115ec33b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSubSeq True Passed
ac878e77f73f3b2d9a71ee38549ea8b9574f3262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSubSeq False Passed
9945c8789a000a24cb6d09160a8dbd74d17977bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqSubSeq True Passed
dea433d9806f5976acd0a236da4cd21d3db91eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqSubSeq False Passed
525d51901646337a161a9ca953896266208c2734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSubSeq True Passed
7505f95dfe1f999035814e7f05251878a1e0ddd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSubSeq False Passed
4f75d5003af4d625819e14fc0605fc8e15cf35bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSubSeq True Passed
37ca2b013b467192dffd861183ed4c1ff3ca6078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSubSeq False Passed
160d1e12e42c7288c0f8495cc15dfbc06e0941ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSubSeq True Passed
1fdfa778e25f7fa0ce6699e0579fca48c23eb2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSubSeq False Passed
0a89b2c4e5bdf5ddbbc977c5db4d5fe9762b9c14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSubSeq True Passed
7b6245874fbb9bf0b7cf4750a2f8bd7abaf5566a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSubSeq False Passed
7fe977514dac0e164efc60ba95d4145a91e5761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSubSeq True Passed
472fe2a3c82532973d8adc9e773206e58b52a24e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSubSeq False Passed
4c99bad34d112774e1cab5cca1d2c82b17d240f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSubSeq True Passed
e692128dc92862a73ce7378c8dff861739e409e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSubSeq False Passed
30e9394ed7e323fd9191fdac39454fa4889f86ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSubSeq True Passed
91f9f71f10a127d45659c595d7ed93a7d57f32c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqSubSeq False Passed
fb6605b2cfd031ffe0920426958a353c6e74076a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSubSeq True Passed
b7c5104d861b18d01248382e46521a298fdabdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqSubSeq False Passed
b9255d10bcc2352629d0992ee5e8654c361386e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSubSeq True Passed
b7f85b0b7234ff072402a699710222fc4226fa22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSubSeq False Passed
44f66a7c4aee994174961868c5540bf790bb2e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSubSeq True Passed
01a91f1604bb7c72caf1f94051cd66a7f1128036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSubSeq False Passed
5d81cfd5d1c444a8b24dc62bf3a9c7a520ab1450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSubSeq True Passed
a1fcad665496651a52434881ffde5cd8646da8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSubSeq False Passed
7e723652cd8923fdf0784c3460f6bd8488c82ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSubSeq True Passed
10fb8a6e339f0ec96627bfdf6e198be40a389c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqSubSeq False Passed