Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
92883e184cbc72d6b68bbb48772965d355f46917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqSelectSeq True Passed
479c177b11b2391b1888412330c3ba57aecc48b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqSelectSeq False Passed
4c6c7555911eccd3355c0e0ac943675def11e285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSelectSeq True Passed
fd65540c6245a6eed54d804306114e05fa2069d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSelectSeq False Passed
ca8171b522426f7132a6c3faefe83f4691128336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSelectSeq True Passed
06357db7751b9b37cb3c0389af8447326c431ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSelectSeq False Passed
3c4ee32709ae9d26cf795fc7f56bd695b6ec3816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqSelectSeq True Passed
cda43aa1fde2b847bdfb1780d1660dded84ac124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqSelectSeq False Passed
eea54e98b5c0a11f00ac30ad945688157796c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSelectSeq True Passed
bf613a03bf4d668c727cbae7fdf38f7ee8e6def4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSelectSeq False Passed
0ec1e99dea5c7f457dcd2ae1db06c999aac5736c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSelectSeq True Passed
2eb9e5499c20532d0c5c193ddb79c76c3809247f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSelectSeq False Passed
f424740a98fad54af1049a95b47db37801a141cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSelectSeq True Passed
85169818d5ab7f57a0569a12569146d10ffc3572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSelectSeq False Passed
40652c2f03a9d86fe06baa3df2efe6d5ff0962e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSelectSeq True Passed
2bf9089ea73eb4b1d4d1e094c7071c424f3f9d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSelectSeq False Passed
f0deed5d8b6eb5f62d33d9c26d14c92b904664be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqSelectSeq True Passed
72a8d57666b828c6f17b415fedf3e672eb703d99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqSelectSeq False Passed
36445dcddc2211a30f8830562f2297e7fa9afa10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqSelectSeq True Passed
9c320473a9e5d60812def4f31c4a2dbf545ed307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqSelectSeq False Passed
3b39de1c87f8ceabd9e0319d16edd2a6160bac7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqSelectSeq True Passed
ca224816e3fddc94b30be6fa9609521eb6194dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqSelectSeq False Passed
1f2a6bd442faf1a6e1601612cb2aeaf3bc1d462a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSelectSeq True Passed
9b43713152043e9d704582715aa8a75cabbce0e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSelectSeq False Passed
a53966667a1836a1b76783e06d6ae24fc754bb2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSelectSeq True Passed
c863ca4dc1fbd1effd6d0d5b292f7ee392c7179e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSelectSeq False Passed
e90cd4af4ab4a42bcbed237116ad3355104e4937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSelectSeq True Passed
d654e28898e5addedc7f91c55b281f19850fc365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSelectSeq False Passed
abfb23c0c13cbdb0cecdc7a2d1596ea9feb14438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqSelectSeq True Passed
d65b47199d4c35e33189173123168bc847fb4fb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqSelectSeq False Passed
3eff6af5c849290f1f576e0d01f54ddab1570df4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSelectSeq True Passed
43865b74f67d21e0da0a232e575d577d0c2b2a5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSelectSeq False Passed
df38bf3d6686cdc08282fe98207adf175230e089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqSelectSeq True Passed
d7db6b32ff8949e26683dcd715a7849115a4092a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqSelectSeq False Passed
64bd75b1c8d6af2f0176cc6179944178c2dafcdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSelectSeq True Passed
f130d34454e07277c300f16e3283a5548c128843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSelectSeq False Passed
f1ab1f0f3d8d3be74a104f7fe5c8aae4f7665a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqSelectSeq True Passed
4ad57faceabe38a6d915d20026b816706662467c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqSelectSeq False Passed
10170930a068d89fea387de46f2005498e0dc91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSelectSeq True Passed
f55ad2ab267c6a651efb9fbb0699bd1f72c4d4ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSelectSeq False Passed
68ee731b3df8f410c9484bff67effb818f3bb5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSelectSeq True Passed
66716f2c8509a7629e4405c335c9d481b506567f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSelectSeq False Passed
bbc22983ea82e544448312631534e1d00df073b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSelectSeq True Passed
498a5c03c082c8c7c3b019b2bb0deffe38528039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSelectSeq False Passed
481a2d7ad16424ba170bd3902d61aa0d06a76b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqSelectSeq True Passed
e33df0434cebff276ad43e7641a53b1c65e6db24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqSelectSeq False Passed
3bbb7d91f0adc1aa6f271f543b3d05af0ceb31f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqSelectSeq True Passed
bf63f5bfc037c92f2820153ee33fcd7836303d81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqSelectSeq False Passed
690c024774eb8168e8e8ef055fc9f1495e4256b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqSelectSeq True Passed
19baeca05256059e599867c65238863147762fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqSelectSeq False Passed
18a990c42856e49a3448b84abe08adbd161d729b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSelectSeq True Passed
21f0b96026a0dac5f70f036633c3a50394473072 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSelectSeq False Passed
606682170ba842c52d112f20de3ad2fe9d67713e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSelectSeq True Passed
4099b326a42e734b5b9df6efe791458051ee78d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSelectSeq False Passed
e3da4685d5f5e261995c274fac122dad6d22251e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqSelectSeq True Passed
beb529ad8feea139efa4cf0d1f3739400bffbe85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqSelectSeq False Passed
a416a70e967d5c8ef5bc403d44fcbddec1760a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqSelectSeq True Passed
71d23b603f8c34f49bc08ce5abb57c691a901257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqSelectSeq False Passed
4a441c9849a0c4cd33a25c32034e4b5c4650dbb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSelectSeq True Passed
f5c8f3d2a877485276a7917dae17b0b6f709028f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSelectSeq False Passed
3d8df03173d8d109d186fe7382b263eb640bf454 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqSelectSeq True Passed
87b4872e7daf3e9155d4f22e3d864a31da378605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqSelectSeq False Passed
1048e61b8f06b59810031f40413b3bd8c36c40d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqSelectSeq True Passed
110bbcf0a35f861e4d3565431b61b242b29c4f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqSelectSeq False Passed
fde19911c532675dbe4a5b51c8a632315ea4e544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq True Passed
0725da71ab7cf5aacfed073e9340053ae2d9c143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq False Passed
fc73ee071bb23b2b65c74247a95b8616f5be4132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSelectSeq True Passed
d3f7a2e115cd774160767e0f46478e0dd41d3355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSelectSeq False Passed
0b0d83f7c05468832cff72985f76c29067de897c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSelectSeq True Passed
0cdd32b91f1510b8cdbd1fa21cbd74bb206a3757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSelectSeq False Passed
8854c31d09dfc91b45a0bb4a12561fe0549dcf03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqSelectSeq True Passed
a60231d01e697a047c5612d2845282bf3993fb66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqSelectSeq False Passed
280d82f6c7a3d70023030bc243a1eeccfc01b83f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSelectSeq True Passed
9e2c0749fbf6ef12cf70842583adacdfe807d5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSelectSeq False Passed
14dd3394dee1e6d885f05a5c1733e906426b21cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqSelectSeq True Passed
280f0f69c22d5edf6f468d426b26a0296e4ab85e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqSelectSeq False Passed
e0fdda529c7bfbc5320e1a5a07055f3c771be2bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSelectSeq True Passed
3a33b882aaf7412ec5cfaec07df3bfe9f4bd8ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSelectSeq False Passed
a6b92793cf8dfbbae0a20115a4fe45583650718d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSelectSeq True Passed
d49ea08d1aaf398193b1da1e488ed2772979840d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSelectSeq False Passed
d75080a7b65c678fde5b66d213288f265c6f3824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq True Passed
90b66da8638455f50d6ae9f191153f1c95811b2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSelectSeq False Passed
63a307a1889a0d61436b4aca46a6b53890cc319f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSelectSeq True Passed
99878626103b7505f42b6cab809b524541f59027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSelectSeq False Passed
9c1b5465415bcd927d6affe1e93cae9714b96176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq True Passed
2a5866be3639879cc4c80d134fdf2d6e2b3ae4ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSelectSeq False Passed
7a33ff4164ff7dfcb71032286f79878e501cb5e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq True Passed
15c78f7798c9a2d47011f520aca3601914d58e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq False Passed
e53c09378d5a0716040277431bc1bef102be1a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq True Passed
f32cd9b3710063203132f088b6e74ed43106a0c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSelectSeq False Passed
54f27b76d76d343aa4eb2777847159c854effdef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqSelectSeq True Passed
66bba587c3e01dc6e036eaa1caced5ed6aebd109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqSelectSeq False Passed
d4e6f04a5a43840b012294435f2d75638778696e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSelectSeq True Passed
1a2601138b467de60c13715c9a527278d150c55d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSelectSeq False Passed
940fa23716135916f4156e874242c6ba24c38b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSelectSeq True Passed
8b36c3820f1637ff7f810baab53c823980c0933f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSelectSeq False Passed
d8bad1c4b6d901fa14bbab2d76c5f7c0f04a0bcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSelectSeq True Passed
cb59fc6098a49c2cb0e1e511cec55114562083af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSelectSeq False Passed
592e93291b1539f9d3691ca5620a5ab69672c21a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSelectSeq True Passed
b013b377acca54545d7a9015de25052ac226e169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSelectSeq False Passed
66a5114258575c6e92fa55e93070f9377073c8ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSelectSeq True Passed
a05cd32c8749ad3b2cfe52e4efad491b17840b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSelectSeq False Passed
b394b1a01d88500ce7be7cb612c9ea436689e927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq True Passed
d1288259c5149f335378e8b881a5950e8fac6835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq False Passed
dacf358b5aaa0cf5c69911ee189856ecad3e6545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSelectSeq True Passed
604737b63371ad353e234717c89cd590a8048abb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSelectSeq False Passed
9f732a693bf7d687a0c1246992c13d54c683c02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq True Passed
9c69b4cc78a2eb9e7a0bf8fe30c812c9fa84472b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq False Passed
3bed6856e1283bf13782e6676f2c910ab99e0bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSelectSeq True Passed
f94548f672f7a14cf9298a2f281209f91d5d1f91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSelectSeq False Passed
1c6fe105e19b5329ef1e182d48ac4485cee956f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSelectSeq True Passed
736a0569df06da30e046748fe70124e5e9889f6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSelectSeq False Passed
cd264f9b65e45854077979b71c1bb57a1c22cb2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSelectSeq True Passed
2103bd00a1e0cf9a3017048bd0e5c31896115bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSelectSeq False Passed
8124b2fd617a81bfafb7624d1a4e2dd3945de53f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSelectSeq True Passed
6a72c7aef46a9bd8758eaa4d814f61372da60a00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSelectSeq False Passed
8acd93af4a898b87323f1826c4f5b012fc0a342c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSelectSeq True Passed
9e5085332aabc906106456dfc5f3b887a3252f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSelectSeq False Passed
3f9736e291d5079ce4995baed40033314478ba44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSelectSeq True Passed
b9417c4e1fb1bd4a03df4ef86736d3f5e1fbd5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSelectSeq False Passed
cf5bf33a0d190bbc77d4d4146e4ebe08eecbfada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSelectSeq True Passed
c8b7a1733b55bb1aa682eed0d5155d89cfab5c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSelectSeq False Passed