Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
75b41618564337386844d7f7f0b195f6136b1297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcSortSeq True Passed
b0d30ba1c9d919cdec1c5c853977de89841d95ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcSortSeq False Passed
932205fb220f212c4d25c1ddcbcaf2adabfe10c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSortSeq True Passed
fd9fb44aa3ad803b1ae130b3f794d5636261aa9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSortSeq False Passed
90c6a947f31f061ebf5fbe6e4e2adc0266dd87e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSortSeq True Passed
84c7337bbd2cc20634fc2c891d82e479a5edf859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSortSeq False Passed
9441d4ec7769df1fdf207a52aa55aafdb85f471f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcSortSeq True Passed
e537fdc9b78719134a04d59b4cef9282a37f17f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcSortSeq False Passed
145a2297751a3e7a55d4f479e60abb2d5547c527 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSortSeq True Passed
12d50afd7dfa72f88c3dcc4d71f33b181957b071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSortSeq False Passed
81fb05458943a35dc6c4f6afe9a0705524c21285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSortSeq True Passed
51a94be5ce0b5e9c073d2bca1f21a24199f3d049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSortSeq False Passed
00199f817db1450136bb3f6cf2283776cd30a218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSortSeq True Passed
23c22b7557e4092d2e3ba31dff84be493ad4cebc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSortSeq False Passed
26bc8af19e0af0b063646425118280cf8c187304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSortSeq True Passed
5fc89139b2c15cee1eb00c9482cc51b7fd419a55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSortSeq False Passed
750dd1718954566cf1f5c161ae0740bd5fa296f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcSortSeq True Passed
7cbd7dd16915453bf9bcfc1f2e11f4bb7c9a6791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcSortSeq False Passed
8c7137d7a2ffade7808007d1cf77edf3f1f096b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcSortSeq True Passed
eeb1c4cd5332383f6274d3e607fbe4a412476671 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcSortSeq False Passed
8bd457dec997a4d9914faa824dee1a9cf0c5bacc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcSortSeq True Passed
ebbfde07615f2810ce0da2095ebf4c710b14ebdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcSortSeq False Passed
71a5c49702c04a085123d777dd96be18ad7c09f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSortSeq True Passed
ea73b5f91347d48733d2fa90a3e5c7dcee7d7210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSortSeq False Passed
713d494bd340fadde9ec482908f18af31984c4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSortSeq True Passed
32354024bec76dbdaf2a1d88cf9c6bf5cac89867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSortSeq False Passed
3257e40c04b8d9dbde31c8606fa7179308e38c27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSortSeq True Passed
e798b446f9c2f852ea32f483a344f8f5ced0bce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSortSeq False Passed
7c329504361f89d53b7e45df1c5ebddf20beba33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcSortSeq True Passed
4347d1430134839b104a522ed61391c4f670be39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcSortSeq False Passed
42fc1c78838de1ae7e741434ea9bf02543ac8cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSortSeq True Passed
88960f9e49f18eb0f0d859954d47bff088a3a3b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSortSeq False Passed
7f1aac6e3b9db2a82b6991ca7407a39a7f0d2d3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcSortSeq True Passed
2c7d13e234853d19198f4b5e59a2e4f969fdf4a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcSortSeq False Passed
575030d70b0d9deeaca5bef9df40f3e005c23cee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSortSeq True Passed
e025d29eabbd1b04606b354eb88bb85f0cdbf533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSortSeq False Passed
0b754e0e9ef0c1ea456ef6507c155ee0b255625e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcSortSeq True Passed
01db09a2cd79ac96f28adb7fec62515ca67db766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcSortSeq False Passed
42fba7ec49de5919b04d0efe9f45f1871fe111eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSortSeq True Passed
1ae5ba8c5e9bdd5182324cf512f6d883ab0c4ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSortSeq False Passed
16ef351630ccf4d6e790ba0eef5381696ee43d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSortSeq True Passed
bd925c50a8b07813473fbc99c6e98f5dd5df4859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSortSeq False Passed
0367bbd407ed9578a863f73b30bfc42f3ff757f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSortSeq True Passed
992ca6941915264dd1f81b1891d4a1cd0b8ae966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSortSeq False Passed
b074abede4c5a568f51defe6598a7344aa9bae2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcSortSeq True Passed
d4018718127826e6f14e322d77e30c60ff5d6aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcSortSeq False Passed
8e267e2f2dd1784096e4efdc4fe6a97049ede6e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcSortSeq True Passed
68bed18d4bba0b2445b9785bf7022073e6b13aee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcSortSeq False Passed
ae152c8a5426449b1e69c7d821b5c25260cba318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcSortSeq True Passed
753fe0c63d678faa526e23be5f1c5f22007d0874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcSortSeq False Passed
2abbd3ab20ca3fa3e8414034424049508f5a25f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSortSeq True Passed
0b7e214c319f5d84d1723e7d76903501ac061703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSortSeq False Passed
ebfb8a69fbcfdcee35be04007af40c9ff3b3098e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSortSeq True Passed
6d5a746118e9c02acf8e6a43ee77f2076e36f287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSortSeq False Passed
3a359d218334f1cc3e5e96879aa906bc7ff47592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcSortSeq True Passed
7db7e03a61453bf7a61394b53675f9706f12e86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcSortSeq False Passed
43a922b4d77ccd491e365a6418e4cecaf758dfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcSortSeq True Passed
55151afda990ec6b79b173253b1d1a4616ee0eca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcSortSeq False Passed
fb00ef099028d76de6ccb4d8afb329dc5023bc70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSortSeq True Passed
46b3fc63d78a67d95262350f3e6ef03cf3a1f9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSortSeq False Passed
41ee81060835f634d16ed3f275d3e6e7814b12e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcSortSeq True Passed
b8683d9fedafe6adf48154d0b771163f84168c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcSortSeq False Passed
2ceccf167cede942759347affde9c717e8381bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcSortSeq True Passed
f4658dd72825d9968dbbec473ce99c8f4f6872eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcSortSeq False Passed
f315933ee02ab029f44ba9cf4d098bd81140244f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq True Passed
9c4a0f82915313564a2c0f9d7fe3c6ed9673a905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq False Passed
c7d10b2d063b65f843f886bc03d50007c64be6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSortSeq True Passed
53ab6693867eeea08ba7183dcaa0f4c4ec8bea6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSortSeq False Passed
cc8ba5c18147000d5ff09b7dfe5727055a05ea61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSortSeq True Passed
9861a1447f34ce569e3eadf5041f29a6f8eca977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSortSeq False Passed
ffe8d7dc2cb925a1f6a7b756314972278e529187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcSortSeq True Passed
e9576e7759c91c35f6db45e78ac4debd5e5aa10c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcSortSeq False Passed
63f1ec88ac1a692930828e0eedafa84b2ee9c60d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSortSeq True Passed
0cf60fed0693a3dd51e10a42fc64b3dcf439cd48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSortSeq False Passed
3db2f77d6da88bccecf35eab3bf74a399ef4d7ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcSortSeq True Passed
6b429c97594799a947574c8ad003bb3a24006e9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcSortSeq False Passed
76375998ee111bc7318815c44e78a3436df12bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSortSeq True Passed
768c4d46dba26bdf1c9149c3a977b0343d4359c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSortSeq False Passed
81c0326f0599fb6ba2b6a363072bbbb758ee051c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSortSeq True Passed
80ff728426c71ae06fb99684ae82b53818ed4d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSortSeq False Passed
393fc0c2721e660555306b0a9c102d7902842369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSortSeq True Passed
681c9402303bd1072d24699282abb83ae79a7cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSortSeq False Passed
9dc3c1123d27bbcd9a42791588698608b1853bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSortSeq True Passed
cadf4d66489553aef99754e2a87f1ae1e4290699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSortSeq False Passed
ffbe1f44da0778f326adf866d6ba172752653631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq True Passed
c92479e0f84645c2d7066eaa4548f2ee600a7860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSortSeq False Passed
ef3e05671fbc77d7a99dc804fb9044bcfe9583e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq True Passed
ca13414171dfb79511f11800271f50b6cd766798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq False Passed
97dca43c20b11f53f657460ed24195c7eebfc4ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq True Passed
3859ee278b44353a50dfff8886c714cd603e0b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSortSeq False Passed
6c9db0fabc3c29d99cefed2533155fcb15ade680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcSortSeq True Passed
a964b7df4a6302e6626145d55cecccc7abb8eedf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcSortSeq False Passed
a86f01d0b573fd5a369e9a529e063a1ca4ba0077 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSortSeq True Passed
f46b11bce99da03cfa158268c3c5eee8f8435484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSortSeq False Passed
58cae677b0e44ae9a04818a3f67f5e1c641c5cae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSortSeq True Passed
e7210faa08384813e49538f7b41ccdc73461fb90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSortSeq False Passed
c63520eb8919eefcda9427dea33a93f59a3ed970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSortSeq True Passed
403844eba4da2e1e2f8cb1dcf66877cfbf773281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSortSeq False Passed
4fc9e604468feacbcbfe472877dca4e69894ee6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcSortSeq True Passed
a910bb115ed72fe1cadde41e3d429cf3489abf98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcSortSeq False Passed
c2fca7710f7de037eaf5b34918ad6ec81918cfef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcSortSeq True Passed
e3bb9f682f2c1b37112a7d9a8fb767c8fb67694e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcSortSeq False Passed
a5c72cb8d6f3818e06bc20669f2e612eb8e69789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcSortSeq True Passed
1232adc455ea48a534be65e15b8e6cb83d0ca61d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcSortSeq False Passed
114a1e3fdd8aa2a9045adacdf097fc98f1cced7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcSortSeq True Passed
1c2a4c42042f6183f2a7284a676c130ead6413db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcSortSeq False Passed
b81bd5b14234940c76a51621441e851410d4c9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSortSeq True Passed
885adc9e06abf1d2ddb6b38d83aa1bf76b7feec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSortSeq False Passed
7aa2537717e97904107bdb43e0565d5b5436715b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcSortSeq True Passed
861f1b6ab1ee84e6b297bec1fd0de91388847e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcSortSeq False Passed
786a296c421ceac86f15f5846a3bb044df8893ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSortSeq True Passed
93d592a60bb32f2b2e13ed1c6013aac1728039aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSortSeq False Passed
ef478fb2aabb25347dabb8571e71c42df7d75a06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSortSeq True Passed
a658cbc8942ed6b96efde3df752ab3a8ddf974f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSortSeq False Passed
4b4e61dd2d113702ae4c1ea9c495bfad8903304a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSortSeq True Passed
2eb53be1135194a8638a9bed4a8ff47cc1d6711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSortSeq False Passed
0abbd717b9976a970fa6ae9b5c4f32dc7fbb5e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcSortSeq True Passed
50086cc8f34d3acd34e7705f6a0d9f138e77b658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcSortSeq False Passed
fbe1ae7a53cd3a5b3f59f6da655c7023230a9a63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcSortSeq True Passed
894685d09a60f94c819baa7f5eba5833f960e472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcSortSeq False Passed
351b684768fc46eb55c0fec3c7f2b9140a3a040b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSortSeq True Passed
84a3f468df6123f12b1aa78799408f9b4a561be7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSortSeq False Passed