Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6db45bfca75e1dc7d65d6cc521716c06b2854960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Subset True Passed
b7a76814a61d2ce4b07a3c4823b0d2bf630a1bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Subset False Passed
a3b4c5f2f8ae9948a6da534ad41cbde8c56e662a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Subset True Passed
87a4e7c005e97e6a662afce00c7ddb65a0bb641d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Subset False Passed
7cf094e10ede066aebf01efc68fd7927f5c77283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Subset True Passed
256acdf025b307c04f8edfffbc3177ed00e50d4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Subset False Passed
2095cfa4ded1537bf80ddab61c95b2474accf6e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Subset True Passed
a264fecd3daf32ef41a298ed8e8af6a3ddea6588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Subset False Passed
e3656b3ff59cf1630f342fbbe6dcd21bd7aef58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Subset True Passed
2b1db302c2e0dedb75809d259768121281b743b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Subset False Passed
ea2e09b0d07a98aa5e6f895121f9389e75cadef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Subset True Passed
61add58398d760469129a42cc023b274490a26ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Subset False Passed
c3e116663a6f53bda54712253ca36c890aba4edf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Subset True Passed
7691cea914c3e906ab99c364460757f5cafd2cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Subset False Passed
abc492b56d856a4a08a9fe72ea0d6d143e425c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Subset True Passed
e1d19351618912ebdef809cc978a2b1fe1ecc9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Subset False Passed
3965c9d0d489cb11e28da6540b185b830504df7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Subset True Passed
cf76961bc4f0cd1463b621e58fef5a8f9699d663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Subset False Passed
f40eb4fba3435b771f52f2cd0f406eb1897436b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Subset True Passed
c491db624c3d7819d6aadaa8a7cd7b9d1cbf09fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Subset False Passed
1d12d967177d9dcb367c7968b88d6ea02681ec01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Subset True Passed
9d0bf7ed9cc890f788f0470279800f8b9c5446a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Subset False Passed
ab2542dda24843a42e49499a9356349854494add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Subset True Passed
bee95964c0cd20f4c0c75fae1f709a1989de448c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Subset False Passed
9c1adaa10c7301329fb510538b487d1d2190ce48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Subset True Passed
77c7caab02e46de2bf6c3b1e780db0084bb15f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Subset False Passed
a53c588a84e00a3274ddd8626e9fbfe2c5e594b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Subset True Passed
a03fb9f49bc4b0c3d930c3786e7f625d7feef6d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Subset False Passed
2a916fa45ef1b4720c6923c23d6bb30053891d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Subset True Passed
09fb1f3726700e1605e3b06036137c0da422a93a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Subset False Passed
4a32507dceceb90d71ecda5d4d0895bd9198859f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Subset True Passed
20815071962dd09ddbb3b05de892c2742c5570b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Subset False Passed
d12c737c62c2c2a1be500cd87233a3d1dbff9c42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Subset True Passed
c704f7dde0c3c13c1b45d7b880fbe1e1421de187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Subset False Passed
b971b5f784409244ef1c9040adc84593402b96a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Subset True Passed
bd332aca459e563a91c742ee94ee67262d45363b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Subset False Passed
119e124acf7a8f9dcd8a5bb8520736b0e1d01713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Subset True Passed
d5d75cdefae3b3074ae2a58d1fca2e1f40ce1add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Subset False Passed
7081e6367ba7edcc9b5487e263e3f4c34adcdaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Subset True Passed
925ef1b75a83442b02301ca148ac330743ab3626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Subset False Passed
4425579941d9cfdf0de7a6c2c09d41cb3f7daffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Subset True Passed
fa9b0572d562fb5f94f466f5fdc166d8a29a20c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Subset False Passed
13d341270a8416d94226b7008e9a75dc49493d7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Subset True Passed
63cd34b26a696512cb04cc517c699843371946be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Subset False Passed
b21cdb3e42d5bdc01e2765a47057ee566f906333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Subset True Passed
f3cf576ef8c44ac313c54a40dcf3efef9c28e4b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Subset False Passed
5cefe24be923896b208e48590f31eea25e88cc60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Subset True Passed
163012a18f078f9f2172e71e481f01a2f4f7e82c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Subset False Passed
24f108811e54613fb0f7fee59a2497ea16600ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Subset True Passed
3ac402aced20ac1e2351385ed1dd8ea2e86d63ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Subset False Passed
2cc162e3770d5f56d4d0e9632ebe5ed835f873e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Subset True Passed
bfcf32688e060a49cccbbf998d0f3dd4641ba262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Subset False Passed
78ac283e8f9b6bf7935f6b21a4f25683718954d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Subset True Passed
750f1d6239ea8bce6ed37d41a9c8f68d55f6612a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Subset False Passed
f8bc3f4f455a5734e1fc70ab736ecdb113284fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Subset True Passed
7cbaac992758485b3e5fe4f5e1290f03049ff709 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Subset False Passed
bd4f8490a7b9e3a297597f59e7601d70180ecba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Subset True Passed
49ad1fe7685ee927d11ac965da70689a70ce1619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Subset False Passed
112941278380a1e3b0728cf84d2a7bf5979f2e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Subset True Passed
049c0025f968e6c077ea1578e60fa41607dc18f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Subset False Passed
227fa2a7f9cf89c3a8bf90c1613cb212a6ec4247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Subset True Passed
17dba41489ad67fff705e3b56125f5ef9c63cc92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Subset False Passed
65adbc9916f322153f461af948d6d1f4c95c77a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Subset True Passed
d681be2390687370af2805dc58e83ab6a5053ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Subset False Passed
8b286d986bc01069b796d00ea58a71717abaae2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Subset True Passed
26af690af3582ecfb9bf13bbd179a06f1d4fd75b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Subset False Passed
6d5daaae233665eb789240e48482740582c3adff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Subset True Passed
f1851c8e818f59b4ad1edc69327010bd4c37e8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Subset False Passed
cd891938d832fe7d70a3f04f0358e9de3c315a54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Subset True Passed
34cae2ba5200fc44bd6881429bbca4f7f703b3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Subset False Passed
70679c5c3e5401d669a61d2e6072a71055758c61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Subset True Passed
a461814f51a31f4e39336188220dab817b6826ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Subset False Passed
cee955bc78b99794a39b783890ce1f8d31318cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Subset True Passed
e2d36d2129cf321d2450b86f93fa50df19f75d4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Subset False Passed
d883b031f66b9db972e3187d8eb5b0a1a57e02e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Subset True Passed
378103f500b34446e4f69529d8a434bf67958025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Subset False Passed
15091383fffce6f6f308e247dc62c12a3797d7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Subset True Passed
950663f4e70d06ddb3dba7959f868699ec6af60d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Subset False Passed
af3b0c47d8df9fca5598ddc944b46dcfd3d3a22b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Subset True Passed
ba5a818286697aed689a38283b570083488f0b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Subset False Passed
21bf890d575def38bc375c5be6a622ab8d3013e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Subset True Passed
10cdb5365abcc55ffc6d0442046e48fb37531823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Subset False Passed
0ea253f3491b0f1a6e243efa4f9c19d45663d85d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Subset True Passed
6d4c5826a285281222fdd19f1eedd60af6bb8935 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Subset False Passed
f01bbacfad12e7e6809d03c87dd7306383d91a8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Subset True Passed
6a9e40064e4516f25bf6c93c5414180fda0d9f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Subset False Passed
1214f5770ae2f14aff03705b9ff9a6e85dea3f20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Subset True Passed
555fa8612214ab4acf1e84815209ea680163d2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Subset False Passed
2dc3ac00490bcd27a36dc2df1f20b5d1a3c07ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Subset True Passed
48890e5d93e65d0788f279667f2530830388c3ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Subset False Passed
a32f9f67967b77ce0f95a5fe137b85cbee9e134c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Subset True Passed
122c59f19a7c6b871fd086f972dcf3d2a9219724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Subset False Passed
4e6deec40505133a3d1525493c1950494138af87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Subset True Passed
c72472baeda5969f7cdc992271e76a3963ef58c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Subset False Passed
53c0af5a69a99250cffe1c04b673bda8602cd679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Subset True Passed
97a6b5f27dda4ea920a16aedb20467343631ec02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Subset False Passed
3624a020b158d1772530a084f7e4b0f5dbd5c517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Subset True Passed
343c2ceb0c46c0c028febbf3a05e525e06ee93bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Subset False Passed
dee1cf9a42655897cf57434703fc8e852b81e4c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Subset True Passed
55d6f4b405d1a5b062e2eecc4b922a46abc9e381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Subset False Passed
5a41479b2496c47ce65d10ed1e53b99b31a9c51e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Subset True Passed
60fbcdcb0870bdea92c5ef8495df8482094e9350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Subset False Passed
1986966b4d3dfd26f672c9b618d995ef85bc77b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Subset True Passed
22670c807e8560f178a1d04ff6f984b0c0ef4f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Subset False Passed
f825173b4d9a93c0db32f578a97e6d9a08f90cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Subset True Passed
8e9b4df89d942a26ac8cd51424a8e60cb668b490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Subset False Passed
25b87f34186a71c7066aaf271c5b2b177b66d367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Subset True Passed
75471fca74eb92e3bd3d2759580e43374eceed38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Subset False Passed
5dae5051e824bfea171a8cb5581c63700f97bcf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Subset True Passed
23e9d836c687c5fd07c5abca00f82db86141ee2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Subset False Passed
029c2fc4a8cee3e22590fb482ed5dcac0452a56a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Subset True Passed
af3cf12b442bda65f4a25cf7d8766b830598b050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Subset False Passed
ba781cae236fc981258efd61e485cf8367785c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Subset True Passed
6c9607cae3dc4120350738dec9abebfee49fa785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Subset False Passed
f28776b07083b9b27dada9dc840b7777ecc0b710 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Subset True Passed
7223285ec722e36c4dfe8487f58c413356448e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Subset False Passed
232083fb58175f55fb6b970d449b2e437648857d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Subset True Passed
81f2bf93a7e96b54adf12f07cdcbd2cc3c336757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Subset False Passed
218fad5e4e8f55ce5ae4704c1835cf8ee32b9e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Subset True Passed
c1fa99453ba29388359ebbd14701c7ca8291cecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Subset False Passed
0a14e53caf6dfcc6ff1db165719618436a8b81ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Subset True Passed
3e0040a2d8aa3deaba6a3d042565f6d1e4da7cbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Subset False Passed
c97ef98f9bedfae93fcfe79b14be0da00af65e84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Subset True Passed
d6674dcdf83e8dee90d052569d96d7cd62583c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Subset False Passed
1b67c7f768586445478527af1be79183284a6f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Subset True Passed
172cca298ae49c4ce2ea938e8b2de292fc9b1dec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Subset False Passed
e45ddc060c75839cf7f1735339a261475961f5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Subset True Passed
a4ca9eecae666a584009197e947474744edabea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Subset False Passed
fee6b64297903a755a8e4246f5247ff749ec1bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Subset True Passed
af14384de137ae0dd6cb38198f1a61f52fe07e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Subset False Passed
ff29fc066ddba15c3426d4cd716b0f5e83bbeb89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset True Passed
f76e0d8fb3390a7998e44ec29c3e7072b5755fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset False Passed
607ff079fc3002fd20966372fb11eec911f85cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Subset True Passed
434c1b3e339cf2294c9a7f76dea038aa9c92a3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Subset False Passed
15f3f227898302e44433766a1dd4cf0342bf4e5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Subset True Passed
469280b695cbc4970331985c56cb7adad5fbcf22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Subset False Passed