Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8140c1edc13b47c3ed1fcc106dace8c2588f97a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagToSet True Passed
0e3dc559320e32645e00413767518bef520992d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagToSet False Passed
e700fc957902510eeb9657484fd57a4e13937453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagToSet True Passed
868df851f834711ea5de9e95aa30194fee27f4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagToSet False Passed
069f104a0aefd316f965ff50a9ba1d2f54337872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagToSet True Passed
0e47b82c014c958a5632457b1a3f845de8c46fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagToSet False Passed
d4eb91b07aa72fa9d7a3bd350a392eb530dc30d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagToSet True Passed
4a645c90f6131cb501ca0bdb413ee22b944a9798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagToSet False Passed
8967c223cf02ac34e70d4a18ba66282f8c55da70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagToSet True Passed
cd9e266ac19f9e17672d29e074bbfc7ab8e5d222 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagToSet False Passed
7e12f8b40edda7a246519a6c29986201905fc0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagToSet True Passed
193e963262359c9c5de918a3aab071774f24fc64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagToSet False Passed
6d294632ed61ba953a9f6595ed7f147a81b45d29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagToSet True Passed
b84c1278c737f919663637d7fe623cc1b43c1823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagToSet False Passed
97f7f16cee06d8063746ddb8725d9119eb3e2653 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagToSet True Passed
2d698d8cd5df15ba986b11969b368809434cc2f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagToSet False Passed
08cf0a12313d24add9a95c9ed1a73358f718f425 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagToSet True Passed
bedc4b692a5d1c2474d3ac9ebd77b633b1246dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagToSet False Passed
ac2fd802df18b7f91650632c8c760b726fd71343 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagToSet True Passed
387df539a1ed968ed2742f11ebdd7ac4b017fcff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagToSet False Passed
236da45788bd5533e2e00f229d62e2396d6bf900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagToSet True Passed
5c002abd7f67f79a3eb00f49f4d1ea277f6b38be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagToSet False Passed
e72e4e2c673d9f39600e9d77c1521588a85bade4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagToSet True Passed
610ff54c1fb854f8f3d47d0f9375b0809d6495f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagToSet False Passed
de91b99e237ff94ddda08e1c3d2e894fec3f1a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagToSet True Passed
4626d3510d42a4b0ba60705f63eade3ef056085a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagToSet False Passed
2a40614cc3966fdfe08ce3867bb7891830abb881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagToSet True Passed
a813b138926ecedfb81ba85e524daae3ff9e9d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagToSet False Passed
af43a7a2389ca486adc168a1f5e2d8262d1df32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagToSet True Passed
3c171fc34da5d7838b34acc1debde46d310180ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagToSet False Passed
e2a26341db426ebf7e870e53fd96a9643abb61f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagToSet True Passed
a01e4d652a9493e248d95620401b635ecd30be15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagToSet False Passed
ddb8397bf7f90c02f096580d0c9ce4a056841588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagToSet True Passed
27ea2a980b96977d9cd7aa6349b427adcb48e577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagToSet False Passed
4971614703d133532d7416ff56b511bff1ace019 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagToSet True Passed
9b2c640ce0d099b7a84e6cad54161f5375563447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagToSet False Passed
87df98d3be811d06715fd362f60b9cc58d6b876a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagToSet True Passed
f8b77f3fef459002f50b255fabf1c4e41eca897c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagToSet False Passed
9308d72a461a26376b66cc28cb151c707a75af40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagToSet True Passed
25e4d59798e99f05476723299020b5cb3e50ee37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagToSet False Passed
531a84b435fa6664372d082e2ef41b86528e10df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagToSet True Passed
4d6101a5d5252ffaa51cb1d81decfaeb27ed66ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagToSet False Passed
cff24f10dce3d5225fd4c8fc814070d98bc86505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagToSet True Passed
df789989ed04462309a9088d7d30abc00def2479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagToSet False Passed
9c4385f64c916e734a989f2d0440a8d98153e1f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagToSet True Passed
9667e3270fc859cb81ec047d1e2669467c1cbc92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagToSet False Passed
1b9384d93f6f60808488188d269be5e8a6aac324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagToSet True Passed
78021c25ed68f8393f4ccbc7daf07e6140458724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagToSet False Passed
b4bc5980d03214e895cf68a787d37a5e9134d29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagToSet True Passed
0fe31e81cedc777760dafc7291aae3530f0a653e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagToSet False Passed
1b63d46831dc453a03b200f9362f011d7c99f3de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagToSet True Passed
6c72862377e2830ad1bee38ec97da0b0b0d86306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagToSet False Passed
dca6b7544081a36d1f06fe307fef056051f242ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagToSet True Passed
767f16325cb25dd1a52ed3c8c7571f54a3a5c022 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagToSet False Passed
1c17b03049342f5f4dfb805fb404c38fe7dc9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagToSet True Passed
aa9f373899954495a4952c8dd690a5f00f407350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagToSet False Passed
539f9cb89a509cb34eb3daa09a79a52c647ed4ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagToSet True Passed
448c28405c9d76b3ccb949e581c4e6307580c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagToSet False Passed
5628e734483460a3678c42627e0ee3e6d7630353 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagToSet True Passed
8134452c0d78207f32eb441f03aab811ef651e2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagToSet False Passed
c31ed58cfc544ea1d7851beb0e5d713e2dd566c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagToSet True Passed
80f9bf92478d339ffdbfb94d869659b2c304f72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagToSet False Passed
3657ed26581ad7b78051fa8caf1070576f50a98a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet True Passed
2927091be3636598f8e12d8207dabe496f50ceca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet False Passed
d86a49e36239c93b5c1b4c2cb268af4cc5a80a72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagToSet True Passed
0973b36a9062cf03c48b58b3a0638c4d27bd10d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagToSet False Passed
dce058384764e5b2363ece9922c6206d3bb19c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagToSet True Passed
223edc5ab160f70ae13dc688c4077f1974273e79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagToSet False Passed
8852adf09aedc422b20f460f790a64993a3edb9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagToSet True Passed
a91ca54563a4907fe6f4f3e566518a6b8cf916f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagToSet False Passed
05766053d711d04738ed104710fa067b93d33ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagToSet True Passed
c77e6d832553dbf216533ba3a7c74ef352489213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagToSet False Passed
3151c0708fa0ee48bd329cf7bf309dd18daa2931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagToSet True Passed
f7a706d35b0a9b1311b7c27553164b9c18fc2c35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagToSet False Passed
0e1fc6274bbc302351a2679e42425e156de5d171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagToSet True Passed
5477c4232bee6ecd0664418168dbcab23a2a06b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagToSet False Passed
e163e4ba2c75a055135d72170d08ca9d24e5491e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagToSet True Passed
8e7622d9c026e591eb44aef6cc921fbe928ae5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagToSet False Passed
22a950847bb935640382e5147574b85e4e9c3326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagToSet True Passed
802fb412883b05f91d74bc262d03450443e84f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagToSet False Passed
aeca1c58b88f5d0e8dcef50629b2c1d9177812b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagToSet True Passed
da8fa89de087bebb30881f38a57ee41d6a705167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagToSet False Passed
0ad74be0204a76cc7ad78cbab3eea30683d686b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagToSet True Passed
e6384016fefbd3a0e07dbf94c00835c8ac727e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagToSet False Passed
92baab60cce768baaaf7cd5c96b752e3a65783f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet True Passed
db072df32c869eb4af933cfe63cd4a6a4142320a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet False Passed
740ab7f9957536115b6f1bae2360b2bb5084e942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet True Passed
c53f4236dffa59b07f9aa2fbeb346bdebb2f8c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet False Passed
22153b8506227ac8f52998516c7cf8934f273fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagToSet True Passed
1b671305ece488ec7b403239e2b78e1e0274021a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagToSet False Passed
685ae04fe059051594c34dc654ad4f074400ea4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagBagToSet True Passed
ef6d0b52553c7e2e99731d20d0a5d7f207e85a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagBagToSet False Passed
435177fdd3f29c64e4a6e7b4e4a54f50c93200ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagBagToSet True Passed
852e5a743b4b511086011d61bb8bc5fb73bba673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagBagToSet False Passed
8e44e024cec5f409a849e51c3d8eef2b7d619809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagBagToSet True Passed
bb2186ec2169d8982f5a9a6b89647744f7e33d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagBagToSet False Passed
693b86d1ed73881bbfbd1c382c27b6622cdd0d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagBagToSet True Passed
d06cace99d11c09ab86df0e87dbbff71d4bd2203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagBagToSet False Passed
5fc84430cdd0796f9a649e38b6bcbdd7fb7a0cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagBagToSet True Passed
d9f7393c9a19aa4cd34c034392b30b5a0dfa26d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagBagToSet False Passed
53bf95f78027ab88db3ff619d603dab291dca0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagBagToSet True Passed
0d10699401f7562573f687595294c1679a3c105c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagBagToSet False Passed
212dd9b1e6ad8c1851029de94f993deb60535e05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagBagToSet True Passed
3c3b52ba51125d2428563edb69a747c4eba7c3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagBagToSet False Passed
bdb7e0759f7823f47d8d8d3cbd18ab29c6409fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagBagToSet True Passed
1c3906c21281d6cff2b8e22a4ae558706a1c9492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagBagToSet False Passed
f244819aabe0d2ca4d17f78fc818aff2ebd5ee8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagToSet True Passed
fe0a353f953714a266f7a1ce215730458a885913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagToSet False Passed
aa99117dfb2ba8746f21852d44ca42ebbe6969a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagToSet True Passed
ecca8c39876d613a1bedbd9a9384221581abd523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagToSet False Passed
77968f74049b2fee20ae4a027c2f3b8afc4770ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagBagToSet True Passed
8699a1228489c3100b30455886b7da1476c6b7c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagBagToSet False Passed
2eecf3f756956740a3a8140be07bb12fe750c5d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union BagBagToSet True Passed
018b21c868fbad0309d16ac0a2ab04833c47487c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union BagBagToSet False Passed
958f5558b6b3b4532eb769bddcb95f0ea94b7efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagToSet True Passed
dc00fb275ae469cf213a6bc273c9d18f461fbcd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagToSet False Passed
8776182839c06c542b23abb3396652e436815d4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagBagToSet True Passed
5b1ea587d5f649e4ecfa0414c06d5c7ca35d5fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagBagToSet False Passed
1e3f883efbd5679942df9c9b4d8225d88f94523c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagToSet True Passed
b9da45ae60db6c33ed64e49bbc606a40b3be5b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagToSet False Passed
5f066b8e5fa22d9d1994e257160234a656034130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagBagToSet True Passed
356c878a6af013522619e5bd68d1dc90ed35701a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagBagToSet False Passed
d8ac06f586dc7cf220ff574c758ddaf6ff0fefd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagToSet True Passed
7c489eb9b9ea59e48e74e9ed7ae51f078b08a38a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagToSet False Passed
9d6b3358861df083e2285e1415145a76e296a380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagBagToSet True Passed
b0e8c002f213bee1b6c65f69c61b7a92d8288512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagBagToSet False Passed
eecb51737e23a2d08ed2e999ff16d828dac0d46f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagToSet True Passed
be1e1a3bd84f061eb1c0d380155a83f512002cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagToSet False Passed
587249387295d98e62dfdf02901e2b55de06bb18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagToSet True Passed
c3a0e9a06681b524625f07600c5e7b05aa731a1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagToSet False Passed
be24605c7c356d47f7d1a95a38fe9b70d1bb69fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagBagToSet True Passed
52db7b9ed1daba4c10516586ac8c2c128f0d140c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagBagToSet False Passed
96da7c26e482c04caba3ddd977aa3d035a5d5c47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet True Passed
10690f7454b6fac023183fc17e1bf3181a5121d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet False Passed
01018e4d3cffb9bae3e6171638ba956b15ab6edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet True Passed
69c71aa3c34f5c87f54d4a64042708000af69694 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet False Passed
8dd77c586323edd0cc7b1981ff03513b4fbc24c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagToSet True Passed
fa24842bb036145082ad780bb575f21289a96218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagToSet False Passed