Index

Tests by case feature InstanceNamedInFolder; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ed0b67c212bf75f4fe3c04cb281a976949f0934e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OneLineComment True Passed
f9ce4562a6a461507cd61d4e4887071a7ef4a2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OneLineComment False Passed
3ab55862b83dd7bfc7ad34a8c35a3cc164e30aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment True Passed
0c5fe9ae5998ae6bdb0bb5b1e4827abbb01023ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder MultiLineComment False Passed
aacef107d4163a37ba68341ddcb93b8138da19df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolTrue True Passed
3ee67d40359cd86bb0a28887269c361d2d60810c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolTrue False Passed
b8fdb8a8ff80a3fcae21b7d704055e6002888bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolFalse True Passed
e52c748965da70ef094638ef14899de9c2d222b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolFalse False Passed
251c9e442c4896495ac1c5444511fb0f0b92a90d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolSet True Passed
f93e16cb51970a8e592c4714b90360ff9a6f28a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BoolSet False Passed
3f1f1601ade0da8d6e9c0ba1b54612d26b28a1d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder And True Passed
56f767f64b62f4488ce6c6c92381dbdb600e6653 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder And False Passed
83fc10c818c317af7603f1efebfda45f8a0a6e72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine True Passed
43c69595efc0da3bdc960477bca376b4a9f380cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine False Passed
ff862a7f2655bd5f522c108c6c02de4d9e43d9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Imply True Passed
f2c36d5967223f3fe738fd55db315ff62b6131d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Imply False Passed
928cd06d92ca071b7e4bb2dac6988e457c2f42eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Not True Passed
d890f2734c3d9a945dd56e60d7def5c9425b4137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Not False Passed
ef10dc96a0680a8e322244e7a422ce40391dd1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Or True Passed
7ddbd55f18033a58f0c18ba91961c037e99bbaa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Or False Passed
c22236f235f98aa119f3721f7157b8565b56ccce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine True Passed
8849b7ea33f16ab2994f18f30cd3b233e567ae78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine False Passed
de0a0bb13467c0e1ce4c505d041101fe89c273b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndProp True Passed
9422a4cf8b8035e2cb6432d5bf307fab07554358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndProp False Passed
223d03ead3a73dcbc85fe1fb8fd7f9a5f47e017d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Boxed True Passed
d1d68493313a1cfee2045388d32794379754ea4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Boxed False Passed
d112a61eef2ce987bdde11fd7db5a90edc511610 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Eq True Passed
40bcca5a0f167eb47ab0e744e0eeff957367e089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Eq False Passed
839c7b9ed4906babe08fc468b768bf10f0d147cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Ne True Passed
7fcb0ce2dc94cfb81294320de7c80a6a36dc2203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Ne False Passed
b01070af45c250ea8d96593a00ca030773577374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Let True Passed
c8f92a291f163d2a42156baa49f68b35ce64d778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Let False Passed
59c4ff1f464c0bb982d5e7d2792f12333e0326c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetEmpty True Passed
ec48cda7025da1aa6f6be1b5bb169423731ad65f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetEmpty False Passed
43b1dd777b226a9291ddb1094ebba51e48e81804 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set0 True Passed
7ff006c82502632af8d588fa7860295da0a71e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set0 False Passed
2ef9b0d193cc0d81f954a8df6db7bb52981634a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set1 True Passed
fec6036af5a2c30c021de458c96b99fcec3c37da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set1 False Passed
eb5a1f76e6f8b0d152551d8a33ecbd448a2a58ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set2 True Passed
2dd19579508fbab95ed30694eb144b464653b12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Set2 False Passed
a89f9806fe04c68b7632900c013902c7dfc2d7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Fun True Passed
393508c9c0cce5c3188f11fc8f792eb2d0fc39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Fun False Passed
2baa3855407a94182aa081e80c5c2d4cfe7feb02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder In True Passed
2de702056b505e701d64447367905425196bad92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder In False Passed
db25460fefbf2acf05693838064c041c06b9ffe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NotIn True Passed
3d773d3cc7d9e40a3634e60a68e9223a0fdd8c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NotIn False Passed
495ef3b786cb560059dbc05d9cd4314ed2a7f186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Exists True Passed
c5c39b3dc69fc2013a2380a8e98465e927d71783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Exists False Passed
2ff66e5f1e328d57e49d2da03aa2013e418d617a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Forall True Passed
c966b335174d021505b7c59927763b62bcd93e45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Forall False Passed
391c518b172ee13df2be4c63dd6db8a5aef84800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Choose True Passed
011ad3e44aff79a31a49a414785da8e0bdee3142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Choose False Passed
f1d3619e235442749c111c5de45cb30cbaf7780a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Record True Passed
56bc156f1f55412e4b2c87ba71026e68d25250dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Record False Passed
8947b207295675965a232f0fc37e61df84f73133 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Tuple True Passed
0224c79f329eb8fb1d07ab683d20a446d78e6538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Tuple False Passed
c394219fbca87b6501aba0c22d3473e80fa6f155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TupleEmpty True Passed
a12fdf02f73067ff6927fd2ee952b82389eeec1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TupleEmpty False Passed
2c2004e47270a82ea871311ee4ced8f62c753337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunApp True Passed
ad290fece355e20b60af5ae0286f2d8026abd268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunApp False Passed
1566b8aaa635e80036b07cf2cfa9348b19197893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Prime True Passed
cf8ced44ceebfbdac3962dfe494e00d0e94987e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Prime False Passed
d3b46c1b44b39ae57437150cfa2a4352739eb33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumZero True Passed
45bfabdf12b61f28b4453a25dc7b7a9f90e975dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumZero False Passed
f70a6ca9a60aae73871e813c4e9b488426cac926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumOne True Passed
662942f4f9d6a0b5ad174ce9fb1d41d18e385489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumOne False Passed
eafeede44855844b89aa78bfe704d3a7c0d90d2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt True Passed
96a1018f710c5f3adf511b0b420fc0453abe6526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMaxInt False Passed
b1cd60de05fe1a4eb62903de665cfb4e00bccb00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus True Passed
bdf959ed739aa87a3caa23978740c7209d881219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus False Passed
7e5656d33857594273072fa04570a6534d16964c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPlus True Passed
08967eebdf9024e8f4d666b4b5c3351c1106ac01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPlus False Passed
9b286fa63caac907210813d37604590ade174761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMinus True Passed
311f99825de9a164b48115a7fc71a525bcc804d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMinus False Passed
a881ab5698350692ac29a061b56de82899e5417f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMul True Passed
066383c6a57912d82a8a553ddc148e7cdbe3baea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMul False Passed
e4f16c9b499bca35d5e878cabf1df583eaf2fb32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumDiv True Passed
8573fad148c8c4d1831ecbb1c99da2f3e4677adb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumDiv False Passed
38c798286054e69207810298e2d06dfeae2befda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMod True Passed
6c4e1e0b92d1c94cfb052de3be14253477ed00b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumMod False Passed
9255934d73c9cc4f20c3ca23f81b275a67c128ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPow True Passed
2dba346a812823cd631ea8481d38e5836e39c6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumPow False Passed
6061773b02d1f75390c012aae0d59d32c9559693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGt True Passed
4687abddbe4c90e36d9745968563ef825b10e1f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGt False Passed
402963b9ba559b8b390f4facb019899a6da1421d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGe True Passed
1bbb24a90b73727cf1dd4dfd5078c7c7b42b9aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumGe False Passed
724ab11830c8cbde45e7cb5deef2d3cc59af87d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLt True Passed
3f1f6846a83290866fe4260bf50e2bfc1d7867dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLt False Passed
7f48fa6aa2b6a5d0676ff6478ce05637d2e81efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLe True Passed
ae898440ef0062a1ba194c4777fe1d522cfa4295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLe False Passed
5ff32e561bd4f39c4c9e6c646f8208edea7a6ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFun True Passed
5e0db534755822af50bc1bb2c5db27772795de12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFun False Passed
27b9ee1bb8d28ef2300838496f1e711b1764cf91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFun True Passed
aeed8c324d1c2db6a5e30cf71b92daae0dc583b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFun False Passed
a7b061e47f15584f8fbc1e202ebfe381be2aee9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive True Passed
caa2a24de9495ce663e2c3154c5234383f725ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive False Passed
1e5b6911fe660b442bc6ee46901d400142fbcbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFunRecursive True Passed
532566a4f43a4da4eb17f9d979d71a2de681b1fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFunRecursive False Passed
97f4faa90d072c40a7942d2e8e9996a7d11bb75c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def0 True Passed
fe9ac32ba160b8fa4902c1e84582496919387118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def0 False Passed
2e6f0940b0fff2bad07a8022e1373c1403b079d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef0 True Passed
d6b76a2fccf2dad0986f80405660f19a04f9a6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef0 False Passed
ea9cf75799542ddd43c83e1b5f8329b34a008882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1 True Passed
b7af88f806f0290476ac35fc64a48006c7c14355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1 False Passed
07887480256b778a4485ef6a16cb80c318fd10af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1 True Passed
860dbe3c22abc6fd10518d6efb350ef2b080dba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1 False Passed
2c78319e6f3d27f2ec5228779f6c2c0cdd3d2b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def2 True Passed
8a691f15573f67deefa8851fe283f4adc97947e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def2 False Passed
8e6320190c161707d5a0d22d7d89194592bf0a4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef2 True Passed
9e366ae9565b367ba35ab3d87ca3ddfd6a35af7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef2 False Passed
172452a59c8eb6180f743e86b3e80ca77208e76e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive True Passed
57594b26bb67e2756e06fc0c58f95c40dda97fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def1Recursive False Passed
5512f2e59f051c577d6aefed4cbb962f3bc394c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1Recursive True Passed
e49cb30295d28c398d27e361a060c220fe70dccd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDef1Recursive False Passed
fd24418a4ac4648201a63c56cb3ec4dfe8c34470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Extends True Passed
726f98e17b0e103730766073925cdb2eb8ed1f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Extends False Passed
a7ae59fcbaa04a62eed2f2792b2a61edb548ec6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder True Passed
7a9237008d667d3c08547aa2bb61f1860c5ec78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder False Passed
612359c51d246c37b1a7dd7cda3d9c57dfe8782a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Variable True Passed
e069ee552e89e9826413ffe44676da660a1e084d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Variable False Passed
57efe172df54d37a7011244a73f2ac8793f85811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Constant True Passed
01e917b291c778756b471727154c87d5f6c8fe3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Constant False Passed
aa3b7e21036219e8a3c89298d97ca270b9808d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue True Passed
812a38af0a7f4c3decd8056b507947937f574cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue False Passed
6c9e1ecb39e4f6fa917070cc0479e957335a29e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 True Passed
51f66f39dfd51a85ef547cb8712701ec786ddc56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 False Passed
0c562831fdb8064f267ff2138327849625896b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Instance True Passed
6c3cb98750b4f87097dfe0eafd35e282f54c48a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Instance False Passed
417cfd8ba2828330bcba6e8aba70584c6f33e428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWith True Passed
8b40daf6b87798a37cf9cd6ea58cc1ed1ba1dced TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWith False Passed
1dc33008ec2fda5fc3673af5448cef14c581a4cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed True Passed
d837222f2035777189442785f95a4f5f69003447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed False Passed
4952a437823091eb44c570c5dfff0c05d3c08fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith True Passed
b7e0d6065c431234fcf1f0c332ca60c3a30ff95b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith False Passed
8a90ba67975618ea0bc7ebe30dd2b5e2acc86f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder True Passed
fb1684b0e460b884f009ad4d4abfef111f18d861 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder False Passed
77d54aa45f75ad74e0bc7afe91a2555fb8d38749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder True Passed
8a9578138e7044de29cb8d9e63f55e7855f584f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWithInFolder False Passed
d921737ce3ea6b0ec03277dca77ee9c526230b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder True Passed
25382077ebf7a9043ccf079afda392605ffd5ba0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder False Passed
567fc79a04ff4a7f577f2c06b9d4c91aa490a15f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder True Passed
052855dd4b1a9595605f10839af1a741dad406fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWithInFolder False Passed
3bb79116c397844da5291a5e9eddcd65b1e37fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Enabled True Passed
763ca8b73ae223360e183a1ba03c02aea61b003a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Enabled False Passed
a09393964223155486442ce826039c6a6a4baf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross2 True Passed
2d9032b3d8a3ae1ba804d97983514b9612cf9ab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross2 False Passed
08ceb88a87bf34ffb3bd790e63c7eba83e58cd81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross3 True Passed
3bcd96f4f480d496bdd0e82a222f799091a46e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Cross3 False Passed
b2dbba32a28d83ea526adae9b09773546407f3c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunSet True Passed
325add2b1724e67edf2fd27f52a9c58f3e34bf07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunSet False Passed
3e6d2c05d91e63c175a2642cdf9f73254a3f51d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder RecordSet True Passed
993aa13527d67972c3bb08b57375bf7457bb744e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder RecordSet False Passed
c54344a818b142016e29cb08cb9ee792b35edb83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetDiff True Passed
16b6fa1552e1b48cbcacf608e14683d696bfad98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetDiff False Passed
adc5fa65cc39a47dbd8740954d713d1c50e72d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetUnion True Passed
78f2f3e236eba82a20fbc99f1968c2d5c908b785 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SetUnion 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
398cf6c0ef691e8b3b2eab09d59556a1779055e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SubsetEq True Passed
db0f6ddfc8d7b115453a2a5c658720fe396afacd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SubsetEq False Passed
66f91e4b487e564445f815a0c09a09bade567217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfCond True Passed
81b7bc049fc4ec29439182208f4462dfffc4f756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfCond False Passed
d446cd0d873026b6588d47056ee18452d7cd96c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfThen True Passed
ccb432428429be4425c4ad1ea2694dfe8586e21b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfThen False Passed
a14844495ce2bb508e6cd37dd8a8c65bcc378258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfElse True Passed
6ea8d5434b5826946bdae7654fbd09332b72e447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder IfElse False Passed
d51ae612c1295244aa29fa33a01ecaf27a30e5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Subset True Passed
600886da15e97f622a923be29dc7e9085aaa9cfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Subset False Passed
3e137c664af9416c110d65e4709026e744584915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Domain True Passed
d80cbc9f96cbd2bc22cb32fa776ba3a487d71913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Domain False Passed
b42c3d6d781da0c30ec77b8cb98aa95e64777256 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Union True Passed
6892ea770d2348affa56bd74e81bf2563a10bee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Union False Passed
76f970d5d8333c4476e78f78519a2df6460b8a50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Unchanged True Passed
b3b7bef872710abd883845a91d9b408942f17ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Unchanged False Passed
296444dc37f66642985bb005528d7d933ffc6444 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Equivalence True Passed
b769f4c3181759c42cd466be0e6897aa61cd8ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Equivalence False Passed
6598efc3018b66829969bb112541ca6828e1f130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder StringEmpty True Passed
6e026d8a0abe602469663a018892549b9ea90ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder StringEmpty False Passed
903801a8de3ead8a7bd24cef03d9098affb37d22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder String True Passed
49b00ff4ff5a18c83730e4790308cbc8ba76ca98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder String False Passed
f175bb1b04760a5adb69ad4bb60fe1d5ff33de56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqLen True Passed
7e4e1d17ccaf525cda068fd2e594577e3f120958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqLen False Passed
70236515be154a4399a383db437e19078ea757b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqConcat True Passed
2eab7818a2f8221434a239247d9a049ef72a9aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqConcat False Passed
7a33ff4164ff7dfcb71032286f79878e501cb5e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq True Passed
15c78f7798c9a2d47011f520aca3601914d58e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSelectSeq False Passed
dfdd61fad827412fb49f4a43555da5f62e630cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq True Passed
356fc787fbaa64211156bb5e199fcdf0cc9e3410 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq False Passed
b7536bc4b189a18a8a1fa5eb34f577a4a9045ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumRange True Passed
ba3b8370adcc448730d3c52c66afecce5cbc7132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumRange False Passed
b6f737647bf96765f90a59349bb6b85b0e5b19cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun True Passed
52bc0cc1cfeddc51e9be3f0d6be9a97c4943dcef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun False Passed
3cfe675b1b926d5281be06cfeb481784ae66e321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun True Passed
807d913d5eb4cb343774665dbe721f87291879e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun False Passed
33f4e1727b076473b9977021db73b3e0b3c7ac79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun True Passed
13807cb10f7ab1a68e0c99a640d6a980e36853d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun False Passed
ef3e05671fbc77d7a99dc804fb9044bcfe9583e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq True Passed
ca13414171dfb79511f11800271f50b6cd766798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSortSeq False Passed
9d662c29a60a4c95d85884ac4d36fbfc95f15c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcEval True Passed
b2ff5b001aa1568832a53d3cb1160186c8f26d20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcEval False Passed
92baab60cce768baaaf7cd5c96b752e3a65783f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet True Passed
db072df32c869eb4af933cfe63cd4a6a4142320a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagToSet False Passed
c126e6188749f487a5b325d8f068b8c718606c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag True Passed
93d0a23bf11e4d3ead6eacf145e8619b974784ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag False Passed
7fdfc98bd83c1f649e521b27cb6594382b4f1b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagIn True Passed
7e827f4e52e4be3afb74a1f62537e6ada078bdb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagIn False Passed
2bf1844579a784b1eaf8fe64d036f8017e431552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag True Passed
bffbcd986783d3fd903428e9e1b766eb2b64026b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagEmptyBag False Passed
2dc0041ce17ccf82096b1467ad568237edff293e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagAddBag True Passed
c756f35df3fdec3d0b57f50bca26470081e10050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagAddBag False Passed
12a2ae969e9be250de3a5325cfe2db896db2a2a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagSub True Passed
67f03a3b819d2a1bd70ddb278124329967d8a364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagSub False Passed
ee65d278c2a16626f4db741c25c119a7bf941c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn True Passed
5669c720a7ad399bf4d0e5f8d7ea32177a054841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagCopiesIn False Passed
1d235e460e22a16e48684d5b8d6b7df33b1d2b64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag True Passed
5a46202b19fb0c46fa459bf4849f5fa800d0760a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubsetEqBag False Passed
f2cfa95b98c5906ab0fe36aba0ba34a533d54a35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion True Passed
cfb8efa84f2fe00b1c69fb8a833fc508aa585aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion False Passed
bfc2898fe8d405b96b35f0474ac3a993ef65d01a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality True Passed
c9b7b338951bec811e73b097f548f649be434b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagCardinality False Passed
1814a4b3e48e33d89281b9b1635bb4d0d77ed352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll True Passed
f1a93e0b108238cb37973a55427501337e660bef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagOfAll False Passed
d6236c33a72112d26393c7eafe02e59fb8780fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubBag True Passed
018a207de1d1c6011d440777ba996d3fbe938df9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSubBag False Passed
5e1ec2debb6083337b46ba6f67e692bbc71cb8d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet True Passed
6e9dc4ef3227db1e8776c33d081e7c0469a09707 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet False Passed
498c5c40d5052d704294d33fd253993e6d1b7533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality True Passed
5a7c5da2095acc5d50951abc2ea5a0fd4ac8c9cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsCardinality False Passed
fec3f7e334a7e783bd2af76983dc561c2e5b3632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqHead True Passed
c7b3096096242d756dc69d4a76b368503a22eeb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqHead False Passed
75f0925f35ffe8be1769e0929cb12bf10b32a1ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqTail True Passed
ca3910a283aee843a9ead12758902ccc70f8994d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqTail False Passed
b0f60f805bb0f8b854a250defca29bf0a941a0a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqAppend True Passed
cde257e6b138a822329a4a110196e0a424813c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqAppend False Passed