Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7efb99a305dbfa21eb06c3e13f50001688168be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWithInFolder True Passed
0ddfe7b9d083779797445288329e85a434377699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWithInFolder False Passed
00a5a5ea3969f62bdef5459d7716d946bc6620ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder True Passed
d312d2a2394011ce17c3763b9145a678ac8b302c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder False Passed
082efc7cfd342520aa1ce452c22f6fcbadc89932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWithInFolder True Passed
581dfc4bf8b612404d42091bf5fef5464f7919b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWithInFolder False Passed
8a1d9fee81cc2ad28eee9fe5303b3c47657626da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWithInFolder True Passed
bc569a3023460fd21a7d5cab45d388dacd78017d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWithInFolder False Passed
9f5a1c71b3bd548dec677622e9bf714436301fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWithInFolder True Passed
57e70f619e30c497eb4a622a820c9f834b49d648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWithInFolder False Passed
ec02e1a0ac6266af306514e7f2816eb2ceed5136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder True Passed
86d51370b7b06c5e102a05891809a864e6231302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder False Passed
ba8b9ebb0a483aff73b93094cb21509d8994cefb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWithInFolder True Passed
7e08cc9ab155ac2e4873a6776f368c9c448438dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWithInFolder False Passed
ca89f9401ee49a23a27096c7c1f326acbef8455d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedWithInFolder True Passed
abe88f1f12361cba36720c7137b4c7d39cb6138a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedWithInFolder False Passed
777160819988a89183ea0a6cd066e850a80a5e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedWithInFolder True Passed
9ba4e151ad6ebc033fd09bbba8e0125a048956ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedWithInFolder False Passed
3e0b1e3e16e5f1f27db79501a6081d6146ce7693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWithInFolder True Passed
8440b78ce9bb19ad1e68b35e6ac47177b18367ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWithInFolder False Passed
c7f4832e541d04292033bcb20105e9d95cce8eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWithInFolder True Passed
1b35affe85daf8d50e31c61d5d7863041bbf2247 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWithInFolder False Passed
a4956d06f8aaf12070a289722056c90a9be4949a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedWithInFolder True Passed
f6a00f5c758b75c214ad51d29fe9908177caf0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedWithInFolder False Passed
08055c61527bd3f6b81eb495aef7e28d8941988d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWithInFolder True Passed
3d780f7686b844042e1c2523c5ea4e5fb9d65a8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWithInFolder False Passed
316096ee1460513c97edb67ad228fd956dcc03df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWithInFolder True Passed
c9bb991fdc1c7898a779edbb0c0944a9d43b07ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWithInFolder False Passed
265424c324657e2c902465e7a53613892718d439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWithInFolder True Passed
b03f02ba4d58bd523c6a852800dfb83aae337c82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWithInFolder False Passed
c6cd7c1c47f27671e66801df32d1148c6e738692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWithInFolder True Passed
9f73b88945d65c4a59fe406eb7cdc3764658f03e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWithInFolder False Passed
5657b2c510a7848581ce1bcc4b6ba96e5acd47c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedWithInFolder True Passed
a29ad4222d90c83042eb56d1a2d0c5ae84e1a457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedWithInFolder False Passed
005bcceb078fc624fe40bdd9e32df6f904571fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedWithInFolder True Passed
f5eb93e6821380d5d4b8f7560507a07f97b6ddf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedWithInFolder False Passed
ca6121dc95515a04ec0a6e0f5ec1d637e67958b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedWithInFolder True Passed
ccaf2e4503337d469054c70563e8e4c1015bf4ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedWithInFolder False Passed
a31414df513c08b2941756a8896cbd7212196e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWithInFolder True Passed
103b43f46c8a20f20caa6d3773423c9f4a0107a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWithInFolder False Passed
4cb8d2a149ab1a67b19d8924a98315443fa2bfab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedWithInFolder True Passed
fc505f7985538a3654042db9a01bf9447db4dc80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedWithInFolder False Passed
41f2e35abb1418f63c5edb5708110685e9ce95a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedWithInFolder True Passed
1b6cf67e62345a91a7ce443ce5d465160876d632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedWithInFolder False Passed
8685b67032d0cec536c360894d5a9cb282f8be40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWithInFolder True Passed
8f771f8d2e13d473d5845c165e18bb86da3b9a68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWithInFolder False Passed
166118e106b311839ebbac10a1c96f258767120d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWithInFolder True Passed
f5bb4f6af22017d007a0aa072018f1cc7eadbae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWithInFolder False Passed
e233d62689eba5f119ed60ea152154190fa0de4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder True Passed
88fe521879e57583561294a1824c0b29be7fc113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder False Passed
430a1cf61f97c0d006ede88f85003c8ac8066db1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedWithInFolder True Passed
4bac4cf2fec996608865a4d51b130baa3125a80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedWithInFolder False Passed
9df77af8030e6f9234a2d97eb4b73dacf184d9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder True Passed
55365da690e68be091ed4961fe80801e73cbf5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder False Passed
35ce54f5d3c61187c78fb6f6f69e5c6a7674aa16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedWithInFolder True Passed
3e1e054397c2ce3bca49dae91a0653c659a9fc4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedWithInFolder False Passed
641f55c8ef39b94a61b67a6dbe303a972c30b1ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder True Passed
a6cbe40fa75e24de177d7febc5397208ed3ab16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder False Passed
2a861447826a64c7fd4b4660a4d1e01ef3cae1d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder True Passed
99d4e0837807250717e57619b2be9f066c8361d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder False Passed
ab100ec00ecafb0be989d0842355fc0d002a6e1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedWithInFolder True Passed
f79ca31fb0a7087afe4a0b7058206fcf8da0a172 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedWithInFolder False Passed
3e5de193f9b52ecf41929e1d6a396df37c18303b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder True Passed
c0e1b846955ae9a4cccc156430dbd9dfd05946bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder False Passed
1742eb92d06515798974f2e590b376766b7e1c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder True Passed
1b395785bbd052415f4ef3fa0451a1e3874afefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder False Passed
d101734f6ccc30b90e50907fc1a8c2d85e3ed8bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder True Passed
f9095a09d00899996d6e6e5ca9746b95bf67014b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder False Passed
b0e60b7cbba5e49d0e1efbb6f45e554a24796ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedWithInFolder True Passed
7ff6dad2c329af8b32053a1a76e86e92ae901579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedWithInFolder False Passed
79b12ae8eb42cf685bdc2cd37e66e61b6a78d6df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder True Passed
a98cc4b821b364a1d097f2bb8bd9f710c0e35a9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder False Passed
3a01cc12571df2b5f555395535fed05e5eabbcc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWithInFolder True Passed
50e23c7055240e2e6d065fdf70cc39826803c63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWithInFolder False Passed
6500da33ac7201324f2a4f5d72b5f6d168d49772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWithInFolder True Passed
5c4b42ecc16769fa07ccb019e6dcf9e7c65b7303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWithInFolder False Passed
9a9c5cd95cb27bc33dc75aa90c37cd1e8c52019b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWithInFolder True Passed
418d111bae2b0c2dcae3f882415750ee1da25789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWithInFolder False Passed
67e6e717e8a1484ce0779172306dbeabb95574ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWithInFolder True Passed
1bfc14ce3302e55894ea881659d387b8bd3aa7cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWithInFolder False Passed
4b63f2d9978e6036bcae5da1a950ef009aa11aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWithInFolder True Passed
d1f3ac1c53328fa239b57e1c14ea65e2cc3bdbf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWithInFolder False Passed
667ea0d06b650b8b63c77e0552a073332be05179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWithInFolder True Passed
d8c21f38be4131630722ff1515b3e3f02b04f3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWithInFolder False Passed
5b0bff1d887f7d7acbe5416fbd9ab2357cf58298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWithInFolder True Passed
12e5a665e5c6ce55aa1b3e924f1490bc10322327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWithInFolder False Passed
de9032e0a6f6ea4b2990378db3646de824c24513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder True Passed
32e6728da60eeaeed3f4e7366921e19f44249b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder False Passed
a71503ee418a47be7b97318c2db828e79263c058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder True Passed
898044bca70c1a11160c9425a89d158a7a7ea15a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder False Passed
735cce47fa34a11422a00e89c0c8a53cfcb46b07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWithInFolder True Passed
9347a6a01999cb55679d42f51cd2badfea4644d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWithInFolder False Passed
d0b03ed89962a97bf01d0b9426de8a58d0d6be4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedWithInFolder True Passed
698ea5651f267a9745dc4f67e211ea959f4b2667 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedWithInFolder False Passed
00e70ad86693c24e18c9d73a56f1bc7e244930ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedWithInFolder True Passed
c3b122ddadadddc99be9a89712ce573a10bf7ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedWithInFolder False Passed
29eb1d920684efbd06280d7e7feb4cfee0d5169b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWithInFolder True Passed
bfd666735614e399c71650d20549565adc1b5bcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWithInFolder False Passed
232e9b02821a2850d45a0a4b1032af849f9456c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder True Passed
5075370cdec84132730667fd71470af8743f40af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder False Passed
1144c2a91abf41a6e4763c5c8d5915aa9adc3091 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedWithInFolder True Passed
9680978513b6cb5dea3abd66c467fc9965569370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedWithInFolder False Passed
121efc422641d78c28713c3309c362a1e0d40aaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedWithInFolder True Passed
61ab4df9cb0653d99f16d96d4196d0e7f9a0265d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedWithInFolder False Passed
04b80ae0c8132db589a295fd7334d5d3379734ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder True Passed
4c168903e7cd59b92c5e77e26900ca988d402e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder False Passed
1845b42983128166f217dffe7730e11047d21605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedWithInFolder True Passed
182dee9f146494443580e56e71e23487f261c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedWithInFolder False Passed
ab06540b724ceada36c5d30dd5712b88238ff8a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedWithInFolder True Passed
10f3f6e6bbbbad63719c9b9e8c9a5f0cc6b2a42d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedWithInFolder False Passed
9221c4155a5e0f916ae1fb0cc0d0f287593cbc16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder True Passed
1d21ab78ec428f5202dbb874c7aa3542b669970b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder False Passed
62a04e66f477b85c3096ac42dc065d7277c96297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWithInFolder True Passed
2b9ca60741e9000d0b3fc847f10290c21610d9a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWithInFolder False Passed
8092070eaf787dd99eeed37c517ab736b6bc7177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder True Passed
70f4e69755358f3dfd79e75476d6f70f10614263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder False Passed
ea4f4996d424c46faf7d53821746d7b87996eb50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedWithInFolder True Passed
510d095eae27ee05cfc04d0b267bb16bcbf1a524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedWithInFolder False Passed
382262d5111a7aa39d106d3aa86be6aa4ade4cbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder True Passed
ed2e931694d69d7860fcf5b045df7f61a0e470bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder False Passed
a27b18a7cbab2bdad36f8b4bc30b0cca85bd9525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedWithInFolder True Passed
d20e62891a96e4f6491c2bb59f3fc19155162431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedWithInFolder False Passed
b318218c476668f14e04a0027cddd254ecd42719 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder True Passed
fd5c32848c3420d8b290bbe391574e8f2af824da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder False Passed
e476d5e6f2d2ecda8ebf025c0f71ac5717e44c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder True Passed
0aba356637d6ff76fed578a9b4a36c380a61c19e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder False Passed
2aa0fc0610e858d948547239225e95b4c8ee6867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder True Passed
5879902b2730b28fb8247a5881c16f71e42cb654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder False Passed
33be8dab1576c1404bf54036f9598c3ad15fdd49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder True Passed
eec06906d4e3a42398a9989fa424f709871175e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder False Passed
fda23d280cd2f8b62289f812962accf5e1602bef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder True Passed
f444b56ff3c34c1a84e8cfd6f5b999b319d7ed64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder False Passed
567fc79a04ff4a7f577f2c06b9d4c91aa490a15f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder True Passed
052855dd4b1a9595605f10839af1a741dad406fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder False Passed
2ba420b24a63f855a7655e4696f341cf2c1b2051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder True Passed
97b5be2d0f24cf6a3433a9cd037861bfff149752 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder False Passed
d7df6821633d860fd887cefec1f31e7b176f9ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedWithInFolder True Passed
7fb5413f20c5b5e4eab45c9fd266769a4ce99988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedWithInFolder False Passed
0f40fa56a2c6d937115067561f1c68671d4e748f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWithInFolder True Passed
232d399ec96a580e592e7052f5a6a2325d920596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWithInFolder False Passed
f15d9f19b63339a6831dc03b67658de70dc362e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder True Passed
0fbef6bf1f9dc9a3c50933ee8b5eb9e8c697c4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder False Passed
677261dd2d77be959e44f8000a0ad2348b45f7f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedWithInFolder True Passed
9597d821a19c84790bcc2aa10b4614f1e8fc4fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedWithInFolder False Passed
5c4cc7e18eb85a98fdd2361ce5030a5198fde7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder True Passed
a90f24ef11cac9b1d570d58863b9680e197f0c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder False Passed
5d36f25b28e39e00efb4320d257084966e865785 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder True Passed
34574b0e96120896d4f9a57cee16018dd4e012e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder False Passed
0e99b5668ba7a23b8c81e800836c743de11454e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWithInFolder True Passed
63c7eab2bd51428390915ca5d637fe671e9c1c73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWithInFolder False Passed
27506b29857733cc081a199365286b4c34bd3c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder True Passed
78a7b3768c8f53bf40b217f9ce3b80ec6d22f457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder False Passed
126b84b04e76b99c9af3ba8a672884e6fc789791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder True Passed
569223d6321bc07be018a980224eeed8389da087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder False Passed
8ae8f3409a808591f2f91f94de18c0705c590d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder True Passed
8b0442964e1d3334b29bc6d1df657d3144503a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder False Passed
c145489d4a2659bac1898406073556e27e2be44f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder True Passed
e5772c4076bf4bb25aea2a39ee68026a52db0310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder False Passed
65764a315b667b7341d806e31fd3141201e82ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder True Passed
6f272565ff9ba46f4d258c932c8f877931c39866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder False Passed
3daef9d009514ea39ea501e37affcbfe46477e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWithInFolder True Passed
1b71f8bd265fdc1c0508fb0b843ded7377f404e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWithInFolder False Passed
82f37590dc84e4cb3ce7a6eb07c6e16e50db81d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWithInFolder True Passed
33ae746a95047458f96ed33fbb765a46fc8f0e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWithInFolder False Passed
13fe45389c0c13d6d53f6f8be787c12a3a43895f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWithInFolder True Passed
72123f5393c0ccc2bacd454a54bea9be7b75f09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWithInFolder False Passed
c0ea535cf261891a32ea6469b05f956c22f077e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWithInFolder True Passed
38b4fa281ac179c9ee8e1418b12e88ddad48c88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWithInFolder False Passed
52ac5a4d3ef3bc2176f0a51fbcf11ebe662f549c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWithInFolder True Passed
5d56f258634d0be8beca2b708b287b60ae7337c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWithInFolder False Passed
7ffeedb9478ef5dd1821d9a9b63165eb25967bfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedWithInFolder True Passed
40055e6a2a56d7236149fcbb3f16a7f613a80c05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedWithInFolder False Passed
a6cca7fbf01b916f6defea6bafe452344178db94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder True Passed
8adfbeb41ca6df8b87e29305c0b5a923aef9ca06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder False Passed
dfe24dac3d8ac1bf109a862006542c42b76000ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder True Passed
a7c45b4eba3005a0855855407ed4c7527f788f7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder False Passed
bba83344c6a1e54c7f8ea62af86d996a63c2e116 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder True Passed
f0390df8d24f2fa448f08d9da0ac87cd72756915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder False Passed
69efaf6a21d0cb6b7d1f762658b145b8ce2acbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder True Passed
3a92b99bb16c897635614844479f3e29de47d74b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder False Passed
ab56d1f882d6f155f84c44824f33c9b3670a4d4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder True Passed
13f43b9cfc348f5a821e33a88cfc7716a767cc57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder False Passed
b6f1dbd6b93ac34b7b459c9f4fb51d3957604d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder True Passed
e33a8454e7dead67d0a4c6da2193b188e979010c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder False Passed
ebdbd25e56f44917aa14b9ace7751ac70288ac6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder True Passed
b48d1530619c7a61ff3edab0c6c1f0687d29f322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder False Passed
71a195e01373dc81faaa9b938fc24b5c7471ee71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWithInFolder True Passed
04d67c72aff79e460c51083b60f99a5b27cca5be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWithInFolder False Passed
59a3f5210547835eac40eb20bef10b2a80f8a92e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder True Passed
d1a8bc4431ac3acae7459b2deb9d8e4e33041a6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder False Passed
9cbe8dbf6bc91bc0df77d27f7c58d8ac182f5770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder True Passed
933afce993608f298e9c5ab7ae44e33a3fde999f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder False Passed
08289cf1415f563defc11ed727c818428b1946e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder True Passed
575a4e14a249ab4dcd91ea19a49f708b9546a3a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder False Passed
564bf3b91732ff1885b94c7e2c32e233975e890a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder True Passed
63cb25c28100a5dc4441144ba6113589f3098302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder False Passed
e720c81155883a24ae87754c97f9bc2dc7d7bb2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder True Passed
f6dc444b61515ed2e536115ef2ae0f92e12429ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder False Passed
3181ab70385cf21c15728f2a2deb22b01921e847 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder True Passed
1fcb1a88b5f44ce75c41bebd2aed80cef7f64a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder False Passed
220a20b3ace4c46d9ed125f790bedfd047623821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder True Passed
830439d314179674b2ffaf56fc4b9595dde0df75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder False Passed
42dc24b9b13708f657a07a07b8218ac5f2f20ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder True Passed
2a92836e52c789ac20e8de9e63e3310c5110ab6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder False Passed
dc17902e43e29df695793430607252bbe588a92d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder True Passed
d9f550f763fd561eae22e521201e4adb76d50916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder False Passed
43ffd8bba5afd3264d6d60b186e7f3586128e1b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder True Passed
45c553b06dc2061a4e4214e9ba169809b6b35974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder False Passed
f9062e8dba32707e6a2b6724c2d24b5b87b585c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder True Passed
cd898182144fe03c8e4c2333be0f18af0fbbb8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder False Passed
923eb3461811d9ed920f4b8aa8ca3820bb4626e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder True Passed
1f180b2cb7f33f93cdb9af693d44eb71b980fad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder False Passed
5c0b18b4868dd77c8e18776cf3489e989193031d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder True Passed
f654bf2e375fe2732bf8624e14c1dce52e8f9eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder False Passed
1372ee7e8221e4822b0c64d6d4c64aa3f445f816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder True Passed
a508dd0de5750127dad0f89052dd6a1d595c1072 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder False Passed
1a440da778b7021c7e5bd35a47bed538873e5777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder True Passed
3de028f5a1d154fb906c0e3f1cd9b0983d041495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder False Passed
759e6dd04fa11a97ba9f2acdc5d6da2180701b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder True Passed
847a9c78d02634b2ef1a1dcd9993c196e713138b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder False Passed
3c78bee8fbf217c67f30a4cd1e7418663cca789e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder True Passed
6237782a596b9531ad04c5f0ce8e7f5e3d3a002d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder False Passed
f7d52ac2ae0c3b4424b5a846244e738d93724f48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder True Passed
cf4ca07f7ddfa23b6484fa9a2c6e1b46653dcf65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder False Passed
93f7a3365c85d5cda6c8c646c48c3e9b208d19cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder True Passed
b0825c47e29799860000bc3e8bb415dd238d4cef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder False Passed
a6514a002af766faa7afa6f24cfd08a47db5ad1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder True Passed
9fa189da5c0204fb36e168de6b7b89e0da7c902d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder False Passed
c7d7cd133f6a602e940342eddeb2a08d8e7efd53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder True Passed
612e9e3baacfde471cbe31d8b8d0a00de5602900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder False Passed