Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
99495ea76397b4ada63d27d543c32a43bf78d48c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross3 True Passed
f890096c3e3156da26f0307413fa869a5f6fab50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross3 False Passed
849493e9de04b4e7b1304b62e9aa87eaafd14add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross3 True Passed
6a92ece594ac55bae2c8a04342a5f2b8a39fec61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross3 False Passed
809ebeec93822b340902b0982dec5f8179e11d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross3 True Passed
8c72e9a8f964673f7b0ef9217e949435b5328efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross3 False Passed
40a3e2c6518b7254a5b89322cb6d607499d4d5c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Cross3 True Passed
b231ca2984fdcfdce583d002c3bb0338d5a08a35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Cross3 False Passed
945a86aaa75d0a1efd70f268881e7cc7fac354f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross3 True Passed
ed95e3875e66a11343829b210de4fe273e8c6bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross3 False Passed
a82dda8c7370404a5d381604aa56961c23533c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross3 True Passed
5b5ef4bf4d2389947ed11bb9546704c95f11dfe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross3 False Passed
ca0b2cbe6ed84d3289bca18a5b4452ab4faf6337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross3 True Passed
fd1e05d188230ba33886097e621d37b90b93ac30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross3 False Passed
3464924c3a734f88caedc53ebf662039403f10fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross3 True Passed
5b4b9e5e2ea36ef78da4689e18eefd58a538d09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross3 False Passed
e1ba479d4ace08d5589528a9bfb104fcd1b329c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross3 True Passed
d14e25cc6a855d462d0ecdfe0701b0567c1eeb28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross3 False Passed
20b20610e414952a4bde779729c9072b33c925dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross3 True Passed
bd402d938425be954d9796c6c13f76de619af622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross3 False Passed
62df7d35eb700c288607634aefe913ffae97d136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Cross3 True Passed
e03b8aa2273daba1f5c6deddf13f55955d8bb4ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Cross3 False Passed
07f5d1215fb155a268ec48f2c3c76eb88329d949 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross3 True Passed
ba5bcea2c057131c6d456da0e20a83c82853548d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross3 False Passed
79151922d16a17bc52f24b19d3d5a3cc5176bd57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross3 True Passed
2394fdb33af37421fc488d396ace032665ba22d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross3 False Passed
facb274b0eb9d31df670b0d7627dac9d3ddbbd6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Cross3 True Passed
8532d10ad26aecf825152914a9935d8c71fb19d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Cross3 False Passed
cd25e9e8c653c23779dc34d9dd51aa91f554f19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross3 True Passed
3da5129d484ddf3eed92c238c53bef2f64fe469a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross3 False Passed
f12f5e2ac4e7ef248966a6eee7f84428ec26212e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Cross3 True Passed
556ae3a3077f89b3423ef02315e66428d080006e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Cross3 False Passed
172bd4453ee0bb9aa1f120c0e0be4dc3694910e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Cross3 True Passed
6874f44c30e0953a12390c198ff4fce2662779de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Cross3 False Passed
8ef05319b5db92a24828d90fa177ec5b4d499440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross3 True Passed
a1b1aec08aca9cd542c507e46e109809876330f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross3 False Passed
0a5c2edf2c0185ddee3ab06642a44cbf4cad3080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross3 True Passed
a31e47b8d27a01ce988922626efc24d52bc064d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross3 False Passed
fbdb5c7d847e9122f683881030908f7193e44508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross3 True Passed
710b6ff938862d1980b075c9f40df23e6c69e05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross3 False Passed
9c0d811f10ec75917c4e1e5d3b8285553d9c0d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross3 True Passed
30ab587c4d63379fe794d2d0f347d6d08825de3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross3 False Passed
3ed7f3e67f7071302fa6d0879f40761f6a452d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Cross3 True Passed
8317ba472eea5c0ed16e8a0f81bd11e576d65546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Cross3 False Passed
7a2b30ea0090bd0790c73eca27d3d1b5ea5cf245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross3 True Passed
a63fcc524adce8daa81bd23cce5a21e29681d7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross3 False Passed
3057e8cb5f9dbb81f8dc34e10b82be4b619c994b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Cross3 True Passed
62c6188e0650686fb9005d0fbcb2fd9bec4f881e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Cross3 False Passed
2f4c51e1c6c2f6cc0071ba00c3ca2c6459413183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross3 True Passed
7fff69b06899ce8c9983bac1a09f54afd18c7cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross3 False Passed
1e4bcd2d7425a7860a51b08f32d7445ce0b67ddd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Cross3 True Passed
6979e830179c05ab6f6607528ece2735c2138f96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Cross3 False Passed
46d9f11911ae842d79b0fd17ebfe1111cc4496e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross3 True Passed
caf9b7153216bed5ac63f835ca6a0d945c88fb12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross3 False Passed
0bec2a3073b718ec545289ee93e2f14459ddfbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Cross3 True Passed
366e7ccce5fd17a4983b39c6bfd609a5550922b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Cross3 False Passed
8e4a8ead802413388711e05ca36aa9809186173f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross3 True Passed
f3ebb23695ea8f7502f31aa8533779a8fd86d1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross3 False Passed
95c77944e6f12cb9ac16e81290af958f634fdcd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Cross3 True Passed
82f632806456c3e0f633091b1ded323390de70dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Cross3 False Passed
c9dd3311779bb11fdf32c3b329e70f914321aad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Cross3 True Passed
65b1c3397c34e3f1ba8f7529833691de9fea76ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Cross3 False Passed
d5a3ede91bbe5add525ffe72b923f537515fed6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 True Passed
af3df50d957060dcbb4f3cd947c419ed5330fe77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 False Passed
2a5c9a1103cabeac54a85239d78f0dacd5a5b49d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross3 True Passed
92c9bbb68b6ffe9b90cb47765ba8c0c004db2659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross3 False Passed
c5d7608512c248e0a0f23476d2c8de187fbd7cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross3 True Passed
2e534bc536706c48f2dff27930122b461810cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross3 False Passed
65520c6be886e0d4c7e5f7072b3a25a228acc1de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Cross3 True Passed
eaa040c3017b14c210c92c3484f31e1339c80438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Cross3 False Passed
484b555ab4955d997dcdf52820f90e01913392fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross3 True Passed
5b5132dfcdebe2ee730233b066b9ace7cc1cef88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross3 False Passed
5b06b0aad6933ee40381d705c23a1a2fa858316c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross3 True Passed
af87b2a22317e8b6d5cd5336bda7a30b7a1c024f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross3 False Passed
c783bea3dd54f80672b7f72509000f67a2f0048a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross3 True Passed
1790e331a5eb5b857cd03c8d09574986e3a09767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross3 False Passed
87375073ba6c7d56012effe6b40266680b049cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross3 True Passed
2a12de5291e316ba6f3ed5eef96980834868c961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross3 False Passed
8ba4319c404586dcf888cfdc112b086e82a89862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross3 True Passed
ce07479ff25189a669c0d4deaaba6d8277c6b850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross3 False Passed
107e3ee5013ddd4d25b9517f0aef196872ee83ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross3 True Passed
623fa4c8c706e4bc4431638fe25c3aad3fdbd0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross3 False Passed
9b81f0cb01c0207dec1b9bd02af3d3c72b54cf30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross3 True Passed
9741545c27c666764587dfebe6aa63c2cd180554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross3 False Passed
44d07f622565248ee2e6c3c5459846e7d80cd3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross3 True Passed
e838e27db7181f18f889c28c3c79113ed075e8e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross3 False Passed
b31294937433a865642e739919301752c20cd8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 True Passed
e4e1faf8ea4bf24ded1fcea17d0c15d0c483c0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross3 False Passed
b4d644d85363e31318d796c26b5245a479cf54e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross3 True Passed
ab612322225528efae257a51fb7cdd5646c2fbc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross3 False Passed
e8b1d64ff64fb7f88ab6bb359b5c543aff128f48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross3 True Passed
d3d4ac423ce48e3c81358031ed96b8e315603e23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross3 False Passed
d195e2cb1f3ff45bb9b4dccc9c2610b254c893e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross3 True Passed
67bdf1cc3fb997141997cf593901278e9a2fc703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross3 False Passed
34f4a9372e3454dd73172a4df61b5931a08f5179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross3 True Passed
6270a7f472d8398a22de7ec240f33a6076db4507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross3 False Passed
e16a71074f85004ac1d114ad28bc41fc5008f7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross3 True Passed
d2164d7782b9939822e14b165bace35cd70144c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross3 False Passed
081f2cb9d516ec4e242d20aca54609bdcc938c60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross3 True Passed
f3d8de863c733a43b3c22d890fc59b042a9397e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross3 False Passed
88d33c08c7a1c447c190415b56496e551bafb126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross3 True Passed
2873cc8595fca56a8b4a6f250e435474eccee592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross3 False Passed
b1654511fc643a63c0a458d3a24842bf266581f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross3 True Passed
a64d5f906a6baf2b3fe8195f8b7a5e551c66b6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross3 False Passed
d9e556d7b643e043c6fbdf42fd274826ff7e1085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross3 True Passed
01e2f67fd6c662c673cc6d806f1d3da919d2a10a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross3 False Passed
18f916c15fe9710de132a4f953fd52b36d1b77ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross3 True Passed
34a9f749cf682d70e392b051c70ea072a78f3152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross3 False Passed
56a0de363d7e1009001fb2321a81ad0c1762f6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross3 True Passed
00c3725637937151d2068b4a1cbeec6fb352422f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross3 False Passed
80142cefc21d34dc9105027026bd565bb9a46519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross3 True Passed
b8f8fb4132303b04e65a5fb2f15562c21612b1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross3 False Passed
7c38832faf4aa7974f189d0c0b12677cad606c6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Cross3 True Passed
28f186d522022409a88e0a51315b1b346e5b963f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Cross3 False Passed
749be1b449839ee80f0fcbac630773d8406b37f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross3 True Passed
ddf3a3cc8b97421223ffaae1699344421c0b6318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross3 False Passed
ca190758d449d815c569b7a9a930fd4508524121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross3 True Passed
ec2bfb0db1797c670b3d131eb4507308f08d14bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross3 False Passed
bca1d3cb6b5e274107ae7b04cfa47c85f7f952f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross3 True Passed
13401589ee0d7ffa70ffc65c59e681aa54c4f268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross3 False Passed
3c3b1f29f0b91e939273af21e88d34a339757245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross3 True Passed
6037c645ba88ac17d5a6f28cd9cc7ce81e72d4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross3 False Passed
1218bdd70309ed3251f6312dc9be27ae373c985f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross3 True Passed
ab05fb54550783754c707499f097c0024ceebc4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross3 False Passed
29563f02e2cedd9fb0b6359b478a1335868d7149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross3 True Passed
f6f4e4c810ce2ebf3a3f83b8a74ff3f44c13f9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross3 False Passed
68faf987cfbbe3aff1b061ac831189979030aa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross3 True Passed
eec996ec811e47f2df15c789576e9989cfc95b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross3 False Passed
a9b476131c3b54c09ca432f7ec2e853a6ad30bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 True Passed
5e69ef104724ea7ffd015834ec8462df97af5300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 False Passed
e628b18633c83dc84a6f77d920eb73f861db42a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross3 True Passed
59bf28089de87eeccd6336aebd20d3f66aef5044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross3 False Passed
5af001a6f61b6341218e14aaea8b736d2e87957a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross3 True Passed
a530de263b615f55308bb4aef2ab4754dd135920 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross3 False Passed