Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0dc68f5505c229fdf0ab871a723c1383091e3e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross2 True Passed
078cf1e3aeccc4388370f4717d02d4f270204519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross2 False Passed
6f7afa4a1e24d4662f97a5c8e0eccdec0b240b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross2 True Passed
5104c8dc3e0823978934f66d6a4d1e1b83a8bdfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Cross2 False Passed
0b290b7a381e4d7eee3aa959877b9e1763afdb51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross2 True Passed
d41eb3da38b0602bb83a8a094d5453a5db70dea0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Cross2 False Passed
0c1c644ddad7f9a622cdad504a47b52ec90e02f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Cross2 True Passed
94c1453b160ca2a8d4d397054d4c3d24ee011a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Cross2 False Passed
29ae9d5ba9de59818e86b9d19982908086897b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross2 True Passed
76c67fc2d68e7a46b150120cf53b9d526863dbf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross2 False Passed
79e13a3502001794bcbadf1526ab80d948bd7cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross2 True Passed
c8af8575083ab50ca9ab3acf1013834ee1558a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Cross2 False Passed
da1a11d9f898c04041cecb728efc606ee9d471db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross2 True Passed
06803ecd2b3540ec654718768de558f04cda71f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Cross2 False Passed
8f197288b87be37df3997af011094a85b0db8fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross2 True Passed
d33eddd723cb5ca008c1f22518699db2aba9810c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross2 False Passed
8de5a802f4c06017fa935529b57c2e8cf1cf09f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross2 True Passed
e7a0b8c9d481d5327266dbeea07dc6f20ac75b7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross2 False Passed
b6a71065e8bba7f67346600eb5b69f2becb685c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross2 True Passed
fd39b0f63c7ae4c33f7cf84bd8ed2ce2c8a3824b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross2 False Passed
e75ea09d383903308a0b52843def951d2b63510d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Cross2 True Passed
e5af430daca6d209f1ee28b14212306e230b398a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Cross2 False Passed
940ccaf31e69ed2ec7104f5c0d8e91ebdfebe7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross2 True Passed
3d02395eb46e7a25601aa9312d1bde26bcd71ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Cross2 False Passed
53be7411669863fbd2fd07f56e312eb28a3ba1b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross2 True Passed
ba8be77f915b1ccc441a90a54df710e17138ccfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Cross2 False Passed
a7d359a97d39121839f4d7de81d60037fccab7be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Cross2 True Passed
2de6d0b012359f235e254bf4fb16ec44e294fd01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Cross2 False Passed
52c785fa48f402eb02895a18033ae50d85c67968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross2 True Passed
44172db3ae1dfce4f7ace94197a702265c7090c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross2 False Passed
84665b84c59af9cc4fd608551adb649f93f0f8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Cross2 True Passed
eb2ca375bd3d092235110f7d914ee7d4705fb4af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Cross2 False Passed
3cd47c9f3c7a899caf54f6a909c2c4cee87014c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Cross2 True Passed
bc5f86c66454a2573f53ba0b6a4edd8a0bf1d0d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Cross2 False Passed
87f496c612544b34644ac1d28a313eabdb78edf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross2 True Passed
632844e459d24e9d90b987bd184f045fa86c26f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross2 False Passed
16e84f9605a017c7327b574db2c2e5a59efa9013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross2 True Passed
2bb599dfbbdfe50e1fa5ddca2141bf23a3f989f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross2 False Passed
baf242ebff818fa35e7974f24f934d4b453e5a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross2 True Passed
068fcbfb74956daac98436f8dc16e06706bb948f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Cross2 False Passed
51d07536181dc079ccf821430b6173edf8bb07ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross2 True Passed
e363cd6767a6a1655061e3dc440dd80d8a9fc6bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Cross2 False Passed
691b0b072e2c2c89bb8190bbf4cb101fdf7d8548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Cross2 True Passed
20a648873b41f0a1c491495cddc0178264b3194d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Cross2 False Passed
d5ff769c35efaf4b19caf7288091026574af5f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross2 True Passed
b0c94c8961fe92471eb47b74d734f6b436e9ccd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Cross2 False Passed
b8386609ad312eff9fdf5a25e2ba36ad79526a3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Cross2 True Passed
993d7d813a796f9dacb40a2f7eaf8a2dcc13d3f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Cross2 False Passed
84012eb5e1baafa1ae84e598475d4720246d92a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross2 True Passed
2ffd0d331df98e1e385b7684c89f0edb684b87b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross2 False Passed
8c7164b4094e2cfea54bf1affe6d21d3dcf363d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Cross2 True Passed
7303e69600af2b0969fe110ecf1b19fb804a0a76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Cross2 False Passed
fb29770eedc086473d73b7b8b6ad339013e62909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross2 True Passed
397307cc1a58d9496ccff09fa6490b18eba17ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Cross2 False Passed
f9b08f83b652f7f4a894309806ee0ac662c6a6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Cross2 True Passed
e4f32c93ac0e5e0bfa160268390d942e21610782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Cross2 False Passed
50ef07092bca15759db7530a05bacfd1150c9cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross2 True Passed
0f1ad0beb994830e4a98c63fa16e8fb1a4ee66f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Cross2 False Passed
640ce2dbf6747d43e8fa942f8f5647979118532b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Cross2 True Passed
1a05afa4e6477da4dd0ef6b52a6346a4f04f4892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Cross2 False Passed
bdd64f5c504288070da511f53d3db683d6d84c1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Cross2 True Passed
adeebecddebbee1475d487c362edb31fb808e492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Cross2 False Passed
ee54c2245f7d5d90d4d5073e1182924d88ad929c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 True Passed
f498500c55e4e6061952bb7e0c0536fe33157206 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 False Passed
27d7b54f4d7382ff6229f529d5ed0eb5b5751444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross2 True Passed
011156ffa1ecb590e990ae144e625cfacd448023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross2 False Passed
3643ae53d49768ac9de5c7a57464a5377d3da70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross2 True Passed
69a48318c97a5da35b7ff211d05c3be618b00732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Cross2 False Passed
febd85532f1df12357e05b9e27c2b7647d951f87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Cross2 True Passed
dfa43718c55b420ef16820f5ba1aa48772b4fc59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Cross2 False Passed
2ab93ec1a584dddf69707b5de12da6e55e6ca8d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross2 True Passed
a6d92cfb28781f5b75affed4ee7d2b976212bd54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Cross2 False Passed
b9191b4507fc7eb4cbf46fa7e7d17643083c6a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross2 True Passed
8fac981f967dce983b607bac6fb5782e4945babf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross2 False Passed
0e590dffc87ca5c3756365a05b7992f5fdb1deb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross2 True Passed
b2deb99d116c8d5e693c2580fcab42337b188839 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Cross2 False Passed
972e42f9192cc0bd1fc4e3fcde5355e0776bbe83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross2 True Passed
a7a1ae0b737a5d01c758958d1c024c45a2970ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Cross2 False Passed
6a39ba45bf461ed5cf0c137bbe0977302ab2d56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross2 True Passed
2699132af2dd133446fd616cdc46e86df2b399de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Cross2 False Passed
e28a4de30cbc7380420770282c527973c3c9b486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross2 True Passed
53c8b5f2277d5383d8079ea975a1ad5448ee1d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Cross2 False Passed
31d4cea7775c30e11147bed7c5903826b69c44ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross2 True Passed
aeb99bc6ebf4ff1ca5f9756f2b985e0af7b90a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Cross2 False Passed
0579b94709fb6f395ca0209ff1c0a2a36efd4166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross2 True Passed
493f5e16b04196a4d4afb79957c2bf169abb2c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Cross2 False Passed
e31f641e95dd6df0ae30275a9e2750d7acf4a21f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 True Passed
2e8add6351aa3262499a7740b3eebc422728dab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Cross2 False Passed
d7b6dd5d7a73c8101f2703f4fa955b6941db93ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross2 True Passed
7435d37dd39214acbdfcab1c78789fe4a0ad880b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Cross2 False Passed
10ed00656580b0cf74bfda299fb0f32825c7a583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross2 True Passed
4a787ef62b073f4e62044f0300781ca1918a0e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross2 False Passed
6f37130c190a229ee521b6f6285d5b4b4c94a5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross2 True Passed
6ac66d0943ebd048487097b8d31e4f759ae977a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross2 False Passed
bf6e5806601e47b779baf79f5e52cdd52392b8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross2 True Passed
3660a451a90c56b00135359ee845565290949dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross2 False Passed
f7195ea2eeeba343a7fa60018ccd4b4c2d96dbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross2 True Passed
ac0a1eccf8a5fcab5db95eb3475881b9ac3798f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross2 False Passed
16d7173b8b3e32a6972d3aa2323f08df360a7de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross2 True Passed
c29970e770ee240bf85c9f8dca38fe5a4d021013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross2 False Passed
07e8a3fe6b7678681edc3b60ddd1fe6e37e03acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross2 True Passed
27c4864408b1405a901795dca01101e3a2001484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross2 False Passed
884af55b1b161bd75fdba3a29f644b0cb2f320e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross2 True Passed
873a6592e89334589d727728d14b10b6b91ddf32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross2 False Passed
3a572c787a28f83525b57ac494ddb0caf815f373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross2 True Passed
3e6ebb1e1ff26e35339a03b4cc7301d5e4a33a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross2 False Passed
6255bd9da5791bd88eb3b656e9f1c2a31630a9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross2 True Passed
befa6b3f7464ba257a54c7fc671f94f32e3dd438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Cross2 False Passed
840bb9e1b45ac00be7c16c0bc14d78a8782562ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross2 True Passed
6d161fe508f04dc6b1519ec91d9252b14ac85828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross2 False Passed
452377b6dd3f6d0a0acf835841fc7c5008eda673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross2 True Passed
7ec23c1df511df35b194fbacea9b0015a79f0e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross2 False Passed
653e45e68081e18423422184c6f92eafe8710a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Cross2 True Passed
7f878a978970b0635fb04767f67c8bcd765bbaac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Cross2 False Passed
7e78c93d888d096342a34984c37f975b8686d9ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross2 True Passed
74f40266ffba76b3a8e9cda7437a8dd9116ee83f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross2 False Passed
e9142c788094b48469fd8e5faff5b5dc97fd9942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross2 True Passed
efec82927743ffc141aae19b28932330922e9878 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross2 False Passed
9cbaa385521c1b05a57b9b79a6fc5682599f69d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross2 True Passed
f7855d468de864cae492e12c5656049758525f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross2 False Passed
a7e0e83e57a27fba0e0448c9b5f7f40b045e503a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross2 True Passed
6b5a9fec6ea0e1e11c2f861664e57151bd879daf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Cross2 False Passed
df4d9c3eb012c5ea7503ebe51ce26ed87d719077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross2 True Passed
bc9b54dfdc92d058245fcc6950bbb86d4e77ad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross2 False Passed
a85b2f7ecade46ca3af625eb2787bf10143b7013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross2 True Passed
762a09650ae9450f85c46fcfccd6d62962db1ccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Cross2 False Passed
3a59ae4d58aaeb5c9cb0d7566dc73bf37854d3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross2 True Passed
53e40f58ccbe160a8f904aea6b0833a95dd1a826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross2 False Passed
62da5efdfcadca584c2702317505dcd6806d1ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 True Passed
518be65935ca01c166ff9f2aa3940fde134ef674 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 False Passed
8f12bc88ff2f2e7243ff8c9974b84b5a04f641e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross2 True Passed
7319e7724740df031c08a23edfe6fe537b340597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Cross2 False Passed
b42fd1367307cf74a304ed566e196e36d89da219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross2 True Passed
8056c1b1c62cb719bb5131e0f3d137d5c9d24c52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Cross2 False Passed