Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f06e27c13e512b09e7172c1849fb145485765d80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetIntersect True Passed
31727b1ab45d092090f38a5e1ae1683fbea0c0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetIntersect False Passed
d2d3636826374388b924d6f49e9355c76c3578a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetIntersect True Passed
412f7e33119ec120a830a109ab2d8065249a88f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SetIntersect False Passed
a9b0b2cd05ac3bfb3ff4dee3e8ad1940e8931e3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetIntersect True Passed
8ac8aba0b0a002bbb7761004958922f151b46372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SetIntersect False Passed
7179b9a49117672ef546cc6e2b354c9240789ddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetIntersect True Passed
f79e2f3150f297522be4abd0a67ccf62e9f197d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SetIntersect False Passed
6f900871f5bc4a1d62c04870d2df4ca89b1dfff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetIntersect True Passed
7ca7c6d18a77025f39f1ed57ee701f11851190a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetIntersect False Passed
51668dd4eb720cf91680105b8e2540ef40ab33b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetIntersect True Passed
b7b9374d9e69d7a895aa852d1cbfba992f5a2297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SetIntersect False Passed
ed036214ce459dba7074f012aa43e0312011daab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetIntersect True Passed
b9342f91b0d0676e99b27ed067818f279d6899f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SetIntersect False Passed
c3cf4e82975454280dadbaeebcc064bde55615ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetIntersect True Passed
d96aaf538436ef8333c5ab3b7d6db6d37e6fb4ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetIntersect False Passed
8448cb46463d8024516308742b5ad813add5f7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetIntersect True Passed
37087ac97100e1101b7b6c504a20fad327cd50ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetIntersect False Passed
e6286a875590f3a7375fd8181226684579804720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetIntersect True Passed
f8d07544bec8087e1464ac0cf7db91387a99254c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetIntersect False Passed
9c9ab205375b58372cba48a14a6b43ed91cdce57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetIntersect True Passed
a6b2c7850ac638e591960e3010cab95f019a3cfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SetIntersect False Passed
7b77daf394a5ce6f3aa5a041fb7e6ec0e64f1938 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetIntersect True Passed
fb3a757104423bbf1061904792bca47e7fd3f10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SetIntersect False Passed
1761e3686e1bc0b06e2199d85db6685e7df97e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetIntersect True Passed
892a8185d4f94a1337ddce1547fd759c954df293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SetIntersect False Passed
d5b73983ffd002030cd04d3ce02caf5f3241723c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetIntersect True Passed
f45085d40c180d688aa581915a56f7368d38f076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SetIntersect False Passed
d5fc03fd2942abe9014169fcfb35db145ab45cea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetIntersect True Passed
e71d6053e077e2fe8ab9ac1e1f7377ba4bf9cc7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetIntersect False Passed
333a85916a6f01fc0c23fac8e450b3f92516a142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetIntersect True Passed
20e9d402e93072f036d6cf5167c34c0fc351b60f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SetIntersect False Passed
a66e1555a03880dd08b12211dfaf60318c9eb162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetIntersect True Passed
36f8f28592517da5712a061dde1bf88bf152795d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SetIntersect False Passed
ae260bfda71a60283a80d7a325d6637dd79b3685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetIntersect True Passed
594d0e67b10c64dfb2ef7e91f408a331f195cb73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetIntersect False Passed
a9ebcaa71b0860caac630823e438fb90b6cb9122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetIntersect True Passed
ed794d43c2afcd7fae726247f87d641c1e636876 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetIntersect False Passed
465b33b8e26e67cd0ae984a2aaabc111135a82aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetIntersect True Passed
e961f32461fb363547c1437acdf3b1c4fc8d9143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SetIntersect False Passed
1ffd75e042d5e4963bc1de8e0e640bfb5a055910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetIntersect True Passed
3deb624a1abbc6e98fb58d643833d42b7bc6dbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SetIntersect False Passed
51433982dbdbfdb81cffbfddfa7c9b5657eefeb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetIntersect True Passed
248809738267bca03c113b65d94e3da79e7202cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SetIntersect False Passed
c399950e773d5d9b1e5822ef7b12f049d55c3502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetIntersect True Passed
9222019ec2822e8945e1057b6fcced37f65aefbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SetIntersect False Passed
ac16a3a5a811ebe485767d5ffb5d1622edc652d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetIntersect True Passed
b863b336ae9467603e8406906a8d48deddcb806d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SetIntersect False Passed
f2077860452a4353679bb2d7291876ad7a3de837 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetIntersect True Passed
8a8f3a0a73ed7d0820a0d079e51f54adc91f27c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetIntersect False Passed
0adda016bff0a73b77b9ca19607a113181582019 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetIntersect True Passed
f317c71093aa9b141e3c88b98b2c6d2d2d380e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SetIntersect False Passed
923fe790557f88b64fc92657d2fba4ad04ebab20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetIntersect True Passed
15cadafdd515ea97a3880da34529a18f1165e96d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SetIntersect False Passed
cc5b22619bf1a244ff9cfc9b1cb1102ad640adeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetIntersect True Passed
240537040e4439fbdfd0cb284baf72c1f2f28e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SetIntersect False Passed
b3ab003c1a7792dbd40d36993c84ae1c9be01b5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetIntersect True Passed
afe78a0fcfd6a623d5367f2a68c71d863b83a149 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SetIntersect False Passed
69fecc32a5401532f22969b7b8e07f2eca31509d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetIntersect True Passed
d5a43bfe3118f37c9510bf73a92901b0981ce94c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SetIntersect False Passed
dabcef4e2e5c22cbada188ff64e42a19fc108a94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetIntersect True Passed
181c2105a311ce1ba2f655d575eade09f4799320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SetIntersect False Passed
ed4f57c064e1719aedc457c596f8bdff8b464342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect True Passed
044150284097c64823bf2fd2183fbde4eab62af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect False Passed
721db51cd5de828d7f76d8ded13fefab9d7fd2a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetIntersect True Passed
10809d434173293d73336fc8b68d521bf0f8b580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetIntersect False Passed
761da757832606bca6a3fdade39dc920d7020c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetIntersect True Passed
cc43de8efae2ba69f0da35e336bc32a27e62d5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SetIntersect False Passed
5af7bb616f8c66e681364d0bd8fa39135d3d8635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetIntersect True Passed
3fffbd9cb31899aaeb18ce2c84f38d7b3056adc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SetIntersect False Passed
b54d1ea7b0bfc57ca109e3d424a3cfb2557371df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetIntersect True Passed
0332985308a99c127c1f5f1bcf94689c897f4025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SetIntersect False Passed
d24f499b40dab74917b287124739a9b32e356839 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetIntersect True Passed
92e4f8d1ea2a7a5d7172057f2b9f4bf15ce0817a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetIntersect False Passed
13d3a4c0882323ae215ec147d1e7b3152a6cf21b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetIntersect True Passed
705968a6e37cb4e6f99eb906d41cbb81520c424c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SetIntersect False Passed
d380301570bf2cc4cf6fe2463e712afbc0aa3705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetIntersect True Passed
e1a1fb90c4df9df32157b2063c15fb1c17a7d5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SetIntersect False Passed
cf828d60cf75c7749ed44ec15f04794745140902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetIntersect True Passed
fb856bfdbc636b62834a2e429094a233e10bf4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SetIntersect False Passed
06d944e89746598df18fcaf80555bf1186b7bed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetIntersect True Passed
5358c1408ee8a7776ab5a90e0945d5fa4a13a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SetIntersect False Passed
2b81518be52b68c1e1f83558ffa3883228d0d073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetIntersect True Passed
3a9de596e05955ed68532065bad3c00c9425b5f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SetIntersect False Passed
6872118d0277c03c4909f2316ed616a12711e3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetIntersect True Passed
26ea6bae0b315f0556ce67db89e632814da73a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SetIntersect False Passed
fec60c9f772a571502ff1dcbef0c1f5e3c0aebdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect True Passed
c9fc3a136fc113ec832b6bafb9c0dc659520453d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SetIntersect False Passed
3ad29f9f0e78e0406dc16f9c9d7a45007903ae1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetIntersect True Passed
a9d286530904e5e6f981d83e81d130926ecbe8d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SetIntersect False Passed
643c4ebfdcb5297f1169f6bcbaedaf2d2fc26e71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetIntersect True Passed
17a8c15321a41e108cb2a0f973fc2e20ce2f9964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetIntersect False Passed
e4a3811f0556567bfe31c1ca05d8718d7c2fa8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetIntersect True Passed
6dd7ae93408be3cedf0122c74edc6ec998bfc158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetIntersect False Passed
ea5b6ae0d34ac67b92eb3703168614792067e041 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetIntersect True Passed
4fabfc1ad42a92732fa5476b9dc1f6b86b05a9a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetIntersect False Passed
9223648c2a030ab17e95f2485d6ee966a29303db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetIntersect True Passed
0d76cc825f1079ba5348a5583c58de93ffd688dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetIntersect False Passed
eac0213ec05592de5aaaafdf329a484c7036d48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetIntersect True Passed
61a8a3d179dc2d98973b8711c1ba8d0da96c99f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetIntersect False Passed
3177adf80bdf6172741d547e5a268f377a744e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetIntersect True Passed
da70afbef4711f3100ec4a7b14509a36aafe7ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetIntersect False Passed
fa8e3aa73ed30561049dda64dc8b82b296234478 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetIntersect True Passed
c5f229631558c9b6125799d729a3826ef76f3193 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetIntersect False Passed
69015349ff9d75f01728e47246f399728a4d3acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetIntersect True Passed
d894fe68068c27ecb9ec85bc008f24da7e823358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetIntersect False Passed
d4d3b233ac85df616f1118b4dfdf7c9ed837024d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetIntersect True Passed
81e3a44ddf8ea39d335a2937a5ea61193f9dafa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SetIntersect False Passed
1e530f506118bdc4ecd2dbc9786bad510f2d7ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetIntersect True Passed
818f900cdc669b1ed2becbf958f6d0d520440eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetIntersect False Passed
a568b8ad7666ee2eb5b3034e31257aa2ffe0d402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetIntersect True Passed
067441c2067d4ad6d9d81031198e463345bd4ccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetIntersect False Passed
345a64ca6e31dc58305e93c5f2efbfc41e2181ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetIntersect True Passed
72d5e20c990e125cce90c68e05dfdfe68e6c1b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetIntersect False Passed
ee6ca2c50fe0e2f27e65d8fe8d994a5554abe6bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetIntersect True Passed
29991bdf7412b75169001f96ba7a75f2b76afb17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SetIntersect False Passed
24b5b21d30e2776da492ea26d4db0add4ec85c51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetIntersect True Passed
dd5f4ffedf3450d2dea47f6cb6a20f2581cf728e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetIntersect False Passed
3b91108bf04e76e79d5fbb5cf4d2e405b6b14a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetIntersect True Passed
424af7cf16a0e46325afd53aee7e7b59bf24dfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetIntersect False Passed
d5877b99ad9c9703482478f1447b874a496e1c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetIntersect True Passed
cc8c91dfc8a118ba3701e015643048246a7fae19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetIntersect False Passed
b7bd9c0acc3744403a9bc9a7e48763aefd855567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetIntersect True Passed
bd36fc1bd217cf3a8e22da3e164a60df88d7213c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SetIntersect False Passed
5a2feb89790410b092f50e77ec01ae4437a28c6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetIntersect True Passed
9c8f62d520737221c9630bf0a858ffca0a4c4722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetIntersect False Passed
b96958e9831a0c2bf84b2129b0ef13d1c2f72957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetIntersect True Passed
d37f7b8634af1094a5643806fca2945bcfaebf14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SetIntersect False Passed
76e84ff5c99bccbda575ad853d91d094afcd3757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetIntersect True Passed
da1f67dde40a33492cd301188d038df260d6e771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetIntersect False Passed
bb2ec198a6164e266046ba03645ad3da33db00c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetIntersect True Passed
68350d0e40b7cdeb20ad29658c58eedc4a901467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetIntersect False Passed
64f8231f39df36e989e23b343f20707399c098fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect True Passed
d190e1daf4add8f29858e97599d9e64bc2aa2dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect False Passed
1eb9c343e184194bab09cdcd5cb61ef5bc442571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetIntersect True Passed
a0ab45c3b9381f0bceccec1dbf9062dcd6da0c94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality SetIntersect False Passed
7e68723440bbbe7b61db3dd62cded6e96c5ec274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetIntersect True Passed
6cc7ac4b6045efd39d1cd14a6f13ecb690e5aa51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SetIntersect False Passed