Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4ef9a70155fa265eac597be8a14a96e50d946f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set2 True Passed
7417d34134cd1b7346e953988091f33e13cdb8ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Set2 False Passed
f717449018907bf4aef6223e15b9ae83af52e894 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set2 True Passed
113f5edaa4cd9750acc915a8b62a5a174874c263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Set2 False Passed
665720b11320c8fbc602902f553df7f91298ff82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set2 True Passed
a01784be526c0c296ab86fe5235a4bc3b55522ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Set2 False Passed
8e605d92be200408fa8796be9376c1a90b5824e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set2 True Passed
fa5d5cc595bc05c2f47b000c4a32baf673411196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Set2 False Passed
cdbade451b5085a805d5363e2938e566774295c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set2 True Passed
d7e698d517e36ee9656d7ec711b3c8704c60e161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Set2 False Passed
f8cafd914cf378f947c1562a140f0d3e998b3304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set2 True Passed
886faecdbe625d7d135128804bd9a86eb0f59542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set2 False Passed
26b77ce1455f8d115101213262c4d258cfa451be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set2 True Passed
937db00e1072abc4b3fd4194d3f22c463fa587b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Set2 False Passed
4450ffc51bb5bb9ccc829e8f6c06f6caa2940748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set2 True Passed
f11264c40b2e82176335f831c7ba6177fb155647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Set2 False Passed
afe92a16ff4c8e699863bfea7c00b0fc212dc55c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set2 True Passed
75d425e68ca47d0a2e0f1c5c8ad9e5a093100922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Set2 False Passed
986c1f9111d61b8e8a05babc1565f3761209fcf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set2 True Passed
c65e51270c6d2cb36fec1fbe3b9c9c3482e4125b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Set2 False Passed
0e7acc394c6776d157eacc2e664c39cccbed9738 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set2 True Passed
30702f8b6c781db593cfcbacaec627b32cc547e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Set2 False Passed
84e60901cba762c6f45f2121822fe9d4a2bb7c99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set2 True Passed
d0fde5b13ff7653058d33904833c39fe4b98b02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set2 False Passed
1fb6b7d9181533e7842dd8e0585925540e7bd8b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set2 True Passed
83c6ed1b761875f1d95a49a5bea9583789675de2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Set2 False Passed
0aa631e17a26f9f575afb407041513cad4233274 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set2 True Passed
65d922c882d7497670247fb504e60e6e4f9454a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Set2 False Passed
5722c7b0334f16e3ada239a6f255075ca1d6a4ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set2 True Passed
1b6901d8245243ebf689f45edc8a219aeb7f0e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set2 False Passed
e32980884a0d22dd6b231ffe1358955497f96518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set2 True Passed
568efad5e4fea90f5efefb03a18f5de73a1b0cba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Set2 False Passed
f555d93d70ecc9a2c68fc674ef22be841e64c69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set2 True Passed
3c3044f09c0d0f4d5e9c6db9e51af9d0d85fd45a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set2 False Passed
8e2212dff2f423f4f419316e42ce21d57f9363fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set2 True Passed
320c399145fa5b84b85553515f4c3c92ce2e6c50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Set2 False Passed
8ae290d490dbaac1d4efdec89aaaa0c5fc904386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set2 True Passed
c7d80501287bcd4f826989ec619cb19823792cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Set2 False Passed
c97e86390be7264024559dd5d22d699d768c563a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set2 True Passed
80dcfb7b3d1f33d24488c2c9c325aaa091015ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Set2 False Passed
d82422316a5fbebd24aacfb716e2b6b3954670e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set2 True Passed
f0fcb4a32fa799b5fc90539d2d8c81e76826a8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Set2 False Passed
ff386268614633e558753e2a8e18fbdafea86e09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set2 True Passed
1318912498f8874f95d64873b9fa9f497aa02d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Set2 False Passed
42ce929940e3e5b97f86fae80c248fd8f5d11565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set2 True Passed
8db9cd8d026516b05bc2bfe64b2c472445a58c90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Set2 False Passed
5b63364d6772d68b35c3038a600c7fb58778319e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set2 True Passed
91bf10a319ddd3b658134ad61caa529fa9183d8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Set2 False Passed
d0d214ff5f880d1518b76c32ec03aed1738365df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set2 True Passed
54effc16bab91b5477c0bfcce8c3d8151c766195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set2 False Passed
39b3f6a9f26e6b286dcbf4697eb0475bd976fa1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set2 True Passed
e9c95ec6a82bc96b987fc8658a4ee034417a355f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Set2 False Passed
368886bc6eca5a3a913038bcc2a29568e5016ae9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set2 True Passed
b4c01740f049f8db07e02f15e42bf28413037f91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Set2 False Passed
1e42808e57e30a3a8f4749f41d0dc7781dd8e969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set2 True Passed
18b816b3e6ebc5d78626aa821fe4d032dc5bf127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Set2 False Passed
a2ff8dccd280beea8835aa0c2ea41d347aa82044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set2 True Passed
fa9a185e289b311972b9d0ac9e12a173d84297bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set2 False Passed
57c5c53061863b7537f993c5c18bdcf8c36886c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set2 True Passed
fb2e8c9a14182672f0c8c7731dff4927c319f25c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Set2 False Passed
6f3143819b1a0eff76766d2d81ceb53293ea2b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set2 True Passed
98b0395e2f4f45588dbf2a714e3d7a38b9007515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Set2 False Passed
090ded5077c64df1cb53b6d0127295b6da34bfe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set2 True Passed
0f63d18442872d26e55557e08e81dfd27f14f9e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Set2 False Passed
d13b6bf7946a91f56083c158de6eb5973fbcf459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set2 True Passed
8e0efb47bc978d1c7510ed37d21ced3527312d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Set2 False Passed
cf92647a137bb07931a0856d805b565684e49c4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set2 True Passed
e628a4e792800d3958a0b88faa20bcb9e642a92f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set2 False Passed
7137cce17eb862786e56df97f23dca04d1428a81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set2 True Passed
9b8dc76763169a01fa81c2fbc76a151bb31f5fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Set2 False Passed
4f56949b8dacb6aaa36c86c997ea04c6d21e3cb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set2 True Passed
f8800e2d21ff761a1242c35c9bea66b475c9618b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set2 False Passed
b35e67716dc384ce1b53ceb250f4a39511456879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set2 True Passed
eee738aefa8b9d5b40f3844914d60e9c3f5d9bdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Set2 False Passed
271506047009a29ce4b9e1446a02bec398815ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set2 True Passed
68d9c117696a3f692cde51ba126e9f378d9faf04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set2 False Passed
73dd3c0d07a0ced4ee4ba97dbac6d1e3f69c608c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set2 True Passed
f4a140c544a30d0b764b74224165c6cfe59e5683 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set2 False Passed
d862e6b49fdb92b834780eab6350532b6db07880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set2 True Passed
1018b002c2fd083fa33fd14e1f54de0d74e322e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Set2 False Passed
2d4118913ba4005d4e09da36f12507318d29a1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set2 True Passed
29165b99df82cf19fc6e9d215e28ba939ef5d35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set2 False Passed
d283a1b89a75865bd90224947457c3f1af119884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set2 True Passed
bbf6f77be88eaceb5bafefc216b286ea343ccf05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Set2 False Passed
eb5a1f76e6f8b0d152551d8a33ecbd448a2a58ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set2 True Passed
2dd19579508fbab95ed30694eb144b464653b12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set2 False Passed
16ba3280c78979ac97e2dc38a1aa5fe05e461429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set2 True Passed
536755f08da81b146438b071238bd876c0ac1392 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Set2 False Passed
e2d9e15d5f3aa237ddf0cd0dd2e5840233bea024 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set2 True Passed
3f68c7a759cde3eeb95caec866d62ac5897af2ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Set2 False Passed
5429d687686767b74c469376cb49df440d91395c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set2 True Passed
8ed4610fd87e5708668dd4e639b95773ac14e0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set2 False Passed
4d280ae719d0013d1220a102d30f66ca177e54ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set2 True Passed
ebd0fd1d36bc7200691a3115d95254a9e8a0ed68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set2 False Passed
887a154f959b6ab13015804172995a414f6a51cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set2 True Passed
ecc50597a5b8d80f189bf94b266bf3b069faf186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set2 False Passed
58b497b994c26d88604f03e9dd16ecf2b5a81b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set2 True Passed
f59d88cfccd81bd33fc123abd98e0e585259489c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set2 False Passed
3b14267d20c8c2e559c29e3b5f1005ba1caee676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set2 True Passed
3668528b9904030e65fd3cb566f9ca21520bb6e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set2 False Passed
ded6f01848521ea7387d17773d82282bb08448c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set2 True Passed
49b68b566db3a85d817a57830320c97113bd1424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set2 False Passed
6ce324858de473a5cdce7f2f55a85378768995d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set2 True Passed
b0e298ec2533fa11620f0af8b8664e89b5d83a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set2 False Passed
758e3a6a81181277719555b789d863c586a62554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set2 True Passed
35cf5f0c3881dae3ac8b6e6ece38705229ffbf3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set2 False Passed
d305fa960cf71e483d4fcb9babf76240a01617c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set2 True Passed
3907a54316e924f171d5684ceb76eddd57417bca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set2 False Passed
8beb92a0fe2bc44df33e464b7b42aace1cd84869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set2 True Passed
b821f17ca2c7180fea5c18a7ba82332b74c4da20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Set2 False Passed
550b2dd091614db53766ebc70e70fd5d2b6b9557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set2 True Passed
d4ee86d78ffd61ac2108d9e9d28e816a0dd5bb61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set2 False Passed
fb39ce0d19abd923b88e5115c3345fd46a4bb852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set2 True Passed
24a677a5f91daaf4c7b701ce5f9b7f5a5fd33883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Set2 False Passed
8ef2fc3c5125b1a298e257e6932f1eb72f1b6dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set2 True Passed
3aa26493b3182795644b4285dd6a802bb973fe23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set2 False Passed
b940b91cad8eeabc3fd317dcf88f3c57d68d5dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set2 True Passed
d55f23b80ff49009b28df967227b3a509f12def9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set2 False Passed
15988696a0c1d68ecad5756be123d46d19455d2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set2 True Passed
6f328090f2ea024a9bd9481d510e1b575f5bf39a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Set2 False Passed
5df7564b4035c8d301bc9424da6a0b7ae643a366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set2 True Passed
1df5b5e096cfa6493272844aebc8f4eae18a0973 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set2 False Passed
315a1053664b5d6ac21afe7346189e1730a35520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set2 True Passed
b2a508d9390ce0c5ead2ca4e8ff3b77fb7e2446d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Set2 False Passed
30af781629763415fa4e4a45913126e1bb187369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set2 True Passed
4f38883fe23b61fa19299d18986eb1b75d9c2beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set2 False Passed
5491111e182adffff4253bd5ec9492460402fea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set2 True Passed
00bd8d8ee6ddd45d58dd537702fcf2370ed4be9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Set2 False Passed
b1ce0cd3e292bde9df0186192a785f27225f1bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set2 True Passed
0907f3468dc48c5b6670b801fb254c7e8a235917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Set2 False Passed
9da5eba0322e178083ea42c7942202585992b907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set2 True Passed
a2c28fd113892d02ee5dc05c11ba13dafbca4c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set2 False Passed
f5c0619211d41eec87662be103f9f70a49750c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 True Passed
98ec34ec3aa448f73c228c272d8ec4dfab36e42b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 False Passed
42792afed9e98c62f254efa85653234b80dfc0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set2 True Passed
3a6db0531a9e9ec1b427de7ceac489cddb05b194 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Set2 False Passed
b0d28b9b1e865380d82b82a4ad266bdcf9b40ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set2 True Passed
5e1b9fcebd0ff095f92916906fbe7b680625d16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Set2 False Passed