Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c7f4b26ceebb0388d65f79165af2e335199db09d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMinus True Passed
b113a9fcefea7edcb628afc50aa2280588ac549c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMinus False Passed
dee8fc344ae8befa4dcb89520f323b95b4d2fb8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMinus True Passed
8bdaeff94ffe46516bc90301c844eb249c9462c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMinus False Passed
5db55390917d1f2338d0bc127bf9e268c1c87504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMinus True Passed
3ce17b7d6053009250b3bb82780729c197328255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMinus False Passed
0ae7d320990fc754b7516adbce52b45f95cb0455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMinus True Passed
18a827e05d810eddee842eae02b064453bd60fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMinus False Passed
edd1b9940c55387c0f4dfa4f0ec35a5d1565d646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMinus True Passed
fe04fb16f55f0f59560481af27e650b3753e959a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMinus False Passed
809f076c4a514d16367a497d5cebe05384710132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMinus True Passed
9a98258d17e52402f6bdeab610458212d277f6ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMinus False Passed
daf30c899dc5213325624329d6af046099ed90fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMinus True Passed
2827a57a9187af07ee7dbd1b5523a10db8f41ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMinus False Passed
90f1ca89167e64c01ec1adb878a32856d2d59117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMinus True Passed
9f8f42d3569ed481dcdb27d511496078d605f299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMinus False Passed
c9cdc7f5902f3ded0eec390d400f70c315266835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMinus True Passed
3ef39d5887c7830196606c877a063f5531761431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMinus False Passed
a798d477ad3c329a8d91ec351d509e1a21282ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMinus True Passed
9f3723c87e4996dc6b5244efe0195dca8e5e0930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMinus False Passed
9ba72409c5839ec92110cb8264d63f637e562466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMinus True Passed
82ee55fad82b0b0e6be4f0ed29417ff326bc13c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMinus False Passed
1a6187214d9b96e2225a7487a57e3c5111d911d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMinus True Passed
0e41357b03f2fa22b3a902808d129b076e734232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMinus False Passed
a73376dbb91b9f07791965220e0066e697a7ebd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMinus True Passed
bb79c1ea58ccd715f849c7667aebb51d73c9a06e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMinus False Passed
b05f799d162f6ea251ee8e7a9f289ba3e5eb2e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMinus True Passed
ac4c18e8ca1438475ceb942f835a0602df1711fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMinus False Passed
d2a5e8123f2dea2b586394a8f3bfef98a5ce8f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMinus True Passed
773c54a738941338c41a901551596426b38ceda7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMinus False Passed
0356469ce57ce1d93201751f3275f112632e0a2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMinus True Passed
616da6f2b9755033820994ddb6410ab650b80695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMinus False Passed
d2030263fe107e79ee1a220ba8580b90c636ccda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMinus True Passed
38e0b51d5c6ed9f37995ca7a3f6c413643496cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMinus False Passed
307980a6a39542110b83dd6ba9205d35cd787c17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMinus True Passed
38b7c01338c295aa25004bdf68f9d7db7abb62bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMinus False Passed
7e5bd4eaeea39890d607ac4a07b3104b6bed92a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMinus True Passed
b6462185111db450fc7dbb7d303dd8b633ac17bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMinus False Passed
f83227bba23c7a4d960c10008ee1bd996cb38be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMinus True Passed
5e7554f990fad6e09da1b6f1cf6671e841aef0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMinus False Passed
a11f9d03f7f14c89fd40e43952d93bce26bfeb52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMinus True Passed
204c07f1fc8541588f8b67a65a5b9458eef62509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMinus False Passed
f350e3ad60b22efd3b8a082a575685865f6d2f93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMinus True Passed
0812d64c7cf7f93339d80f61216994630980cf43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMinus False Passed
e01edeae24881accb44b4a855e07992dc6d31352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMinus True Passed
8e320512edded68591e286cb012b97b9352c9da9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMinus False Passed
5b6dd918ee65d759e44e7c3ac26f9e0d31bc9c01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMinus True Passed
0039c6fd804c336f713ca41ee6fb059283a9dada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMinus False Passed
7314586640350846abdb62804c661ba2e439a069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMinus True Passed
3bf2c079dd4392ea31f0bcf09580274eb33ab086 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMinus False Passed
a86e03d558fcb2766950be88e14293ad2f828410 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMinus True Passed
48d6275daf3cf8b7a329ecafa970930b222eff32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMinus False Passed
9b0e62a0a0f0d24d50430c3b0cc639cb2eea0f42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMinus True Passed
d1b6c1de0bc28e4632272318a92b9c4521315dfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMinus False Passed
d03376d3f73f3ba4f3d64f91c0ea4bcd792caa03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMinus True Passed
a3a7584878b542218e5cf779b443b79ccd2fb123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMinus False Passed
89af3aa1d3a67bc67721ce8febd3c536e0eb2908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMinus True Passed
4e2ed171bd033cca578a45b3a33cc8ce925e4f57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMinus False Passed
5df7b8aab0eb13b4c8caef7bd40a4890be5f3cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMinus True Passed
50da768fb10a098659ee22575948a34fcd0648be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMinus False Passed
38578ff49173013ca2bc32a9e6df61b94be6a1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMinus True Passed
0abbdecbfbe60c9bbf4d10668cfe42f13477f013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMinus False Passed
927f24f556c2da4dbd46627d25dcbf831a7fe34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMinus True Passed
6e636f1b740ebb950753620091b47cde341f12df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMinus False Passed
850981edccf81c44ebd554247c3ee4e946756569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMinus True Passed
322196b4af0b116b2b431c4b84f8f2100864329a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMinus False Passed
e34a2090369c303d24ded9080aa6d5eac5b250fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMinus True Passed
a1e5481d079002406a9e073a0ebe5c296f3b0f85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMinus False Passed
2ab44639c6d50b4bbdc723844739498a3e8e5aee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMinus True Passed
f68045e33a01f415c354d8b618224f2af4cc1126 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMinus False Passed
6bafdaad7d0c954be082f7ec217d86026595b0c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMinus True Passed
fd09562d6269f5e2824ecd29892acd2020350f3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMinus False Passed
d2c8abd4669b8efac3321fe5dfca0628490bd42a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMinus True Passed
4339ad35572dbdb20cfce632635e3b76dcd373c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMinus False Passed
84c80bef0701d803dc3c37abae2164700352d013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMinus True Passed
1f3037b11c68f7e2044323888a8a84417f5b1342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMinus False Passed
6bcf5e5e5703de872553172906e9a33149c23294 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMinus True Passed
a4b7b2ceebd580e15186d8ecae795319de6a4c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMinus False Passed
c71ea6c6277fe41fdc78ec8be7d60d880ef59c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMinus True Passed
11d3e9a1611a727430e82bae78ff9e086361b98a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMinus False Passed
642c3f46e8a72fee4ac2e74d72157bdab276ece6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMinus True Passed
4059db50338e91a2e46bcc13f5914fdb4cf33a1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMinus False Passed
0c3170a5d546bf7eb8771a2c34d795e201937095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMinus True Passed
3aed10dd2727f249b3d8b53aced041b264fa5cfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMinus False Passed
aef340b4d4290f44b71ee9ddb9c865ecbdea4d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus True Passed
db04df2c3fd9bf53c7c5af9015b4288573eb79db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus False Passed
f03f214fc45ae35b77c5df9448ad24967ca44a4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMinus True Passed
5bc070858c625687befd9de7e5d2c0c3ed9fabb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMinus False Passed
3f71475c7cf8e9dc323d2084b308831b2af21b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMinus True Passed
eafa7abe11d438258a2292b30f4da2b6a642053c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMinus False Passed
6a9a5a4388f60616ba5116ba514c7a21c51aaaa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMinus True Passed
d903a0ba96db8d768258fc8ab3f571b5e1850b97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMinus False Passed
75058bb547049a520ba47785515b366cfa244139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMinus True Passed
c504379e73f4e1c452cd581979938ca6e995e914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMinus False Passed
0e347e9c873cddbede85c0a1b237442e91df7782 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMinus True Passed
a9a6f8678faca71352d1dfc06fad601f0bb3bd98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMinus False Passed
fda3e0e31347f27ef9912169e0e179c4dc370901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMinus True Passed
6170680d883502f1e27b3eec7776b7dce4a07c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMinus False Passed
732d34cb0cde3a34f089e778832b91cf215e64cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMinus True Passed
dd02d5183d330d55d43ff71e46515cdfc771fa61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMinus False Passed
9d83681e42df3dbf24d0f3a151e7dcf6bb8bf95d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMinus True Passed
4d7ddf6d793c32684c935521ead7017b6876789f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMinus False Passed
ea189c07dc41728d4a373a8fd4e3c03de32909cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMinus True Passed
25cb607cbb6812c40fcaeebb1eb5a5c2cdc32d54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMinus False Passed
4a1259ed23d7db9aacd6130778646bf680356be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMinus True Passed
b9f5b970cfa4b7b0b23091e78bcafdbe8e4e3c7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMinus 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
da6fed119a143171fe4571e94bed09a454ad532e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus True Passed
839b4f83104f36856e4b587827dec294d9b1c8fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMinus False Passed
193ba5f83441798c0d8992d1106f96a52cccb1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMinus True Passed
ddeeaecbd3411cb2284a2a95ef43e90a46620a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMinus False Passed
847da720209599b138621387604771192ae4bbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMinus True Passed
a2bc72f8b6eb73c239a0cd1da4d689bb71872dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMinus False Passed
68d17f75d83fdb4cf1771c7c5fa2e0abaa54e30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMinus True Passed
6471226616f903dbb363be559b5e86787c024e02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMinus False Passed
8c6220881bc03d98ec16b037ddf61873b67b9b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMinus True Passed
17f72f42cf3f9649cb89e67e473f01a45dfba7c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMinus False Passed
93c060971baa5a328c5b6e4ffc955af429aeb55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMinus True Passed
36fc18a30cb50f14cfd987f841beb3b936bd790c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMinus False Passed
571280e5bca5e1f74d3d63f20348b3ee901abab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMinus True Passed
8e2088d6d9c173a52c8b13c2f0b3f6c32c0209d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMinus False Passed
49b681281e0f18b811c0e38244cde19f6d10bb26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMinus True Passed
fff199579d223e1bcaaac9cfcdf14db8caf02abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMinus False Passed
cfba99dc63a198565518eb7d21049541932e7a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMinus True Passed
784c20148649caa32e7d0b1014fc3f75b40a48e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMinus False Passed
3a83335f591f616f818884f40e0790a797563774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMinus True Passed
4b7a0665c1c39d6ec7d2e517f99032d8201212f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMinus False Passed
7017256588b82c4b9cb1c8af3ba137859f6cefc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMinus True Passed
f6b0e51605b46b816d1e887b29914f1bda2cfe4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMinus False Passed
c7e45b26de441931470ac0ef4d53bfafe13e8937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMinus True Passed
be4477e7620854e4fa33ebd871955a309b099ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMinus False Passed