Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e48707aae77f5dc0401700a2828074026112edf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSubBag True Passed
d174d92b4f053659878b6068781228fbfff3efe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSubBag False Passed
bab16862f30a466fdefb01d1b70c2fc115c858ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubBag True Passed
d3c336b3bf6ec60baaebc62d1535c842500acb24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSubBag False Passed
734e59c1b1be9a74f90b6414c283ea11b58ac436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubBag True Passed
1848835da084aefa2137f6c2350cc83314abba40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSubBag False Passed
3d72aa9ccc1ea9eca7a17ece725ab94d9256c2ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSubBag True Passed
1531969dc1d8e138de3e29a1e2f6d6d1e8d59d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSubBag False Passed
f7086337fad56689b9431d429125c6eedccda216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubBag True Passed
bf7664257d1014fde30ff71b7e6ae70145ee93dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSubBag False Passed
91fd83993094be4f8298bc16e6b37fdb74a367a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubBag True Passed
0d1633093c58cdc9ab8cf87a97fb93849e9bed9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubBag False Passed
f0831ebfeb80330dac59160b90ea64125b1918d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubBag True Passed
13c228b513d0fe267ff686242578d1af6c088c72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSubBag False Passed
13457b1f46c8b9365118f2222baf4232d74b74a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubBag True Passed
a9e66457439961e6eab5ca49b99d33c6a703df6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSubBag False Passed
55586e8eafe18bdcc7c5a075fc50bbd0a4cb8694 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSubBag True Passed
81b7f3a2c0ea1d14202d9a82e45269bcccb6d1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSubBag False Passed
852f5e32c8f596a93ed17786b0727c647153d71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSubBag True Passed
1810e01c769f57b88b2fe6635bfb92d7087ec1a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSubBag False Passed
2e303139d0d7c3f9a7e76fc9cc3af213908197d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSubBag True Passed
d1939668f5ab8dcbe61ac75cef19b644c8e0ada5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSubBag False Passed
baadc806c3061a175e1e2f5033c4ee540d7e5eed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubBag True Passed
1a3a27774659c424ef78ec30aab58c6f765fff55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubBag False Passed
4175a91dd9151ab5c73b6730d00a66b599a9a135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubBag True Passed
093f419cb211309cd23ea76655e35c5d5cd2db67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSubBag False Passed
f256fcc12c73b354d22c2e4f51903a120b1e5f21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSubBag True Passed
c5b12af961681cee9d08731850ff1c3bbb5f0046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSubBag False Passed
75d5d6178e9b19ee07ad3d7c8b8d2665d4dc94b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubBag True Passed
d098bb160879515ba6c75d360b5d9d1fe864ed81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubBag False Passed
ff5973f8e17c6e061a8ad44f582b88ceb20b7275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSubBag True Passed
d8f91d9b85ad3f5aee8e297e6fd11c7edadc6ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSubBag False Passed
5b30be819da17d98df81656349612ca429692359 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubBag True Passed
dfaa4f160ae7e70316bc5589e79023fda811d938 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubBag False Passed
a7f17a065aeae3434a3ce1392c2f9d777f976335 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSubBag True Passed
27960714577957549e9d8ce03442b6e31ed34ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSubBag False Passed
9444ed9199f8dd36c91a4bcd6e3943c80daa6a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubBag True Passed
8a2eff5a216110dceb5ec52a222d13a83f392449 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSubBag False Passed
2b30d46530f5f951289557f4ffca23246b3a3e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubBag True Passed
88723402105d6417a42165c2fb0e8517c96d84ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSubBag False Passed
d6ee730265a834420583dc79de1728a43d2a9462 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubBag True Passed
693deab039494d035a53fc6273c5e89ed19cc9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSubBag False Passed
042a23531b9c83521b7bd3c7ada3008f7540246a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSubBag True Passed
9fb9a3504e00fb8c1f419f275f8aea35eff80f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSubBag False Passed
07405c3ccec9925a0f8c0b7da2ec3143161f96e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSubBag True Passed
ac54416933f470f616b205002227bc4e2f70593e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSubBag False Passed
0bedd704c782d4ad98d3a68fc98b3c48e7b15a6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSubBag True Passed
f6dd4895c0cccdb753cf530052639b8f8f2b6a3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSubBag False Passed
43db76a76f33a68f923e1d8c3fa1f1c1c74053bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubBag True Passed
e047ca152bcf2e0b5e5d785be51074dd461d4f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubBag False Passed
8cf19d0ea9350dd66841544afcd872c097e9d48d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubBag True Passed
d4912ce329dec08a3c2981c30e9218e98be662ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSubBag False Passed
8f1cb0bd455ee5fcf0f8cc195b3ab1b295197370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSubBag True Passed
b702dc3c92e1f0d2538a4425581b3ca5456a8c70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSubBag False Passed
5cdbc064eea1511d420f2a8834e697411d45746c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSubBag True Passed
b2daeb0c8318495c014d14f710d54b2e39daa66b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSubBag False Passed
30f2054000cd27e0c3d05f72a69b43ce641f126b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubBag True Passed
b6b4fe57e4f901a0a5e3e409e4624083731c6a4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubBag False Passed
40ad73a9b12f5780a251ce920542bf3eaad194a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSubBag True Passed
da7603ee4bb292153d9acc2ebad165fd6c9d2c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSubBag False Passed
75f191158afe40e263ab24cccc4e34c4fd39f159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSubBag True Passed
8a49b4c10b23decc3f113b1ed693e681856fc71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSubBag False Passed
9063ad02cbfe6cb8dca90502bc39efdd22dedd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag True Passed
01ca7551170cde8d3532b8ed3aea7321bedd6622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag False Passed
49cdd7a0e015b11bb7006001c5a86648f40fcc07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubBag True Passed
103be869b3b9e0034497010be545944851378e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSubBag False Passed
4aa2efae5f8154f3a86c2b81650ab405a1dc944f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubBag True Passed
e83cdfe86cd68e4707d55c27b49fca3c0b54d28c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubBag False Passed
ad4037d81d474214a42d7095ebb489fad74aafcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSubBag True Passed
8a52a1063804e2d4bdc6a60051c5e4275c2e1219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSubBag False Passed
f0e5f964aeede561ff7cf8a0625f9003afef5c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubBag True Passed
902cf9a0778a35ecb8a38767a24135c99afea5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubBag False Passed
69a6e97652fe16a7e608e42989dd13bff8a73f4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSubBag True Passed
6e84741ea0eb07169cea459ec9916470f4db1e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSubBag False Passed
3b0a8bea8f322c1aeeab01b0fdba300074fd01c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubBag True Passed
f95ca58a7dcd38d94c5d4943b5f69bff2f2a8fda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubBag False Passed
dc680b841d25ca6307cf4cf1b3fb86f961d36ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubBag True Passed
29eaa23afb882610cf023185f71435d61f02d1af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubBag False Passed
4a35ff3b38a370ab5b8b52fcff787a79bc64594d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubBag True Passed
f182f11e846e71986c46ddd6d14a5a398681401a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSubBag False Passed
8480d0c576be792c5ea8ec6acaf815a7c986ee23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubBag True Passed
4207cd931694f97c2d4d693879dcb2af8825c4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubBag False Passed
a0e793e925e1e4c65fd97f2fbed206224d7ccb45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubBag True Passed
488e2a7f6249a596d1ed9a99e1cfd9819b5fc481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSubBag False Passed
d6236c33a72112d26393c7eafe02e59fb8780fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubBag True Passed
018a207de1d1c6011d440777ba996d3fbe938df9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubBag False Passed
e0acd0918ba4c35c26b8975e168e7a5a3be85a76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag True Passed
4c142bd193c852d2b034f78c3550f444dfa59cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSubBag False Passed
6c8894e7ca68d734451ea394bcb21573a1a9dfcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSubBag True Passed
10881856f12ae3911b9ef7ed370a349539778583 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSubBag False Passed
ab4c54ae0bb06626004c421bfa6146d583de179a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagSubBag True Passed
c3c329189abcfb2dd6900d69fd3e3ea4182ee505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagSubBag False Passed
3f97d5bfdb5728783a0346f09887615d71098226 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagSubBag True Passed
d4b3fff5750985cacbe8405496ed230a1c2e30fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagSubBag False Passed
2c1c103d64627082f781b548d72a6bcd9981ee77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagSubBag True Passed
96862f3d98f9699241450b7dc44a84461b9711a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagSubBag False Passed
ce7842c5259f5845d2aca94af7bafb2d565d46b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagSubBag True Passed
4348703c895f66d4f3ca168197a532f8023e382c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagSubBag False Passed
1d970d12429f4440963d61e7e00cf68cfd2ea5bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagSubBag True Passed
25a2b0bea986f8865533c6f668058f167284482d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagSubBag False Passed
2aef2fbcca029b9ec0a5c8a7b0ab9e211f94c69e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagSubBag True Passed
0347bbe405aed3a46cfce78042bdce66e55c7f78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagSubBag False Passed
1949890bb9024691d5760b491cbae2d6a0293564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagSubBag True Passed
13669e49c0dab29adc78a7d2e5d4fd19737c2dba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagSubBag False Passed
44f2a4e9fba9a9efca02de9be493a397ab1d96b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagSubBag True Passed
ec36d00fb58767e8a27a4697444561b4ad9c7f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagSubBag False Passed
c2884be7cbe2ec24205809f2cd49aced8b141fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubBag True Passed
bd6c74018401d7eb9587c799833a3bacdc8440a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubBag False Passed
b6eba5b3753e0cccdd02b4afbf38a037c53a9f1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubBag True Passed
5ba6d18f69a82a8efd33370996b1f260450b4377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSubBag False Passed
292df15078d1a845565dae5ecdcb4f64dca935ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagSubBag True Passed
4674e7a98df441e63457cfc54b67855634620963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagSubBag False Passed
e36117cb9d7a677e076e0335037ac82017460494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubBag True Passed
33c34651816eb5bccffbc73b76c302e02ad769c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubBag False Passed
74a2e9a386203de8d59498442bd7e0fad2b28e7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagSubBag True Passed
cff88a635f3895dac8ccd71781a5340449415d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagSubBag False Passed
c5c8f3904bf81a2172bb585f6bb549c4a1ccd1dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubBag True Passed
783c0b59123599e7c2121e7c9f229852c5444575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSubBag False Passed
d49eac76ccb176e13b8886c362b9f52296ffc803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagSubBag True Passed
ce047c55be656477c5fed8bf32f7e16252f6a0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagSubBag False Passed
b0da536f82ca14f0a8da340520137929ca74fbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubBag True Passed
ee7371d8e96f21771755eb8a9c0b178896e99369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSubBag False Passed
a40f4590acb0d147103ad097b6509db1396f0d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagSubBag True Passed
eaf7b1c893cf520bf945a62886391040e76426ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagSubBag False Passed
2d9451f713d7efcf498a569f32ec7526f7605fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubBag True Passed
1832981e3983ecec20d88fe721761cb66ff9b163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSubBag False Passed
db84b1a196e650201b531339883b3ab987b45f53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubBag True Passed
dde77879468f165431664e1e4d29e827585d8f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSubBag False Passed
f769ed77e504e17952ba6bb0d6fa6c232a37fd22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagSubBag True Passed
2111840383e209296ccabc2c7eea192bbcc0410e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagSubBag False Passed
3816f7638944a7057d5689cf172187f067e55357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag True Passed
6716d9594f9c4e2e4b9707d18070bbfabc85bf31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag False Passed
f97dd36918eb939c73dacb6c8b9e458d87cc6563 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagSubBag True Passed
cb198d5e46f2b591a286b0271942ea8ae53db582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality BagSubBag False Passed
0f71e9a96157f49d1af668577df5318183812853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubBag True Passed
f84ba6aeee75a9f9025c516b0055d26560ae8a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSubBag False Passed