Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1e36451f9217068bc8a0b027e23ffc5e144c3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolSet True Passed
114901b22b2bd0b59eb7652f72a12c0aaf68235e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolSet False Passed
fc701b011f0d5377944160b65bd6efe4d68b427f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolSet True Passed
e9fc061bd81b3aacdc056bd811b3577191cb1875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BoolSet False Passed
98b094ef2100cdd357e8afb31a80c4dae4e326e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolSet True Passed
0826f0ae3463bd53c5d60c9b22f17d58278f95ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BoolSet False Passed
2b4035fcd3e927dd65139111cca865fbf0fdbd65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolSet True Passed
f28953c9ea5be6567bd36ece1f351edd37c0880a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BoolSet False Passed
af273e51fb51a9afe5c7fd27bbb72d2189b53bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolSet True Passed
6e32880a3c2f224cbd0914f4dd56f5520b7f677f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolSet False Passed
c260259716f9a6e1c951ff45a206ec48b8d288bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolSet True Passed
a4636c3e2115eca82b7730e6dc08fcc1ece22d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BoolSet False Passed
57eb437550ddaa9e42d0bcc8772ef61be2a8f9e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolSet True Passed
7d8cf83d0a18b4fba2ab4b85c29dabddcdef0adf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BoolSet False Passed
e76955a7d7fd3ca9f74f3646361d71cdcd0024e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolSet True Passed
8295b02dddf159e3508f4fe182de915afcd22fb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolSet False Passed
c73335312bc298c439a874561331a31160cd3b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolSet True Passed
7112158ac103a1659e40db0068683b54ae461b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolSet False Passed
205ec8318170f76e38551396d21d475e9122b3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolSet True Passed
a155e91222b6cdc94d855f4945940272f5679833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolSet False Passed
cd6574896ccfe6325346397f910756902a4bdbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolSet True Passed
a934fb5645e9c2ad04ce7a4a99ad9ace22e6e936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BoolSet False Passed
dec43deee6774f873264d9a73bcaa89841edbc86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolSet True Passed
55c61595ec56dd0cd7367ca47aad7db721973804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BoolSet False Passed
8ba03d73294c73cdaa9a2cb5dd3620c418124bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolSet True Passed
c03e0a9b07472f0d2ce01cfe1ae3113a8d2798ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BoolSet False Passed
dc35a98dae2dccec408a65eaca699f90aeddad01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolSet True Passed
47a24256c620c80362e067440dd430543d8fad97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BoolSet False Passed
b0b8530a78386ffe852832036664faae49b34cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolSet True Passed
aab22fd565be32dff840f5da1bfa2925d3f1f6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolSet False Passed
f1d83463beb1a99edeed185375e11819b9739d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolSet True Passed
0f4650e0cba176351cc858347c29c6285d1ba53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BoolSet False Passed
984200a2885a37112541cb15b213f3b79e819fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolSet True Passed
b438d64dd2f77d0f33769d7ce6a790c5b98e7981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BoolSet False Passed
b091681f516a3e0d23a8af6373aa4708cae98211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolSet True Passed
d436716a1a565afbe34fd9fbb6961457e3c09d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolSet False Passed
7778f32239d4dba2e90ba18a08ac9a144b4082aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolSet True Passed
9f41c729103b99b10239245d5df4984527f82027 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolSet False Passed
ad311e53315736ace8cd78b2045218cccbdfb2ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolSet True Passed
4bac34e7c5081a90923478434ca0b59c7383c892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BoolSet False Passed
be63b0223b7376f85c283fa52993a7a32e67e424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolSet True Passed
2678ea40eb1e7df4758a14b884dd79fc138ccec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BoolSet False Passed
c4d68e6989f481bd5fe55d56bb6ffda12c633507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolSet True Passed
bece8f207b6100a1855f48fe4445e4baffa5abb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BoolSet False Passed
deab9441e05ab7dff70b4453a01627593a5e007d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolSet True Passed
2f8ee257a36ba71dd041c715e4758f230f59e87a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BoolSet False Passed
3ec22ce82ef9d15d2a3abb420ae0be71df205767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolSet True Passed
80f98c08b5720d48a81b12ed86ea0a7043832139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BoolSet False Passed
a4a06798348273dc062db22d4056ffee65931593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolSet True Passed
e58e767d29b9cd5d4858f180b4dfb67848b3e298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolSet False Passed
8095d280d7ffa8985e382b39e40f3e828f144e6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolSet True Passed
188e6b5972d3017a2603132efcfbd460e125351f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BoolSet False Passed
403594180810c958655ef051845a7918e0437310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolSet True Passed
091d322ac3f0b8320c89f3c76a16b38cf2ee1c78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BoolSet False Passed
18650531bf0451eec507b9d647a0e7b00bba24e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolSet True Passed
b09bd1a067f87d8a55d511ac382eaf147e0cf84e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BoolSet False Passed
dc283b4d46b76740e67e9d470d15bb822bcb7b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolSet True Passed
7b6dc3fd2501c444bbd3dfe1cb93963c9a9e5963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BoolSet False Passed
6517759b5a3bef5cd230f9b0288c429236fe07de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolSet True Passed
14f824f11d0df352accfa0feac5f8656ae32f54a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BoolSet False Passed
1b55f79e15ba4466ebf1520e6799099dc6473c8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolSet True Passed
2ac84daf7f627a172673747da4010469b7ce52e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BoolSet False Passed
754e0ce7ce56e913cac3b7dd43b2d028bda2a02e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet True Passed
3d1199c027b17f21a4dcebc2d13c13a67f99d850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet False Passed
0cebf3aac525760a68e4c00e0c79f303191e2685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolSet True Passed
6049db922d5cad6582f7feec48ad47d0e9649b15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolSet False Passed
fdb651e39cc4d6a1f6779dddaee1a22d201fef65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolSet True Passed
197819985fca97d523db9598d618b5c7c7f54d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BoolSet False Passed
ce75867bf2f1cdeba3f6e8143cf5f9a6ea20ddf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolSet True Passed
7a3ac73507d06c827ccd3cc063f1648063522f11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BoolSet False Passed
e82270de2041b3147f2e39f9ec8b03c6988658db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolSet True Passed
a77054a27178ec2497b6a116feb47a0227b5578e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BoolSet False Passed
c95494967cf15357f0044201b28b0c79ce590e11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolSet True Passed
dd1320650082a66bcfc91d512a4ba7846e96f53c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolSet False Passed
e6e4e210d8f867eccbeeb046e2bbbf9301b7e836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolSet True Passed
08008161fccc2163b2228e4e618121c381c04b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BoolSet False Passed
1cbb5e9e699cd1bef5b31fa44c82b265dd3e433b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolSet True Passed
f4883d1c96b946dd4182298366fc55f5b2de38ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BoolSet False Passed
ba553bf1b6ce3631a84043e833edda22bc1a5e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolSet True Passed
941cbceb8b7d1bc46d6b6046da91570addff183a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BoolSet False Passed
f22d73a94f9e2d0b18c11eaeea4933785fe53e42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolSet True Passed
64b00f8dead91167758c5291121fc565a2a86cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BoolSet False Passed
51d08aa56332ae5f3eef46d1c8a62e7dd1fa1895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolSet True Passed
1406f31682982650c809c071a1b813ab31cc98a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BoolSet False Passed
12676b80bdef37da2af75ccf1e8f0c06c2af56f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolSet True Passed
1636bf1d3b53676e0d50b49bed044f8df8fb8542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BoolSet False Passed
3216463e7430a936e406bc423889ae8183eea6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet True Passed
df5896bc1b073b96e75dc37e54114a84066649c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BoolSet False Passed
ae1ab69c8db047f117bd5e640054f6cf1ad9f9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolSet True Passed
250d17659940d8f66fc7f898cbd0f10f0ae3b5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BoolSet False Passed
d7903153f69ed289c9b3e20148f5a9b2ece17859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BoolSet True Passed
779f335ae79e330dfc81a38197beaa08f5e1b724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BoolSet False Passed
8c7bd6dbba49651e7ec7ccef01543badf61dce7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BoolSet True Passed
96744e5d0574551a6d5f0d4c09a204c9f9cb49e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BoolSet False Passed
99c9a526d874337e90760d3c79d6daa428c45bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BoolSet True Passed
70d163cb9a71865ed11e91bd4cea6d3721710a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BoolSet False Passed
8576fbabb999140397f1514b534876978f85b6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BoolSet True Passed
8165488d48ec5ecfb885f2a47e53f2c523cad066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BoolSet False Passed
d8c7445cac3e3948829dba82f72370ce4b464dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BoolSet True Passed
1bfe599cc7f32bd69b18279d91d6a5817daae567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BoolSet False Passed
4922f9a7f1108925ffe86582481d43f946a76b86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BoolSet True Passed
35ca512b2bdf06ad21e275c2a23e1d6edcdf1d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BoolSet False Passed
e8adb75979fa8554ceb25caf0e36fc5e792da52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BoolSet True Passed
3aa031ba2e36768247976cf8014e8b8d4c9a2663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BoolSet False Passed
04bc197eb9f4cb13a9105ee04352202222bb9a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BoolSet True Passed
68c94ecce6bd4426e099f43cfc6e3f392ab939a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BoolSet False Passed
eb930d5561e9f3779e3e892dcd7c79913b2112b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolSet True Passed
88772dc8d7407a02ba9ee2235615aac9785d6d89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BoolSet False Passed
559bcf3b8557d2503884c4436d22bcff4696d15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolSet True Passed
bd30b104c661ffa8990e60b52c88b6f4bf6cddf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolSet False Passed
d11ab47b9583bbb2b8bd0b97301e8a2395e4bde9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BoolSet True Passed
db044395d8da7718548afa140b80882acc7be8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BoolSet False Passed
19208a0cd334d76747e3085f09e458f52673376d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolSet True Passed
58d277ef75d79e121981b588036057b0d7f139a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BoolSet False Passed
145c8a8abf1359e74b6a0e168d526235a3e5bc51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BoolSet True Passed
885d9c9b31c5fc90fb9671bd46eda03367a87352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BoolSet False Passed
f56fd41c6ce7580dc5734ea93e6cb921fd8af2a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolSet True Passed
61d32b5ae19f24a8f4eec5a435909749be482d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolSet False Passed
76f2d2b0536896deded5899898c42d15914d56b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BoolSet True Passed
cc7ff311e4bc8d7e33fe06868e1f8210f1b67eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BoolSet False Passed
2564ea3ab901ce6353ccd4aabf1d77e7b77ed6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolSet True Passed
95719126f81c63e6a6c0cc151d5d82a8c144082d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BoolSet False Passed
ed4b54698916d26a83178484ed4939256546754a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BoolSet True Passed
c52d28ab8e5c9d705c349932fc5064bfe187fc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BoolSet False Passed
931c5e25a9dfe3c93a6852308495615de6aa7106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolSet True Passed
b93d6d8b638655ea1af4314edcf7ce5232d55eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BoolSet False Passed
677a7e74bade846e1231f366d49623fea40ea780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolSet True Passed
dd09c6091b7f3ee655cc20668ae89a0648ff3dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolSet False Passed
af7c9e2d32f7429a4452a6bd8875b5fa61bdb2de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet True Passed
5925062f7114c6e3f5bf277c36978d3e727baaf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet False Passed
fa97eb8e7f505af7b90418f81482d0b2e7a8d683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BoolSet True Passed
d1631285868ac95ab876c792c0821060c77909c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BoolSet False Passed
fcbf346a53f5b326581ffb1a262adededaf7f6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolSet True Passed
061a8e22862b773bcf3ecb7861a76e9dbef45912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BoolSet False Passed