Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
de0b74604c69f33b6aa5614f1875b04deff0315d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set1 True Passed
6bea35611ade464a96c024889c8ddd8a452f6f6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set1 False Passed
a2006c1cd8fb0145feeafedf87fd2a461fabc7bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set1 True Passed
d122e72d7fe0e4e1f24443f81fef1afc602c6b26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set1 False Passed
4e9109dfa1b2c1bdac6257562d109368775e948c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set1 True Passed
fecb7ddfa766304bd16146c1ac12eb27d3ae4f92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set1 False Passed
cdfe951cefca45b492c050ac6030d9d8f494c537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set1 True Passed
f1593870dadb12764abf240ff5206297555310d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set1 False Passed
90790d0a8ad6c15781cad147498813a1d02d02c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set1 True Passed
dfab5d7bbd4b8be3941a7bd2f3251d26138a3f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set1 False Passed
0713724e77910659c3d6a585f4abe3e74d93237c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set1 True Passed
f15cdf5f2bf63ff4d8d2bf87b71446010f309f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set1 False Passed
41f401db6b85e007442b775f680ab987cd79d9ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set1 True Passed
95e03eec08547a50aea5684db7d1e091cba9603c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set1 False Passed
ec049fa7fef65264e5a4c4df8c93169c35e5729f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set1 True Passed
1cd8186ed8440b1324f4873ac660402dda1a0ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set1 False Passed
2555f9caa80b58a468531920172e8e39cef28ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set1 True Passed
9cae45fec9571b7d8e8cd0c1a1fe9dbc6ab37ebc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set1 False Passed
8c96616ae797e5834b9e8b05b2a3e4411d8e8b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set1 True Passed
a5e1344014e16f4e83cc32b6858c8210fcca4051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set1 False Passed
116f965224f35e6bcd62074ee86d95a6ac0441a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set1 True Passed
cdb8f93b0034e5a8a194876b5cee665250aed24e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set1 False Passed
47cd18c2293e414816b12fc70957b534bd9427d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set1 True Passed
601e382a618abad72b349ca8d4f08125bd4a3ebb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set1 False Passed
abb8e81a97586cd998aa808fc0ed8d10643fe429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set1 True Passed
8c6db3e6e02e82910b371c961f6c84f65ff00ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set1 False Passed
e5e540d1c70ca00ca8e2c8223218e51749c82931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set1 True Passed
350afab41c7a2e5f9fccd254be05879ee2d1157b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set1 False Passed
55cff87c8f7e55e3b6c358a1b0f4c2cb6f0ec5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set1 True Passed
2b83b2296493aab45785b195b4ba86f385279b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set1 False Passed
c4a825aa93f076a78257d397b07b7aaea708e126 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set1 True Passed
0b86dcdf82b031e60c27f1e352fa4781e94fd3bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set1 False Passed
08a19458ee57d0e42c656d3eb27d7f71f2a92483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set1 True Passed
e7a20aced321f31dd1f61298d2f5fc9dfc059106 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set1 False Passed
2780a7aecd224e7f042a1f8845f8a76232de349a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set1 True Passed
eb832518deb02dffdb2da5a231588d81242e9423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set1 False Passed
a771dffc6e7cfbcc8aa022f2354ba97de3024177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set1 True Passed
d7421fd465711d4c8a15a77bd2cc182e8d810b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set1 False Passed
afb83b82d77ee3a5c568a52f7c2adc96500c9c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set1 True Passed
d5f557c15a0e8c7f4a0b07e9479cac9ee71ff99c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set1 False Passed
f31a99a0dfc5d772cb5d422e2ac7a988464b23d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set1 True Passed
beca21e3279eeb9c8067900ed56c083cbd93555b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set1 False Passed
72fd7776b4928f1173a92b6c55afb37d21f5c649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set1 True Passed
0dcbdceadcc4b8fd146d3263cce44186fb87771c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set1 False Passed
be9f2feb3027bf2dd072b5a29a8f796ff4c0ff62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set1 True Passed
993fe2a82c4e7cc65236f46a5ad6a1c1ee66b5bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set1 False Passed
acdc1eb33ea38f67950dcd1485c9e7d737e6be39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set1 True Passed
b9f7e74f4a99a9f9095a05e4785a0567c1a891b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set1 False Passed
341d7f2f7750b9ef574dea27c0e2a81fd122480a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set1 True Passed
c0b98ef0ebb86357e8d6ffe38971b5e22fc86b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set1 False Passed
062c01846ac0850594b773b83acdf3a5a7949b18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set1 True Passed
5a18f3841e9f61169223a60904372e047764bec8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set1 False Passed
cff694c45a8d59e2076d38d284c327e0408d9968 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set1 True Passed
f83a3049cede20f357caf95390d992efd9e1af48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set1 False Passed
073d2923bd40eaf45738dffd06b1b0750340dbf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set1 True Passed
ef7ea3e5887825a46a69771792084ab13192133c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set1 False Passed
5418e55561517b69314ea5939585c9bc8a9eacf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set1 True Passed
6f7542e598c9abf9576484e0a1d13d5b6aeaed9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set1 False Passed
8534b4fd7d4ebcf6f562984fa8b8f74fcaec2d06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set1 True Passed
c979beb8d46bf8f5cc52862ba05afb70361ab1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set1 False Passed
509f67d8ecb343f38aa4bbfac19880d512d060e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set1 True Passed
17c597090bc04ae9ac26ef569c766deb51614333 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set1 False Passed
99ef67327a4d98a9dff7883c37346396d9c101ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set1 True Passed
7edd26ba5bfa6137212b2dc9546a1b4677d603aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set1 False Passed
51fa0dddcdeecf3f16016263ed3e7c1f4d7859f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set1 True Passed
ffc6aecb7338417b39fc2abe6bee88e7f63d8c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set1 False Passed
17cd5116cd48b17755c20ece19767431a051b08e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set1 True Passed
0c1b58c3869d684ffe3d003389b62f91ada63899 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set1 False Passed
242ee0cd688929a033b347c7a4c469ff20c98fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set1 True Passed
3e5bbf05e574cbcf7c88f35e2d21a3220b1b31bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set1 False Passed
948bde7c2c91c3612d39ff0615f0ce967bd667d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set1 True Passed
95258ddbb053691b23f0585245ddd26306614d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set1 False Passed
57cdda238d6fdb9406be895db2dd3db23d88a276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set1 True Passed
994a422c4ca9213295b384d997ef1a37936b7ed7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set1 False Passed
aa9aa1c70b08d5cbab2df02b5466f3c2b83dcaa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set1 True Passed
5f0875ef793d74cd31556ae17b6ec5b3286197bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set1 False Passed
7b204c4a19403ee7a345d2bef2d5daad82343285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set1 True Passed
df8786c390fa7b1d79b619a9032b049dc3bb4234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set1 False Passed
eeddd02ddb38534e189792faeb3986ad809c90dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set1 True Passed
25fb162e7671c9a9dbb92112f3c34464afc9d47c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set1 False Passed
1b9721ac49e06a15968a71e5649406d0525ea94d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set1 True Passed
d1b6ea9019670cf121bccc0a3676718c1c3235b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set1 False Passed
3261dca3c873a73ece00aea87958f4e8f1ea4214 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set1 True Passed
5083927843df286493bfc9f429e2fa08127337ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set1 False Passed
2ef9b0d193cc0d81f954a8df6db7bb52981634a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set1 True Passed
fec6036af5a2c30c021de458c96b99fcec3c37da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set1 False Passed
a0c3870e7b5c4e7ef92108c9dfd48fe3c40a5b48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set1 True Passed
420fda90a8884af24c24cbd6e0d7b360356e9ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set1 False Passed
dc28a07d8940127d2583fb47a3324efbb4c8de6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set1 True Passed
d8edd1c9c0362ef284b9deb23b2b607d7351ddc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set1 False Passed
033d6ebd434f2f1492f08d9e66adfb955de86927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set1 True Passed
1f0e5bb5d274eff07d3b7f3af2d3644138be7547 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set1 False Passed
9701bdddc3daeb4c50c4b14b80e413fd09692080 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set1 True Passed
c3b40d417031c6ca3aaf572ea204bc3c0e20db6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set1 False Passed
eb962a96067a67af43cc9d5bfd92d95bceb65989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set1 True Passed
0bf0a25a9ba5398120b802959bd1152c22be64fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set1 False Passed
5ea93e813b9325d34f432f3fcd2979e81939e714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set1 True Passed
cbd76830a804445ccf4fd5db12ca918fac77c108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set1 False Passed
5b8983063139432af38e1f7262c3fb8aab62ab47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set1 True Passed
5aaed603e7d470271450efdbba05e1d048754bfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set1 False Passed
20228e1202cb00a4c5cdf00177d68504fc811597 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set1 True Passed
7e9072dc504f13f387fe3d17f3131fea8933b396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set1 False Passed
783fa38ebdc7e5459041eb851edba73a201d4727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set1 True Passed
033d92b60cbc0ff96aeb68baafd0fa84f44d110b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set1 False Passed
23b2792c6a04ebf61e1dfcbded8b8605eefb3f35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set1 True Passed
087cbf051d4a2f1a022a30fa9b12c570d4389c3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set1 False Passed
b40c0a1c16575e0008bdaf36f03b0a05209c1912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set1 True Passed
ceb14c71ccccc1d6f24e23793b50c1a02b4a9e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set1 False Passed
ced34e6c32f45b0cc1af7a80c280f0856b350ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set1 True Passed
01bc29c820a8334b09993842e5a77dae2fccb2a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set1 False Passed
bdcf3f5c581fcc156e7bfe82af527af7181a1539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set1 True Passed
b5e87203e2a4797e1fe3c93cbc7fc3f8d281d2c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set1 False Passed
f88f57c08df05c0f6488c657d76adb77e17b237a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set1 True Passed
9f0d91f8ee338dbf28571e063379565266df8385 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set1 False Passed
11ff246ff4d83b459d509bbcea1211adeb50fb4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set1 True Passed
b2464ceb5f155a2a239604c8cde7f215ab924fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set1 False Passed
c97c184a33caf7d0934c9408796375a032f082a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set1 True Passed
2b8c220aa5621b735c0a3e870945430955c7c95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set1 False Passed
c0b93581953a8f8140b0d80fa92a8def3e0bb32e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set1 True Passed
e7e90ae936ee77daf0ec058e3e130563d6c75dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set1 False Passed
b936cdf24e588b0b0e9d5d30f9b28aee87565d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set1 True Passed
8a330be1363e921b0e53a48322bbfe29ea09d31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set1 False Passed
77ff590048d8a0d037c474c7d1100fd1589f197f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set1 True Passed
e03a3185e66283c74eb212b03031d9fb99659929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set1 False Passed
2dd1cc3ae4d8bd8c47b16631db458c1d69fbe61f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set1 True Passed
12bd34df31cf1390b3474316442fd79fb652b111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set1 False Passed
502abb4012c586844c971427517265ada2c7ae1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set1 True Passed
0350e74d09bef11456c70e6c3359408ace38b262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set1 False Passed
61d4557c953157d705335c83bbfdc7f3a3540fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set1 True Passed
092691a301158dffd884399527dd3907b5a81c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set1 False Passed
7a178dbc90e81cfddc69d41a0e58a69351c392ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set1 True Passed
6e0e7b64dde94c644d7ea2858703f2e19ff6ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set1 False Passed
35e6a7a6311218063c101d4649693d2d37911b30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 True Passed
2aca67e2b575abe278af4890d2592c009d995436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 False Passed
93bc879bd99f9ff2b43f61fe574f0e1b25681dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set1 True Passed
58ad322c20010fa4c6a93dd03056585dec3f7543 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set1 False Passed
6012625ff4393e1990def073557dff5a3571666e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set1 True Passed
fa41469139f187826401639b6e13a1324dc82fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set1 False Passed