Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ea4fdebabace5c2d23c06f0ce047570ed046cdfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set1 True Passed
2eddac435659cb777bbe98dc361856ad2c672e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set1 False Passed
747dfb6c38db936cbda7dfcda729988abef733d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set1 True Passed
629d4900f2d4052316c9e6103fb72b5112069c45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Set1 False Passed
e406d1206c5f227c1e64bcd61f6b6c92a2d60cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set1 True Passed
ba1ae9161b554bbe31b012f4e45943165af94f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Set1 False Passed
066bdc320253585d9a34300c13aa9c52ccbfa703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set1 True Passed
b21953c4e1c26ff4f17a0e27bb1f9a3ca4c7e244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Set1 False Passed
57dc6d5cb4ce530c29713d4536af8dff4d8a2000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set1 True Passed
6aeffe560ca162a8d2a18ed55bb61ca4c301a7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set1 False Passed
2af6875bb096702a375567522d9f862044403b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set1 True Passed
1ab97bea6c328e411b40373168b3ed77ec40c169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Set1 False Passed
502385f120466eaf065a2a791e9da36bb7f1dd38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set1 True Passed
a2ac87a916875ba250b80b971f82b2608bdbcdf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Set1 False Passed
7d16b943b07a9da2c37744a1eb91fd1c742ad7ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set1 True Passed
e192ec435b1b27252069c5c29abf6f7f875332ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set1 False Passed
c60c1ab25f32d473b6c24c5d876ca4a5df7d2715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set1 True Passed
04fb75793666ba9559a5e66bd0a58a8bdd0cc1ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set1 False Passed
227d7f81d137b22243397440d16ff5b97d0f1929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set1 True Passed
4bb84a1a9e854f5dd5f371ebcf77c220839372f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set1 False Passed
1293c238a83a685bc78ccfd154782cdf54de629d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set1 True Passed
7f8974ccf1a16cae3a273ff32bbe99482311f1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Set1 False Passed
a5898d71018dc66e0cd22e7c19ded3aed95daaaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set1 True Passed
5d07530037969397341fe0540c077279a6af4afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Set1 False Passed
1558081f29c39b68d53addf86f99b6134f53d223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set1 True Passed
633c291f4493cd8f7b6d076d5e837835afa5ee52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Set1 False Passed
7fffaceea6c117672c494608d984847a56c93afe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set1 True Passed
fb2e0c8d08c9aa6918e4bf90ad7d77287f2f14ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Set1 False Passed
115b1d4f65c141069eb2a44e4456edb2d9f31cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set1 True Passed
7433eba86ec1ad8109b111de8080ba26c0f4c902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set1 False Passed
7ef799f694824569cff09c40cfdcd51b7d20eaf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set1 True Passed
61f49782ee46e6379c181269fe31820503bcaded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Set1 False Passed
9d5f03e694356785d96de7c910ce802cc2f4307b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set1 True Passed
58b94e11ee1c49ee1493100f3495ca406581e30b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Set1 False Passed
53aa7ef839816b00648bbe55067d49abcb49d600 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set1 True Passed
9db15590c23a7b4717b6826270fd8362c65bcb0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set1 False Passed
6d977ef33ceeff00ad4af5e0ab2db78a7eb637ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set1 True Passed
7a57e9c27bf89a773a2545cd95ea599c7cca374b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set1 False Passed
c092d4cb131796cb9ea03aae64093de4418dcda4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set1 True Passed
8515507772bb05277da616f0dcfcf707d1c7e472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Set1 False Passed
1e52fb20c726f27bfa31e564976effb0c3720633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set1 True Passed
6ed0c4e076d3e2eb057f2f2d11c86d88ff414c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Set1 False Passed
c6c18f573e4216e3489220152aaebdc28c3340d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set1 True Passed
009ab71998f2dc151b9c4f863dcfba919ee9e1ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Set1 False Passed
391e499ccd4209de072e71caf49e6d4bc4390565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set1 True Passed
d2e7ef93ed3964abd7d3259911bed28f8b9f962b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Set1 False Passed
1356830d0620360fe82edaaac49d7d72adda7090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set1 True Passed
4b7b140f75c82e7ea9885f751d2410c813992669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Set1 False Passed
2843752a478a9a475fd34888fae936a6fba0354a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set1 True Passed
ffd09ae5ec593452b9ff668d6b48fcaaf287c048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set1 False Passed
7b5df7a73d575c90ae29740ac7cf4f40736f4990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set1 True Passed
a5a903a689580d9a06d4586ca12a596a5f87b58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Set1 False Passed
b791bf951ae28502d3f0cd934bb465506f594cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set1 True Passed
f04c47ce1566d9438401d851c137c2eb0faf8874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Set1 False Passed
b6a6eecf1beadc78c077eb243bfc9d76ff6912c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set1 True Passed
3c75efe04203471fd48f52da99e4ad0af30e8923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Set1 False Passed
661fc596711c0910b7b4f486257a6b8a911487f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set1 True Passed
9b6b1fddb8b18e170f4df5663d664ecdaea42666 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Set1 False Passed
18d5d8088e63a359e8affe7ee5faa5f850834ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set1 True Passed
47e458b13c359cf7aafc216f65191ff83096c6d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Set1 False Passed
31d5ddb94a594ec1649244de42938196e58c3463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set1 True Passed
d3e335ac58832bf72c6c4b37d6b795fd525e6bac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Set1 False Passed
23c3dbea7fd7e9dcf65c7337d98229d759acb134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set1 True Passed
f44f18b9853eef3906c51561be1dc2487bf9b485 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set1 False Passed
d0803c828066888484f6eb114fea86d945c74ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set1 True Passed
29b393f645d237374c38ee5a396fd31561e369f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set1 False Passed
d6e51cc369cb4d4cb37ba3b5f9b5a09d6c262ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set1 True Passed
e5592385d31435f886905e59dfe877b1b6ebfe2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Set1 False Passed
c87a2ef0f3362033d856d3e25287a2baf299ec59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set1 True Passed
3810de7198eef332068e3fcc913709d74fb68905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Set1 False Passed
439234adffe61dfcada885ac73ff0a3eea78cc14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set1 True Passed
fffca15322ad476d05a5d259e51911ad4ce52ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Set1 False Passed
dbe848a768ecbac2cd8e2f074de1d74436e3ab32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set1 True Passed
78761ad3b2d35d47b8488fe320a9904a59afbd5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set1 False Passed
b6564fd8c5b92e581bab3cc7eecdd7c754104247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set1 True Passed
ddef50cc7668e3b583d8ba17a6490241f60024ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Set1 False Passed
685c9d05d5c95ede732265b038450a68d427c170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set1 True Passed
90074cf6b7253fd65208c377de519ef7714a7913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Set1 False Passed
5a45f3540011a80c5057d33ed2d0c94d59fda749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set1 True Passed
852fab68f118209b78e44e9097ac0a86ea78b63f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Set1 False Passed
f2714629084ab20f44bff1338516d148e64b26da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set1 True Passed
28ce9d200d97e302e172ae2e6197867203c0f0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Set1 False Passed
6a5a99b1f2e4a54a669aee6707603347a6f126f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set1 True Passed
616c5de84a1ec75ad2f6f7d78aaafe0a386103ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Set1 False Passed
8a257d3a1a50937eaf2ff5ed893d3e66d3cc2007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set1 True Passed
e147a0fece8e0e32b3ce2b24552b90dd8777385b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Set1 False Passed
a02e60b7b1b54352adf3308887061fd2d48b6a06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set1 True Passed
fda1eda8a3cd832f3fa84c64a8bd080f2d99f0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Set1 False Passed
1137d8f7886f3ef265a0743893a14741f2aae1ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set1 True Passed
918751d42ed47e3c7ff11dd1e824695f07a35a56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Set1 False Passed
4353bd2e7607f2238d31ab4920faacf3ee7ddf36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set1 True Passed
d60e3b97926a7c87501993182632b0b01b8a4fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set1 False Passed
4bc7d6c13ebd53b3c4203161dd31684e687a5b11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set1 True Passed
63b15971e3e58bef47552b034a3ed4aa367a718d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set1 False Passed
af06afd2215094065674bc2f26ee39dca47afe0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set1 True Passed
52fe23dedbd69ec32a1fedd74231007507b2a9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set1 False Passed
c51421d51f916e47613d7e24f9df16eaea8a1da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set1 True Passed
302c193d4df55feb30d2c79ab378286413b51c11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set1 False Passed
776ede32d300ffde79dc5633729a742cd8934126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set1 True Passed
0671d779b454b8088833e33106ab616a4b75fa0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set1 False Passed
7fd03be4e628309135ef335229dae845cf7773a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set1 True Passed
70cbed58c65b4686af4e5b5357216efb50a0575f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set1 False Passed
58ae0ddcdd30fae1e93f0fa65904f13e09ab9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set1 True Passed
2bee235c1947e1385d34a890bed74a234ff24850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set1 False Passed
d0ca67e5897ff22d18d8978e047d4e7c8686ca63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set1 True Passed
454dd614c347f0a76e275809fbdeff95dc352e02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set1 False Passed
9a03eeb96a4ceea90f7470fbcd5f66301ebccc7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set1 True Passed
b05845aa61eb611d28e67fe8f9f4504996616209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Set1 False Passed
5462e08821baf1f29c8d65fc68da89a8e3dd45cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set1 True Passed
505a12507f60f20704c90fa3c82c9548a41da998 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set1 False Passed
78fa208c7c9589bb50d422c53084531e48c9efee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set1 True Passed
40ee127f2236660812df675466ecaf08adf1519f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set1 False Passed
244d46621e95a30edd2013d05ac81e8f8b5608c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set1 True Passed
1c36e2bef6b044aa5ca3d8bd11b6cd58a6eefb3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set1 False Passed
9937a79c53b051112754fc7f00c1085bbe6bcfea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set1 True Passed
e8abbc0e7f822669c19224baa90ad737ba71f4a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Set1 False Passed
83d2a9b12b8d9b80812181ecb2c49da10e7ed52f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set1 True Passed
0b929d21bfe44d4b7ff4519141f415c967871d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set1 False Passed
98935326150079e31f4f08a4d422d81ad51c6c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set1 True Passed
c8156651474e7660e8b173d85e859702e0dc02d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set1 False Passed
b51a290f4fff4fee279799f43a034c281f803eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set1 True Passed
6b496b38bf6573435dc4f954e64f440dc9a07708 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set1 False Passed
6768de227ff2bb2f622afb4de896843365bbffb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set1 True Passed
a4606f93b230d2d025843c8c80a146af4fca6492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Set1 False Passed
d2ddddddf617df37f391d8b55f60175f0153ff68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set1 True Passed
daf4def87dc5aaaee60a73d42867f18e7425b4fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set1 False Passed
d181202c4609f1eb081883e344f0772bc9d3ec62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set1 True Passed
662fd5c5f1644b1f6e072ccf2aa6ed9b6f0cc1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Set1 False Passed
00fd5d5b8194a755cdbdbefb5d0f99275007648a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set1 True Passed
c94854cf6b6b130bb2e54c9478b597bcab0e372b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set1 False Passed
d68bb02932358d1d028bef563b30f1828eff0d2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set1 True Passed
aced25d42e5a9e726167b67533129d34cdc36eae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set1 False Passed
d748e1f076cbae5ba847f5f31f5b1d86a81771e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 True Passed
af969fb100f94cfb7d012bd0f40f646cf55dd04a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 False Passed
96ecd60ae42e32a67c567a7fc25a65855df48768 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set1 True Passed
5e0cefb9f77cd189495465dd955e220f466a444c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Set1 False Passed
849ae7efcf585e44068eff1c0b51e773f8e658a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set1 True Passed
6ef1ac17cf2149efb045c9a01b80ab5e9c096b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Set1 False Passed