Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6d2016236a22353fc1553adb406b2536d979e0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWithInFolder True Passed
2b643ee3bdd9f3d2560456f8ac0400aa95e6b477 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWithInFolder False Passed
f7e58da0e30557cc2730048aec75af2323e0a3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder True Passed
dc33712cc8df74270ebb12622d0142432cbf5f2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder False Passed
4b1694a09c0c2704e608f0400fc04ec359c683d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWithInFolder True Passed
e75dd1fc4a7d77f1d73359c614b65c106204f517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWithInFolder False Passed
71ac3060ca7bc25006375a3bd0adf8bbd2ca940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWithInFolder True Passed
3002a7b8304410bd2c0f1d7e8e87acfdbf48c7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWithInFolder False Passed
2d3acd7e2d39bd761229f4ccd8e092872a55599d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWithInFolder True Passed
a735715aa7071d26612683fade6890ab1bc9cbeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWithInFolder False Passed
fd20bd0c6265ff4278c8dbb710b9602dd2521507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder True Passed
1c42baf329db398e0368ad43a7ab97fd336872b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder False Passed
1fdb6b38a2b0d994085424880d0d05c148c27a51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWithInFolder True Passed
46dc4dc473db692a6df4ed4e357cefcff4ddca42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWithInFolder False Passed
d553d6f803c353d17c3cd0e60c3ac1d328ba947a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWithInFolder True Passed
3c092001e26cfedf8fd50bb451cf4a41e98425d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWithInFolder False Passed
10dd3ff3ae96d305aa9a32345f1cdc8e277ab2d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWithInFolder True Passed
45c1de52f165f73170d966b903504a8348ba0334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWithInFolder False Passed
5a88b87991a124f6719441c8b51cebd98d86150c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWithInFolder True Passed
35814a70addddbe4c1ee878a7090abd6718116b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedWithInFolder False Passed
9ae2d23361fc1563f28512a9d7ac006db9345bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWithInFolder True Passed
90572bf0267911b46f1e263319feb9658753750d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedWithInFolder False Passed
5a4e5a9bcf68fdaf31a93ba31d0ad1706f648267 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedWithInFolder True Passed
33f7063c282fa6318992b3db3c3857ed0f8cbcaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedWithInFolder False Passed
682c4290c4dd01f7bb232e82f1f7bae06941383a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWithInFolder True Passed
1f524d8a6c372ab5d1476606ca7f1a8bf0572c68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWithInFolder False Passed
13c4b133dc19b8ea523ed44588603a3f9e5b8f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWithInFolder True Passed
a676201e8a3567c53d2089ceaa19899e8ed8752b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedWithInFolder False Passed
05b5079ce6bfb39eb903e6477062faec5eaf1d22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWithInFolder True Passed
0678ffc525eea410f47ce205bf6d52a5fb4e8691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedWithInFolder False Passed
428433175d6f08d5412b5a912c434435fefb96ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWithInFolder True Passed
d461742ba761ad6b85f430fc2b60afa65e77f134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWithInFolder False Passed
4a89b578b55b34a7c55a439e6dddc40d2648b276 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWithInFolder True Passed
5a871914a8ecf473253fc478a1bce329ad53a6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWithInFolder False Passed
0909fdfaca797635389431add95e0a67b3abe404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedWithInFolder True Passed
5e142cdb359b66acc56c9cba8991afdc74f3bc1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedWithInFolder False Passed
55e63dd2cd191e160b68c8a2fc7d5d10c0fee1de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedWithInFolder True Passed
b160055a87673d8a29004f85752a45a17f7552b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedWithInFolder False Passed
c7416a4a835ab01b92e9f6cba48fedff1cbbd6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWithInFolder True Passed
91f978ca7d761d83966a29f307ba9a255a480fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWithInFolder False Passed
c9244271e6af48dd73b1e56dccdf3f96f92ca9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWithInFolder True Passed
537e126f2686573a476a6ba3592256277d5de2a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWithInFolder False Passed
b9fb4915ba488aec00deae43cea69b54c3fa60bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedWithInFolder True Passed
f9f7c2df765ee987d55dbb207d4e3b40bbc9b86c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedWithInFolder False Passed
df356afb19f2705cfbc69b9e290754d91db59976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWithInFolder True Passed
d706f198847211fc84ed672327129229cb04acbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedWithInFolder False Passed
7e1332cdd816b1f1065013d8cb94dd1e0c233add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedWithInFolder True Passed
d99b1bd51bad9a656460d24df6e23dc7fca45101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedWithInFolder False Passed
4f61fd61fec4e8744be24a35db8c109ad4bf88f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder True Passed
bb6d5c93dd35a86cea2d7f9fdadf759046bf3bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedWithInFolder False Passed
369c4ba810b7e14a1a400dfcc875e17f674d550e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedWithInFolder True Passed
63d54e65b92b91307a6bb06a89dd69432eca5804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedWithInFolder False Passed
11b2fd7973235133e4e4816d7465a968ba4d702d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder True Passed
fe765e5500f514fc3501431b49cc6ff08520e660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder False Passed
f542e72d949eb714bc7fb3bc14be6f0c96a69e01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedWithInFolder True Passed
3a63ce9f68f081c004d4fb3a6923261284349e0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedWithInFolder False Passed
5328704ae145c9caab5aae4f4cd9538af44d2048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder True Passed
ed2bfc7ddcd4e2a92a54caeeb5ebf45a33bee420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder False Passed
672631a3c9085f058c478a23740425d51b952cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder True Passed
cfe4c4b593cb953c20ffc5fe9c82f908eae78355 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder False Passed
6bd9dbe0040940477bf01fe917f3169618495ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWithInFolder True Passed
b5c8e94c39e76f8039d0948e2af028c97c485081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWithInFolder False Passed
13d14aa7797a88e78e751bab2eeb41f64ade2f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder True Passed
1f68566c8a86536d94cdffb7a2e58ddab39e7cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder False Passed
57ec992bc1a038ab9a365edf69b3a1b81165d91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder True Passed
272821c7d66917d03e496f8f87ca385a708b3963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder False Passed
be66d8465ce65adee5b955f004d83c3350cca4aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder True Passed
2d49396ad9f6d3bd1d668c6fa82e4a65aa6a7f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder False Passed
f1d7abc91cd42290c3f798bad73618a809db3d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWithInFolder True Passed
1675baabf72865618bc1e5d13da86d53d5bacdba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWithInFolder False Passed
35d9a1bc93ed8911f5978b5a58da1dd336261fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder True Passed
91b71a3654371db52d31c202fdf90ccbb8ac263b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder False Passed
755e956a9eef759ac1cb3ea7463c7cf786645fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWithInFolder True Passed
c5079cc7bf83f8e0d20e85e22d5588d9f2d17bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWithInFolder False Passed
4faedc80a83a7adb3125c9b49fd92c9730a520c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWithInFolder True Passed
95e97b4564d9fff91d9d5dba20012cab9fe2aabe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWithInFolder False Passed
15872795bcb0245168d66276e94ddda4ff5524cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedWithInFolder True Passed
1e6f94bf75345e19bfdf37af80308f047508d7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedWithInFolder False Passed
82215cce29edf6b70ba17dfd06cfd8585ff945a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWithInFolder True Passed
cd51daef18ffa63966ba1dab65954d6532cee1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWithInFolder False Passed
85dfe247a6d37a6b48d878159b7bd13b0febd811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWithInFolder True Passed
e2733627ffb299b7c3e18050117bc55e58b2259b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWithInFolder False Passed
f91452b3ebecd1da7b7224f8617a4a0ed705aa04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWithInFolder True Passed
964da6e3d6d174c25be0d9c6ac7a4a7eab316944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWithInFolder False Passed
4747bfa16d71f786f3ac10eaf86f2925c17389cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWithInFolder True Passed
31d4a8dcd9c368406556b6b67007890be7cac5f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWithInFolder False Passed
98dd03c38b7beab55bada5297a66be837ea061f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder True Passed
08ec023a3d64e431f5a9aef74005b1699fc11ecd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedWithInFolder False Passed
7acf975f0969260477a8f5592da1f0f83ece7fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder True Passed
3b9c92361e765c58d0feba2b460fba8a6fb0331a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedWithInFolder False Passed
bb036138e8318c95c41cd565cca5fdcf3aa3f2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWithInFolder True Passed
d0484490e3cf3f194772d1f9b1d256115dad6e36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWithInFolder False Passed
7fb89992d9809acbf3db259d93a255912e7b11d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWithInFolder True Passed
eac20e29f7c3ff5645da7bc7b450da61f5ac8b9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedWithInFolder False Passed
b2f398068bd1b2feff14df07170dd8719aeff860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedWithInFolder True Passed
c77e58cec1992593ebe676a46bd2431925d6a9a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedWithInFolder False Passed
ed26dde0ea4c6304560681bc33c1124c7b3fcb68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWithInFolder True Passed
73664c1523fb738474da9731a5f5177a6f4faa8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWithInFolder False Passed
4833753fa564549f10c37ca97d16aecf3f2dbdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder True Passed
81413988fcd91f7a70484e131bd1252a709e99d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedWithInFolder False Passed
799eed9d732be00c49ed778b772a0095be378707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWithInFolder True Passed
b8c3d845a33ad6ffa9fcc106531c7f0400d2748b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedWithInFolder False Passed
c4f81d07d6b7195903bdf2432a2defe32796964e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedWithInFolder True Passed
dc11ba176280025de5af94dedeaf225651fde604 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedWithInFolder False Passed
37ebc67c45fc820d6e4a8b1a6ba44262ec722e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder True Passed
b1ad8a0113dd16b2d096dd7f265c8afd0e10c410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder False Passed
8912c76ee00caa1d5c8df858585729f98ae02233 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedWithInFolder True Passed
9eb2f8b7474f094918ba7703f34dd7025c72a92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedWithInFolder False Passed
9d6d602b78d3f006b7828cb184eb492431f525fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedWithInFolder True Passed
a061f071a56774bb6a33786a7dad12794f9a729f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedWithInFolder False Passed
5b70cb7fd70163f95f38356cdb5f1500bee621d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder True Passed
726b598e61426b0b6fc8191f42b83899ac08d9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder False Passed
2df9acb34d9c02d1fdf1a4532590bdde45a6aa28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWithInFolder True Passed
52b72c247e9dea20fc2b3d0ea50e2cf8141e9f66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWithInFolder False Passed
2931e3164ba8fc95602f88816179a06d861a7d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder True Passed
5b5e94f573dc3d3a7283298534e59c170407c1af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder False Passed
24f3b2c2b2154da2c2a198cbddda9558e03105dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedWithInFolder True Passed
ce9fb44bbd24841fb2f549c219442ff4fc24d36c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedWithInFolder False Passed
6f9965658b7e57b62b62ea678cbc3c74a5c853cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder True Passed
032cb2a45aea5f2cdf928694a979589c8389692c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder False Passed
1222f351a21fb1d0d3616d3431970bb13721c5af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWithInFolder True Passed
0a1775d1709020d11c568e2ff2d007321333cb9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWithInFolder False Passed
479a351a6a2379d4acd5bf86bdda1b4d65cfbbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder True Passed
bc77e5fb9f9fb71f135c0d5970f68aadc2986e55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder False Passed
078f298e759d485ae71ed3ed98bd43f7d0ceb66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder True Passed
53a011cecca0c5651ba637804965ece5c45a22f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder False Passed
94658c36113bf5845c5ccfacb1d63a8f482fd048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder True Passed
0f29ae7fa08f497ab94e9fe4ce57ed18e4248c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedWithInFolder False Passed
6845854d9507fc6a7af1b93cfb8e264cbe50b8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder True Passed
6f43a52e55b47654590ebac224da2c97028a7a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder False Passed
0a2bb36c2b6768159785302367da7b0360b30fb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder True Passed
9f11ac8917022e00011c693dc76992b4de4bb6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWithInFolder False Passed
fe37015f231f76b13da94cab9caa7f447550720a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder True Passed
823b050beba5ca0f5faa3a9388e4db7b00e7fb7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder False Passed
f99ea8741fc5f5fd0bcbcaae4566b82c2f681f31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder True Passed
26859d85867fac4b709aed1bad601749babed0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWithInFolder False Passed
1c1e2b318d1e1f9aed2d3a4f73d5507808251b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedWithInFolder True Passed
8ff386a71e0f90bea1e8e0831551ffe4c6820aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedWithInFolder False Passed
d188a7a9090efb835e4c87acdf25a3ddd58b94f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWithInFolder True Passed
f7710adb6d94e4145dfc7b9a766bda1712e369b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWithInFolder False Passed
c93b21c51befd7776f0ce6e3fcda955f88226b4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder True Passed
36597ea7ec9468e9bb12fbfe36e68a4b0e425a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder False Passed
885082ad5ac4dff44159c0cf82fe34bf8dd6bcf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWithInFolder True Passed
976f5f33bbc429716d4c9d2d793c15281b7267f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedWithInFolder False Passed
c5b2d12f4cb9d585559753c1329e96ff296ba0ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder True Passed
3ea90f1be7bb59b5e41936e85e6f6f492ebcf9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder False Passed
56fcbffec02ed297a5e94419c1d453749550f657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder True Passed
2f9cd58caa5992619cf806fa55f4392e809b7458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder False Passed
00edfc35483f6455278e85501a2751a29862ace7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWithInFolder True Passed
4438929ac912a8cf94590405425094587ddc69cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWithInFolder False Passed
eef6ede8a7021526d065075224205fcf295fe971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder True Passed
eca4d1b5881fbaf1697853457172491e30d75b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder False Passed
ce8946f472a397b81a57c9faad1c5a892ef5a663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder True Passed
b9949162cb30a9f86ff7ba8e51e3963d2fe04e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder False Passed
133a9adfa4fc141f7657b31ac79ce017991ed5aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder True Passed
56261da4ce9fd0e30e99ff8968bfb43bea0c298a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder False Passed
1933e5a950c164d3f49c501f369329041d4a8a70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder True Passed
782401f6cfacbf3d9a2bfcc4f762cf5bca8021db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder False Passed
b49b8cd9a7f3b8c2202eb5ff63d1666b03786772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder True Passed
c02c620d7cc702fbaf8667c9a6ce43f9f470743b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder False Passed
de7fcfee80a9093d72180c569322f53c4ef281ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWithInFolder True Passed
1c96b0b27d8f3cdb0986b6c01240085cbf3f38b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWithInFolder False Passed
adc7b2b83d07102b6cd20d18a66ae678f00ee8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWithInFolder True Passed
734f5011bea080cad514bc41cda47d360daa29c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedWithInFolder False Passed
b09727af5dbd44d389a655618ae9f2b947209599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWithInFolder True Passed
3b0242432d10ed1267ea9438f21ee75e3cc10c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWithInFolder False Passed
dc2fc1af87c179e167c087aaeca1e81715c43479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWithInFolder True Passed
b54cb43dae8d20a52d1a8de890cfddab1c3474cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWithInFolder False Passed
ebb252fbbb714c6a98940f8bea629ab38343320b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWithInFolder True Passed
ea5b294c962455d617f00650468f4f7001550df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWithInFolder False Passed
8d46fd3f0d5749629fc38384d2183b9d171035f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWithInFolder True Passed
891d0287eb733297a49f055e437bd069612f8d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWithInFolder False Passed
a999ffda7c7c19ebd71ae9d178cafffea7622e74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder True Passed
de4999ff3195f3e86cdffa788b24c26f694455c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder False Passed
52ec27337110f4a25c551ed6329fe3e8559a0694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder True Passed
47a3adbd5fd77a41bd1d06bbd911bc56e110da9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder False Passed
75eae8d1c909c253fd47cdda04743fa6110dc85f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder True Passed
36744c039fa75cd44f075d8c2d64a62802b2b53e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder False Passed
f60ca46399cdf09b906ae7ccae9a0566ef174adc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder True Passed
2bf21f16d618813431099bda76465df870e3c1ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder False Passed
335d7d1ee054e0698fdcc48dd881a6ae174380b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder True Passed
4959bbe29482bb0c11f25a3600912e15e70068f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder False Passed
d210dd67aafe7536b352ff914914f320ee602349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder True Passed
caf3e2c6fc4788c97c5670373f57ddb9e6383836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder False Passed
d827a4ddedfa438edf683098bcb62be5338afe3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder True Passed
bd23252491fe0cbeb07061b9456788a6f1d3ade4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder False Passed
cb9c87e1bd523fbecd7c78f91f9a1b0a3f357340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWithInFolder True Passed
1f6a83eb25dc110fa19da23c614c7e2d64e64a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWithInFolder False Passed
e57197c2a688be1bef4c4dbe618b07db4b71228c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder True Passed
93a16582f7d29a9c475fdd04e7ed2e895396b71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder False Passed
2ef22ebeb76a963bed299bc5f50bf29f069f86ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder True Passed
4eb85f318709db0a1aee3220bfbae2556d34e69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder False Passed
1485dfd644027ee381b4a3ce75f3e3a909959d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder True Passed
c4377b7d240262439689bfa093a0c92626165cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder False Passed
2fa5b813283a2d86094498b1f97a4a275f343543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder True Passed
c4a05cdc0fd775f1dbc8e469dc3ac420e0e2a72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder False Passed
5c5e657660adc819b699a7962c3d5c573ac1d47a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder True Passed
0e8d3804bd1b0ce64fce0ad7aa715acfb648d42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedWithInFolder False Passed
3a3e161986c6fae2c9f2ab8ce1852809e22457d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder True Passed
01afbbd5e6d594d41c80f52227ce836d03f04816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder False Passed
b33978504bdb9ab9906f7d30023ca6b10e8b1e76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder True Passed
447ad077fa63f5790d61706271132c238ed0f95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder False Passed
f71b71e17fded5a6d0a37e9ee8d89ba94af24015 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder True Passed
7c0feac1d9efab5adde8c91b1ea4056b87b1aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedWithInFolder False Passed
86dfa6028d5a7efec84051bdc2e00cd42a7dd9c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder True Passed
c961fcfd1e008b2cd83441caa18d90dee439a6dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder False Passed
2f38a295398d88ff08ac7c44c7fd287afe151586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder True Passed
d87becca199545cac4999ba99b2a974da13cf88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder False Passed
61d649ed5a35fbcbb168d3cd188a6c5beaf29f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder True Passed
5eded4161c29eb086c589461c46449350380b4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder False Passed
c78a92b3a1010e3873964312a8afae67521d694f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder True Passed
cf1fe76fcfaa96bc517062f2a758dfc9446fb982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder False Passed
e556b6e38d95aab810e76033649a69f7fbae6bcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder True Passed
7b76750ff6906366b73151b3aa739582c0a13754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder False Passed
b4e13313e12a2560175325b8fd5cc66916b58d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder True Passed
680a9e2c54407053d49c969c1771f4996a05cc73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder False Passed
5810b3ff113c783851c23edb7065512add05dfdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder True Passed
370564b209f8200dd31051f25da367b91a38f579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder False Passed
4bac8073ae3e9a6dfa5bbb6ce5ca3cd0e00f9ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder True Passed
c04588f3e50f47674d3926683e253d39cacc6c28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder False Passed
9a26e85ad39c14534a51ef27fc9948a898594873 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder True Passed
0441f15a3ef3eec1b2a68f7ef6c8694928ad67b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder False Passed
6938de57666500012bc0355434fc4519d34ffafa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder True Passed
28d79c6d4bf482242a845201dee06589cbd1cd6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWithInFolder False Passed
2cc2128ab76dbb6b1282472ab4f1383322b4ed00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder True Passed
533667b33cc39d3bceb1fbd4cdaf87bb9131f9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder False Passed
c9b900ac07a401575281668f2a062de01812e7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder True Passed
c0309d05126ba607e2a5b37ba11f34a58226f428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder False Passed
8961315638e793546faf21f7ce2b725ad00816b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder True Passed
a231ee871218c4a8722dc755f5d83ad1f7a7730f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedWithInFolder False Passed