Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ee3aac4507dd23cb70d055099601e669733029f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ExtendsInDifferentFolder True Passed
867b0232d74956f08389f551cbf2311f9e2b6392 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ExtendsInDifferentFolder False Passed
f9b1dc38697df665b1b8b65faedbd43c82d06df6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder True Passed
3aa474f6e40bdccdf80a0398ca1ca36375e388c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder False Passed
6cfc1d405d2749ba5d72c3fc906b4e255dba66c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ExtendsInDifferentFolder True Passed
b50028708a94195061d22ee6942b4e145007ef34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ExtendsInDifferentFolder False Passed
05d640b4cdd1d6bd85aeb4a071cf7ec157ab5d50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ExtendsInDifferentFolder True Passed
eeab91a0e17d5212cc5bf94c797b3b6ae8a3f531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ExtendsInDifferentFolder False Passed
e836744997b06c93c30e2238f83483c8e6c33210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ExtendsInDifferentFolder True Passed
7b624bef9bdee8ff50aeaeb9b621d85e7176596c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ExtendsInDifferentFolder False Passed
b5e5b364f759768b7dd60718bded923d1c2c2b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder True Passed
1a30e0fc564cde4bcdbcb32b6d01b1b727ee2df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder False Passed
a5837ef5291872f83fd8c5fc98aa043f7fe85438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp ExtendsInDifferentFolder True Passed
29c7e7a7de8f6ab8d5817e6bffbdbc7f797e5276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp ExtendsInDifferentFolder False Passed
2a64c2ff13b502c410d0002b222463aa3839467b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed ExtendsInDifferentFolder True Passed
fd722c41d2060e14e8206ac1a54dba13fa3ccacb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed ExtendsInDifferentFolder False Passed
5ac250734a3f624a70aabf294801c6c63546bc78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ExtendsInDifferentFolder True Passed
0a16abd637ec9581d315f5758ea6c506650ae93d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ExtendsInDifferentFolder False Passed
8d22c0657ecc6bbee440bf28f7edbab05f60872d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ExtendsInDifferentFolder True Passed
90aa19d5dd2b665768dea88965df003ee566f45f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ExtendsInDifferentFolder False Passed
05eb247b023ca8f3dfec19b2116434709d39c217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ExtendsInDifferentFolder True Passed
95371d573c52ec34d4e1b3d318aa5221a2670e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ExtendsInDifferentFolder False Passed
a9b6d1c42d79c1c631aa9e6fac1ebb77d0866884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ExtendsInDifferentFolder True Passed
944291c2b7b0cf011598cdd2d952316b95ef125f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ExtendsInDifferentFolder False Passed
268c70546d3f2a18fb4bc7870007687077936019 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ExtendsInDifferentFolder True Passed
f472b9746adb2cb9261e8ddcbad98c8ea88e1fab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ExtendsInDifferentFolder False Passed
6b483c8e99bfd56598d8477c11ae888ea0d451d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ExtendsInDifferentFolder True Passed
60aa3617909b468b9e004b6d54b2cf5110879b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ExtendsInDifferentFolder False Passed
d7ed11f0cdbaaecb833bb8610e8362a91a2ac698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ExtendsInDifferentFolder True Passed
42a910400f10551ebe14e37446654b3e10b8029b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ExtendsInDifferentFolder False Passed
4e82c0ad9f8329f76e38e64679cca1f7c4b82562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ExtendsInDifferentFolder True Passed
2ea009b8b26198a7b6314b289e1120c601b302ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ExtendsInDifferentFolder False Passed
a6372a5f9c6c1e5b77643d42060d13f911357482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ExtendsInDifferentFolder True Passed
3adb8ddabf8febff7463dec065f5e96f265ea3af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ExtendsInDifferentFolder False Passed
16dff607ab0b921cc1567a6454c87f65b648bb51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists ExtendsInDifferentFolder True Passed
b7ee452b24c7fd3b1cf9f071ff57123e392e8a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists ExtendsInDifferentFolder False Passed
ed34a7548a10767d0476389e74bfcfe21422807e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall ExtendsInDifferentFolder True Passed
ce7129aa094990f924df2c41a7d4aec6a88b587c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall ExtendsInDifferentFolder False Passed
50710feb4e9a4b657df37c41f33bdccabea32af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ExtendsInDifferentFolder True Passed
e767260c33711ca740e0e38f074313f740a7ab7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ExtendsInDifferentFolder False Passed
68fc21194cbae54920b87f97a52e464a3b0f59ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ExtendsInDifferentFolder True Passed
d355f721e1548b0edf2755f8d5d78c018508ac5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ExtendsInDifferentFolder False Passed
0cdf4484efa9de54c7c7dadd4c0e67c4a6da7614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ExtendsInDifferentFolder True Passed
22e2801f51161d3507d7baffb580eed6bcb8660f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ExtendsInDifferentFolder False Passed
9e8fe048699500e609ef6cf9a00739090fe08a24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ExtendsInDifferentFolder True Passed
e596d8f74aff1b085af96219fdf6f4a8586c631a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ExtendsInDifferentFolder False Passed
9b088adb2e0032bbdf261513a771c32f6af18965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ExtendsInDifferentFolder True Passed
6cfe0411953ba2367ccba9450e7a5c7736f410b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ExtendsInDifferentFolder False Passed
9394164fa061fedd72046890b87ad68b58b79c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder True Passed
c560ff3a94c59a1e5dc23c845296c2e8b3196b4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder False Passed
42ec63583309c81c8e1b172b35f227e43b0a6f1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt ExtendsInDifferentFolder True Passed
fdaa3c292150c21bbbfd233364122bb2670c0336 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt ExtendsInDifferentFolder False Passed
cc00cba6019413425cb96954ee640d6cea4bf377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder True Passed
9849e96db181a79514e9532f4fb5868a140fb7a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder False Passed
89f934378cf93ca80bc46011ab1634492907b874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt ExtendsInDifferentFolder True Passed
676028b71babc176b726239d985402b966a8f687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt ExtendsInDifferentFolder False Passed
a9cc8d98b1398110b23b7fd7f4565ec9b3b9d06c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder True Passed
e46529aace2b0a051aba197a4ba86a3f6e60b7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder False Passed
06ba87142a82e81c10f975bb00fb969e340e1088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder True Passed
4ae2a654f79f717e42efcd03bd434fdc924fe1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder False Passed
870c8373e8f8b0da6a7d9e1ac7d7c2a4387ee6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ExtendsInDifferentFolder True Passed
58e0dc7fff540fe698af2282c1d8f738c8157417 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ExtendsInDifferentFolder False Passed
0eff9ee5fc907ff48156a1470cbcadce33423f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder True Passed
a2b9bc4d6bec7c692c5df1a1fc52f49592ca1048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder False Passed
5ea96190e6eb7933f1b178c44fdca63504896121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder True Passed
14225b53c467875f1c1a65b67f0f242de7a5c120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder False Passed
4280d9a6a7f0105048042ec8a207560566416b4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder True Passed
e4b601f376e7e0a91b4c784f253fe6bc8e59d264 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder False Passed
64aab91b5ddd63befc0251a0fd856e80bde5977e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul ExtendsInDifferentFolder True Passed
6cc425d1dd59173fac0f47ab1da0d328f5e519c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul ExtendsInDifferentFolder False Passed
b5120a6111cb2104d7c976d5265e82306ae24be6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder True Passed
6877926ea09e213f7a15759debceedba03d6d1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder False Passed
fc5fec1578318792c8dafd1b3d21476bc7cd39bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ExtendsInDifferentFolder True Passed
dfaf44df76e201856b1dc0c5fff2d6b76b78e848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ExtendsInDifferentFolder False Passed
76ae65b8684b197c9adbe656a576a2881322ca49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ExtendsInDifferentFolder True Passed
ebeb6b49b298f29fbb9123315c135c7870373490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ExtendsInDifferentFolder False Passed
bfb4213525f5e948f54fdc140b365ed3ef004b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ExtendsInDifferentFolder True Passed
9a572413b0c2cf7ba80caa4e8ef0962804c3065e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ExtendsInDifferentFolder False Passed
15ce03180793ee41b7b4d56a9b41533e7ebf8069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ExtendsInDifferentFolder True Passed
038ac72a14785ee288c182f257722a12a2f0ee51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ExtendsInDifferentFolder False Passed
d862827c610a9956d54bbc94700e890e60d87b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ExtendsInDifferentFolder True Passed
dbf8143054af2676a836adfda562b0178a0039de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ExtendsInDifferentFolder False Passed
f4626d17b86b4ca31109bde031a0a83681212cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ExtendsInDifferentFolder True Passed
ed1dd0dab7d23b76637354f125c908f8851619bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ExtendsInDifferentFolder False Passed
8c7895cdd508e04525bf88cbfd76387eda7fd60a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ExtendsInDifferentFolder True Passed
b0da2b9d0b2ee38c9bebcbae592f77240802972c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ExtendsInDifferentFolder False Passed
65a6c55f916e96551122f20a699122bc08235357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder True Passed
fb27760187b3c1458590dd14eca53e0fedc0afa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder False Passed
013902782c2113ab6844ca70986bd5d57ec7eff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder True Passed
be545ac5a63f9920fabf61fb4361d8170c42fbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder False Passed
4c3e83594cea03956473076517b3212c7a0df1a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ExtendsInDifferentFolder True Passed
5fda9a33567e58e9087046174e55b3bd259dacba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ExtendsInDifferentFolder False Passed
70b86cdea4dac5ab138b58fec2976d8e4faa3024 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ExtendsInDifferentFolder True Passed
30af937c5db78ba1aace66d6ea251a77562b48af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ExtendsInDifferentFolder False Passed
3c99108c31f186ca6160af7a20555a8e526d57c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ExtendsInDifferentFolder True Passed
65c2656d951d069c87da23055e2b9886d1b76df2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ExtendsInDifferentFolder False Passed
863b3e49e5142068d070cb2f88dd6620bfdfe3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ExtendsInDifferentFolder True Passed
7c6d51ccd06d8e34a5e7bc5dbc005b4e4a6fa0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ExtendsInDifferentFolder False Passed
90797a676892d52cdd9ff3d8d9b308c5bceab0ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder True Passed
970b54feaa0201d86681d9d61df16d688a7ec8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder False Passed
ea8e655a9808798e68b544d44579fd375efbc56a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ExtendsInDifferentFolder True Passed
af396c19444ecbe6c9e7cd74eb7fe3cb6e497e24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ExtendsInDifferentFolder False Passed
b4006eaf6f039209279f052fe166bd307d532fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ExtendsInDifferentFolder True Passed
09c64f593af55a9f2fcf4e66da29e9e7e3fd53a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ExtendsInDifferentFolder False Passed
2f3e861b91a45b6620a0a24024d566e34a11d213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder True Passed
d6f6d84c4a47ceb047f447adf8fc8f19c32ac161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder False Passed
d94fa7048e7743dd620ac176c8c235e30991f88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ExtendsInDifferentFolder True Passed
7fac69d4ee3eb40fc5c6daa902171be3107d7bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ExtendsInDifferentFolder False Passed
e0125aa0b4ae7b6ec5f020dfee9d31da70a25e3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ExtendsInDifferentFolder True Passed
1466ffa46203cf8a80730968a801112dd05d4f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ExtendsInDifferentFolder False Passed
68f735ac836256f796315ac1554c00b524668add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder True Passed
61e71e86c019fae079d1fd8f30d75a7e8d6ec216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder False Passed
c06002507165b0d135002466ea3f42f46de37397 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable ExtendsInDifferentFolder True Passed
9bb0a86e5029b91f039d68c12f568e898e917e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable ExtendsInDifferentFolder False Passed
73f782197e79ef1f073f45c0839ea395ad7986ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder True Passed
2ca7e27b8e7dda5fb4a95d5adb1dfab98599cb15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder False Passed
1fc307fcdaaa40c94377725984abfc5f3c77dfa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ExtendsInDifferentFolder True Passed
2156890e7862408a3e2e9e80112f9825f02d6d21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ExtendsInDifferentFolder False Passed
fba105973b55ad5e015d3878c46a392578c6f378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder True Passed
ed12ecd82292d29ddbfb42a2da5d0f634a575bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder False Passed
c7846e34e59b52e8aec6f09089533cc5b674e306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ExtendsInDifferentFolder True Passed
03fe193a20b3e461ddbc2b8df2291453746ac22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ExtendsInDifferentFolder False Passed
ec24db19c40fabb12735360f8378f4987a8e09db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder True Passed
7a7b09185f122eea3e319062aa5ee4af01831ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder False Passed
f53602370f83a74156502cdb420f05260df04fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder True Passed
cc7cbda78b7c25ea8b97576ee075e89d0963dab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder False Passed
6ee8b1ef87c0857f669ca058bdd6ab9f3e6fc1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder True Passed
bbd4a4c738dc5c9eaa3c790939f34becc4ac6091 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder False Passed
7eaefea07d39efc215cd1d4e0194a8823793b6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder True Passed
5396e54f9f6c4f9886bcefb6f3847a8fbf55f9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder False Passed
242762c852d3da13e931e49943c805cbd42e2187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder True Passed
8a376cd682fe1aadbcd78ffcefe5dacd04132672 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder False Passed
a7ae59fcbaa04a62eed2f2792b2a61edb548ec6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder True Passed
7a9237008d667d3c08547aa2bb61f1860c5ec78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder False Passed
254f7df98aa2b95f256d92aefd81047d08be8e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder True Passed
a61513f8efd4a5fb387af409b3582d99e81c1963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder False Passed
25d6fef9d448614ff28ecaed07f5bb8d7b6d77f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled ExtendsInDifferentFolder True Passed
dc3154708cd01fd1b492e5627fd2a5b06cc9790a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled ExtendsInDifferentFolder False Passed
c564cece37e11126af64217f1852f3df8d269506 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ExtendsInDifferentFolder True Passed
7734ef2a4e25fff60a949ec751d8369a971d4408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ExtendsInDifferentFolder False Passed
499e442259099f22cbb0287a81642203eeee271f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder True Passed
18c69393d33dcf3d9a1d91214fd83ac254220dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder False Passed
0122398118134553ae38caad80d3a855e8ca3184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ExtendsInDifferentFolder True Passed
e869a19223de99a2f103f51086942246144abd48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ExtendsInDifferentFolder False Passed
f80617be8002df8aa7682605716129499a328f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder True Passed
c7b9654944cb093b270b220aee0a35d35c1c4a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder False Passed
da5aaf3a749b85fcfc7b83cb958fc0e5f3cdf32a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder True Passed
77842a816e5c5fd78464860db90de2d8008aa2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder False Passed
d26bc082d5272e4707edf9ad59ba5143cf7f5849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ExtendsInDifferentFolder True Passed
12c1de9c62ecbf27b6d24e2e5b766222f59fd235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ExtendsInDifferentFolder False Passed
7f55e652daebf574d62d58a2c2ffdf972b977c13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder True Passed
6c30f9dd0e06899ce68b9e5ed2d723c057f81a1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder False Passed
82e5e769159e5c24e8d782a8f8e15b8b4676c7e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder True Passed
d625d0650a41fb9eabe2978795d902f649aa7548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder False Passed
71a07dc3d1875b03a3ca9dfda8089807f8dc59ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder True Passed
91a209763d2bb71972cddb8f3e0ea4c61333511f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder False Passed
2eb7a2b07839612bb4d181467e36de1a31d6bee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder True Passed
dfe5aac4444b33576ad84f7dbee3809792012608 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder False Passed
f6e0984a702915bf84a8d58ffd89923b49943863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder True Passed
06029e6b57bd35dca879867bcb12221849d8b889 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder False Passed
24287e35187d7ee04b4826a61d9d9ce9e5e16c12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ExtendsInDifferentFolder True Passed
7006e8d8e48fae8098ab076c8ba2b49ab1864b80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ExtendsInDifferentFolder False Passed
7eda8708cac48dc0c4950a120ff9e917f59d5d26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ExtendsInDifferentFolder True Passed
38854948ce20bb5debd721c718931e0f5a8e774c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ExtendsInDifferentFolder False Passed
de4a61ca694af42b2e5aab723bcfce111aa40a2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ExtendsInDifferentFolder True Passed
6e3e00e24517238fcbb5e5b0d51bd865d87a11ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse ExtendsInDifferentFolder False Passed
f2c711e000c873811081544b3906d1d8a8ba1e31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ExtendsInDifferentFolder True Passed
ccd057620c206339d706d8bd2767d1e06e0cc04d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ExtendsInDifferentFolder False Passed
5df04a5c538dc14828a920874ece65729a63e93a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ExtendsInDifferentFolder True Passed
fe2c7971a9670196bc89f919a4ef2f0a0a274911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ExtendsInDifferentFolder False Passed
78ecf580a3dfd8024bbb35714ed02eb17e56d225 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union ExtendsInDifferentFolder True Passed
07f7f25e0607d7fe97b5c6dcab060324d86d5dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union ExtendsInDifferentFolder False Passed
b6ecef2a69dcd74fa8e0f50dfe93205be5932cef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder True Passed
ce389739a53e588ee5d4f71fda2197c4a488b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder False Passed
b47e37f3a83a3d418c7e49b0c0fcf20f7ca7a2c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder True Passed
7b5c7359d49884c57bf0467f75a08ded4bac188b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder False Passed
86c0be3c6d53386850f49f3865bd31c8c4121300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder True Passed
9747b199485a36f3a794f19e8557730961407102 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder False Passed
db187a58e0a510bba94494bf63d7235da906ab5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder True Passed
ac886f6f28880ffb268b91c83a3941d9848c6201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder False Passed
2e6c3da94f45adea5cc37aa17b60b114ccf530a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder True Passed
0b3d025fb06dcee0014f782fd3b05835155fabe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder False Passed
3fdff58ba5a3be440194d31ef4635c06454c196a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder True Passed
3057a4f3135d146238b07111fc2ebdc165e5c29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder False Passed
e0b8634d46e193b97d30bbce009351b19ecc543a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder True Passed
ac5c0244b7d22353d2001c7becaa0a8c2d5bb3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder False Passed
d84f0da9369689169073e723c8157645ee90e3b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ExtendsInDifferentFolder True Passed
d4b9eaf385011c19b6449f3a16b603ace7a0567b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ExtendsInDifferentFolder False Passed
853206c330ca42789a6dac7782696abd82798820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder True Passed
ae7af43c43f030254486d0243c551f3071970fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder False Passed
3fd75c6d23a61ace639e563279fd5fe1fc49a6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder True Passed
051a6b3939c3b06a9f03bc66ffeaae7417636620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder False Passed
94df0e4256b5f2e6e4a7186341c64ee6c27d724d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder True Passed
32d3f9e037312e60130daa9d8a5864be1239b515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder False Passed
e6a5099dec8998f5079ef775026a3eeb037ea9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder True Passed
98c79d63b4feaf4e8c601b144a4e43c29913428c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder False Passed
00084bbcb1c2bd6fe1773dc9bf5cde3ce3421df8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder True Passed
77100d5fe1a3a4b94c9b8d364d5f3786d84733d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder False Passed
fd1a086a7d1409e13aa7f56202949976a892ae65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder True Passed
e0c3938d14d69830d64e3ef95bfaba81e904a2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder False Passed
10c3311ddaa2b21ee7ad070eebfaab5a4c97a916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder True Passed
b5c490c3adf03ee583cde2f59fff51a4bf0e66f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder False Passed
de9f2fdba87fbf990e3a1418679cb9120194dd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder True Passed
a06f620b20d423795140da9c75b5e67820ca6b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder False Passed
38ab3674521b9dc706f3962c6db7b834c91a0e5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder True Passed
e64a3341c28ca8c497f04a8920ffb1ed77fab3af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder False Passed
085e03c6eb7f812910b1db30bfbeb623fc8d9350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder True Passed
fb3afb3213e62d12dba6a19117b61d875f43c617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder False Passed
6b7eb54db547ceec6ee38b7c9607a8820788c359 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder True Passed
74f4e920593b2480ebc7758047f33f8d64f7054b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder False Passed
ef8dd2b4cebeaeb39b170b1977ee97323ff13b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder True Passed
b85096d765b766d0cc2a77f9e7782a7b61cd8f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder False Passed
a6d6f98a495768760d22596c8ad57a46853378cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder True Passed
6404557f270ed67b8a34a107a0255e98ed539865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder False Passed
3bb2ad5942ddf1175aa79dceef854fa9d00bbdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder True Passed
de25eddd8e8e471bcf658dcf95aca68d084243d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder False Passed
ab4cbecc78acf6c70e6f1e99159b6d8ba7fb04f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder True Passed
d6a37e648398334283777befe0e2c3c2053b8b09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder False Passed
4cc22d7f3649513e720ffd0d00cfcc7faa77bd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder True Passed
32e1b808c9c6c2f13bb6c1027973f91c141e810f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder False Passed
10a6f11390d86f06c187e66df7a6b07d92640c46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder True Passed
e8fa833cbed1d3d4eab6bc69ce2d71c9903c6153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder False Passed
82a520fba3d522eac36bbe375f5767ab55e99877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder True Passed
76fb1651914d4bc942ad37619b739d34b7ce8787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder False Passed
9e7e28ad5f3b96b16a38381cf446d939c3bc488a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder True Passed
e4b8cae4c3f59a90108d2aacfbd2a26ca908f39e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder False Passed
b4b9415fd08a04aaaeabe05784cd875d3dc80880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder True Passed
0daa4d305bc21762916dbeb66c9e956cdf6f26f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder False Passed
0bcd02a7d18d5faf718d5cb4c1312fead1301f2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder True Passed
b7d31ebdb098e7acb1fde4bdba5e5cbc34bca146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder False Passed