Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
00994ceebd21d35baf2c5f265a8eab7645050020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagSubsetEqBag True Passed
0a3f624c4036c5bdb367644051d8feb47ee2c72b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagSubsetEqBag False Passed
428e64fab8981dd7f3c17548899fa473608925e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagSubsetEqBag True Passed
8352119deb0ed81bdcb2ab9b71e02f52f1303744 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagSubsetEqBag False Passed
dbb3b311f6fb494a49aa01399f07f7a4bbfe0d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagSubsetEqBag True Passed
7df3f6cd2a253c8621fefe023f3d34731d305aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagSubsetEqBag False Passed
609edacc94b3c5e4810d97945639ade04bad9517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagSubsetEqBag True Passed
ae6e34f075e4558a269587b886f2b37770584738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagSubsetEqBag False Passed
51dfc464bd95ffa00c074a38b17b9e6567cd3f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagSubsetEqBag True Passed
383dcd90491adcbab5fd6e8ab3d80cad710d32e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagSubsetEqBag False Passed
d71a6ec448d2db798a058a684b738cc107825a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagSubsetEqBag True Passed
dd1ce7ab464d03c28bd708234dee5b289560001d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagSubsetEqBag False Passed
7cd1af79addda0fb3884d5d6e3b7d781c42dec71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagSubsetEqBag True Passed
68252d8b92d33859914a93d2592001eb1b858d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagSubsetEqBag False Passed
648c601226dce4c63483d96b1032062c54d6ab65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagSubsetEqBag True Passed
01ab1be08dc8b14205923c86ec1d3604705069b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagSubsetEqBag False Passed
985d692b0659ad689ac6975a07ae34b19fa7f3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubsetEqBag True Passed
76ce20dc9db1d5328922bd98fecee84991da62fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubsetEqBag False Passed
32a711035378891a527f679560d25fd525fd3b8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubsetEqBag True Passed
505b1476a52d02a98e472e2313e363710efa4350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSubsetEqBag False Passed
1a4668f240bc8148840f8534301080d4110b129b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubsetEqBag True Passed
923e7c852bffab3a985f1023737f196bddbde869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSubsetEqBag False Passed
cde745a0ccfdc95471828938e957a3284b316371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSubsetEqBag True Passed
40f110d47db013192e7be54c7e181477ed2196ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSubsetEqBag False Passed
adeee7ad304c63bb254fb087f2b2a4b2309cc61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubsetEqBag True Passed
5c3d0687465d4497e71b0b2ca570a519dae9a388 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubsetEqBag False Passed
3da7fe7d3f1bc481d5aa3339caa693f2298be623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubsetEqBag True Passed
e6eea1f750fb6ec0dca0013707a495b374e2e386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSubsetEqBag False Passed
e76bb0405971a0a1560f6b880b557c87709394d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubsetEqBag True Passed
61a4905f6330e938a7a1e0cfbc4eba3a7acf3214 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSubsetEqBag False Passed
5ba378e43c563d345152de0243fc65f3a0488e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubsetEqBag True Passed
f0fa9171b2faa8e573c434b225f0ed5076d0c14b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubsetEqBag False Passed
9df598991cd10164d620f1159c5760ae9a70ce34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubsetEqBag True Passed
76b446ca19724cdadfc7f834db21312b5c67d1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubsetEqBag False Passed
aa2ae1a333010839475f655f10b7993baf3ca1a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BagSubsetEqBag True Passed
8915b445a42bf26cb6e06d65a9732e308da335be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists BagSubsetEqBag False Passed
391ecd6388337bb95e08fe0a605e68766104cd3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BagSubsetEqBag True Passed
b2f693c710b029be5f9542419eb68468dcd705f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall BagSubsetEqBag False Passed
48af606833cccb97878f9fd56b8bc237e35d5190 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagSubsetEqBag True Passed
da4153196f997a074bfe25be6a3404b46d62b871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagSubsetEqBag False Passed
0185fc8b483a2732e1c52096c475b0f3160786e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubsetEqBag True Passed
74578c114d5d9dc49c582dffa14be0a30df6d1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubsetEqBag False Passed
f7ff7d9846ec6135d2541a5a7a42d8f9cbb58af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSubsetEqBag True Passed
bb1de35e747397657087a3e63ea9dce5e41d09dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSubsetEqBag False Passed
d2a941fb88896ea79029fead9b6f7565e5356be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubsetEqBag True Passed
ab3ef64f1b3419132fb2c5549f316de6605b020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSubsetEqBag False Passed
5ee899bb39e2c5c0fe478e2bc879b506ef3c90b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubsetEqBag True Passed
8c121e42eed735a3a90499db7bde4eda3d8efba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSubsetEqBag False Passed
4385b2007fefdedc6867802ff3c2dec9ad49e94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSubsetEqBag True Passed
a56a18b916b58630bad16126a25cda9f86f40106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSubsetEqBag False Passed
f6246eb43e49df67d56bb26d180e228e68014a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubsetEqBag True Passed
2133b8c546a09af05c368807c17d899186541adf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubsetEqBag False Passed
718c77c68ede6ce119e91e5b7f62414870c82270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSubsetEqBag True Passed
61cdaca62e97aff4609ddb5d8eeaa487d4ce1914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSubsetEqBag False Passed
89c06957452258c7b3297c647aedd51955bc8aeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSubsetEqBag True Passed
dec018ec389b73a33a80333764e97085b3da6ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSubsetEqBag False Passed
e1cc9d8b0715c3ffc992877ff38cf28937f0ea43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubsetEqBag True Passed
d98e6839c6dc4b6de80e937ac3baa3f33d14aaa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubsetEqBag False Passed
37c4718748a3a5e34433d83deeae850251b3cf73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubsetEqBag True Passed
910b87fadadbb2d943efb7ffd8e9531b6508e22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubsetEqBag False Passed
947353c43d3e3520d1e1cb5e41d07998428f1a8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubsetEqBag True Passed
972fafa3ad679aa4da5075d6312e77753ef3bcc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSubsetEqBag False Passed
ae89a787492e7bdd9b17e13ee01c60d51d22c725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag True Passed
ef93b98de70d1e27d75e0adb3e2bac18348d3dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSubsetEqBag False Passed
fb889bf371a618a47c0844465cccd0e3deb8c0a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSubsetEqBag True Passed
e44ae4b3e267aa78e5423c2db0041a930a1bf1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSubsetEqBag False Passed
aa25d0d7e20891911bd717bd429f4c4a3c69ac61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubsetEqBag True Passed
7a4f5a56e41d0e7a44d0d1103bb388f3d928f465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSubsetEqBag False Passed
2547c642702d91b5cec90c7d1fcb5c1bc8347360 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSubsetEqBag True Passed
3ae0124c93ce27d7b72f168614998c589488c8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSubsetEqBag False Passed
b40f1c9a1fb10d8aeec63e97e0ee6bbb085516d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubsetEqBag True Passed
27565ab622bfe1e5f444864eee5ca79904bcd058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubsetEqBag False Passed
798beee7e3db22d2bbed5d3059d4c8c7dc890d39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSubsetEqBag True Passed
aed987e65187b6653360139ec4a5ed5673fb8d46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSubsetEqBag False Passed
15abeb985b2b7b97a406a5a76688ba3ed0942c9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubsetEqBag True Passed
35ebd2cd99c558bf461b526dfd1c5def4c398a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSubsetEqBag False Passed
2dedbb784c13b238cf87fd9977cb2d55065ac312 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSubsetEqBag True Passed
54e1f9c01602927a42ef847b7b6d809037aff483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSubsetEqBag False Passed
cd806e3d5e653dfa374da63b615512424c08d40e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubsetEqBag True Passed
34328dc6cdfa637c9962175315e145e536ea3d0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSubsetEqBag False Passed
55f96d83e0fce9c21845d2d81e1cfc884623f8ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSubsetEqBag True Passed
10dd677c497a7d1768118a1b5c371ae6f8ca7e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSubsetEqBag False Passed
a67d1d8c501bd2fa18a20f3436f7930a0aedd2b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSubsetEqBag True Passed
9560f6656ba9afaff0e0a5c249ca7998c5166c6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSubsetEqBag False Passed
00b3b5722caeb0d2d53c35dc7c8c3ddb67f30cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag True Passed
e2daf322247347e41efa5dbc819c652f08845fa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag False Passed
496f565b73f28189d0c54ae95f6a03e28080cae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubsetEqBag True Passed
111db70e0e271b0c9cdb173acedee189094b3c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubsetEqBag False Passed
e5f8b5ba07df6bc00b1298493a15b3380ade93a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag True Passed
f6aef18a47e169f916531fd483ca1de328e95646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag False Passed
f7ba94dca939e555d488e1db6cb428f01f974e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSubsetEqBag True Passed
906417fac298033e07cfe8916407d64daa8bb213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSubsetEqBag False Passed
4a762815544b724d35bc747e55d7806a61ce85b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag True Passed
b39607c1b4093233d3412ddc44f43952ef0ee1fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag False Passed
c0c1d15c2184b56b8e788b71216a8ec8ee8f91bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubsetEqBag True Passed
1b15c29a3e6cbdfc7df7f3b7d5f1eb7711eb024b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubsetEqBag False Passed
844252c6fff30a51203a549c99238209db187c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubsetEqBag True Passed
27328b1ff9c8fd0c735c5926de11a54369b8fe5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSubsetEqBag False Passed
9128891658d7d62146253a82e1d92f469bfaa84e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubsetEqBag True Passed
e514120a48156fa6953f1e0ed7e4ff9ab20aec45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSubsetEqBag False Passed
3211874327fd3ac5eb322286ebc9661737a0b5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag True Passed
5ef607564f8fa15c3546dc7c667e403d35465072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSubsetEqBag False Passed
f3683e528ddb3806175ac6bd059ac6941b8b1d88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag True Passed
dd3832e3171f18bddcbed25b9eb18ad34c89693c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag False Passed
89a60dad60fa5c9e090eb5963a5aafdf22d4be0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag True Passed
34758ca4250db7479109fda9d5c95f90d0f2e519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSubsetEqBag False Passed
b0a4f3e48e5bd467f977295839f760e5a621ab3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag True Passed
b82c78afcbcea4c23dd1a45fe0a22a0be93fc63c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag False Passed
9f00cb24aa0af4e038319d5610ee4ef2b402738f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag True Passed
fabcdfc0d1345548569f180bd74735497aaccdc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSubsetEqBag False Passed
16855f73f1774510e0316b2d380793415397ba3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BagSubsetEqBag True Passed
bd5c6d1aa29726b2933441f5cb66f27d06228883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled BagSubsetEqBag False Passed
611bb77cf6c89d8304ca5befd8a11f4ee0037edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagSubsetEqBag True Passed
0bd56d1416a76fc056d85512c07f9ab472dfeb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagSubsetEqBag False Passed
8a638e2f7fb74b1df330154dd99efd92d443a286 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagSubsetEqBag True Passed
45f3c0ce9c37e57069d81def9bd0c37b7f18b504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagSubsetEqBag False Passed
6f8fb527f6a4f5650066a26fce7d939bc5f5604b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubsetEqBag True Passed
9c5a3bfc07f84e549664e65db98b5a026183d66c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSubsetEqBag False Passed
091cc8066b4deaadb4c1e528486284b227524586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagSubsetEqBag True Passed
e339e701062964922c9f3b938312884416bde7cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagSubsetEqBag False Passed
8361ee74009fed4bb61cc54e8eed26246e31d43a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubsetEqBag True Passed
2aa0336a062f3c6572ece084e18c3de8503821c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSubsetEqBag False Passed
cf7ac9747eef7cf7641e6e74858f25e82468e198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubsetEqBag True Passed
bda4a552f95d2f58856f3befca235f78b9b6ae84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubsetEqBag False Passed
56f4cd9a0313c64c71f4bcf42c07209155a7abfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSubsetEqBag True Passed
c22543f85a93194b61b001f040dbcb84d99e616e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSubsetEqBag False Passed
a3697bce597285af12166611763b73cb7c8f397e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagSubsetEqBag True Passed
e2951af9eeafebd6aedbcda06a98c83a6b5823d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagSubsetEqBag False Passed
7af63085a615d585ddf43b3bf5cb388cd84c92a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag True Passed
9536bbd5c919ba96a0840f5f348d91579fa6cbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag False Passed
0a01aea2289be8271d232882b6dfe7dfcb36aa21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubsetEqBag True Passed
6830ecd4b4697f7e3de95f179fa59fcf7c0aaa52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSubsetEqBag False Passed
f8d54373c9459d5c8f9e0090dd7b82cd32345b83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubsetEqBag True Passed
b9e8d4a9912193dab26d2db1576506f8276dadfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSubsetEqBag False Passed
2f0e3c6be9035c38367e82a71c34057f3e596b1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag True Passed
4e640f99b9ccae5a672aee795ab58e9b55d47857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag False Passed
d75c14ef66a38c96ded2f6089485f40791f5c62c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubsetEqBag True Passed
5ac1889651d5749c082e654ae0dc738b278bab7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSubsetEqBag False Passed