Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f33311556c9e709fea0f737e3b229be47a628499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqLen True Passed
67b47aae72566e29517edc75769a532e29e805ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqLen False Passed
82d6c7015418ce92f7203adcd8daa7c0e6f90a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqLen True Passed
44d76374aa144807cf49c2732a6110bd0ff4e190 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqLen False Passed
7b0d8f49a089a497b823285580003e971258e280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqLen True Passed
8be74e986167f5185d4996c77a2d236ac49881e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqLen False Passed
1db49ada496bc109f10c674cab4206d2b9646860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqLen True Passed
b98c9256dd99cbf4d75d0d7cc160fd056f0968e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqLen False Passed
885a658bfd21ea77bf89dc1aac26f93a56451af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqLen True Passed
25d957ee2920e301de8693efbc789a1239974900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqLen False Passed
720e17bb948a3a078bcd7d5204f6fa6670990c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqLen True Passed
f14cafd398e189788401683f6b8db596d6bb32bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqLen False Passed
c7c2a6a3b60929980e1b94c3d26058dc765126c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqLen True Passed
72257b103befd2888febf726646a383e5ce8445e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqLen False Passed
ddcc0772d5471e01e8bc4c9d00a15ae9cf8a82f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqLen True Passed
f3f0f13f5127e9f582ff9b8ee81b773811c5cba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqLen False Passed
783b49a249f9ac627857a3e051ab1e58e0097b24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqLen True Passed
ef301435f753a2e62e805cdb99b43e860347834d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqLen False Passed
1a4e2340f66a93a4874012de09014c58c2f0d9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqLen True Passed
3ea3e3389d165ff29f7450fdb9ea4a769c4f7826 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqLen False Passed
0f7c7f145fbb1dfa817a40e012c8ec6937724a54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqLen True Passed
c1b797c12ce57cd923b4517793fce5b9a4655617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqLen False Passed
f7a35bc82321a0823693a83a95eb39048bf770f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqLen True Passed
3f7efeb5da26c6393fe77902c170908fbe32326c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqLen False Passed
c592385888896037ed4bca687044b81c5598e5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqLen True Passed
5a96af46ba8232e6f28f3cad84728147516cd28d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqLen False Passed
c7ed598960766c96fe519b71ac8847f229629538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqLen True Passed
68be3d5f970c01b18503cff0f21e8f715c7baba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqLen False Passed
d0d7b645a89cf0ad08c1d2a9a0e44e38b38e26ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqLen True Passed
965f694d3c322cc6b8a3276545bb7aaaa8a1f569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqLen False Passed
a157fcd52694dcff94c3d4ba535964a4d9d5f5da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqLen True Passed
db83b7ec2991c9cf7897bf8e740392ad2706f026 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqLen False Passed
acd4428a3c362522bfe67abea14b585cd3f32d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqLen True Passed
a546e945392dcde72ff7bbeda6be473f8a86c126 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqLen False Passed
936ba9c45e161b78eedb2ca3c10a7171041e9af3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqLen True Passed
04410e5dd97d071ca4be563f3d8d8d9d2e1c2ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqLen False Passed
6e18c369c6ebd6e3f5febb4b86a60a981a719db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqLen True Passed
73799a222f2b57ceab0fc37b7d52042d43ff7dfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqLen False Passed
d0fe8dbe37a61b3c9e65c021c64d98f328442497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqLen True Passed
3f036a025c5e96e1aea54eacb1b090f43875e8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqLen False Passed
3b6f6a536e993992b28f21c63d0b7972b8821a06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqLen True Passed
7bdaf2cf3ec1d7eace33e5187e669e2551aa7a3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqLen False Passed
95478c10ee874c51dda04d05a275352e926c2da2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul SeqLen True Passed
467dbf465fbf98fd5c25ecab0f6bdd71c0fabb9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul SeqLen False Passed
d7f6a16a141eb95a704e4734b9deaa980df970fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqLen True Passed
93753a148cd2f551cbfc71c560661bf88bae8142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqLen False Passed
3e4176823500d294e587d4aa1e18ff1ca064d16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqLen True Passed
51c1b0c92cde4e8da1438189e66a7fc380bba152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqLen False Passed
7c747709cd400d61a2acd8e06970ee9becbe23be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqLen True Passed
d78a3f443ee6a9554f450e912616e6fb909eed4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqLen False Passed
141b72cf6e575b4615e706516f0ee3771a18382e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqLen True Passed
29c94f9cbf550e8b139647fdb5ab81e83d09b2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqLen False Passed
d58033d92bce1e3b92d27065e2d879a4e7778553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqLen True Passed
ca0cfa94a084a33f7b9a0cd506e5305e08f6b1ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqLen False Passed
08d21f9bf596bc9457ca8d722f24a364c4122fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqLen True Passed
22a04d6b4d6737fe2502bc925d466ad390186d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqLen False Passed
304e8182e9f94340136c77f2f752ea17e77af558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqLen True Passed
09214e8d3858c6ea2d79719512c2d310c24ca939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqLen False Passed
880fe3817eb7a8e836a8f4bdc3be990c1b3e33ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqLen True Passed
d53e6734aef9fc27465aad0b2c725d85f61bbc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqLen False Passed
c21cde9c1bb7cf6bfab77b542d54c71002b0ebc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqLen True Passed
a421b1bc14c9015c235f9e2b49677b258e57f082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqLen False Passed
503cf402eedcf7d6857fdfa8b223bb3227b1d031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqLen True Passed
44e78fd5d2c50c03e0891d74fb0190f060b7e4a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqLen False Passed
a28be1b5df5ee30a1e0c102650af0ded5bd7dc83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqLen True Passed
445f196f050ae8f2b347201fe6ff14c25908c881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqLen False Passed
91c960e5f7ef0c3a2894545f20d7955010306522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqLen True Passed
bf5483524ce57b3d7ab9811a9016dc5381e3d097 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqLen False Passed
69879c0721fc205711c9547e49bdd4fd68cd9933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqLen True Passed
385f3a1d7ff6e362da4d240215264d321b568e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqLen False Passed
8cac8d3187814e43a3a5decede741fca4be42685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqLen True Passed
ffa69d229cffbd229a6b8c3f3a6c2ef108cc7188 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqLen False Passed
df47fe2702baa27a3b0c74ae198f445952b02acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqLen True Passed
bb08aebc0deefc7294f22af1ef13700948d4ca03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqLen False Passed
c06094d1843bb353b0d5427e99ef02c2cdbdbaf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqLen True Passed
c7baa215978609acdfd8ad8b9a4c110e4cecd6bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqLen False Passed
e58c0131edcecf7cf3b9566ed3e8aaef4f907e5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqLen True Passed
f2d4391cbcabd62ff85a634c186da858104bf452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqLen False Passed
9fc02b6c067459702e170bf580ee2c5d12894a01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqLen True Passed
529c58f8949d04fafe6758855fd5e0e0b0c07061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqLen False Passed
016668dc9fa87958ce98ff33837eeda7b3ff9ed7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqLen True Passed
9ebb8be1cacb034994f0f1c337643e0be4c0cefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqLen False Passed
392fabb1903d1ee23e81cb30cffc34d1563450c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqLen True Passed
97508d8913590ffac597be4775ba21432ae9d092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqLen False Passed
956510ae4fa66ccd71f80b16a91a891c5891c1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen True Passed
d384afec2ca64524e21dd9d7a63b59aceab130e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen False Passed
8b15dfa0ac4f50a93daa661818765b4cbc0989c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqLen True Passed
54fd138bf7719dbb90649478d969964a8bf35d1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqLen False Passed
eba5bfa9fae52633f2adf758b47e979594a88b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqLen True Passed
ba2e6a25a12ff3d23c4581973f2d7845622df0ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqLen False Passed
5f97caa58f0bcec114270184bb9fbf7f66056a7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqLen True Passed
af7e6534e4e9c56ef827feb31cb4add8bbdb189b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqLen False Passed
e4aa93d88b4f21e285d1ebf96752550d8be6577b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqLen True Passed
10f156272686750eff1e36e8019d74ceb9c129dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqLen False Passed
d320d87eeabf5e1d04c482f82d35ecd15fdbb9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqLen True Passed
f3b231e199ec96814c09b02aead3dc7ed97edc07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqLen False Passed
24007fa1fb7b80eb6f14cce799d3779587b90e6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqLen True Passed
8c75e7e9dfa92f557ba5a59d94bc5643d6120440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqLen False Passed
e64b5c7d1748c1053827bac2dfc22921de91e265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqLen True Passed
e1c3b05122c526ad1800f7bf05e22add488abd75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqLen False Passed
c39d0b885336abcc9dec402df3080a6767322978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqLen True Passed
c509b8a1091148b3c852f1b230b53c4078670b23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqLen False Passed
52bd584a0fa96cda3eb1f216de8724dc5ef83dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqLen True Passed
e2430d778a9ab89055c020c65d20287482bd0d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqLen False Passed
e30681fed3ba00374ea7cca0b6c254ba975791a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqLen True Passed
0f1230067b2a12de9f41f097bc810063da7b4b6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqLen False Passed
f175bb1b04760a5adb69ad4bb60fe1d5ff33de56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqLen True Passed
7e4e1d17ccaf525cda068fd2e594577e3f120958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqLen False Passed
b69a805df3e6f339e936838c3a802cd05774a918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen True Passed
8d61ec69a4a11e226a7540e7fd8610c09d7d6381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqLen False Passed
06fc612712ad90650ca8e1ffc6ebac5f05f7e43c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqLen True Passed
a0c810b6a21504c84086864246fe66bfe9779737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqLen False Passed
9be23c7283606825b5426758defb3ceda9d06a8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqLen True Passed
553cfebfaba16610082eb4c2e025c4c46e8debcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqLen False Passed
d74994e50f0aeedafe2775b0c18260845545471c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqLen True Passed
c2269448d3fe4bee132c9c0d628fca913533791e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqLen False Passed
586c1b09b4f4d66863371aac93620543a74946bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqLen True Passed
c055954ae19b084edccb27dee100cedd48015b92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqLen False Passed
b8f9695274145f29f97e3e5a722d04662aeeb0a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqLen True Passed
279b8b8e62916cbc59e4dbc02c05cf6aae6a77b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqLen False Passed
6cf2b5fb6a5cb723df79ee8cd39844e9616c5e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqLen True Passed
936ddfb8e3131084ec34e88c4eb8e4f2a35a8eac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqLen False Passed
44ad489fbc3a6dcd26bdffc99a751aa393772d8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqLen True Passed
70b20232b6111d7fd4701d9050a7d200fe2040cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqLen False Passed
6ca201599abcfa690ba25386062a684a137284d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqLen True Passed
a79954973e0a5f7dccd50e4dbc734e9f79dfd3be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqLen False Passed
fc7ff1a1895e79f673125792530118ab2d7caead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqLen True Passed
c960a14c7437ddd119117a1c159791a509e76eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqLen False Passed
595c83322564d2d7240ff19a15a1d051175f4161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqLen True Passed
67b68603c564ecfec4df6ba04ab102cf9f6ca646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqLen False Passed
0a0c4180fd0b39b2b12674b4a86b2af142e3c78a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqLen True Passed
25d66e2adc4c2004d2c073e1aa898ec8213298e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqLen False Passed