Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
62c4026106e225c617e2653c2919ca47137d9f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumPlus True Passed
135b985cd2ebf4295acd083e72b281a31506912b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumPlus False Passed
50ba3f32b9f187c08db4d741ee1581b3706653a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPlus True Passed
9352dd52986c910772151714169020ece6d17b62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumPlus False Passed
d9aab83cb637afc303ba6706ebd757e5019fab33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPlus True Passed
e9cce4c2c7b49730c28526f60c543f6af901d05e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumPlus False Passed
be7346569ac6e995e0a2d57e46f0cec545200a97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumPlus True Passed
5ea2234fe903406c183c3344a3e36503ab0a0e18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumPlus False Passed
2dfc9817d1c0efcc36d66051fea3d6a72754c0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPlus True Passed
0732baf55818c03de831e22e5b1a9d70a47f14ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumPlus False Passed
4357215517431b790c2b2fdf0b0f077b81fd7467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPlus True Passed
0a1df40ec4c1a08f10bc9379f48dc6e5aad24680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPlus False Passed
ca858471489407a08ff787d0edacead8e0a6126e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPlus True Passed
8681d6ccc593ba0625eff90a7e774d20fb4c171b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumPlus False Passed
b1720c228c8771cc8d2aa0d70479361003f1d670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPlus True Passed
769195953366aca9f195a9ff8fe016b0c80ef308 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumPlus False Passed
ffd6eb943b5de1f0cce5968cd175e879142705e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumPlus True Passed
1ed99b219cffd785bdd978e0da9ff07ff7a285ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumPlus False Passed
74004ef66b144a8666b5b3639c3dc189b13bb817 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumPlus True Passed
55d978f93b8b114c94fb300b32452984d3a34987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumPlus False Passed
433fded5ca86c89fa847eb1e42cbd61f9b6b0032 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumPlus True Passed
65be587d2de785e03be31b2d298d02f31a62d3e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumPlus False Passed
afabdaa4caa04bf56bbfaaf11a0454ed40cd7e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPlus True Passed
81dc761c9a27a0d51456d276488a04a733978093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPlus False Passed
f0b0da58bf2e98760ee527b3ff34a595a6fe2680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPlus True Passed
bd2d275cd0e19d3cc84f0464c522fbcdaae79721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumPlus False Passed
de19a455724539dff4eea93a51a43139af243f71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumPlus True Passed
56c36fa75dab28ca6f9ad839564275cc89f0f10b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumPlus False Passed
b3008b0898932e47b643b407660e8ee1a973b2c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPlus True Passed
07a412ddfdc071ee1cd94cf169062141937e2ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPlus False Passed
795030a0058dea7edb91ac2c2d48d28356880d3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumPlus True Passed
030006b42aeded8cc1eead37e79dcba43f52d3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumPlus False Passed
59e709b4b96f41f9b4b6cca5d3bca8801feadb26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPlus True Passed
9d02e4fed068d09155d8786bcf55d76afbe58e78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPlus False Passed
2cac643f0fcefcbe98950bfc60a756797de96a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumPlus True Passed
8f7d54012a4088128e77caed32d9becb60d9102c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumPlus False Passed
8b712f6ed5d6af15ebf1b1ac0b923038fe94d39c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPlus True Passed
003b83582e833a51f0c508a10d38d56dc7306a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPlus False Passed
a32a8a4551735472840182846283b8de1fbf280c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPlus True Passed
652d560fdd5fc9f5f4d223559872cd2fad96e828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPlus False Passed
6fbcc6ea43e4384b227d31704b4bd9d384e2a41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPlus True Passed
b9b642e2abcabada6b823c60d9f7b4facb69d538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPlus False Passed
c3005992d8a409290accb3e0338880eb560b58f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumPlus True Passed
c0311d3100e51d7a2f919b0a210ae76ef732ee58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumPlus False Passed
7d803d288ecc2b00fb5b414f1f3251aea33eeb47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPlus True Passed
4d4b650277d3700f5df837b0ba27e8f06fc85e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPlus False Passed
647ae0415f307bf5374381875020dec6f2c66182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPlus True Passed
24ce18e00ccaefab3f6a2957710db6fc7e761acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPlus False Passed
094073b8f959d4d4b1c51946ee9ee617e19f6c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPlus True Passed
9ed1e7907c6c61aae68fb11ab0eb626f030fb0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPlus False Passed
6770d795ac2ec936879dd37b0a15c2ff34c0f6ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPlus True Passed
9906c51f2b28a22cd2c856a3e2cc22b17294d1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPlus False Passed
8021f7d7cb1aa1cf2a60569bae5fc07dae21e4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPlus True Passed
638db2f0fa75c3c661308b667382f62b2f158ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPlus False Passed
8ef9ade4b2c9c13357a41507008d47d39e355284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPlus True Passed
073d345ab955107d535c5c9a0890a94814f3d045 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPlus False Passed
4d0fd33253970d0befb2d3c2acd07b012261363c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPlus True Passed
827ecf991122c94ca0d01a21b36b10c004280f28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPlus False Passed
5ac419d3bf4cbddf2d2689f8fb942aa0a4477664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPlus True Passed
85c4e27ebb1172b4d9606334bbc1cc9f9f8c6011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumPlus False Passed
18248a81632324c66e22ce9043d1b200097549bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPlus True Passed
cff2c1dfa92682478e6ffe6801faca5e815d72e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumPlus False Passed
657d7729976701b370b183d286d25b51c4f880fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPlus True Passed
3410a0ae039c5947daaec74b310be26b600db5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumPlus False Passed
2c3a7af8bd65e7332f424f2407b148937460d46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumPlus True Passed
c41b89427b2a7df5bf71058f10fe2498163082b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumPlus False Passed
0fb8cf62f358136ce8164e88cfa5913921f3e7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumPlus True Passed
e8504152d3728caec8b1e15b893997f7d47f2404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumPlus False Passed
88252dc72a8aed467e3746d1306db76693329880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumPlus True Passed
e9e968e95e76b91fcc3c0035c1fd200eb31c736d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumPlus False Passed
a7868007bb9145bd690258f6590a06afddc130a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPlus True Passed
72016988c52e1da2b48facb00d1c4de713062619 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPlus False Passed
a8a8e4dfd036aac8e53c3c3bd6fd2ea828256879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPlus True Passed
94cf54dc2b1cd372984ffefe63c55105ecf28866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumPlus False Passed
06c0f775309d0ae3a432f5e348033f5df8a023ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumPlus True Passed
295f5e8c19249a4d8cb5a556a70b0c9b6629711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumPlus False Passed
90a238e1ccdb349247d310ba13c54021039775e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumPlus True Passed
7ac6c32f912433d18b4993e10cc104c3a9bb9ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumPlus False Passed
c82cdf2ff3aec88dd90c5207613a627e83695128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPlus True Passed
4fde3983bf837c447b03d5344edbc95598f838fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPlus False Passed
4cf6768efacd032cd19e8ffe458ddfb0a637bb4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumPlus True Passed
7adb8a570cc65c2ba1d5349ac01ae02920caa85e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumPlus False Passed
848cae92aff18d2d58319246931e12b1cbba854f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumPlus True Passed
02c4853776a7642de850ed862e9234481985836c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumPlus False Passed
78351715126b4debd44fa58de4e158c6b4b9ebeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus True Passed
7a555f2e92da13e7a8651778026643986718e6c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus False Passed
1b7fd6db6de8daafeee403911aa1cf19384503c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPlus True Passed
5512e2e7c26586fde9eca0f80aa40c16841821d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumPlus False Passed
9b6bb15506cddc8e0c716bd848fb5312c00e9474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPlus True Passed
cf17339652732e5b21a634688b974ea0937b374e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPlus False Passed
6d0e8be99d8ee98b757ff0b90ca13932513e2995 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumPlus True Passed
dccdee7e8b6e88c452f6852f123c7664587dafac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumPlus False Passed
38fed7c0d2c710c43d6067efd2d6fbdb6588fc3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPlus True Passed
0881a973bf1a8b67b82be3db8c47a42a4d28cfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPlus False Passed
d5e6bcb2747f8d240c5e4764cc8291c68116bac5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumPlus True Passed
afcd3c7cceff901a22116d3985ff88124191f11d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumPlus False Passed
56fe0eafc4a9be2deeb7b7ff7735037960f30fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPlus True Passed
d7cf6b3eba20481e14f7820951f2cfcf539003d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPlus False Passed
45bcf7fbf3bdb634d1560b653c893df4ac29591a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPlus True Passed
33642d6101ba4130fc682703515dd7cfe654a0ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPlus False Passed
e73bf08c699f6462aa68da14463aefb56784856b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPlus True Passed
0b5126edd163ee989d192ff12b3fd834979cc128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumPlus False Passed
9be16ef5f05b97fce0a83d0f929b8e2461ae7939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPlus True Passed
92b67c7cbd47ab882c0d80328a0cb21be4fdb96c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPlus False Passed
e972d0b97b1cbcb25df753eaa3557b6fab77005c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPlus True Passed
5746256295134ff0721bad062569eeeb3a33220a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumPlus 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
bf3b8847f68ed6041c9bd2721fc929493b2f6b69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus True Passed
62ab1bc77cf1664ceb379d014ebbde658781dc92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumPlus False Passed
fb52a98ef2b512b3a6f3df8cf8ce7045112a19d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumPlus True Passed
1d4405deb491e6ff63ba16bbf4e32a7063272fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumPlus False Passed
a81bd4efb1f083c9a08b52652e825d12b40da196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPlus True Passed
970a169688e672b2637e3ec699a0585694845435 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPlus False Passed
fd55d3659a3a9d54c849a6124e1901c37447610b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPlus True Passed
6e88414ad7c0306b7a24cbbb7217611a23581309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumPlus False Passed
c02c60443313ee482cb051cebbf2ebc04710f039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPlus True Passed
fd9eb0fc04fad37b630d6bd521691f7759ed4606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPlus False Passed
b2443255c3b38815ddad2d191540fdf451eed258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPlus True Passed
f6bf53962761688cff7751f4b68dcdfc0908cac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPlus False Passed
c234e905a69eb2b4019158aa085951706c2af494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPlus True Passed
985b5bc124edabb8d3cf1073249d110d49957136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPlus False Passed
3e832c284f05db2c82ad24fad692df92f3859dcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPlus True Passed
1acded257f2cf1b502cb5ebd659b15dc48e475cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumPlus False Passed
dc367afc2672b2dceac7b5872f8d4bb5ba59bda9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPlus True Passed
f46a248563258fe32e29d0fed76571d384a8d9ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumPlus False Passed
eeff0f5822a19f7c3c8bc4343ed600729c481baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPlus True Passed
ffc77c368c161bb67956f70c77380f9d98f21121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumPlus False Passed
83cbc84f071feff13290fd7bae739ad99bd9901d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPlus True Passed
81d458944f7e9e36284998c3343e05ac302adf96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumPlus False Passed
f2831c97571a127a35946af89b6c833fd951577d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPlus True Passed
cced859d5a955aae7a1c18047e2c0951321cbed0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumPlus False Passed