Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c0fb5e38782aaef702daa12bac50bfa30d940fa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Exists True Passed
fbb2f66c8a141495c97601df72ed0c2e575b8622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Exists False Passed
399f3c1fc8c8fee789113a54e1064a641744a62c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Exists True Passed
45508a6ce6eee013ef222cfe10ec13708d47c9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Exists False Passed
4023c84d22da2bbd5cad19d4f9d22fa556f1694e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Exists True Passed
ac26d7665638bc37e1c9b64a3f66417648369574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Exists False Passed
90d24977e56ce2e0fbcf986517214a43d460fd0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Exists True Passed
70232dd8dbdefea659fa9920e95c51d7ae69b930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Exists False Passed
482de5baac5e7aa482f5891197493267600a60ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Exists True Passed
4538c533ffd2c585bcabd104ee66ccd626c803c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Exists False Passed
6528562107eb98925a8a2b165d232a6efe347170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Exists True Passed
a9308606db715015f3363701a4779c2f0488180a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Exists False Passed
06d6e96c9df3a4fd22e9b7210b180e6378cabb45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Exists True Passed
1bd5f7d47e28bb0c74a3ddf80bd4833c71011a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Exists False Passed
2e8a7a46162f6590c5f2a6bc96ccf6750bbbc72b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Exists True Passed
9d93df29a91d75f1d67e500182c99935437563f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Exists False Passed
c9ae43973bcaef127b4568d29ed1b4bf9a78ed73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Exists True Passed
10f3de97eaee42b5308208db852daac86fb6306b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Exists False Passed
ec72f7f30a3543f7519e4535fba5b3936dcbad9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Exists True Passed
d00d9f7793fde26c8f125d92b60038337c939770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Exists False Passed
64c9d8c7621527a1b52457ef08f53a612893c226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Exists True Passed
9a1985a60e686e4c50398145ebf72b405357d41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Exists False Passed
4cf76635ede78ee9a4451c6f4b14b3e25efa27a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Exists True Passed
5f9098882b881512b94cf775b5ee157d5379fa59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Exists False Passed
4556b117131851357fe08f305c916710e74877fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Exists True Passed
8d4257ec51f56d6e6f27a5c62f224e3e087e7c57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Exists False Passed
2f57a438f22b14d393d1599f62c401a4c69a60ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Exists True Passed
f25e78c1b1155e8a97c9b027415641cc6eae41d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Exists False Passed
7e39193f525191c1e6acbc617ab315520422453e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Exists True Passed
ac3c133599ddee488ec8e08a7e76c500b29c441e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Exists False Passed
373b9309a4ff7514d05942e813bc10d178223e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Exists True Passed
0e610bbc6f8c73a25439cd553f36b3f371167a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Exists False Passed
90146fd8acb4cd86f2f72b7033dd5eb1d7fff40f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Exists True Passed
9d70ba7d3e23ff5b1741754ef1df6e4f582c4b55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Exists False Passed
a759f171475dff474cc7f061e688dd261e9c9028 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Exists True Passed
ddaa9906fe44895195016942b6bd8d6a04de3201 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Exists False Passed
54db1a9f0e5900ba628693398a13245068219208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Exists True Passed
630033576053df1217a225110748c73a7815d57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Exists False Passed
258087ae537f5726e8f1241b16369ec14fd93aef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Exists True Passed
6090cdd3c77e851f7a9293200b13290e05d01d6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Exists False Passed
7772c6df50dee7f65411000c345a0ad2587b73ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Exists True Passed
6ab544515af0c83b42f531dc89fc8d00a0c42b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Exists False Passed
7a77a3c4b7cbdd4740420f6d3ec405f27cf5c96e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Exists True Passed
0ba13d45580ae1bf8ad71b0dc3a7135d273e8b31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Exists False Passed
e6afa1b9f7135e323adf7d2457387eb389bac1ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Exists True Passed
4b58fd1cab21c211a9fd372c0465ce3cbdbc1e99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Exists False Passed
66a8233de83cfe7f305e0dcf9362d804711075ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Exists True Passed
fe323ff10426d4134567378060d77d7bca73a415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Exists False Passed
f25c191f0038d1b2414e23a186af36b5a65ba91d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Exists True Passed
439f71ef8b1058ca0fa07780976de54a6bc55f52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Exists False Passed
2ad1ac9fec0f347d032414688d28e96393a73d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Exists True Passed
ec97d0980bb784b9d49407bf4c078f487f25aef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Exists False Passed
57c1971e7c2b01e10e81facee4fb6a0cb3198924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Exists True Passed
bc310f92e0637cea397fabdfc4eed69acf679c1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Exists False Passed
e17186faba34463ced21b67194e7669dd3412a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Exists True Passed
1b3d34c27a806f3c6b7978495fa924f7008cfd6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Exists False Passed
4cfe09ef53a8c7cfac812d4fe03c44ebb1dd4035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Exists True Passed
ff2da9aff87ef0d16a882ea00e58bde5db9ad91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Exists False Passed
d670f5de7ae25b849ae03543d5740f468476f8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Exists True Passed
829c43728d451fce8564d26dfc15c70de250c595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Exists False Passed
58369467fed2a32ea382820dce4f9e36053ca88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Exists True Passed
2c9435c98cea349eb1bf1c8da4d1d982046322d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Exists False Passed
3b22147fd66a0358f211fc4afecb5b9bc83c35a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Exists True Passed
e8c89546f01d12776801802962de3e471d57b8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Exists False Passed
90a8382115ba9ad2e6f02568a56a45dc0d114544 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Exists True Passed
b0eb10ec3cc2386b2b6aeade890eeac51b9c4dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Exists False Passed
90c3a6cdf40a1b72c4ed8dcc92b9141730d6a41c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Exists True Passed
6c6dfe0af5d8074657b45746eed14653862f943b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Exists False Passed
a6ec222109cc43c5afb17344d58ae2bd95e9b213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Exists True Passed
2b16e72b71eea22801c2b82ba0df0f18cc8460cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Exists False Passed
010974bb7065167cb6998b2c9f3600f77bdc0f89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Exists True Passed
671e0a210e859325f652c9c23c937a7be759cefa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Exists False Passed
ac5df13fdc0993faf7e10856a50bad174d3d5f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Exists True Passed
7670874824b3c02aa22a3e6e4682311ab3b06f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Exists False Passed
73e9015f415e917feedadace665ad07de7a95997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Exists True Passed
c3f8252a4735b16a2baeedfacadd022706456b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Exists False Passed
863d1b743c33540fc15f3423133f27d9841951ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Exists True Passed
4ecd2c87a166ddd26f427224ff13f85e820abcb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Exists False Passed
756a1abb5188329f9b4b65ce76c59c15de945038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Exists True Passed
0b3d6dd0f7fad4fbd96ce3269ad5ffc1947a555e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Exists False Passed
9d4f0faaaed23547c1ebb3bc7eb2aa08a6066bfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Exists True Passed
47e64e2eb71cd4321837f8d6479c11ce09a3f815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Exists False Passed
5e1280272b0ba0cffe283554fee9ec5fb8e767d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Exists True Passed
bcebc0c2d17e794023f4b2819f6bc0f316886758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Exists False Passed
0bb349f7db4b4b89544a3d1f55c08ac390820cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Exists True Passed
b33db9177de15d09edab920ac130e4107b2b409a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Exists False Passed
0bc348150937005da63d49cc9be5f04e0c5bf01e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Exists True Passed
88b5bbd6720acdf054ba91034b1a7c94bf76aa74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Exists False Passed
e22bfb4645baa58b30ed8b0d8b5dff66e1e151fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Exists True Passed
3cd8007820029a478e50a9273d489d09345c1acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Exists False Passed
49d19fbd504e07f08404b1342a277912dc3c037c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Exists True Passed
453e6d7b3f58a714706e5cf5b6f527997eaa459f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Exists False Passed
be2eb8d9163bc6d0e4b7294219d60f2541a1d9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Exists True Passed
c562a540cab9f1274987d155a8b84479db927811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Exists False Passed
1eeea8afd674723ac305c6f7f5a315955afcb97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Exists True Passed
1aff4db00d4dd14d23cd992f37776f388cbbd406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Exists False Passed
2671129344c868f042503b9183d2a65638cd3b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Exists True Passed
45210361d1ac62c18bb994647da6be4ef8399539 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Exists False Passed
254f739beed62c66562751a249c99057dde51348 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Exists True Passed
972d12e1380ef7dc60280cc1b3c5268866e00b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Exists False Passed
127a36aac9c232f58c4f9a58dc9bf49920f38f25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Exists True Passed
81d3e93f17ce5461745fcc58f1a55679b9f4821c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Exists False Passed
202e554934db63f7d4b27a436bea244d46855c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Exists True Passed
1b8a6fbd6f60ebbfda221b1ab71ec80845bf2d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Exists False Passed
4b90d4a10f89ba13bce182209145e8cb3aae8208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Exists True Passed
52392b356dbe596ccba9df76c5e593edb0093ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Exists False Passed
ae41efc0c3b8c97f75f083a52ba9bfefef61fdc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Exists True Passed
cad12d96ff7919f704be1d387bded436c4400707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Exists False Passed
14002b81b5b0d25b40154ce201a10088d9b42051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Exists True Passed
e00dde392d32b6a3f1314862e18431f20abcb785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Exists False Passed
6823c20cff34f279fa9d78d9cde4d4110badf0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Exists True Passed
442e469ff6b8709b312a2f5b3218523475f39c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Exists False Passed
a9b69b46095fc8229502312b359ac19d9775765b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Exists True Passed
525a7baacd06afa2146fbb1b8c88a9fabd7ba2af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Exists False Passed
0a2e8e87d8ddeffc8a003a261c5376bf70567431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Exists True Passed
5ab121549e8f5c9d4c035bde37e1c107ea296503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Exists False Passed
28fa0ddd989a7631a2300861477816f77961cc2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Exists True Passed
0ced0da02a2c608d1ec11b0ead4d178ea2c50fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Exists False Passed
cf605dbefc7f9fcf0a7ab021410e4cded7cfec27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Exists True Passed
6447f4b1a3352714fac42da67a4369be4d1d650e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Exists False Passed
5224dac99e9b076b4846b42997dd2b53ae01d081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Exists True Passed
1afaa95e6aceb1944ee96058758d142659f7aa3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Exists False Passed
c92cc2949bff9ab2382e4a9b41f9a5b1fc2f2df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Exists True Passed
130e9ff0d2bf0fbb7e2301d01f61f2b1aa16588a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Exists False Passed
d927971b62aae362fae656061895a3ce0299e3d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Exists True Passed
9bd0cb6160eb336de0d4fa5d31648f4f9e29ffd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Exists False Passed
bd934526e3a5628efc70ff9c88da62a25f96c3fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Exists True Passed
30fafd0e312c000ee29916ae05f24841af8d8e58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Exists False Passed
98756f5c82f9435793eda1d33a8110eb0ee72510 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Exists True Passed
e90e7928769cadcdceeb5457b0c6b91e21d40d1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Exists False Passed
99834613acf55c3cc4c94cc838d7475c9968bfd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Exists True Passed
fae51aaf527b7a228ada099b74d8469425546b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Exists False Passed
3a6f365e1d832930ae3be3d93553eca231efa285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Exists True Passed
c619126c644c547f06d1aae91110d5286c408aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Exists False Passed
d09bdb876723059522de44a21125cb402ec407ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Exists True Passed
b6fb39fa28ae9d274283bda39f0cb45bdce3224e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Exists False Passed
3aa4956ec37df7c0a65fd605696f430b9df96a38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Exists True Passed
9728ac0209901343cbd0d7531359ced4428e2b11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Exists False Passed