Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6d10d5aa034f7e5419154faa16d4214f7844154e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSortSeq True Passed
4288a5d6775c5173f6ca38e48e707eb2de1d96d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSortSeq False Passed
a4f583115e6abcabdffb17d2f68d0aa20bf93ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSortSeq True Passed
4e421725dc1fe033ef53874421d7e88f8797bed5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSortSeq False Passed
82487ed16f47413fd724544ae2c6fb9ad3e3dd5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSortSeq True Passed
a01abb4a7a7b2bf259ca72c7088681feda295941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSortSeq False Passed
207f74155517903fcbb52e7de9811f741a229d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcSortSeq True Passed
8229b7f3d99a52b5902a7e34ef1bae5e2ad0cfb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcSortSeq False Passed
538c665cf5232136a8f574aa50424a78fb8ed9ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSortSeq True Passed
ec533a4f64b629a75ce42ffa25efe5b2ee6fe78c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSortSeq False Passed
64c81af269e5d4a852f5325fa9ea0817aa1c62a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSortSeq True Passed
c51fdb8702bcae0225c9bda4653483952d59504e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSortSeq False Passed
7a73c97355d7db9cf1a449961d65e7de9d316a22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSortSeq True Passed
49611f9e2fecab3a80fed2177c44cd4b01050894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSortSeq False Passed
2159fac7b7cb351d30fbc5526c084250c68efabf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSortSeq True Passed
93efeb81f2e0b6e1b42521bbadc93a049a8032e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSortSeq False Passed
fb7756008d378286760f9d7b47fb27f6fcb207bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSortSeq True Passed
3a8a05e1a71e12fe4692fc01901d210ca0accfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSortSeq False Passed
d3bc9cd527109f9297c8d8dccde7c8c604de5882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSortSeq True Passed
341be19410e8ca0cd99b126226f2bcca751f0d32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSortSeq False Passed
1e9131d661f4ab4e410b91b10ebc7a86a963b014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcSortSeq True Passed
a25978fe483f102a1cf4737219192d6eb95b5015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcSortSeq False Passed
548313c9045461cfd4e39c410e6730f8c83de52d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSortSeq True Passed
86903ba5edf5948944c886e0614e4db0e885f91f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSortSeq False Passed
5d24d6bc05819d7d6413b6c3adf65ee9e7713676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcSortSeq True Passed
24514f46b2c7e5b3004833081ffc00e0738ddb9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcSortSeq False Passed
19ad34bf388d58ef1a572971e2f69ebeae04a30a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSortSeq True Passed
7156f97e5b5a2cd40b6b36d6150e677d743bb1bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSortSeq False Passed
a043da6ff6552566baa511d9ec3a23e25aa10202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcSortSeq True Passed
bd14f799d3677772977148acba9b3b302eeb8caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcSortSeq False Passed
81f137db075cc4a0e990ba02a7215a279a9289e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSortSeq True Passed
8c14aac2606878ec2fc6e525ccc3078ae73fa001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSortSeq False Passed
04cd7497741557d6677282d633502d1a53645a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcSortSeq True Passed
115c7c95aa3c6ec1674a6d54c8720f2359a6193f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcSortSeq False Passed
d2eecfa6c29d5b7c556a3922b25cde50e3376925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcSortSeq True Passed
8da8689f21e542c9f2f8116f7111d0c52a85db22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcSortSeq False Passed
e4b65922456fab03e017ee7fde0338b7d37c7021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSortSeq True Passed
08917020a7307e6b72cb3c41d341b36717325f1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSortSeq False Passed
02820e8a659b876a6a80ee66ce51d5456c89aa18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSortSeq True Passed
1944f00e51ee321c572335e9e1808a1a78dd16d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSortSeq False Passed
1f7b14bcf79fe27867a20ce3a6ab5ba255d3d99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSortSeq True Passed
13f7678410f213cc6bd6e7d3f6337bcbca5a7636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSortSeq False Passed
7a269dcc55b12caa17dfee6e6ad2804465a14325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSortSeq True Passed
d0fa63ff0d2785cba75b596a0a7a0dfa42465c4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSortSeq False Passed
fe20d551f8c9fce3ebc8ffa713208845efb2a0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcSortSeq True Passed
ebc282a352382f40201d73c8da9ed999663c00ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcSortSeq False Passed
ead28a2a896a6404df1a5c34d9c20c7bf1b2ad82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSortSeq True Passed
1a6fb81934d04e447d33578a64addf06411a66df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSortSeq False Passed
08d63bdf478eebf25cfb5f1ce5ed5691c7272ada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcSortSeq True Passed
6435f7f5d201042b697a5e8772147b08e7d3ab24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcSortSeq False Passed
e46d9e0e099b6812a5192ce5b1a5827d00e688ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSortSeq True Passed
828ff32542dfd3288a39adbabb7cd393c200551f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSortSeq False Passed
138c37da76f439039a4fcdc33e3d0c2d350b0715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcSortSeq True Passed
0edde30efb7a0b4fd95fac530e92368e7a36472d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcSortSeq False Passed
f2fc9c3ac4b12a52fc991f0c7ede5ee8719c1005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSortSeq True Passed
a95f5170d5b161b1a328c5923af397307f49317e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSortSeq False Passed
12512190165b369be30541c16af52b144118776f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcSortSeq True Passed
a078d4871b5fca9cad4e6e08eb62bf268d6d1024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcSortSeq False Passed
7b1f4dbba43a79445053141faf7dfeae4ae2aaa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSortSeq True Passed
da4144f10cd7be994db310ded90623125981d245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSortSeq False Passed
6df3c6658b123fd323c4378814896ce167bf1b6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcSortSeq True Passed
84ffb8dd34fc630394a392e6d6899be5b39c93ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcSortSeq False Passed
ceff7dacb1963867e9e24a361b2b1000df739cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcSortSeq True Passed
d6658c9fc1c04a6b89b176b58ebe32b0aea1b66f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcSortSeq False Passed
ee7f589370aaca2bc9080000746eb51629a6d14d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq True Passed
815d3c4bde70910d2a3d15ddd5005e2af3431322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq False Passed
38abaafd727b8d5fab687fc323b24f8d24049e84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSortSeq True Passed
4ee0bc4a6b54c9e4ff9b5d198c4d297d0a09a7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSortSeq False Passed
4d57e2598178984aedb7ec02ba66420fa82dd20a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSortSeq True Passed
40acd81bb29584755cc71471dee23ba0eee4ea86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSortSeq False Passed
7f8a1b92f2d4c4f94d30d926cda36ebd8b60d1e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcSortSeq True Passed
2c64d938d93b85799e550324dabf454f0beb715e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcSortSeq False Passed
c2cbd6f76bf986e740b07467b6d7647787373d23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSortSeq True Passed
0412f76aae332e3be17752b40685169bd6370e60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSortSeq False Passed
11cbffb6153fc9ff7af5d2ab3d081611da25326d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSortSeq True Passed
8983ca08dd7c2340f05ed1fd423af4a320dd3d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSortSeq False Passed
115054da24f5e40d2f9ee6ad87f63ccf28c8565b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSortSeq True Passed
5a05466d692d45ff19f8bb2a7931627c3db7ec15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSortSeq False Passed
ef05e99b3bb2067d1a067d3a06bf6e8de23d42b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSortSeq True Passed
ebd935c831114e9a8c847c3b191c4226f6edd758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSortSeq False Passed
f54b2f3c812ec6d335c468dda47196d38c1d2651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSortSeq True Passed
29894dd99d977f5ee94ee3871967b5a94effb4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSortSeq False Passed
b57c98b72a0f7b58247cb2920c04e43276ddc52d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSortSeq True Passed
6fb31ac28cc24122eea8c0c848c5ac4eb3c37635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSortSeq False Passed
1e224f806e343ba1dcae784fdb7a49898e7f8403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq True Passed
2d28dac82a873ec84f75ed1123500ae87ba2b15b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq False Passed
a024ff8f2b20f3c7e8618c4da7acffbdedfde372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq True Passed
48bfede1eb1aa01a40568348793ce556932904c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq False Passed
30a05b3ea0decdcbcb4f353e760b59939008932e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq True Passed
ecf516f72a639933960800eae5c597c436fa78c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq False Passed
50928e101d8a2679f6fc4cc3c9ea7c9e3f75f0da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSortSeq True Passed
c1a8ad29b9d96b0e4f95d0e630a6a5dbf151dc44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSortSeq False Passed
625a89f3047b1262af034376a16674203b65e678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSortSeq True Passed
48a1c7bc64c7b56a6d80cae898c5937e8820bd73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSortSeq False Passed
b863219882344788a5d6445268ab0c9fd15150df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSortSeq True Passed
d783b00fbdf5668cac7d74c3f45fe2a0289c6564 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSortSeq False Passed
13ddac1551ea9a114fae88d389448e5377320c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcSortSeq True Passed
fac910bb1b3eeb485e912c807c1da725d4aad858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcSortSeq False Passed
dfc78b1b7fa95c8c65d348968e9b5d43f86b7d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcSortSeq True Passed
a430eedb090cbdc792bb484a5750739b9aa3d80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcSortSeq False Passed
23dbffa9c724be432376d0e244ed70167bfafaa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcSortSeq True Passed
8abfdbe250477829773a0e7377a063ea64c92c2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcSortSeq False Passed
d5fea6182951db3459a0c7cfc44ce73865ee93ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcSortSeq True Passed
69ed1166ade5589b1a3ae468b2832ec25d341235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcSortSeq False Passed
b358ee76db46d015cabad66aad38ed8520279e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcSortSeq True Passed
752ac4469141e73439f194d77bcdc7bc4f541045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcSortSeq False Passed
20f20c8eaa78d6e4da9165c6f6e0bf9bff062256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSortSeq True Passed
0f43300af39b21bf8dd51c76f8c62fcf005a666d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSortSeq False Passed
b72e963ebd750b038968114857970037299fc5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcSortSeq True Passed
094c94f3f65adeebd184ef3381a60594ed8866c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcSortSeq False Passed
d76a1d1fe47c1191b0500ef69b49c9fbb43dcbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSortSeq True Passed
2fe77c84c260485cba310a74a7a35c3c31abc447 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSortSeq False Passed
353ef577595d8de6582d50f2c09d43513b36ff03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSortSeq True Passed
0ed155eb1cbe96dc5d57b1516adbda2c47f03c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSortSeq False Passed
ae4c81e52666a7d2f8856b4bb7574b9a1192862a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSortSeq True Passed
2822de0025789a445781efc075554e86764d88f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSortSeq False Passed
f2f17a83d94e65150647c034ee69ac147779d65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcSortSeq True Passed
a656095bbc44cd2da12cd5cffe644a84143d4379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcSortSeq False Passed
41764d24f6cefaee8c34277f5bbae6b3310d0d04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcSortSeq True Passed
2774674ee72c37093c8beae2db66b855954bed54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcSortSeq False Passed
4b7097d4f7506bff334f39144c8455f2f76dc713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSortSeq True Passed
9a80cb9fd49c13c578850b530b781e9decf366b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSortSeq False Passed