Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
26285028d04e0ae69124266ffbf35d6c12b1b003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagToSet True Passed
1ced8bb4fcb3bc464f72ee717ec091be5d07aa68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagToSet False Passed
12218548f6c1943bb48d306d0cdcb3abe7c9a504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagToSet True Passed
15d211df0d3de53fcd1b3710876df4ac99d34634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagToSet False Passed
d618378a91bf0650366536cab2e954724f80ff87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagToSet True Passed
bd1f03b306d5a25d58b6ab71582d50a5f7e3205d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagToSet False Passed
a745591b2057cccdc6cd86926a8a2d491a589caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagToSet True Passed
449412c774f083199ce9c5636ca372bf3ed4dbbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagToSet False Passed
51822c189d20185399dc59641b383037bb5a4520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagToSet True Passed
8ced34ae2fd847b86aa2f95672867eaf25e42aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagToSet False Passed
485b288aee7c4e18d661d3be6b1668a5af9e38b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagToSet True Passed
91228072d53a14019dd275d98f0efe26b492979a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagToSet False Passed
4fe1d348d88e9d66cf31973e8106e25a6522313a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagToSet True Passed
8fab0d2e36924d8f652834bbb40db229e2f8aad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagToSet False Passed
75d22dd5f189a2a3ff2d00ea4adc579f3e2800e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagToSet True Passed
04dd0df14eaa157ddd1bf1e9b846f2ec128c1888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagToSet False Passed
76664c9d1f9eefe536c01c08db61fde0afd82989 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagToSet True Passed
e7857cf4242604a38ff4e6bf87da47a87b935d4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagToSet False Passed
a87da96f565b34d5063c960d8c519981f8d58089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagToSet True Passed
f08a0009dcf5d2a7ddf0b387c613d8b8bd976335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagToSet False Passed
36c72607ff69e00c793d10f1066ed4f9983aa89a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagToSet True Passed
3b427ccbe3bf45293b8ddd4435326fa6cc554bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagToSet False Passed
440734ed26bd9b0eeb2c41bf2134b87434c9c7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagToSet True Passed
a449436f7a8c697ae082e5dd467917a3185a69c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagToSet False Passed
5ce06ceba6857890aea2c930082a6bf172e2f51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagToSet True Passed
b48142b8af244e2e4f11dfa8c4ccdc6a4ffb1416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagToSet False Passed
03cb18dfab050bb11f8e4bc74b8cdfe064da591a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagToSet True Passed
166490f93e29e75cfd57c7d995fe1f0d9d6deb7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagToSet False Passed
d3be163e61250eea84390cb3a7261e3e00007e07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagToSet True Passed
710f6b9f345d72347ae7bb27695035202bd2acc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagToSet False Passed
c72040da881cebdf66e29680b08057364cfb78f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagToSet True Passed
34f40f8f4656a2be879eb38c2b7d6082e2fe7d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagToSet False Passed
f10d73c8fb0165c0e38d3d5fcf7a4e2447bf315d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagToSet True Passed
6f8cd1223f1fb0c4bbfe7270f0b9433f9f39ce6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagToSet False Passed
83ecba7695ee8cab7ffc17088d450a6ffabd2854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagToSet True Passed
b4200ce0fa649a960f71c6dca4ff08f7473a2e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagToSet False Passed
d2a53a66afb6a3912162b17385e84514f4637983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagToSet True Passed
68e55a3117a40036b72dc2944f6753cd9d0cc8ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagToSet False Passed
9a039f3665241c51827c0f4ce8d7fc7e56a9d9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagToSet True Passed
6af875283d31a79990b84f1cfa85cfbe0311702d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagToSet False Passed
bf8cc8f70a2b9c00cd33650d5fa7ab0a5acef6d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagToSet True Passed
86a26b824c9439e37b4cce59ba61a28d451d49b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagToSet False Passed
b30cc26e140d6f47d8f455157499fda0ab718adb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagToSet True Passed
461b4fe36dcb936aed5259c8c5d1f7bc38c42c29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagToSet False Passed
2a3376b931a5ba6b7787696f6283d02ca8c85056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagToSet True Passed
a275cabbdd77ddedca02eae1cb267b5f6e9d5ecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagToSet False Passed
abd67b967d4f7ec500b10acdf59a250aaf7b986a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagToSet True Passed
29eebc38e6f2b74b023ad95083a85d462d24033f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagToSet False Passed
819a238640ceb493994bc7c8925cb64cfc7468f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagToSet True Passed
f527304044df781c26564b9fa6fb017959281727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagToSet False Passed
11907a9baf3ace4a85f6bc165dfa37566095ac38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagToSet True Passed
c9adb13eee7e544a360f990f4bbfcad4ffa61d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagToSet False Passed
908f75f7dfc0065e4c18edb51c381c5940c6b93c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagToSet True Passed
b86c1e86c32758e448d39daba66eaf149e61d12d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagToSet False Passed
015ac06ace98c472ae0ebe342e5db5b028544aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagToSet True Passed
7f1055874e5a145a585e7fcf9d398abaf26f4374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagToSet False Passed
4884884a236d41c949c66a4624a4b035f49ffae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagToSet True Passed
4f60a37beeecd3777922feceee8f4bdb67e750d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagToSet False Passed
2db5aa81b58bcd6a60562601eb3355635e5cee90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagToSet True Passed
13546cff5eef658b33c5ce7fa374b68a8ec1d61e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagToSet False Passed
3e5f21a0b46078a81763f31fe20d82b2baf5c3b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagToSet True Passed
49fc80b35f460d1684c0a21c932df7f85fd218b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagToSet False Passed
ef85b691ac2a72cf2539391a6ca76c4badc2ae55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet True Passed
83203b46594b167fb8e461e7f02a2f088b5038a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet False Passed
767339b5634d54ab1327309ed30df9e7670af0bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagToSet True Passed
7452e6bba70fe96635361e1379e959f43181ce11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagToSet False Passed
32fca6634e939df47797ecd8f58b30821e37a29a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagToSet True Passed
3055db576fe7f9f50a777dda994177956f05e1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagToSet False Passed
c38ec2468ef5946dcaff864715749179e2890ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagToSet True Passed
0eacb2caa5244d88324db521c8ca0077d0690583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagToSet False Passed
41f83365b794a4ea2eb5f5a86fc046bbe04edf33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagToSet True Passed
2e2965c2b96b291fbd8e75cd331b58822f519547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagToSet False Passed
0961c5b2000eb7472501bf80acb3ac76b4e382f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagToSet True Passed
d6b71a3817baa06d7d423fe385691acecab6a077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagToSet False Passed
986cd8989289eb0020e2a02eb3b96273eb183a6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagToSet True Passed
ddbb105dcc81a836c6cb84b017c234299ffd95f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagToSet False Passed
79c62087b87e4e740b957a3739f6b697560de42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagToSet True Passed
a74df20101fe81ed76bf45af7c8eea94d91fa14d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagToSet False Passed
880e0278ce50042db4a79615c0b60c676fcd1c3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagToSet True Passed
5a6e97fb88700ad62d083420aaea424935ab9a0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagToSet False Passed
16196ca82ad8d4a9e15c054b97b098fb4a4c961a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagToSet True Passed
d8d7c78d457f1b9644945674a3cc529c5f78b836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagToSet False Passed
cb0c2642718fa8882a44b8002588a999548a9b97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagToSet True Passed
9925deafe1b260d1e3b2a19f432b6250e8fe4e7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagToSet False Passed
ab17428c3b6ce1cc0ae4e6afed086c2562832ddc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet True Passed
14e0d5e096bbe64ea3e882616ed7634a34c183d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet False Passed
cf2a83eedb653ed9e8319169a099fc3b8a063074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet True Passed
b31983695424c7c15f7627451c2a0b2a57855976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagToSet False Passed
e5aa8de5191319f04fe79936de9af3498f4ffab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagToSet True Passed
8cf84f341489bc0fc61224d3eee3ede5a560b0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagToSet False Passed
0bea09ad71108c2ae7e2d72c10d15d1b28eeab86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagBagToSet True Passed
5ff6575f09cccb60377ef61c38aecebc4d883d75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagBagToSet False Passed
0d43cd51d5d3b33b3e82aea644810fc3240bd1a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagBagToSet True Passed
aba807af1bc155ea0beab189e7227cf99056b88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagBagToSet False Passed
1a3432923e56c9aa35e1b4da901e44c931500d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagBagToSet True Passed
cd82100b339cccd77c6af2089a392c5fc49d4892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagBagToSet False Passed
5dcace46b215e19cac1caf956a373245063559b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagBagToSet True Passed
562d81e27d6c02cf5d80a0060c88d5f0726b7e63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagBagToSet False Passed
33f226f1889432db66a4ca69ae4a4c1a250d286d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagBagToSet True Passed
f5b07a1c56669951cc8f3e9ad2975a45b484e271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagBagToSet False Passed
82494d08800681a39ccc318302dba14d4ff602eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagBagToSet True Passed
6dcd356069deb35e639336b3ef09074e750be73b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagBagToSet False Passed
9cffb6129de0d6e9c7e2e92f5473f6acd5aeab02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagBagToSet True Passed
13e694414c3c365b979bc317d13987591f1bb18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagBagToSet False Passed
7b9b5582bbef0fbd1b7ac11b26ebd51480b6cace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagBagToSet True Passed
01a663e859c4bc760d491569cf4baa6656b3c9ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagBagToSet False Passed
4f9a17afa81b7dfb24bf4a34776bc62673680856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagToSet True Passed
e195cf6441b89a187e01e244c26b3983ec8b185f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagToSet False Passed
030637e043c0dfc8a8187fc6ee64cb28f027d6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagToSet True Passed
a88ea0a1b99ca6c9f5f5e55942c4192f0c07d8ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagToSet False Passed
821b6890a5ffd8ee615581e7e247654cdb9400f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagBagToSet True Passed
e4d23c3ff41d5fa79501e3e79cd4d449253a1e3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagBagToSet False Passed
85c29253430481ea0b88298d2462b3a826da8803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union BagBagToSet True Passed
9eb81e62ec984c9117e6f23a3162995d09661044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union BagBagToSet False Passed
52b0417e256fc16676254d907e15bfe05cd2b953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagToSet True Passed
e898f7abc04d99a9ccb911b1b04add8951d38541 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagToSet False Passed
3b2759004806cfbd019e739ce4efb473331ffbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagBagToSet True Passed
c108be76a5eedfcf04f0fead4373c9a1f76b1199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagBagToSet False Passed
80267a9da1114ab72ada5323bc2873ddbe1c81e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagToSet True Passed
316586f75085041626f9f6c44588d5c9dc852543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagToSet False Passed
b104ad2cde2e28b5c0b596d3ec8ab788e0c30012 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagBagToSet True Passed
ef8d6c17b4cdcf5b7404573b7e79f5a731a38254 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagBagToSet False Passed
500a8c896c57806149b8f8c9a3f144def5bab32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagToSet True Passed
6d49aa1d934d7bcad19d159749f216a974da01a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagToSet False Passed
a52c376c032b06bdf048bc2599ffb8eae98e5a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagBagToSet True Passed
118dfebc2da41b3c8b679de307d932b271fa23a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagBagToSet False Passed
3cd8524ad8e4d1510e675606b50593a1312e5e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagToSet True Passed
2d2a013abf81849d01e67ad2449a724d6cbf7452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagToSet False Passed
879e501d620d2a34645c230b04d6543dfc435427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagToSet True Passed
f44c39819cf801d5d3f2778b7dcd22c7d086442a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagToSet False Passed
fdc536f5da1488b115654ea1547a37fd85fbd4be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagBagToSet True Passed
29722af549ac97de41da68586b6147b0a17c9c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagBagToSet False Passed
d852766a711dafb379819ae4edad2356b5c4d4d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet True Passed
cdcb8f15dc2e88d5bc4a2737254fa6b45cd09c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet False Passed
f7011debdae8a41e7b6a7f7adc7ce92b02fb9395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet True Passed
5bab6ca2a2da52694055b6072b24c5d216050fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality BagBagToSet False Passed
8d8a0f531dce9060e22f467e3109c1008befe85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagToSet True Passed
64ab298825dfa6fa640a057389b6bddbc1093fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagToSet False Passed