Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6be38fd103e64c6ebc4a1768f1af6e73f1159495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagCopiesIn True Passed
2890076686c8bbf519515f112e419892d7b57866 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagCopiesIn False Passed
26e49b0fb649bee96321548e60c73dd41e1dc55a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagCopiesIn True Passed
acb629e2e80ca45b06f3a257c0eecf9bc28089f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagCopiesIn False Passed
5bdc20d8d4200b724b2f096dd378dea342071870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagCopiesIn True Passed
ba5df183a5dee08e1712e7b8a1ba8d0f6506802e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagCopiesIn False Passed
90aa462a5d39903afc811e985d40611b51549f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagCopiesIn True Passed
2d5a7db4a7b02c68d101b4e595d7c0616d34983a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagCopiesIn False Passed
05484d371caf5032d53ee3df427b30f72caa2bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagCopiesIn True Passed
e054be2bd0841ec6012973eb50df98d1884f1b57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagCopiesIn False Passed
11e68717e75cc249b8fda90cb81f8ffaac4e7f07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagCopiesIn True Passed
c44c1d0065ecb25df5cf6dcba400175f831b7624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagCopiesIn False Passed
9664f1e0e97bce5bef05c846b6d9eaa14a3591ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagCopiesIn True Passed
f372e21e9f45e07057da999c4120fb0b3a425067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagCopiesIn False Passed
d58b29446cf15754a5dd277c9d5d5eeece7599bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagCopiesIn True Passed
bf27807c2b9a488d134f33fa53678886e90358fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagCopiesIn False Passed
e0318eafa3b7fa171c089ea9554e43aa59498048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagCopiesIn True Passed
298f77440934a3bd2bd63c81bd9f50894da9f673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagCopiesIn False Passed
ee93b1e7fe9e4514cff0c493b34da1fa103cdc98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagCopiesIn True Passed
500b24b282886fb462c2f1a7d1bae0a040b982bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagCopiesIn False Passed
75f3fa171b8511985f0394ff7495eb3e6d99f95f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagCopiesIn True Passed
0df1e47a4282280516d1f0fda5c5c2b750e656be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagCopiesIn False Passed
9bc69992fe15df2477990f4cd881a2ee4b3a703c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagCopiesIn True Passed
7fec7c629e64194a1f836c771f4373f8a5fc8d6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagCopiesIn False Passed
03ee86c499540f740a2d43ba7e7d4a263c5b008c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagCopiesIn True Passed
eb9f5eeb41e1ebbb19b8e8dedb18bb9c12880856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagCopiesIn False Passed
3514b59e66a303ff4b7a2ceb58d04377dbbe7473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagCopiesIn True Passed
c2ac7bb53f7109dd03dbe5317d57ef559a811a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagCopiesIn False Passed
74cb1431431b29a0711f03a67161ea039b6a8083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagCopiesIn True Passed
0fbb202040766f895554059463fbc1ab65b9397f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagCopiesIn False Passed
f3d023349a28363bee06203b3b932db8a791d07a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagCopiesIn True Passed
e48514924fa92c945b74841083026ae9e6d89a02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagCopiesIn False Passed
ced2ecd6e3a015ca9096a26029ed87cb9ccb311b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagCopiesIn True Passed
b896248b41e34519082ad8f5786627f69d061821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagCopiesIn False Passed
2136d1e447686c398dbcfda8c8c5b15cb0b0a528 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagCopiesIn True Passed
806d9fd65e3b1470ade3dc316bfc7f5b8750e9bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagCopiesIn False Passed
5821f1ca11ce1922bb23a7ed182c0778739843e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagCopiesIn True Passed
0bfec6bf39941a6b17bbc9cde1c67e2672c1b42f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagCopiesIn False Passed
96922bac2055990ffd0caae25b2775c7b1f7b6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagCopiesIn True Passed
f0c74fec602b704f4e17ca49fb0e5119a4269446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagCopiesIn False Passed
a30738ed467bb292f304e510e788c71d5857a039 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagCopiesIn True Passed
51e60b687dd80a4e2005b42afe5878f8539cf1bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagCopiesIn False Passed
eda4ea64b3985ed4986ac0d77df4fc867475eeac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagCopiesIn True Passed
50f5638af062df80035dba4fe8f01cb50f82c6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagCopiesIn False Passed
7bbe399edef153726f0f7047d214016c13164be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagCopiesIn True Passed
0f7bce1aa5317cb4024bb9edcfc7bb313d2ab566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagCopiesIn False Passed
bb3028ac885f4fca186be7aed68f8d61ea68ecb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagCopiesIn True Passed
ad4ccf300cfb6394703b9b0955b4d081a94a6c80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagCopiesIn False Passed
3c9233dcb2cdf32daf18e9a736a7b10b8c4e6557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagCopiesIn True Passed
b612f4dd13da8062631b561d80a74533305237a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagCopiesIn False Passed
575a3b4230004284e77b9d68bea74852d7681e8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt BagCopiesIn True Passed
f99f2a0a962992de7ef87113f6831b3ba11e2e51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt BagCopiesIn False Passed
c748d3beca53385b9a08902db75d59ef35a3ef31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagCopiesIn True Passed
a3a3293d6b3c697255fef11cefa448fdbc5865d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagCopiesIn False Passed
f22931d5dc1f0899f268a169e43d5e25ac5bb2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagCopiesIn True Passed
e3b5c1c40b9129358df1d37f3b667eafbd0c16e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagCopiesIn False Passed
67c3de3fe87aeec7cc5ffbac6cfac62e7ebe5531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagCopiesIn True Passed
d692b4f0d3f86f0ed7a29a4ec9165396906f67a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagCopiesIn False Passed
7cf58b92dc96132ec178b5f207296b77a7895599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagCopiesIn True Passed
9e2f19460c21d9b4b2d4a005d55123618fd46403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagCopiesIn False Passed
316a9066a2eba8217cc957f332eada3910bebf7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagCopiesIn True Passed
f7edfdd5489c940d5ba0201195c2660e75dea185 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagCopiesIn False Passed
a3add03f0462280818748e0aedd0820c6bfb6cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagCopiesIn True Passed
07956d3c5ef93739f5dbd72304371986f37376c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagCopiesIn False Passed
479609b82f2e92dd9f0f08c21fb42e741ca64cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagCopiesIn True Passed
3e3062cf356bd41cbdcd130837a8d03909de2d8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagCopiesIn False Passed
3c0749341b869d8b245722b8c8513049fc74484e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagCopiesIn True Passed
7e0ff1028520d62af474fb6cccfd750cece82488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagCopiesIn False Passed
6b04f6cdf46c59ded044ecd1c76db1e695784129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagCopiesIn True Passed
d1b1be62831ab5d3c982c0e80967dbcd5772e7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagCopiesIn False Passed
a3f03cda108906bb94534223975ba7312e188eda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagCopiesIn True Passed
95fec8b1d731ba8c1267a75e18ec9ee352dac076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagCopiesIn False Passed
e812e1e290f1c12de78d63257b5f9babbd5b8f5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagCopiesIn True Passed
9fda95eaff0604dcfb05280dc9402a2099531752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagCopiesIn False Passed
ec4c46c87a1ef6f0d0a2db83a5669dbad28f4d9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagCopiesIn True Passed
2b7253b5f87e132825d2f72be62ac94cd574acc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagCopiesIn False Passed
2e2eb72a54531905679124426664ce8eb6e8c869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagCopiesIn True Passed
b4ee2e9e1b07e52d04a71b18529497586766fb90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagCopiesIn False Passed
dc460c3ba94f6234f7c0e358df3d806860bdbc37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagCopiesIn True Passed
fdd8c7a3151d25afff4c80dbd492a189f9310624 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagCopiesIn False Passed
c873f839898f585bc35f3d278cf6a9af999a8e48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagCopiesIn True Passed
8becdb4eea4d2ac64ebc9976289b1336b9576ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagCopiesIn False Passed
589f32cd74882218d1d9680d130c5a6bed6eb326 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagCopiesIn True Passed
c1bb6ba034458893ab2971f82d7a292fc124b9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagCopiesIn False Passed
b8891630c1e60038fa0fbdcd2c40082c04164bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn True Passed
cdad9a1d2ac945dc5c5774c46839a992c853562d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn False Passed
9af98786399b5c7cc88654f7c3a6f13c179ade8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagCopiesIn True Passed
ae4c25c94e6f7ecfed656be159542b7211637002 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagCopiesIn False Passed
bca4445606252af834e6e46b120a79e125073bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagCopiesIn True Passed
c80a4b4685835a38fe74fa5ac97c41c3ac1c4b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagCopiesIn False Passed
f61df760834c39a52cf534c1f0fd9cc94f9a78bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagCopiesIn True Passed
49c6d535d9c44db76435b1c6808305d0f631ff70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagCopiesIn False Passed
3e92e8935156a2ea581a238caf768bca261ce7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagCopiesIn True Passed
82bbe53728e43177ade3528e73bc00450f797212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagCopiesIn False Passed
e0b6c1af8ce9d80eb39b984784a8cf1b08ca8958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagCopiesIn True Passed
0393e3797ce7a40a978f986eb38fa40612b0cac8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagCopiesIn False Passed
cfb715025b98d72ab2442e97ea72f3eae7729d61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagCopiesIn True Passed
d08d936118b0909bbfddc0d6d0afb75f96482284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagCopiesIn False Passed
21d5fa9210b76e778e1861b72008c4cef4d9647d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagCopiesIn True Passed
4cd11d8a76b45ed8ccb4dcac9cef47fcfbd04acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagCopiesIn False Passed
0b140082f4fe202bf2993ca8f4b1cb27440c9e39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagCopiesIn True Passed
34753a68ae931d599ee473c31da1f2d31b0f9e92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagCopiesIn False Passed
69d013e2ed2bfdd9d9da206419bdcdb2c31baffc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagCopiesIn True Passed
1686a4a7c75b4e553fe3a8a1ca85d6391d03396e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagCopiesIn False Passed
57df460ccee615a7d423b1a1f17f29ee8b4e0d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn True Passed
56783d554c6f78be2fdc9f883504f63a816ef690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagCopiesIn False Passed
7abdb0aba42caedb326ae34eab5dde44469d1a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn True Passed
a96aa79de9f53d175b4d29a7e1b021790c2d4b04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn False Passed
b3d32c6590654cdfefa476569ca40eb2ddfeae7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn True Passed
715d0ebe24711c5e14dc8bd5797c7bff7f3c5419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagCopiesIn False Passed
81bb04b515580e170f54f28c8f27c4bb996c3f1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagCopiesIn True Passed
b42eb542ba47c29144695ef902ca58fe614a73b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagCopiesIn False Passed
b9e15a6a9c5546028cd505953e46efdd84bf4b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagCopiesIn True Passed
79e394fe1961b3f8acb12ab465da34b1c48e413f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagCopiesIn False Passed
e99a724a72e3abfee0977aa32c77927d4000ca75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagCopiesIn True Passed
4a3a46c40012eabf320bfa08c63b24f327fa9d07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagCopiesIn False Passed
59763411a489166e6c47b62ae988446b2f8697ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagCopiesIn True Passed
73bba11b36edac65fdc1ff6c9a157dee84bab5fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagCopiesIn False Passed
1611dc5935f7a8496d4163872788b4973fe71b38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagCopiesIn True Passed
a7d652c66f32ad42d5dd322d16bfe1066ed2c4bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagCopiesIn False Passed
a1a66ec15802b550a2155a925d74f738acb6886c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagCopiesIn True Passed
6238a42291916e3a3a5bddacc8d905d1e2223f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagCopiesIn False Passed
185ca5f424f344cf784509037e1532509411b50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagCopiesIn True Passed
1de5b332fb2d8a966b2df666522c8bb8a72157f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagCopiesIn False Passed
51dd5c4ff0fd3cf6df918fa94942f24b7c856a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagCopiesIn True Passed
4167f2c8390177fd32cb3830b8193b9204a31299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagCopiesIn False Passed
3fb1e64eb5850e2dbbfbdba5a60a3d439fafc2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagCopiesIn True Passed
6f7865f5957ba0692c61c8b3883899ccd8853b8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagCopiesIn False Passed
e04e088770139cdea7558c12bb157db91c28c508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagCopiesIn True Passed
d2f7dd58872b3acdca02de992405b8fd0e8c1b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagCopiesIn False Passed
223908818de53bba32256436279e2b57179cd7a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagCopiesIn True Passed
b619606a5804b9c78d568a22b6a4ea969d7d365d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagCopiesIn False Passed