Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d3c1295973f43c5489d899101b260fcb2c092b04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumZero True Passed
7c14b429d473d1d348d1ecf7dfd5b6ee46a46acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumZero False Passed
e4e4547e762c0afd2c4cf00c47354d365593b061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumZero True Passed
1db32864920d82848b22c5d9da5ed0d2d2411384 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumZero False Passed
1f282506a39971a2c8fc752448246970a331062c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumZero True Passed
bfb48bf9400db6307b20613d43af6c6b54542600 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumZero False Passed
4b8d2967abd29d475c626b4267145bbc97576249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumZero True Passed
94ff9ebc05cfe68446689fa9117519c411fc4cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumZero False Passed
854b6192912a0eb9a86a28228f1ead160889ad37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumZero True Passed
f7b8999fdaf959133f39f4855f7ef9b3e676368e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumZero False Passed
c0312d56c328d6f8768b98a3464d0c272794703d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumZero True Passed
68900b9bda9461172ca9882e4ad25d7be7e5ad5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumZero False Passed
eacc112507343f95f95ccf4e51d72ee6004984bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumZero True Passed
d9ef761ef9e7b01dbe2e0988a9bd77b1377d7ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumZero False Passed
da6d2526fe8d8fd487619c1236a0d735f92887fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumZero True Passed
2cf945d77106ca76fb1993ac6d91d7357d14d0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumZero False Passed
106f61a29d1f4448b6d497e6f34d44cf7de31f5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumZero True Passed
2c0e2305fe5f8449f0d59a042d15dea94c4742ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumZero False Passed
59d3629bb880562c9e8e7ca26f8955a8f81a28d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumZero True Passed
8aeb93600d0233d5c35bb95448b2d7547b31bf3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumZero False Passed
6caed4aa74e84c3010cfdc9b1d3e7a155a016c8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumZero True Passed
158ea8841dd1dcf01d1b9d5cd636167c653348e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumZero False Passed
130fddb640d840a772576396695a5b14f693c430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumZero True Passed
29834063e4d38798b09c64ea44146f1261e3917e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumZero False Passed
69f3e68bd021706b83e55da90ba562a4cdb078b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumZero True Passed
e48c589b723d2007e2a1bfdb4820f25edbf25700 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumZero False Passed
080d17f593a395e17a388f71722e84bdcd3a7621 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumZero True Passed
3ba4450e32de29c72b1f4f892b15423f943230bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumZero False Passed
df530735f8a1d66d573e7062e14ad03f2349c177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumZero True Passed
394845a5312ddb77388d6c3435d778a2cb2e9f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumZero False Passed
f845cc0a780ea344b5788f2a49058d881f835d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumZero True Passed
64cca2baf96213b9ebe4cfa974d6da6e071f4ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumZero False Passed
61cbb941c80f2331dd65d82b597f0c5fcc66fd77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumZero True Passed
a303037c76f3c59f913c06f2c20c6e561dec0eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumZero False Passed
2c56e9e535d2784c75615eda359c072c42a2be5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumZero True Passed
46890956915c70018edd9f9b6d9d8060fd75213d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumZero False Passed
73845f52ff0683dc7d9eca8c0972f9fe87d72933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumZero True Passed
9bde5cc133bae28970ad92bce41550f277d22838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumZero False Passed
b9f9d321f9ee525ad5931707915c2ae57d3d8ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumZero True Passed
2a766faa5f8bae5cf6a9e5a76b2e3e0c4d0fa2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumZero False Passed
c6d5d6b378c8bae8d3ed2213b0f9ee824c62130c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumZero True Passed
aa7f8acb824436e94d7e159b8d9d06988b096630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumZero False Passed
193fb70cc9c4504a35023993566442059a5d2ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumZero True Passed
70272bfc4ee4da90db8e6570defe5bb24b06f881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumZero False Passed
9161abcf989735ea6d3e6e358dd0a36cb90f6e8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumZero True Passed
7daa7461d18547f3c85ad14720790eb88102c1cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumZero False Passed
eb94fbbc509196ebaf0be934d3c88a954b15d485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumZero True Passed
f7442541229e74a5705d3612013656551152b756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumZero False Passed
9e46744a793dadb5fab03ed30619cffa94cefbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumZero True Passed
c73db1a8bd98ae2ea9f16c5709db65a0300a6bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumZero False Passed
3794760ed72e312aeb83ac25bd068319c72983d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumZero True Passed
da87a9c05cca6031a48c7d622d670ba29f31424a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumZero False Passed
bdefec003fc813be897328ed33ad5ed0e5b5c89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumZero True Passed
09b73abce5ac24d8bce7ec1b443ecc23ea71d9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumZero False Passed
679c3602823c1e4fce5ec6dc536a40ce49d43acc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumZero True Passed
ad3075827b665bb54d3bc4147cf4f970d7a01c2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumZero False Passed
5de09456ffa86c77edce5c10985e501576bb59d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumZero True Passed
6cc572d298d4e1f232a49802ed4deecba36daffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumZero False Passed
db52ac308e8c700b00e0288326923bba0378d698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumZero True Passed
4d914b9515737fcb8f80624853b8b405a8dabac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumZero False Passed
578863844c5d691da247acfc69fd103437fa76b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumZero True Passed
528ddbd0f0e5342c1915a6684f4e8079f2784893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumZero False Passed
4b60f70e5e250548f6d09812ef37a8ddca48001c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumZero True Passed
fde1862ec3697bca9a33d820e582e2914572a0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumZero False Passed
a81e48e9f1da0796d46d95219aa98e221f838f39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumZero True Passed
660775f23bb3ea763cb6b867fbd9431f5f1d2dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumZero False Passed
ec5325b0968f739172eb94926b0f1d1666e3789e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumZero True Passed
453d907893ec4966b1513739c33b746181eaad47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumZero False Passed
082fd94cc33cf5cd108a022cbffd1d42658ccb92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumZero True Passed
bcf4d3f03da3a7663650bf4e83f250c2b7b85228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumZero False Passed
5397dbd1b1bf7d39ebce17ffb4820497d10207b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumZero True Passed
e79d106321ea0be0b9852a3ec94570ea22ec6e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumZero False Passed
9f1a69f95caab004b24ced43309d3a31d4fb716a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumZero True Passed
29510750175aa009036b47f3f1c1469ce32fed5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumZero False Passed
0e0a599503c46968dec5179939f0a5f41ff24cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumZero True Passed
639b543f9ad3e8da27884f7645034bf333d05f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumZero False Passed
25d270f6a25cdeb6669f070ed77b07327c599cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumZero True Passed
8b7a2403e33beafce35b79cc8149c54d71ee4589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumZero False Passed
ef611ed97ddeb1fe92ad97c2acd55351674a7da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumZero True Passed
cc708ac2682bd5fe61bbb2e40f1ddc807a189aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumZero False Passed
4ffd31273123b4f632c58914af780d417812d8cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumZero True Passed
f0ad10827fd393e3eea26ec2332c19cf820aeb6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumZero False Passed
cd57acfbdce2381fc1228b20af5102e007cb6bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumZero True Passed
feb14141edef170404e3698ff2aa748362c97261 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumZero False Passed
afc63a29207c21bc8d9b4a34114806a6025dfde0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumZero True Passed
b7394cb6be6d5888c55651d740fa5a8a4a02962b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumZero False Passed
bebdfe37dd8d00115f4a7718cc8d8e6b18400f2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumZero True Passed
e1373b60ddf8b23466f7c5e4df81a51eb8412e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumZero False Passed
25d87d5a4a330b069f617a1b308709a4e8a5e212 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumZero True Passed
7f2a384eab301788af61b6b94a1cb42701b6ed06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumZero False Passed
ba0f4ac8235c1127f7e8a0f5870b57b375680d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumZero True Passed
85fa4c5b5857f86d9999e8c7f7b4412246481514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumZero False Passed
1b02799d11f48f2469bdcc190857c2dddb96c93e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumZero True Passed
43f156ee406be5e94b160f34050bd5299c81b17c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumZero False Passed
bf488050c2f2a9e73d9714acaff1752e1c62111a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumZero True Passed
d89d5dd3572b59e4103e449a8618e89c627363c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumZero False Passed
bce53cb079ad85cb74fa677d41c39bc5d40311f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumZero True Passed
031e21dc46cff484dae2b4fcd5266ef38a79dfad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumZero False Passed
851402f0ce3d991fcb36473f6e3ebfc54ae985b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumZero True Passed
1b3a7883a3b0a2b088f55f5f54db3169655857a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumZero False Passed
2f2a68114a538791306d147219b1c408b5916cba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumZero True Passed
2ffc4b8eb8adf756787f667322eea666ff6f3c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumZero False Passed
ce524dd1faf0fc4bafb9bcdef5c17f80daa5aa66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumZero True Passed
50552fe7923bb9c47e264aabe6b2a04394e2957d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumZero False Passed
2835e43815f03cb1fee49f86a1260b8addc099f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumZero True Passed
53d1a4ffa359e8450a4efb18b7e472a18d22abc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumZero 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
89165962a818b38e37792a025a29d17a1645345a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumZero True Passed
a3a3c19b7ddab763a6a5e6ed370d1def1f906325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumZero False Passed
ff6b3f92044d5d6b26d0f2769241a1268c568dec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumZero True Passed
dbc6dee12459ef2d1af9826b37ba044aa27fee54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumZero False Passed
a359329f5081ee039f7e7ee460d300f2b713d939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumZero True Passed
d13a3360e3525905454c65e94fb1022733c3422d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumZero False Passed
10dfe36b4a8c9cf300f6422a15320dd83ae0c82b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumZero True Passed
d5428ab86257cec7abd8b6427f2f57a0db4b0745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumZero False Passed
fe8e3fe81145f2050cb794b54fde83b2abece759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumZero True Passed
d363b371986ff21404fdd30825ff3206f82469a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumZero False Passed
77be24b86c03266935d0556cc300f5bb5fde049b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumZero True Passed
f046a5eecc14278b96a59ef866d0bbceab3077be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumZero False Passed
0d0a8f258f4b3f9dfc76b933ee1ad5df08e784f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumZero True Passed
dfc02434edbe6df72bef4c04d9b6f7b647cc9789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumZero False Passed
e66b042a90ab5b2d6f48e95af3b2b7582ac1491f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumZero True Passed
ef813bf425d5587074e8ec6c3a806829bfaee5ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumZero False Passed
6c5b871549ecc3a65f1c533772adda951e1ba1ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumZero True Passed
e9d0669047a1f18af96cefae5f8f37b84084496d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumZero False Passed
721339fedc0c8669d0fc2ff927b0a2e4e30a2189 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumZero True Passed
cd32843f44121f44c8bb9574c74e628be893eb6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumZero False Passed
2846f2da70b3bcfa22f2f812484a3a37edd88b23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumZero True Passed
52ebe3673912d8f598232e531335744c86478d03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumZero False Passed
df9fcff06327523a7423725d866f3ff26eb3cd26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumZero True Passed
1b2937702302dbbf0e8bad2b810fe7300a5e036d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumZero False Passed