Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
74fcaf1a6921a8bc94b0c73651f7f3a71d15018d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set2 True Passed
55c99d10371660e0e2a00021ec51ced1c94fd3bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set2 False Passed
fc1c1a9833c8a19a0b610f975eba4dd933770831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set2 True Passed
7392ba7d3ccc0c5764ad471c59867dc5788670cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set2 False Passed
c8f98954ea10f6baa9996d47ec0e94f77903a009 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set2 True Passed
e2de77dfb5ba71dbbda8f90303e8a9951cc3ea0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set2 False Passed
497ad386f7ec38650c779b30bac32899a736ef46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set2 True Passed
3b889a30f4cfbfe0de6327b3424c8275e5701799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set2 False Passed
2d4586dd103f48d54543c43b5022f9bd70664f4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set2 True Passed
66c3e23c5286aac41095b844858771335aa05e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set2 False Passed
80d75d4c186dc8e75c6061810f3c23f657704939 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set2 True Passed
a30bbf7e457aa6292663db554d8145a6e7a87f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set2 False Passed
8db69c7e03a55179b01b124da920b30ad6da51b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set2 True Passed
03cc387a5de2f4263dac65270f2ca4e84c3a9042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set2 False Passed
8461ac5968fed9754e5dfc855d60b1bc178d1547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set2 True Passed
f562f67e7df02787f20ab432c28b7784b8b51449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set2 False Passed
07f688c2a4a752870021db81898a02bdb916e18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set2 True Passed
54c1cfaee926fcd1bca182a7592d7f30ddda060e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set2 False Passed
9799e4ea4612a79b3d2e7a609b4191f518747507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set2 True Passed
9dea03dfe6fb1ea3a79f44c633d9c32650700207 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set2 False Passed
f371ed082d9b9d34eb559aa87bc043f919a097e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set2 True Passed
bdfe9c3f18f86a874fea1d02e15f071ac05e6506 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set2 False Passed
fc8018b5957fd5f8f249bee39b5f6858b09e7b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set2 True Passed
0fe5bf15dc5e844e95c5626f480eb941951dfa4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set2 False Passed
af9348be408416b92343505ab4076a32820db6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set2 True Passed
b07b55dfd851b56aebddde102947711770da5ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set2 False Passed
d3175eb2903d7bd8b5184e95d865e67bf2428ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set2 True Passed
6531a0063834678b8d728cce78bf67fe515e902a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set2 False Passed
43f70ac97b3ecc4964347b69c5c4f930a302515d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set2 True Passed
4a09a3e71b910bf57885ed67025939f4e1d08143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set2 False Passed
391002342328b7512f6b59be5559a61a0bb182da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set2 True Passed
fef5f2249e8812dc5749b68cf915a24a5202ddb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set2 False Passed
a29154b6a9b53ad35c595bab397639c25bb2d70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set2 True Passed
8020eefa522cdd31b31296b5c1fa2aa9a26b43ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set2 False Passed
b6df6c324938bb845136140a1bac2c43489e2d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set2 True Passed
9e32452079b27f5a3358200bff6bf5a8c1755f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set2 False Passed
0ebd8e1d1d9420ff07cedeb87b9ee385d09c6a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set2 True Passed
7a2aff17e6f96e5fb0d1833fffb7ea7309bf7eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set2 False Passed
dc7f5036f15f63974f0ed7df31c6fd40ba9c1e40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set2 True Passed
79de510ad28c8047e09d4a90db84ba5211dd31a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set2 False Passed
000277d7b2c8b23b1680843e162b9e1a0732219b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set2 True Passed
a013844cd740dcd5c1a42f0293fa21dca6280dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set2 False Passed
f3eb26bd8b6a4e07682885110e22cc125caca7ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set2 True Passed
a682a4c0fac79e1b453c032736eed78affef07f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set2 False Passed
7107e56afd8e264b3a86606cb5a5fd67011a4b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set2 True Passed
fe4a98554fe1e361efab14f26737d2efc8b8d9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set2 False Passed
ff0a734b2a24fa6d401b60796b3413f352f935ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set2 True Passed
a665750eae06d627dde663c7984180a5042e9fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set2 False Passed
b29de75a3088733b128f9fb4df55a95da3facfd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set2 True Passed
163af8cb5ac00edece3bac29603a04fb86d855f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set2 False Passed
91f4a280d653fb1eee7d0d3c9e46211db87b5918 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set2 True Passed
08ef336bac50c6f15aa15408aac73c43e5956eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set2 False Passed
7e5fba4cee933ede1e4b8853f6df314d04ef2099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set2 True Passed
908caa6a23f99b4ac9113604a33ce6b983c998b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set2 False Passed
45edb508f11fe37f51c7023b54672b7165b05fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set2 True Passed
4194c2b71e38443bdf98e27ebce1559464c339a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set2 False Passed
97290e22a13d0f57cd1a9989d8eff3fa60c4e384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set2 True Passed
c1501802e6344ce60e1297e5507c69be8e3aa04b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set2 False Passed
6945fd6efb3cd34540d83ad0fdd16e84af20db4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set2 True Passed
ca5985167fde0e09f67ba8ac6d16a29edd67cebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set2 False Passed
90bf06cf2cb957bbd44b2b9313fb474b726381fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set2 True Passed
51654210c84c6e4e56fd61ff484385e1791613eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set2 False Passed
10f9343544fbe4287116088aea0ca53b63f8bc67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set2 True Passed
38ecb46598ab663485448d17764a55be06d6a3fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set2 False Passed
ca620851a70971235940fca5d4a49a82d61672d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set2 True Passed
07d41145c4cdee9aaea7a059693f718cdee6777a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set2 False Passed
2566a9edca3dc8eef8e7ad12ee9fd4d38fdcf325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set2 True Passed
b08b79654145acb9b24740374829ba7cf0ac4ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set2 False Passed
b2ffa28f96ca69e0243655620b841f222ab600aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set2 True Passed
a929317fd718430c6efaa981bb9af2d0ce96bcce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set2 False Passed
594fcb6244784950bbdf8c3abb75d19fb41ee8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set2 True Passed
ad5545440548cbbe1083af9f033dd5ce0ca5b5a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set2 False Passed
0efddcafadb3526fedccab03b59638723c50b294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set2 True Passed
d93b6794183892a0f67a1829386844044f5ca3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set2 False Passed
fb13c38309a464085f7b76d11e60bf594f387c9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set2 True Passed
0c021bc21d56a24ee7e43764a9a162dd47a328e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set2 False Passed
fa1f39e8889a41e79f17c937ba45963ff7625507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set2 True Passed
1dedfa0860547a10b8818c460de54e4ba2919c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set2 False Passed
ffa397fd647ec260e43320c043a6742e11e9e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set2 True Passed
141bee3461169aa5c10dcaf969ffea795328fb54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set2 False Passed
f418f450d00358f69575352ebae800602a2c4170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set2 True Passed
1e85cd4f6d5e7c9ab7cc6d9b09ad5da633c71913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set2 False Passed
fa6658e891b447c88f8cbd07fa4f8ad6cb753f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set2 True Passed
9504d26c54433ad8a02dee58be8e3e82ede0e231 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set2 False Passed
78fafa39bf47eda1422816fb446bf448f3afc1a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set2 True Passed
e862dfa15359a60fe5ad5bcb0e878ec2640c7061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set2 False Passed
62fdc19c99df058c8ebaf78300f021b7940e6a2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set2 True Passed
30df3ed17007ad2845da059caca1cc1f3b683df9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set2 False Passed
eb382fe52d8391c96ead276b474b8f7b2c58e09d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set2 True Passed
250deaaf958076eb6aa99c394dccb68d7dd3ff9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set2 False Passed
043a86c4411f657a87a4861335f0fdc4238890d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set2 True Passed
928b357f6e5c4b9d306a1267cd97559e56fdfe53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set2 False Passed
df0bef336079c49f1c0dbe152c1eba41883cfc34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set2 True Passed
e1e35008e2f32a98dd6197c5a7eb7f096271c7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set2 False Passed
058b7ee99ae1aa8800c252633dc49d4300a733ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set2 True Passed
0525a1724ab536b066002111599b63d5835f8598 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set2 False Passed
b5478428bb94d360db6cf69a0743ef02db565ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set2 True Passed
3442cd9833bc63085297755fcdb9381c5dd5aacc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set2 False Passed
6dcc261e7533f8398ad7825f6e5f72e564c4257a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set2 True Passed
87ffa9ebf3c447272d01949ea713ad4ccb7b863c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set2 False Passed
be8747a9710a59192282470e4b8a0ac30e6a1826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set2 True Passed
bfb1f3666d191424872b305bebd55752c7e6ceac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set2 False Passed
737faa1b3904f5c2157fa505874dc005c4a7efce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set2 True Passed
41d946509f9f1b6d34cedbf32e60ed17332036aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set2 False Passed
e46e15ed6ca0adb15c937faecd507840ee92caec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set2 True Passed
e52d2451b6b967add5af02b3e41ffd311722d936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set2 False Passed
44b5caeacd9a4b7c9bc79b0b78d1bf444443edd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set2 True Passed
36152fc8fe8289c39bfabcfbb99dd385837f4a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set2 False Passed
67fd4e28a8001666e41e54c98db9c6fbe235cada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set2 True Passed
21320645197a9776ec88a1ff012da359c70b6a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set2 False Passed
b6714acd5eb025a7511d0e707b805393f035998b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set2 True Passed
d87b9273e9e39e689508d8a106af0dcc03b366ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set2 False Passed
7eb0d08a4f3fc28f21f87b835d1ed500cedfbfeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set2 True Passed
c5de0a63266179d5f09bcb6f44ccf21a6cdfaf5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set2 False Passed
0f23826f1a1764eaa38e2baeaf1ac7c34b04d55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set2 True Passed
f3fa92e20cb3e52816c3879aea21e924e8a43103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set2 False Passed
efa95ee856e8da9bc0895b31793b4cf3b1199581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set2 True Passed
90da4bdeed109b01041f3b06f82d4729e0e52da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set2 False Passed
a114d73bed42b481b3917aa367d6c01f8b564d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set2 True Passed
bf588f07f692bf3bd55e2ded2448de5313a21493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set2 False Passed
d40ef741349d6ef7394ae98163868174901917e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set2 True Passed
4d32f00d4c9526c509c9181cbfecbedea7563eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set2 False Passed
31bb12ab705cd444484a1fb6be4ff52124eb3a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set2 True Passed
63f237eac1346ee6fec5476f9a78d39196b17b03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set2 False Passed
2c8035d8416894d34bc4c2eafd66cd7a1c2d7361 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set2 True Passed
2270037e07e60a5972416c20cf8a0e977fd3a40a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set2 False Passed
cb7098f24c6c20b0d1762403908b501aa640d8df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set2 True Passed
1d79fe175d6257efdd79016c1b7e4ba65c5c6823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set2 False Passed
ffe13a01035c0641585137916ab6f9f4262e4fcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set2 True Passed
fda87e1e9e6fd389f05f27f35efe06c68380059f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set2 False Passed
953035e3ee8a961f47898e8732565a8bbe01e90f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set2 True Passed
d8ab5a93ebfa49859b72c6d680f2fe1eeaf67a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set2 False Passed
2d42857a0b6c7f7cfa5fc45923431311bc3a8eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 True Passed
5811d62bc4527e4f00d9577f724f878e2fb7e1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 False Passed
1338fef69c2eb4ed5ad9a38727f3d6fb5f861493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set2 True Passed
ba6a6ebd37a636cee9d3a0f9ec18b754e82a5c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set2 False Passed
d1e05f6621abb7cdc3ca7534f1174e03ef438e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set2 True Passed
3952bc1abca0a9a1af945753679c63cf7af72ecf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set2 False Passed