Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5969d466e65f1d2db85629257472fbf95cc196a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Union True Passed
d8fd29977ced74830bc57fa48af910dae2047177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Union False Passed
7875e8f3f11426aca6a0153fcccbe4c2e0c771c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Union True Passed
573d283396983ec0d50a1a182471c04d1d7f78e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Union False Passed
055eafe41313d0d7eaa74652a3b97e4fd44bc9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Union True Passed
fbb8c06c17a70dceb6bf264b5310d94a3dda4868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Union False Passed
17b4fedd3dc37c57bf8108c5db91e5184d404d19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Union True Passed
f07174fcbf396528698f93bc40f66459adf88f82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Union False Passed
e528356d297954d79bb1969910f3e65ec5d2b1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Union True Passed
5b56ae37f4d80f42cfe073b8076a8f00618c3f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Union False Passed
d7e222a69537f20627968538d44755d9761b1b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Union True Passed
ccb0462616fa7327a5e5ca1cead6385b381cbffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Union False Passed
88d45b9d2a6977fb1c040cc5bcbfdc0491b80bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Union True Passed
510db3846294e5c3be29096c2252507c1db4dbbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Union False Passed
0c2a56c4e28c29da4bdb5b01edc0321dae843c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Union True Passed
e2639e392ce8abeb5843e2718fbb5dfe4920e907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Union False Passed
a3cd2473f5d0aab2469ac5f093a321ec43029eee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Union True Passed
e87223e8a177088535e88327af4b371bdf92a798 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Union False Passed
9acc56717ef30a5bc5992e2e4fb85e921b13930e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Union True Passed
142eadb4832ff88b8870aaa5af561c229c498480 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Union False Passed
71e68fc2f53f2635d1dc3c7b1d57aae16740941f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Union True Passed
668dceaf59147473cd9da2703007d53349222081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Union False Passed
c7c2880de8b11424688deff5abddfcf973f73636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Union True Passed
d57e7a74c10e0e375b295c1a0f47b54d54e2443b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Union False Passed
3bc79eea99dc8b90a4a4813a70a58673785cf8ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Union True Passed
d6b688218b61b334025837f293443dc084985be7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Union False Passed
3d8dcbbf9ff1f931ab0288e74771e9bfc130ae22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Union True Passed
4814fb60192fde2e9ee8d290e69a23d8a2e1d966 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Union False Passed
a64128c4845382565b522600be54c478665bb1ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Union True Passed
63b85ac809ac75915928e5d595ec855ef238525f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Union False Passed
42e18517155d0d9989ce6ec93df5ab3a47fb05b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Union True Passed
5978f652efcffa7a4d0cc8bd4c2b448bafa6292b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Union False Passed
636dd8f29ba037f892d35e8c65a3d1ead3920c72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Union True Passed
258d5e2e2a05d589c519f4bfc8076e720d0cb915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Union False Passed
6827d59e9016f3d85a91cea1f65fd3f3da5a7303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Union True Passed
a66ec979b7df75ef903bf339b11f18bff32fbec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Union False Passed
25b69fd84d8e11a45626894b4154cdb53cd5e6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Union True Passed
bee8beae7223c94fc5f0a0ec2aba98c699abba74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Union False Passed
1bf449a2e73e998aa6410425022e6ba6e7daf42e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Union True Passed
51ff5416704fcd3257eb7d30db0dd97e471578ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Union False Passed
9924ae03aa1bb0390e8ef6367693507c37240627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Union True Passed
7564992278d504d2cf3ad604a41f18eb7fadb5de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Union False Passed
ff05e6777b9b4d49d2fc2fd59fb3f5ae65f0a735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Union True Passed
a3e3314d3cf7617924c0f0fc98dfd6e1ca9e0ddf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Union False Passed
0654a47eee9c976ab9376e8c77c8888c50a30768 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Union True Passed
b7b789e2d3690332999ea68e9522752411bc9690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Union False Passed
7e02b7f0ea761025025216f9fe5514dae090d7c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Union True Passed
d04b67abfb49cce3a2ee5977c3db620bb2194570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Union False Passed
caf1c6857b9a0d18ab0add180e0bd5eda15682d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Union True Passed
efb255ca68a4c50b276d89598c0c390fa3b79940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Union False Passed
82d198d14db772d342f7c043bd69ed098953220d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Union True Passed
45dfb33f7aca5ade5298b54121cf3790bc8aedc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Union False Passed
31ceaaeb4a6fdc2cc384b601e54195d56064c4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Union True Passed
cc0fa961dc21845ca8b9c4190bd2156bdbba101f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Union False Passed
ade5d86ebca59e90d096cbd5991d45af9b8138c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Union True Passed
964d46d1431a39486d5baf4b9c14ef14cae9d934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Union False Passed
62a07326fe0342e636c70500292951399c8d87fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Union True Passed
2e3e10d89499f854d478678e98946dfb303fc3c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Union False Passed
50ab3b53a275f2f1730082399d22918294d2507e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Union True Passed
1db3598893996762d23fa21c40266c98874aec78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Union False Passed
e06a5b56b5ef334389935741c08c098d321fda36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Union True Passed
b21b634a29434912649db86dff57cbfa1ae3b969 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Union False Passed
aa4ddb5c0bd2f8d779af6cf50f6af6a8b2061c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Union True Passed
5beb6a7fd5c7d285b1d5756c1c47277b63f1bd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Union False Passed
e132284235dd8106e30a6883a493c627b36be3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Union True Passed
4fbd952cef574941b8d95dec990c58cd82997c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Union False Passed
9bffc875edc3346c3ed907037b960967aa77ce85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Union True Passed
ed1f701896dcddb079109fc7bf1721432eb231a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Union False Passed
0b61499b140b147120a43cb811df5ad59d963103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Union True Passed
c2e0208e70ef93483dbd90d3cebc78a6a35a3977 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Union False Passed
c7b36e58d01b79489f8fb5415deb04657b698d33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Union True Passed
e5792232c8c24ec19d0e7ac206a2af3da4254c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Union False Passed
7413712d6432574817c229ba11f3d88dba3537aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Union True Passed
4dfd23984eb2dc629a19fb18b841715ced5588a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Union False Passed
f6897e98fe87bbf79e55a764d9d7657074c21669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Union True Passed
5f0b0c9b687b7f9148a7fc95c147193825668afa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Union False Passed
2ddc20e7c21c455b2be6bd0c12f714169593f127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Union True Passed
43adb4e55eb8766c05d86c6ca22aecc6b268685d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Union False Passed
57ae2a406cf5f815c16f6a0e0d00eb10e88065d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Union True Passed
dbf65e1a62485756a8d6a223f25b2ecf3c746380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Union False Passed
6a716517351164420290673ce1fc5faf0c7b9755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Union True Passed
a30440bbfb3e4687a33f4502f9ce65b532af8c54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Union False Passed
61f0180b9afb0b25be5f88d77f2ed2dc92a4fea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Union True Passed
94b81eec35504cd0def6dbf58d057e8015f28bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Union False Passed
ca632ea73804f6cae7ed132bfdbd30d5c7446dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Union True Passed
1fd7fda4273520aeeac5fe81c23165c04ed76105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Union False Passed
4d4fe87f432796cb6d03576d49038a06271f4e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Union True Passed
06ee729ce3721e5e90278bf54252342a5e069c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Union False Passed
20106ab15d82ad47a5a590c17baacf98104fbe1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Union True Passed
76266f9c8741a339cef084ade39002bd52369c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Union False Passed
40b3c350e6d10c2422250b0dbfc91118f639c110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Union True Passed
65199f9da0cf1654cd6b4d11bae86aac46f3ff3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Union False Passed
1ab7aaef829bc5a645d076f6c037b58955d811be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Union True Passed
5ac0ba978771c6f3145a176ee201c359d51036cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Union False Passed
45ac4e9593e7773fceecb8a408e5a8d17627ae36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Union True Passed
3cd51cdda2998876ffdd7c0f4282c1dee141bcb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Union False Passed
c9e79dd3a8cc22c7f0de002bfd6cb5a39096882f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Union True Passed
19a224fe00294ba32434971216a70a4da17f6ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Union False Passed
ea285a0b3e983215adb45ec91d82cf433e2bb439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Union True Passed
36494e6c5b2c53b9d8552e405ba271d2339161a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Union False Passed
587b201082df640e5d7720176b57c3d2c1e0ead6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Union True Passed
7d8492970b5cf96a7497c1f14603c387b6b1e5c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Union False Passed
b70cf14db66250636b7068e9e20bfec9adbab2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Union True Passed
33bc4701fac90c47d8233560fe201c70728800a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Union False Passed
e7fc1c838f297822d24fe21fee3cccef77e584d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Union True Passed
65a6ef3bdfc5fddb2803097e38dae93fee57a9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Union False Passed
54a8be8e0638ae95e50bb30cd565e2836928280c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Union True Passed
cf1e70587c3b711884bb19d7930e74d5f2f59204 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Union False Passed
a56c97b9d149b70e413d70cb87909b97cfec8fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Union True Passed
97d799e8c06541d4f2d79ab2ef3d7425fdfea13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Union False Passed
518350b354e892799f751dac5f7675a5b355ea48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Union True Passed
9e32e6bb1664949a44d246f8540740e8f6c0c3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Union False Passed
795c3c2440b681f857bdad0171e2bb4229594b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Union True Passed
9412c70cad5c79dbcb64c0b3f9f81da2a8b5b70c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Union False Passed
f0b5a8a31283d7d97fa23f9068ffb03f50cf0deb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Union True Passed
1eaa1583cb3f6eb932bc0919b62aa094ebcaf6c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Union False Passed
99bdda5ad09fea7e0c865f16a64d617d7247a3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Union True Passed
787723d030a2523795231c1529c3b3474e8cd434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Union False Passed
27f3497cce00f0859db901a675a1ff6dd08e828e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Union True Passed
852935eecbe17a148752f024db0d18b3ee896dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Union False Passed
320a4473e177d5e645755700eeb649df8e0c4f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Union True Passed
9902ee41dab699ff6719b43efbc4b21c2b935323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Union False Passed
8e948fbc837ea48d58886545a351c977cc229d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Union True Passed
595d66c0f41c430b7474ee4175141e835087f6fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Union False Passed
2ae2b3a6a76e49a1a41d8f6caf80c1c4baba06d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Union True Passed
3314330cc8f00d5057a556ce1802564247bb4724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Union False Passed
b542bcc25581dc3ca368dcbf1bdc2e189ebecfa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Union True Passed
5368d669c20add730247f625fe2c2b37422993f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Union False Passed
aaec0e68360ffb0903d78afddea750ff3dda3d2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Union True Passed
440e409a786459c69b87c8c11cb8651d01caf232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Union False Passed
5bd7f8a546a9728a5270f1657a7f1397a1addd67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Union True Passed
16e9312769e065ada5838527bdcb7e5e4514b299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Union False Passed
cbb3ef362ae4d30e4cfd766de1d329ada6611511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Union True Passed
cf96b6a56f1105eea66a0f3183fbbccb468a6fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Union False Passed
c03164bd936d8c50e6ec824734887e6275e7a1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Union True Passed
eacbe4ee2e574326c9a56a840946d8b6b84fb619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Union False Passed
779f730acbcc62d37f7c7f079988c95cf1909595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Union True Passed
0e8365ea0ee3184e956ded6111a4e6fbf9a72ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Union False Passed