Index

Tests by plug feature BagSubsetEqBag; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
32abfb5d81390c555c556df8691699fe20af374f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagSubsetEqBag True Passed
68a8c093e9a6ada23084a52b41044d01ab34a1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagSubsetEqBag False Passed
9711c190d66a5fa50962f3d9f6a52082aed24ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagSubsetEqBag True Passed
c39d7f6aea78d43c3e80686af0fd8bb19f9e4800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagSubsetEqBag False Passed
983028dfcde04633e57e93faf173afc3afbbf606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagSubsetEqBag True Passed
5051a73987450cf5f0c23efa03596d313da3352f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagSubsetEqBag False Passed
ce5db1e98a4deb482785b765eeeecfc8676211da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagSubsetEqBag True Passed
989a7eb9f3028848b87d906514e2f48a32737883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagSubsetEqBag False Passed
945e9a8e1319561b5699576489632987aee9489b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagSubsetEqBag True Passed
ae5e03fd59e096a3a335b01987a52115a5d6f72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagSubsetEqBag False Passed
e4e0c786dfc2f3f3b52c9e81829004ab3c08459c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagSubsetEqBag True Passed
2cc260b8db3e451d6282df84d5ad9b48f30cc926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagSubsetEqBag False Passed
845abd7fb1aca80ad581f90d3789ca61b4f73245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagSubsetEqBag True Passed
90aa4b75c18ce43e0afcfc5a6454269e66e16710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagSubsetEqBag False Passed
b5506ce84ae4764252806521e5cf73cc41c8eda4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BagSubsetEqBag True Passed
6c37f167a0e167a5a2fd1511e64b203e186eba7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed BagSubsetEqBag False Passed
0c4862352dd0e919892ed5ee5424bb3790e4a0ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSubsetEqBag True Passed
ac0ce851e5dd821ce0863d72a3131e095002b532 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSubsetEqBag False Passed
e9fb9124f3798725d7b64fbaa37a78eec8b2a43e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubsetEqBag True Passed
7a551e38f4195f9db456ac2dd1fe38930f5d11ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubsetEqBag False Passed
e1b3f56c727c7abf94f60a014bd329b7ba180e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubsetEqBag True Passed
997e17a399540048e14a0881766f1e940f494393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubsetEqBag False Passed
c75eef795e70b369cd7df8b43224aa5ae8063878 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSubsetEqBag True Passed
73f919aee45565ef49c8a416b3164d2f0006e43f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSubsetEqBag False Passed
7d895cb1e61c80ebc65963ed2c6136483956c2c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubsetEqBag True Passed
77e31cc167c5e4a0ef72cab003d9b6d43f926af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubsetEqBag False Passed
a436159c4586fb66486828003a0f3697032e68f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubsetEqBag True Passed
5400b7f031a2184289a3412a677428c446d2e808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubsetEqBag False Passed
d7a0e27876e8ff567a68b3b420c18609a244af4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubsetEqBag True Passed
fb254e1af898402df4f45b76e01a6f9412c2e2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubsetEqBag False Passed
15695c9ef9a47ec2165eab904b58529f0754c124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubsetEqBag True Passed
d96869140065dae079d4051c10b5fd600afe5fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubsetEqBag False Passed
474b68c8864a2249917f01b8bc46d1fcc59495c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSubsetEqBag True Passed
3716fe10f2010a34643df69107ec6d17e65d20b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSubsetEqBag False Passed
1172cdbb666bfa8cbc77cb565bead5ab9400bd2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BagSubsetEqBag True Passed
81e32e33c9bc1c070eaaee0be1637465aa31367e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists BagSubsetEqBag False Passed
bf7077444290a80b5c9783674b7198f2504b0afe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BagSubsetEqBag True Passed
cc7c1a1bed083d4f25af18142f49ab88feae85c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall BagSubsetEqBag False Passed
53cba17cd7b67e2736de2473d631815afd073e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagSubsetEqBag True Passed
48f364280c959ab13458d1def381bdfe42f01395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagSubsetEqBag False Passed
9987c4cd9ff295dd0acab5194978103010ee3827 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSubsetEqBag True Passed
3753595500423c36619929332a9704a9d7cfe1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSubsetEqBag False Passed
0226d75139b59db4176f29e6ec366252fa6d5413 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSubsetEqBag True Passed
c243c14382aa89bd7d7aa5408261e96a2121a12c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSubsetEqBag False Passed
a7641eccee3023a8423836e9ae4bedd8b0c6777e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubsetEqBag True Passed
a082f2e02da2aaac40eb9f7e06aaea74109bbcac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubsetEqBag False Passed
3cff6468ffae5657fe96dcf83b0d51f5b0fc8c55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubsetEqBag True Passed
f9c7dbb8df0f449f33e977ed69ef68096904f051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubsetEqBag False Passed
c8829c7e8bece7110205deefb6f999695ea81cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSubsetEqBag True Passed
1f500d7cb58d388bc283bf6dd09bcccf1cf082fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSubsetEqBag False Passed
cd070afb99e3f4c9e21989ab36940b38e1c0ad68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubsetEqBag True Passed
8a7a4a465fa6a8118afdc914b3d1a07b5f9f11e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubsetEqBag False Passed
09475e14a7a3d51b8f46614cb9987f9f4f9a66d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSubsetEqBag True Passed
bc861c5493188cdbd6f79659b0ba3244cd5c132b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSubsetEqBag False Passed
d4855c015beb0e00f842aeb2922a4764f7ac1af1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubsetEqBag True Passed
b9a5a00654ceb614abf1372a1b4ff44c12eae66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubsetEqBag False Passed
53c54040b380aa135832ee853b15900f64d89c63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSubsetEqBag True Passed
658072fed2b1f205fa84313862c4dc95b11bfa55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSubsetEqBag False Passed
b6c616e5fa1bc72a4a416f5f139f74249dcc6ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubsetEqBag True Passed
764ab90dd2dd5bb2062bdea82de5858c401a70f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubsetEqBag False Passed
2270543b32db84b114a1dc0b1a5849c248e411ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubsetEqBag True Passed
a9c986cd33f9f4679fa802ea3ba284fb41619d6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubsetEqBag False Passed
cfc36b84b57c7931909f49930b9a7fe3a37e72c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag True Passed
117bce45a054eff62afe4b3c4683af9a63918e89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag False Passed
3d0ab0b01d9ff08e88580d11dd1656b0369172cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSubsetEqBag True Passed
c1b81ad610591e39770a017e74ccf3ab1b06ecd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSubsetEqBag False Passed
acf63f9c072bf9affe8dc7dd0df6c8f837879540 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSubsetEqBag True Passed
fc112b934c4a6e63ce4f718b0ef3d6cdf786620b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSubsetEqBag False Passed
b7936cb95dab0329c95aab0695ad1f2c87f90066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSubsetEqBag True Passed
afe81c4af3a862326fedcb7ef332b738b4a4a348 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSubsetEqBag False Passed
3b689e21a99d9b7035a6a875623a41544740bd73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubsetEqBag True Passed
1376319d0346227c76d326573e1349279596fcc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubsetEqBag False Passed
e4e8e88419e37b95fca3c814a12d8ba7486bc09d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubsetEqBag True Passed
0aedeb6bf17efddf502cef246c49eaa0457d497c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubsetEqBag False Passed
f477344832bb8f09e6a4a5bea64416f68bf25d1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSubsetEqBag True Passed
21b3c8f452023dd6e212645f33556d5798f44d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSubsetEqBag False Passed
d3a6622f1844f2fc526613963b52d38ae932e7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSubsetEqBag True Passed
11c6f6aecb9978b696a0a12509776ece38b0a969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSubsetEqBag False Passed
a4c786ec8a39eb6f3b48edd1bad35a76b568856f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubsetEqBag True Passed
f16bc422a18acaabf793a7c9dcb79a541731ec20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubsetEqBag False Passed
49887abfc5a5e17096ab63445c3a0ee326c7c12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSubsetEqBag True Passed
cce0f78d73a9a89a7056e1f05132435e8b655928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSubsetEqBag False Passed
18884ea362067b08ece37059261b71fa27a5b6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSubsetEqBag True Passed
c9b3928612d53fab7b4a4847fac2d2e1ea952647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSubsetEqBag False Passed
3d540e81648e9856a8dd7d677a8ba7142ee88810 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag True Passed
a3e06d029d12cd742fbe4604a953acb8f4eee281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag False Passed
412cc58b72e8fa173bb27c42c3e6429bc19f81a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubsetEqBag True Passed
a51ce14c2c909cadb7e42ff946f50a44caf950b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubsetEqBag False Passed
4720c8ba0921623e0801661294a8414f5cff2efa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag True Passed
201f948ff5acdab5cccbc487083ac6d9f1ad31c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag False Passed
94ace403c321080d46411dd7bbef27c65ef889bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSubsetEqBag True Passed
e456dc0352288fb2239a5c48ead25a8df94110af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSubsetEqBag False Passed
0aff6cb962258f97a4bcfbff11257a3bdc66a608 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag True Passed
feb73874f9fd9e3399c16c7139a71b3486e019ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag False Passed
7ed4aabd3f2474ab50175b135c5ad5698175ba4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSubsetEqBag True Passed
0499e3bf1603909f0239ee68ac91374337263522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSubsetEqBag False Passed
e92c93c19cf0c3612694a84590aea47770745b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubsetEqBag True Passed
5effb6a308ac4167751f2ce0eda304218b9f9e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubsetEqBag False Passed
f35c68873786a4be5b02ab6dcf16adaeb9a261d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubsetEqBag True Passed
9417b5c74718d38345d32e21e003f0f5e76a9c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubsetEqBag False Passed
3eaf9f4d0f7dd889ffcc089d29a42a59d13e76cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag True Passed
e6f8e13986a0fd7855ddab7a8321d9791776fe4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag False Passed
724b37326fdb3531f8a2287ad88c4567c1676cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag True Passed
19457db4cae6233c25dfdefe786486a996de4146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag False Passed
05d955fd78fc7ac5f1eef655b2857bc88c20ccba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag True Passed
055b65645ef02f8e9233cb30aa9c82f55d06cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag False Passed
1d235e460e22a16e48684d5b8d6b7df33b1d2b64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag True Passed
5a46202b19fb0c46fa459bf4849f5fa800d0760a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag False Passed
53e7e926bedaa9a853627199c1ac015d745c1da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag True Passed
ca49944746f39b9ecafe9a820fed216ba98d1bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag False Passed
6141c252d9c67ad5a8c99769895771459b938ed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BagSubsetEqBag True Passed
d08afecd44756084edfd05cdbeaa6e14b1d780b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled BagSubsetEqBag False Passed
240a7475bcbfc55b7fc7575cdb10723a3dd5459b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagSubsetEqBag True Passed
1ee0d2dba6a5955684de81c3d2f7fc95b0e5a8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagSubsetEqBag False Passed
567ef6a0c3b520c73bb875fe8a665926d0d8743d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagSubsetEqBag True Passed
0cc726b2beee2fe77c189e3baa4198f392de3063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagSubsetEqBag False Passed
7c461199f5c216f94e27c3f2fc572276d79b1cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSubsetEqBag True Passed
f6e330597d2f5daea8357d8ac533e58a94895513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSubsetEqBag False Passed
89f4308d0fa9124af022db0c43045339da09f679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagSubsetEqBag True Passed
75e2a3b302d366b49e747fa1bbc53b419003515d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagSubsetEqBag False Passed
97c5a5612582cac7a4f9ac074d349c8a2e500768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubsetEqBag True Passed
77bcebebc5fae16656a1434be6e845b13acde372 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubsetEqBag False Passed
707b737a4e08f056e5370b57ea34606b86cc8968 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubsetEqBag True Passed
73795cff95fb318fb71384c66f976acc790dd574 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubsetEqBag False Passed
0a0f540421fed3663d2d0523f38264f646622050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubsetEqBag True Passed
b5d788ca6d6270bb355766852e12dea9e39f4945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubsetEqBag False Passed
8f153c356315fd934f8ddd5af185846b53417ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagSubsetEqBag True Passed
6c50613d3e17993775ee62dd14776b0308b53636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagSubsetEqBag False Passed
c1d7dbbaef62b689c5b8e46a09fa2f7a7b46e394 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag True Passed
d5430d352ea77ab1c0d69128d983463f89a04e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag False Passed
32c4ff16bb7d490f1f586d0f345500f17939e079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubsetEqBag True Passed
adda96a282071c354185f6a522581a1b7a6d19b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubsetEqBag False Passed
ae5fd82349d52f32364302be108eaf3c52b03a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubsetEqBag True Passed
b21649198f0abb11d08b7f7b1fa723efa25bd6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubsetEqBag False Passed
1ecca6b50f13d844217c84aac060df387c00786c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag True Passed
6b6c28c72b4bc2382e0478c6f4ed0c209c8d396a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag False Passed
0442d047b2d41b59fb726404047055e5a542474e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubsetEqBag True Passed
2500f313a05bf5296c47d35a8636c422c0e76dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubsetEqBag False Passed