Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e53a956c5c1781a503e8582a932425e74132cccc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetIntersect True Passed
f2777e5bf9f9f06bdf3c07684f1a33bd6685154e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SetIntersect False Passed
787168d5911943470d671b3842520c85a10949b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetIntersect True Passed
d7923b5394df07568c3d3ad4684eb91d9676fa32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SetIntersect False Passed
fff554eba80527dfdbeb7fe1f2ab63f6e6d502c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetIntersect True Passed
19f7affc5152a37f846f2b9a0bc2d5ba867baab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SetIntersect False Passed
17a121509f98248286c3bb1116f3bffb9637c836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetIntersect True Passed
32fb76af405be8d8d010b0f6a496701776aa4d8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SetIntersect False Passed
ab5f50fad7801794dfc8b9fed0b0088fcb26c244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetIntersect True Passed
7b828dbe7c8e8077f6bd1a080177804b1592e764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SetIntersect False Passed
894b5949013a7f65c12a246d043b5c07624aca26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetIntersect True Passed
b68ae36c6ed97ed49a705718adabecb68a8b05bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetIntersect False Passed
8686f4c1a3efd7d5ebd36cee6dc18a57f20344a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetIntersect True Passed
53a27da936a1c8bbbc543f564468db5ee99dcaf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SetIntersect False Passed
f80ee55feccba652ef0e2e320b95f5c652a1421c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetIntersect True Passed
daf2c475e678f51e9aaeb4e837171bdd00b2a5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SetIntersect False Passed
ca3b8f54a33d26d4056994e27a2fe581490df757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetIntersect True Passed
2dc79dbb60c0ec00b918029df9f092eda207c580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SetIntersect False Passed
1f6f541a1ff52709de327b5b8a5467badd79f6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetIntersect True Passed
ab1a83b3ee5555e525a397926c08a67cd806a643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SetIntersect False Passed
cd627268499d836e468f453b51ff03c68a2f07bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetIntersect True Passed
10b1882f9870276014c0808b49d55bb2b688c72c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SetIntersect False Passed
af26e5c7cd390a3429681d65e01c9ed1b11b055a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetIntersect True Passed
76bee601ff3473f280f2bed87d6dd38f0ec231a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetIntersect False Passed
62fa72b2e35732e10c67c4717f3298bd0341e380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetIntersect True Passed
4fe32d5d65539081c273945e2aaf8f7706cc3dfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SetIntersect False Passed
a90e7d85ff60118f7bc4c13ec15ae09ae4a8d174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetIntersect True Passed
939c5efe8c654cd8b583544b0ebee7a897ef80c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SetIntersect False Passed
70b7758bba74715f84143b1b4693ece0aea201c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetIntersect True Passed
ac8ded28815e1bb61bdc0e831f0bfcd9ac8d8661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetIntersect False Passed
b641aa62dd31daf35f5e18c6d6a55c668a0ee547 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetIntersect True Passed
eedf7440910fdce6f7de856600528e39851a1fee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SetIntersect False Passed
c7c2028eafb21d9b6cbcc17f2ee6b83a0b8e5635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetIntersect True Passed
2feddb7fbabf31355012f1c9fe780be0f86f73be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetIntersect False Passed
d95b6e5c7c10c738f1d17d17ddce467337c31241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetIntersect True Passed
a7862be11242266e84460cd4ae5cf045ba350e86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SetIntersect False Passed
7dc644589dcda99ffb90701812730cee1fbf3a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetIntersect True Passed
0a6f3274a43c9a411d99b35dac19d83358f415e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SetIntersect False Passed
45e1dba6ef0773d5e356116294b133699e4885ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetIntersect True Passed
c31ed6cf6232a2857f8f1094d1e438cd8d79cfb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SetIntersect False Passed
40ef66a72c7877fd2e6e16e439fc12fafbe23bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetIntersect True Passed
3b2314035b2907d7959a80d906d7d4ed6caf102d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SetIntersect False Passed
a2007bd754668b9931153d7e80d7f763061d6612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetIntersect True Passed
206248c28b1ca277bf5e74e9cddbb076fe3eb8d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SetIntersect False Passed
4c6b9fc8d93254340a7482f2afda2d00b13e439e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetIntersect True Passed
a2c99ec162200dabffc03cedef39ed2a227c7ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SetIntersect False Passed
cce778a463e38251b2742a8898f16b4f996bdca7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetIntersect True Passed
8aee887cbc30fe8238912c2d0ad815e34b26349d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SetIntersect False Passed
869fdf53e60db92b69ce4c611400169ad59f1115 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetIntersect True Passed
2d5984cd5b762c54c4bddbfe755810518c531b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetIntersect False Passed
7b586b9669402db2e79a87f6ee1f794e2b73a6dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetIntersect True Passed
6a78912d63b03deacd88a0a3acbdcdacb3c64b32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SetIntersect False Passed
de9512f2941fd3703f52e269ffb3ae47d77d4bed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetIntersect True Passed
185aa94a41b5e03836e01a6e76091d22538fa78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SetIntersect False Passed
f7902dff111b7e496d446f9d5e3baa33ad551331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetIntersect True Passed
7254a47fa226b43d6786879ed2a47e826529356a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SetIntersect False Passed
e3511a0a62814a92257e90cf0bdc4bd005ba98df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetIntersect True Passed
9a1291b1a787e344cfc4215a2a07f66cc20cca61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetIntersect False Passed
d51b5d2978081ecf8da3704a80d52dc996975f2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetIntersect True Passed
7e67c9e6bcb9a9bb3088ec301b734b01e89caef8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SetIntersect False Passed
dc5aafce7b9d65722aedafd799ea29e17b92c124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetIntersect True Passed
824dbe098a0363b0302b00f6fc5a2534b2089f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SetIntersect False Passed
9f0d3e1044c8fc908c48a3515bb41f18538babda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect True Passed
3ca66ec5f47c054a53b72e131e4ce485ce23d63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect False Passed
7952679687f4cc646246f596e6268c75f344024c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetIntersect True Passed
55aec5c2c827f5c1d92f459db2b50b957241f8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SetIntersect False Passed
ccbb6690e37c0908db715ed8334b7f20c6a3e4e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetIntersect True Passed
22a14584929d44c03b89c08f87b66f61cab795c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetIntersect False Passed
a9d7f6df7054e75c34a6322e9b33e39a866f1300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetIntersect True Passed
f2fa24cf52c4a8b3acde79712cbb5271180fcf88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SetIntersect False Passed
3fe3ce3394cf029142b2e3a3da37a968670cd69a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetIntersect True Passed
b8a0905250a08d8ae87bfd907abde11fec66008a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetIntersect False Passed
719f95fdeddeeb9e4a7a9a6d24612f519124f694 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetIntersect True Passed
f216a361344407b549fedaf0be3a305ef8120e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SetIntersect False Passed
76a85059b042a07863dafee5e4ca758758152542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetIntersect True Passed
eb76db82be90d2322eeb4e3b1c715ef0e9ff3a62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetIntersect False Passed
cec1996213ab31c1d236132870065983877bb631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetIntersect True Passed
e14a24e69c60a06ca1f92086ffb14556ae2d0d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetIntersect False Passed
8bbad0e83839985c398764618b46b8478f629389 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetIntersect True Passed
7ea0b9b5691cf62d8809a88e4f43d33c27420d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SetIntersect False Passed
b45ee78508742db89dc067d498b13b93ef4a07f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetIntersect True Passed
94dfc1e52a505e9f56fbe0a69aac2a11626b8061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetIntersect False Passed
e60fe95a5c26754bc9759bcb31a64e34f6015940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetIntersect True Passed
ce2ed88ef67adc0e2f83871cbfc1decf9048f38f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SetIntersect False Passed
e6f34599373e27fbd3c9d8d20468841a42a735e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetIntersect True Passed
c7c1a0bc1a6d1d0e8433424662a302abb88b1b36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetIntersect False Passed
dc93a7e11d6b57f2b4462fdcf4a71e3f9105a42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect True Passed
31cf13eb5261f48ff87364b4c3cb6942441d6b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect False Passed
600f6d01b7ceaf74f83e34e207ddec2788dcffb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetIntersect True Passed
4c089cd048d4078fc671f4b950cad7fafb5a5539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SetIntersect False Passed
ff24eb64cf343a139dc9a4a96e039894eefe30af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetIntersect True Passed
d35cec57abea71b9bb905dc80945d1d6062c0ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetIntersect False Passed
1cf2c9049c42d0d177b324a3287d1a0b54177cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetIntersect True Passed
eb7bfb861c5e1f69d14a9a054eb0a50e87a12d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetIntersect False Passed
b4dfe4f5a25542b1d07ad2620e1b5b7d3579952f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetIntersect True Passed
a387210091eb2f89af9a3d1d7f9ea26c6c19d681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetIntersect False Passed
a2d26bf2855ebcc268579bad56badae3b3b9abf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetIntersect True Passed
8a975796113bc3645eb17b8587207acea50d6a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetIntersect False Passed
c5e965b6ae7d5ce2612617d721170e62de4ab8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetIntersect True Passed
0fd5a405a6dee54c52d783b9c6bc962ec3b7ade8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetIntersect False Passed
d883960b7f1ec6a2895758059cbb8a317995f778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetIntersect True Passed
461fa07f2c64a548efd38d557d5b4dcad845c69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetIntersect False Passed
5d394c9e4f71c716fe391be45602d73430037f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetIntersect True Passed
8844fec8328cf1e3abfd017ffafa7270454e5da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetIntersect False Passed
97cc213cf1d5d773c346c4c83ca20ce59b339eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetIntersect True Passed
a903a9552657b149bc0dcea62087de1bb1c1c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetIntersect False Passed
c64df8b9eb7ea5660b6449d8ef675959acd71842 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetIntersect True Passed
d061db0514918ed2e9f10bb97f0bc766b6c204f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetIntersect False Passed
2aa8611dce6b9842dc0bd9a0c59eb55959cfc45b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetIntersect True Passed
7c74d5cc8386023b45481f73a3d4fa13885b8e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SetIntersect False Passed
02578af9a8406fcfe612dee6dc54df178b0d2b35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetIntersect True Passed
d414d17db4c5181adb02b858807b28bc956c90b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetIntersect False Passed
3b85dcff5ef178415f5a8d924a59a1f722572bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetIntersect True Passed
0225dc5f1c29fd8f6dfce8b8bf4b8265b60a3d85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SetIntersect False Passed
837c23f128aeedaf593c3276e023799c9db87e23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetIntersect True Passed
2195450462311c82f794e957c18f012f202d04f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetIntersect False Passed
05ce6691bb8056818b7d2fe3f783878077f2a56f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetIntersect True Passed
022ee4043b9f946dd53bb9bffb9a3cf8700d108f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetIntersect False Passed
bf270e2ab1a7ae8032a1fb16f605351cbc8e031d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetIntersect True Passed
d918d5125988a0511bc27dbd43e36dfcf8627b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SetIntersect False Passed
669918763c17c7970e2c13b8418a9b36e5793258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetIntersect True Passed
c37fe3bcda5af1703f47c4e3722b1deb97e59845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetIntersect False Passed
a7bb7489448628a2d9db818008898c8337f22aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetIntersect True Passed
1512e50dc5e09325bacd58939c30fd5cbe5041af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SetIntersect False Passed
e2c86efbfd84abeab11bbdcbdb2b9f3781f5dd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetIntersect True Passed
62e078947a14c329146ecfcb29f0b1a02fbc52e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetIntersect False Passed
a3d153cbbbd121081fbb7e9d929336028a8892ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetIntersect True Passed
56c2f8861e407b4bf165f7862e41facba81b171b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SetIntersect False Passed
494be29486dd4b1d9fa8cdeb8d2682f23d8fcbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetIntersect True Passed
236dee16bc74a7b3c1a210c60de0bcf9ef51d3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SetIntersect False Passed
faa4c0e130fdbddc990d85130434302fa7fb5802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetIntersect True Passed
bf1639266531ffa7085d26a7ba54362b95377a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetIntersect False Passed
683a926cc183b6929072c956f29cbda6af1b5149 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect True Passed
4bd1dcd923f801c5bef5557387db0543b90cfadd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect False Passed
dbb826b52aefe495fdb5667394aacb658d2e9d72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetIntersect True Passed
d1f144333c8d2aba562bf4caf31015ab47d7c19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SetIntersect False Passed
9d5cf29c9d26624f70ee4addc92a299cc47298e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetIntersect True Passed
76258ddace2574b967cf822bfa0e265353be3dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SetIntersect False Passed