Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fb5305d0ecf8623c142f3aea4966427791abad00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Ne True Passed
523e27942120210027b33adc41d8dd94c68220aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Ne False Passed
2ee44ba2268cf52438e67484f363798ec333f0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Ne True Passed
aba4e3b330f07262b05460aafa6e7ba407c6610e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Ne False Passed
7a40b609cfa59598bba0699b7242ef89d873c7a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Ne True Passed
e000f4bcef6c9ece2cd0fc4ef193e32ea5339c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Ne False Passed
634c67e3f39f8ecc17f63fb9a1ea47aba67e3937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Ne True Passed
a23370f380fc45337db4c89b05a3fcecbb89e824 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Ne False Passed
46285e6e9f4020ed44de435912eafda40b460ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Ne True Passed
6e29e38adb9d080de0c0d7077c08e49bfdfb00ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Ne False Passed
6838baf68090e324dbc97de72faa5a17599f2415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Ne True Passed
c292e00d73a16544b1a2ef40a311e33e68f063ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Ne False Passed
bed2f34b003f0a7e5593c154cfa3e01547b7608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Ne True Passed
166b3a0df6d402d15fc29f39fd12f2fb56fd239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Ne False Passed
5d8f4f0b3d28726d5ad52b7c83c0025febdff46d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Ne True Passed
c20bc5dea568b6542a81f72fdff01bc9811ddef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Ne False Passed
df7d8c7897399a71a4f65290baff556af9e2009e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Ne True Passed
506724ad0b4e858f5906774da545a5d58ac3ee4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Ne False Passed
7bdb64115277493eb373f876d0716afd77b4dbbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Ne True Passed
0cbc29d2746fa312874c23fcbb546e95d8519ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Ne False Passed
de008c70d985596fcec6d58268ad7ac86a458e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Ne True Passed
07b11af8bc928a1bca9da9818dff4961169214c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Ne False Passed
f6def05f9c197353b5b1c15d8128bf2d75f9c70b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Ne True Passed
689b5a9b253d48918555778ed900e403d05c0d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Ne False Passed
d5a7b3beebadd17471a4880b613b4507b6c0353e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Ne True Passed
ccc690e978f860c21f32ec357a906167a77e74d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Ne False Passed
b35ed69639a557368bae5c9a6a216f8d4725b491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Ne True Passed
039494780d60b187844cab3941032da223131b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Ne False Passed
1d55357004b26ca4c0c30697d9d23a23e26d16e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Ne True Passed
f80e707a2424c3157b1397c68437427674f52de5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Ne False Passed
b2923d9399b6ba6ffda17f769274a635e824a860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Ne True Passed
f456e8435fcbc6efacbbe5498d4f2677cf0e7552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Ne False Passed
f6b046ad03249e71f24ddca301af2af8eff267fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Ne True Passed
b01177642656d16868a9ba1929c3ed22e94f4ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Ne False Passed
7cf60c2d77cb6354988d10cfba97372171b9da06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Ne True Passed
35671bb6ebd7085b82ec72d5e8f0cb8641513e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Ne False Passed
7c0e8c50715526dc2d9fb17d2c864f17758de2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Ne True Passed
4a08e370dd71f11870731049e0d6b5b67bb59a1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Ne False Passed
e26208cccad8f7e5418cf0be851d76fa5f40ee33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Ne True Passed
91438a24fd548dde3d7340362123aa1fe5fc4b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Ne False Passed
6c7f7639a6b90a5563dbd86ac9f816322c5b8f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Ne True Passed
08022c0717c6a55fb5d3645ea5a66ece150882d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Ne False Passed
c8970894fe96e5d8161c952949c8cdb2e0b08722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Ne True Passed
79ff480e722d5cb95b511c30e350a68ca79b286d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Ne False Passed
cbb7978d4de521b96d01a340fc409181e546129b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Ne True Passed
c81dd924bec8e8a6be8b33f602f18df6d484e8bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Ne False Passed
39e04b97672dc8573235142bdb70aba2cc75d6b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Ne True Passed
c0cec63d15f37b38ae79de0c2721ff4023a978e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Ne False Passed
f4fd190512499420df7d85dc91ee017e787dea0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Ne True Passed
7e0f8063d4e8198434a112f2eff88fa7a0dafc96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Ne False Passed
78ef696a7a55c8fbf118cffdbbc719611bfcc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Ne True Passed
ac8382e23ba84377658c6a8664a20915115c347a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Ne False Passed
16ecb8ec8da742f5ef4d4e23c2985de259c7f8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Ne True Passed
2df237e88ad33051674ba0ab05f2df090d55ba96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Ne False Passed
8823c32b26087e0c78070acc40f5b1f7d4b8a56f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Ne True Passed
01866521725c8e498d91af49984eec6a770c7a6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Ne False Passed
d6bc7ebb62f9f8fec5784549016499315eb48f33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Ne True Passed
25cb021c2d37399c6d98f8420db7340ede552d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Ne False Passed
f692e6a667a30bf259f7e5feb60e4dac106738e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Ne True Passed
8818697cc94d7203f9d54fea1a8c58bfcb175cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Ne False Passed
8d060ffbbdbf3ddb099dc4d57af78adc28d1bfeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Ne True Passed
9461a75e41860c2bc6b1a4fb5b56941348e63a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Ne False Passed
5cf8a0a12c522219748991af3a63598d20527371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Ne True Passed
f8e2b61f76922d2be039ca22fe2f578976f00181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Ne False Passed
4227048ca209b5d52e6394a36e04a0835021fa4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Ne True Passed
1b0ec5eeb4d5851eab81cf7185019bb4a2e1c26f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Ne False Passed
de907ca2c42891cd9ce5ab82aff49256416a2180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Ne True Passed
b81f1b277f36c384420bc24f49221daa4a8590f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Ne False Passed
08f6f124f7a51346b20cf8d253540fb7591893c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Ne True Passed
756b18c305c7245a895bd433ba71fedd4b232381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Ne False Passed
9d784df8ef44ffcd6537e62e881e021b72d97069 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Ne True Passed
d00cac85453d83a3bc7bf42c3218a87cbc653d1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Ne False Passed
6bd7de0f534bc3c7e7c6d2149ab80c92d350e589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Ne True Passed
c9d837ca8eaac2f732660b0b35b96d28e78c0525 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Ne False Passed
9500d08542a9f94eeab5958645cf1be47cdba606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Ne True Passed
15366e5ee0b09a0ffa1213409e584d79c212e159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Ne False Passed
8a44d66ba3ad5b15cf8c081ae9585561fc854a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Ne True Passed
2ca1d2ef698c78877d49752861a9db7eceabcb03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Ne False Passed
7f5a42e06c72b9ac0d15c23be3db665c9d657e76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Ne True Passed
b1cc61a75e9d17ea569a013ce881fe1e82bb6d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Ne False Passed
cba371be1e6897d9b21153ae04d85573ad1cfd01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Ne True Passed
61bb84af01f4d025ef003d06adc780b1f6a2e7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Ne False Passed
30fcf916c0fcc29c089d09a39aafba1d37854071 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Ne True Passed
edfab24ddf4e4aa8dbe7513772f851ba8112ad20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Ne False Passed
c9a92851348bf9b625b987fc30eb43c6b2f4b5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Ne True Passed
cf96c0d169852fe36391cfc1865eb9df6e5410f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Ne False Passed
21f5dc71bd0e3ff743a11c543a42cde99f5d032a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Ne True Passed
9cea212fac9d15c63d2d1ff5d50e5c21525b357e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Ne False Passed
0d4b5467c1ca46a4f74a36a16e7d45edc7463390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Ne True Passed
c62f867334f10277899994dad945937e32becd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Ne False Passed
3197132a647e7ca8a1a11b1adbeb9678867fc937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Ne True Passed
16c628a1b2e6f6089e0df8941e7eaabc23445454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Ne False Passed
f8ba57d8183e5dadf66d1eb182f4cc594b9cc5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Ne True Passed
5357420457c440a8fc72346ec08d6a804d4ab35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Ne False Passed
b85a01a8ef510578f761595f66e08339ff3758b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Ne True Passed
2585a611eff3ef5ee27e8cb7c00469498176f26d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Ne False Passed
4575aa4ae5f0921bd68a9db6474bc3c0b0fab4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Ne True Passed
0951fae5613466aad7307934b1e9ad9ddc0b77af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Ne False Passed
858fe899d4982b59598e53a6209cdcdcee32c09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Ne True Passed
517463aef789fb9c62894daad02131fe966f48e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Ne False Passed
50a629707e9ba21e059dce8449c4c5ad16b9b134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Ne True Passed
9895c9d00efbdff5ef9df02f0472dae2249aaf61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Ne False Passed
78067fb14e9aeb7b88803c02d4023e7647746fbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Ne True Passed
fbb3ebe6d7c23f39db043eeccbbd1dd3c7f0c8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Ne False Passed
02d4abfa23af2e66448862159b95786d66dbbc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Ne True Passed
b7df3abdd19a03ce2a3946eb6a4ca07e40941f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Ne False Passed
e95e9b4f8d2f70c2e296c66c819b03b57e0cf198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Ne True Passed
59e067c9312d9f09dea955edbccbea9708a07faa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Ne False Passed
a438d13042237aae720dc7f7374a81ddb9071373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Ne True Passed
1b283417752a01c45474761660798a69c41a5ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Ne False Passed
e63e095fbe43c435fc2c0f88483b4a9a35117230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Ne True Passed
ff3f2748ba6fea186bf0d996e7a06073f51f4396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Ne False Passed
d88d4cb23c40b06d6059b273db45d9a5f5f2736e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Ne True Passed
5d9b47f390b6afcf277ae923685bc34a203fd616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Ne False Passed
adec25b22b3d22b661b405be2da5b2b0f2cac396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Ne True Passed
1207f9e44acddc3ec366b52741a80b3931822968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Ne False Passed
649d079b4084842cfc9576e0669343b103c8d834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Ne True Passed
fe94b0c1d4b457eb53c7f2f4d7878dbd3fcdfc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Ne False Passed
da48314740e571dd4db98271635a67128d52f136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Ne True Passed
3140bc9215d9290e9b59aa99cd4ab8bc1baad9fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Ne False Passed
b9e79217a73678ed1d1e7fe1a76b5d28fb142fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Ne True Passed
44148674463f77ace9ecc1bd2d670076eb3ef4fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Ne False Passed
671fd5c0bb7f23eb528108ff8f5357a2594b5451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Ne True Passed
c0befffc15aa858154db97429783efdda2c53678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Ne False Passed
bfbd707625164d3ba983ab495b85d6ac35829e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Ne True Passed
fbd9bd82aa6374bf7ca2656b21cbad06dc75e392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Ne False Passed
265d91b0c22c7c25dd163dcabe983d3645f2fb9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Ne True Passed
c8df44c3691566b56e1ca597a1672bf530a2deac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Ne False Passed
75bc5d19e73ecfdefe7acfee393811f7ad32ef0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Ne True Passed
cb1cf11250974247a14e6fd43f87fe05cc60df02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Ne False Passed
535d7cf332fdb9cfefbe5ec42ffed362e8c17e21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Ne True Passed
5fdaf78e7b7ee2319442f0e702242cc9cb4c65a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Ne False Passed
6b154c7f730031159d947f34d1ed4be856998f18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Ne True Passed
a26f673a765c92a89f860e08dbb2beec8351660f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Ne False Passed
a11098dbe49508c4ba15d84cfccf9eef004274aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Ne True Passed
be7cd71afc531eb8dbb9508f437881cb2819eee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Ne False Passed
a9e48184820fe9e22919357a8f7a05e5206c87d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Ne True Passed
cf9bc702aec08d09f0934e4e69d7bb4f07443fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Ne False Passed