Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e2543778dbb065b25b3d0fcab7ef87c425eb1cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq RecordSet True Passed
b2af4950ff9c4147655dcf26d3db9d232e8b2139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq RecordSet False Passed
2924ea13f8370a32708c281819a2f4e5f04654b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne RecordSet True Passed
d00ed13aa7bde9c1968241b21ba9a4bba4747e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne RecordSet False Passed
73b6c71d6abeaef328a6847b51bcc1f629684dc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let RecordSet True Passed
af3e4aa64f790f2b139cff0982d209760e6e019e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let RecordSet False Passed
11d8568f8482380ea292771954f8102d825fc74f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 RecordSet True Passed
65956862fb4a4ce9c2cde2dc38bd7eb8d6c99535 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 RecordSet False Passed
ff3230b3d42a77ddea8d1b24e2c70b5c2250a7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 RecordSet True Passed
b0d4a2971ce312d53aeab33a0bd22005f407c63e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 RecordSet False Passed
e568e889b6c4c6bf1e9b8b9249652fd545492622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 RecordSet True Passed
96e816a28676694d483e3e9fb24144cbc30e40d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 RecordSet False Passed
c7e5d504057f4fdbe4becf5f2e72e841a01f3339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun RecordSet True Passed
10bc51c676c5db00112ce094c4e7977f95fa7ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun RecordSet False Passed
1cd42a647a63cd333ffc182eed01d5b3838efe47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In RecordSet True Passed
b6790edabae8c54b3fe80c8ea8dd827e1dc36804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In RecordSet False Passed
8aca4998c6529b7845fc669a015195cec8dde70d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn RecordSet True Passed
501320df78e8f4442d59004c8a89d5a9b233e9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn RecordSet False Passed
7a49418c35546f4b32669e3973559dcf33a9f133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record RecordSet True Passed
1dcf15e7ae9fc32f4cd6acef32f10f92d7a559f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record RecordSet False Passed
e0c6f1eaf99d0d5322d8d66576bcdb4ac4dbcbaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple RecordSet True Passed
d5c479ac784f04eb7f1e476a895e1614a149fb9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple RecordSet False Passed
2ca34d3b9d8dd3e6d0ed78b548d60016764fa150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp RecordSet True Passed
0c764e4a5b9b372aeb9bc3381ec8e07a7e809d05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp RecordSet False Passed
2305edcd1d9f6dc2d762be6c056fd668a8438e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun RecordSet True Passed
d0463d232c7d38133fd3b7863d7fadbd203503f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun RecordSet False Passed
d62b103504a644279cdd05b59760ed5f287889a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt RecordSet True Passed
5b9eefb8bc23e6fa51c4b92281c41a5042465028 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt RecordSet False Passed
56885b6f8b53a528097cc33aa256a6e65d2186e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec RecordSet True Passed
2e8248df8f077f35b97ccb5fc7e12b8c1e073c05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec RecordSet False Passed
4b88ebfc02102afc41472774272e2b62c920d0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt RecordSet True Passed
03b52ab4c362e7d8c80812102fd9bbf1a20044a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt RecordSet False Passed
f0028e1f845963d980d4d3169d76a17ffc04f4a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun RecordSet True Passed
452fa11f4b9dc45b74c6b97b4a6f5cd253fade2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun RecordSet False Passed
7d206e74346ac3d3589a8d983bdba3dcf1091732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime RecordSet True Passed
ab6138c2b79cd3f5c04a5855f13721488765ea8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime RecordSet False Passed
a29b75e3c04e2be8273b46d65c55cd5a3fecc726 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun RecordSet True Passed
dcccb8986d6479e9966dbbc1fa7d8f41983c2b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun RecordSet False Passed
4c6097d9c5d334d74040dccb40cd47e9bcef8fc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun RecordSet True Passed
ced10b6a2c04d8bebdb9af5e61ed50f179fee958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun RecordSet False Passed
8dccc999a4989baacd2e2acb4443828374f9b3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive RecordSet True Passed
76eb570c898667626371c987526903aacae4a82e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive RecordSet False Passed
b13d3ffeddc518ca7314c0948b05dbb702eab2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive RecordSet True Passed
de5bf8ffd16d8ac86dce82c91ac3fb2d4070ed49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive RecordSet False Passed
510005da5dbcad8e521bfdfbf5e4aa50b7c3d08c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 RecordSet True Passed
6d117c358dbba5d17ad393e640ef3dfad3830883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 RecordSet False Passed
5d1b10c076ee45a3dc9a43c379820437970ed9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 RecordSet True Passed
8956b9799fe4911653e75e5d2c814e0a1cb77059 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 RecordSet False Passed
6df30ec95b19adad7eb9221a3a8cdbeb04104924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 RecordSet True Passed
5a411da4ccf6387f9cfefc78900b3691a01b7940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 RecordSet False Passed
4329b680964601b0dca222fe1ec4d3faefe46aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 RecordSet True Passed
af88a425740892889dee1b746fd4436ff898d638 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 RecordSet False Passed
e380cee533aadc3cfbb8edce7c04abf412423051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 RecordSet True Passed
ebeb27a00c849a8faf949f06d7d25e0ba49705c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 RecordSet False Passed
c7f5dddbb001a95fd6efd40c214dd95c5964a623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 RecordSet True Passed
7d7e689dddfd3fb4f97ba5693278316d855f5a8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 RecordSet False Passed
b2d2fc042a816edf03fde4fc65be296e01b7b3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive RecordSet True Passed
2da554a4ddb8542d5ee744ffd2a0edd5aac9bb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive RecordSet False Passed
05f20d22fc4843f0fc3a3932cd9bc9ca38ecb683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive RecordSet True Passed
136e6114feb8935488c7b1b4ac084f623ddaee07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive RecordSet False Passed
1b5a9297e0f39a6d27b7c0fda5f8118f1f2f1434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends RecordSet True Passed
bbaa2303b930b0071a3fad198d13986776a8b5bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends RecordSet False Passed
9a1b355b7f6493a527cb7652e594f661f65ac3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet True Passed
4c86dbb1d3dd0373689969d1fbbcef52f5e3ad69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet False Passed
f9f42c337c979a7b31943f17819b5998396b6f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable RecordSet True Passed
8aca306eee866ccdd3fb2be928903a1a34ab4fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable RecordSet False Passed
183afc449a1c6c85aedf731bc3e235a4936e1399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude RecordSet True Passed
af81c245dab9c1aa2f99af9d48928f9438ed7a7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude RecordSet False Passed
3c45a9f4dbcf21d4e9dfa35cfe9409c245946d82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant RecordSet True Passed
0db5a3e0b5cd7b207d09d6d837dcd746a5e2ef98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant RecordSet False Passed
15a492614a2f111d9b1e94449d455af8474f09cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 RecordSet True Passed
1cfd6c22e396e084b0adc188adcbcff2d8f470bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 RecordSet False Passed
aae153ef5930c9ed5c306ba56a83900ce1682576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance RecordSet True Passed
247904c1a7cb43b6c751bcf6814e0b00d09584b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance RecordSet False Passed
6efc74dcc212b549268ac55f1c7639da4379d987 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith RecordSet True Passed
3e7b4d68eae9e5dfa04ff4f6fb6e17d8a7e45686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith RecordSet False Passed
5ab692bb727946cb299ac95c424cedd24ad98d4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed RecordSet True Passed
29496e11d113a7e143365696532b76b348fe849f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed RecordSet False Passed
996cf96272f2a40542ce642e894bf29b2386fde6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith RecordSet True Passed
0f2c7c76d81824e1e3e99e7c5fd23f472fa922bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith RecordSet False Passed
bfc56157e874d05cf6d60a37e8b4a845ed654026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder RecordSet True Passed
4fc0914bd2f13dc6cd8174eef1d870aac0836ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder RecordSet False Passed
3967f6194fa121298bcf79e4afdb50b68320b111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder RecordSet True Passed
baf41bd799b24656e98abf957fc30a13d1a58602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder RecordSet False Passed
36e96e5d7fc6b383db91686961089a5232f97ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder RecordSet True Passed
bf61ea8d395fbe1928f0ab6e3be225b6a67ba64a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder RecordSet False Passed
a1b691fc22689ffbb2caf41f148167268e3cf0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet True Passed
f2d38fcc27d3390ddd450fee647eac3f3c476468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder RecordSet False Passed
9f856793042629c2a06c971258b20477c60db4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda RecordSet True Passed
88688ac67375a4da6d9eb0e9c8c0cf32b8fc942a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda RecordSet False Passed
825c2f4a16db9d197ad3ab8f28651bca7a9fee19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 RecordSet True Passed
6a68590240fa1d18241e1dbf0cf6b87fc1224957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 RecordSet False Passed
bcbb2bdbb68bd7e42c9e7dd0ed945a3206f6d890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 RecordSet True Passed
fb0e5b7c275b81338fd544a95834ebb696f7dbae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 RecordSet False Passed
5b8fa9d55fdf8fa8a2ff67b56076bb9c0425d48c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet RecordSet True Passed
90a756e59c243d53032f7debb813a1ced9af2e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet RecordSet False Passed
6afd8ab863046999100d9a5e33b24ad96dff0ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet RecordSet True Passed
1888aaa9ca4764c812c2bb0b672812ec53288954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet RecordSet False Passed
5d2d771f46e2da08c14a632dcc98f0fd616b077c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff RecordSet True Passed
1e2183490ff1bfe69df70b4c168e338867018339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff RecordSet False Passed
41ffd3ea74c25679c70a0c89fda83a75e62b76b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion RecordSet True Passed
edcda6f25b5115a961d8985e2ada9f38a63ffc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion RecordSet False Passed
8346979ad75fd0a8f69e8e0bd666e85f2a523198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect RecordSet True Passed
074b430abaef24de803c230d36e615f7d53be0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect RecordSet False Passed
02d78c91006414843a12a7a41057301bb9143f95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq RecordSet True Passed
2e32c4d698d1356271a6db849aab57407e47e836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq RecordSet False Passed
0fd99d7632570f7bf5cb33f5b59b8b10379748f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen RecordSet True Passed
3fce7171db865c768be3c80daee064274177099d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen RecordSet False Passed
0660c3bd60493e1df0fb34d0fd0333a236489284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse RecordSet True Passed
08bd15fb2c589a7f9815757dd96d871beef6e7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse RecordSet False Passed
176302bfdf1a5cb9154d327acda2b2f763a81b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset RecordSet True Passed
fb0865a366c6288bdd6389762220df040b2482fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset RecordSet False Passed
cdf04b13576b79f80cc64410e5bad7b23ef1ada5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged RecordSet True Passed
0e1196a571a5daa120b7706207de3f2804ae773a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged RecordSet False Passed
a150c38229e7033f7c10cfa1b5f17ce854a07efc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq RecordSet True Passed
45e0c6316f35247442f223b22e0c9665d6aff017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq RecordSet False Passed
daf97e75752632e25a22f8952bc561750ccd986f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun RecordSet True Passed
f0c21b8a431efdd7e2231371ff41116871dce399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun RecordSet False Passed
8d6fae5b2c8098a6a2ea42941223b808d09b3dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun RecordSet True Passed
3cf4ebc8a8008cc796033c6dcd243a375bb8faab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun RecordSet False Passed
195b719087e36b3791ae257ca67d61f9d1a42452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval RecordSet True Passed
e2dafaac7a3eff2f7f1f03c1d4463da7709855b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval RecordSet False Passed
b2a9607b831a485369ebb9708919dc7b67f2f0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag RecordSet True Passed
44d549ab38587ff555580e267e4ea2dff5d10f62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag RecordSet False Passed
ad6b04d449197c41d3b95f5db184c62eec36a954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn RecordSet True Passed
353b05dea466ff9d712b0894e0df5f2c1d4b559b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn RecordSet False Passed
4537f9832fe514cf61710a348221c67f8dc1faf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn RecordSet True Passed
e442035371da067c465f03c9d9f646de3e24abfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn RecordSet False Passed
1970cdb06190dce1dff658a56ad23162359f754c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet True Passed
baaa86233d1619e68ce43e2c0ba35c4ce7bef31c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet False Passed
aa26d0a14ac432ab1de78b32bb884d0bf68e6618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality RecordSet True Passed
e2f1e321d33f243b10288544bfd60d39ee439c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality RecordSet False Passed
a31fb9876b15b1fec5bd7b3cfe08d81fc18484b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend RecordSet True Passed
5694738ecdb32d690bcd43e185c8b4e8ce5dc52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend RecordSet False Passed