Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
981ace8a90454a5cf2f5c21b4e0ee856ac863c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagCardinality True Passed
5af446e0807cd3d2bad4cfa9105c8387521418c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagCardinality False Passed
69113958970bfcdd5da7f10fc7f4db2090dc69e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagCardinality True Passed
033723a345fccd8de2657694760053b5561bd133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagCardinality False Passed
7b5054cc1e4dd6ceef8c4c9a88eebf9b86ebb7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagCardinality True Passed
746b8a27f6b35852100156c3990a88da3e72dbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagCardinality False Passed
7f852359c559d3045d944c54c64fe62e3b522286 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagCardinality True Passed
382788413b0be19b04eab8cb534df08f35f15795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagCardinality False Passed
8942b92f4e17909e6e7f7a7ce019c766cc0c9159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagCardinality True Passed
ccd7c51d1f9de8b4c5e2a17275f98ffac9d84b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagCardinality False Passed
9d3cb7c4aad62b274b3077754fd59704184ea10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagCardinality True Passed
74ae136887c5d4b424c4193884cad9cb4e50fbdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagCardinality False Passed
e56c873ff0a127bb0471d4365376cf09652f387d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagCardinality True Passed
25300604f581c0e9fdf3a5f1e01dfe144e2a5d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagCardinality False Passed
6c85267d2905658ce674e33100a3ea4b506e20cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagCardinality True Passed
123780def23f7cc220a0a8f3c6b40a11bb26dda2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagCardinality False Passed
e9b1c4cd474633316d07f165ec72dcf77225b802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagCardinality True Passed
9aad8890c9fb6acffb350e58cc6ad28519217239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagCardinality False Passed
4ef7790016cfeeeb2a3d30a7a57721817905f5b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagCardinality True Passed
8e63e743642e1241b1a3ddfbcf205e93e29985cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagCardinality False Passed
2aa079b445a4540e71624c2d70d154e65fa7a3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagCardinality True Passed
45af3a5773b169d2683265ad2f88ce8e77e356e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagCardinality False Passed
2aad8dbd042b947bdc7c33a5e67dfd045434739f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagCardinality True Passed
fae01e0cca7a55d88d3b9dfc48533ae383c82038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagCardinality False Passed
a8d0ea8752746eb47999957a63a5b7fc3d2ab789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagCardinality True Passed
9043a5f03d5be7487bddd03146246acf5a0a7675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagCardinality False Passed
c914c4940c639b3574971acc824bf0f43660391b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagCardinality True Passed
000b2497c7b18a0313bc1186a15d84067097d7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagCardinality False Passed
9ac66e6f65b1dfc77f8b743e365d67cc5bd5e3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagCardinality True Passed
5d2a4ed02fa14b6b50df0fcec0e4f1dd3857d0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagCardinality False Passed
148a110c0fedc4aace9297a3bd853925e30a3d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagCardinality True Passed
5c884e123728428e5048fb656bf1638d1c5a79b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagCardinality False Passed
295a6fcc16a9ff0aaeb06c9a37422c82175c1f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagCardinality True Passed
49ada9b71c8a012be2eb920b2dcd9cd4cc3fdfbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagCardinality False Passed
555270615acc4526dd26b53eae2b5abf83f8c10d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagCardinality True Passed
0ecaa2ed1e36844fce2fc4505f98549256f34c3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagCardinality False Passed
2e92f7717a0c4fe7a5e742e21aa2ac8143bcf63d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagBagCardinality True Passed
b537f4ee7f301a6707718e4f3c287780812030bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagBagCardinality False Passed
19deda1133cfe0833376e57010caf9deed987b87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagBagCardinality True Passed
6bc7edea8fc94748a79a2b5b819776b8bf86685d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagBagCardinality False Passed
5392c52394d05c533bd3868957878669d2d86ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagBagCardinality True Passed
6bd49186740ccc8e33e6320ba9078f5bd833c3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagBagCardinality False Passed
af74b8beaca2da0e80968b30829eb8a724f230dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagBagCardinality True Passed
63244dbd87f2848f5882d1179631adc71324f317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagBagCardinality False Passed
7769cd94161c382db064b7cf66a6adf3863a4ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagBagCardinality True Passed
97aa92d5e5fb874279329ed0fbdaf4d367f24a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagBagCardinality False Passed
607d26da426ca0a5a77e100462ea90b96162da7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagBagCardinality True Passed
ef93aff35c9dc01405dac36d211d74b0b700c86f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagBagCardinality False Passed
a2de8842da96d887c8e08ce78404f5e14eaa4bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagBagCardinality True Passed
6d345fb52fa9c79efe39590198465f771ac44405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagBagCardinality False Passed
8326993225fc3cd8db9a002fff680b2994106b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt BagBagCardinality True Passed
52a63d1328015871b6149f23cdf1332dd861d778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt BagBagCardinality False Passed
4717134db7f412d8ec9c674fe82a6cae9bac66a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagBagCardinality True Passed
6530fd5c21969f336d149a2ab6700448b3fb33b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagBagCardinality False Passed
9dca41c7c5df1aa1504eabed7b4372adb8f9a99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagBagCardinality True Passed
268af3ec518950edd02ddc9780e4eb13f82f6cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagBagCardinality False Passed
d44e33811f3820279c546d27ad82e24e99555ebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagBagCardinality True Passed
c75c2498d73547b1437dea76efafc47c32266972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagBagCardinality False Passed
4cb07a918c3d5b357fbcda5fbde4b4c4b2dfeadb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagCardinality True Passed
6809d049312e1d757e8521160d69110e17867dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagCardinality False Passed
a47769252ec22f56ac27d6e397f21d146d027b6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagCardinality True Passed
a611d1fde590911105473959cc16e211558129c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagCardinality False Passed
c8434cd366a80008c5fb583d52f00b4b48ddec9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagCardinality True Passed
6145078b1da8db65d50110f05163f16bde2db360 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagCardinality False Passed
23c955d4fe79dc90374d57476afaa3c24e2a5e3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagCardinality True Passed
01a1c1ae431f192b691d5fc300a21ff3b09a8e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagCardinality False Passed
3d06d908e92f8cddff412b5d3d8167ca87a043ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagCardinality True Passed
db5e7792ac1c52ed90ca2e523951d58fae3ad80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagCardinality False Passed
6cb34ecf7bda4ab17d37a6997b470944c93909c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagCardinality True Passed
46964e8e646db56d67198500065ddbacc67b06f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagCardinality False Passed
6ec761a6e53a15405907bcbc2b42f5defe1c1ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagCardinality True Passed
007f08239c83f6f84141f3e7d58ed06e32468a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagCardinality False Passed
c2890e20f1054f10b0fbbdefed76df23e0ed604c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagCardinality True Passed
99cbcc9689e434a39e66301684453ace0758f23d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagCardinality False Passed
ed22ab58c003511e522b19c8b716ff306333a59f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagCardinality True Passed
b9a7df76b86f3cd8e3111de0494df55253f91b2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagCardinality False Passed
4fc76fb9c396728715648dc819616eef57558ced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagCardinality True Passed
565e37333858b7ceba2cb04b4daf90beb581b3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagCardinality False Passed
a7260b072a58d8f601021316e900f8d96cf3dcd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagCardinality True Passed
2a2a62fe8d7480a4fb317d5fd33b3a86795c9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagCardinality False Passed
056bc41db3c5d88ff9bcf8cb86b14951cd555170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagCardinality True Passed
13eaab233a56525b2497ce9817c7141c77566b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagCardinality False Passed
59d6fa3c62e24c67c8d1cf712e3e3419f0a1f529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagCardinality True Passed
d13ab15565fa4fa6f063e2a1f5947dbeb11879a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagCardinality False Passed
af284d625f9aaab27b15d59cf3ffed7e215ebf61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality True Passed
48a5a37043effec79801b41adf08807c225c60d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality False Passed
ec0fdcd0ce90b00d64917091a8104d60a8db6be0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagCardinality True Passed
9aa2fbacf34650d679fb5dbeeda920486c29c98c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagCardinality False Passed
0031d7fc0c0f4a19d975069b181c8ac2efa3a45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagCardinality True Passed
9b53c4e0c0836a29493d52e576f52674fa4229a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagCardinality False Passed
494d8d52c421f32e85caa8f7832174fcf9fbe7ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagCardinality True Passed
7aeb42d7392f6d5003eb7a84ab3faa6499015b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagCardinality False Passed
d0b8d14aa6b67501d35e2899767216f450efdb22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagCardinality True Passed
a46a99c95e369f2c6110e1892499b1555f7c5757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagCardinality False Passed
dd9550c763994819bbbc23b2791bfc1e29eefd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagCardinality True Passed
29c86afab0df14c2e9ca8505de7f34429eb76532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagCardinality False Passed
54e4fd40c4e1c71b51bf556d9b7acb04eff5c774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagCardinality True Passed
f28f37de401247183ec644a7556371dc8cae9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagCardinality False Passed
5005f78dd4a9b6b1e46ce4765ba79df332dea620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagCardinality True Passed
ccd3f61fc15424f27b929128219561ecc43146af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagCardinality False Passed
832b0169f794ef03744976d4313a390d85d905d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagCardinality True Passed
6919fd949068ffc8f76b69bb55f7e684606b8119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagCardinality False Passed
a341e523cc978786267abba6bcc7d6699ffd0d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagCardinality True Passed
8303cafea787b608293e9cacc3213c7f7d3acab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagCardinality False Passed
b091c8faec756f5a6817a09208250083800e6385 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality True Passed
ccda6b8663e1b78430f74c77d45d71acebd04f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagCardinality False Passed
e528e326e1607a6d2e2dd03747bc35eb65ae185a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality True Passed
12f95efc82dd16f356075d33b637db51e139a604 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality False Passed
164dfa10a74ed0773747e75a94f89688d18d7a32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality True Passed
def5793a49b3c65def593c8a1a7ee0c50ad05ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagCardinality False Passed
29c39a3397b8e2a6f737ebae10010f75c188ba9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagCardinality True Passed
b66ded604a05835ee1675c06a004af0fa3fcde2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagCardinality False Passed
46717d4f09cd4c1f944ea6b94538515c99e12e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagCardinality True Passed
26229192d858bc71338d467bb4b75a0ba66f99ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagCardinality False Passed
65b1684615c0e75a8cf740e8a1a71dc0d7a1ae29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagCardinality True Passed
b62b03d828c6f60922b3324aa4d274451177352b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagCardinality False Passed
5376188c4f01898c7542dd01c5abfadc632430c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagCardinality True Passed
69a4f8d19bd171a717153c5768a4da0994f62606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagCardinality False Passed
c3651a41604195022b0806e8e173f20cc78bb42e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagBagCardinality True Passed
77ee151de16b3a2f247f9f3e0f8c3f2c23cac314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagBagCardinality False Passed
e2b348ccaacd22c0324a0357a6191dcb55493288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagBagCardinality True Passed
c46d2c0bc77edd53e49905ab2df490d2fc83fca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagBagCardinality False Passed
178051105bc6f929d49e49dc8798501ef52d6269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagCardinality True Passed
6320a1b637d188b20d5cc1fd60b4783042710c10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagCardinality False Passed
4c34c74b21b9e30618cb627ace496206627f54bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagCardinality True Passed
22a2595f5ed3a7a2f857c28d33a5e20c28a8e6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagCardinality False Passed
4a37468a4c714af546a10c9dadcfe6838eec6af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagCardinality True Passed
9c01216840d9c72a7e825ff9f23906f09de03de1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagCardinality False Passed
74f753fe2f174018af087185d63052ca5124ae6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagCardinality True Passed
867352d52f31f3fea75f34a30ad1b29cb9a232ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagCardinality False Passed
47cce124ce1a499c911a332346e56824c1324e9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagCardinality True Passed
a1e4baa1833b0c02586c8bf1fdd4eafeca8a95fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagCardinality False Passed