Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a856ffd082312ac06be105d9ff68271c3b30181a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumOne True Passed
7594b6181fff9cddd848da9a38920962be9e10d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumOne False Passed
4007e6cdbb5ade56d449287fdb11878502d73987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumOne True Passed
ce9acc012912e901f183026ab9bc7344c5e587b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumOne False Passed
464804d417cacd72b39280bdb938163819110f4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumOne True Passed
9a2dcc9443fa44b01cf88349056346a5dfd7dc9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumOne False Passed
bcb0b54397c124dbb05dbb01d43504e8cf436ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumOne True Passed
d10812646f9a104258210b3057fb5aba135e1cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumOne False Passed
997175a2cc5a3529f7041c3822f0309c703cddd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumOne True Passed
be8db09a4bdbd7b742a71d6c9e0e7e95d0c4183e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumOne False Passed
805fd837fbf5b5d793880a172cf6ed2ff6ff21eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumOne True Passed
b149bafe66139ac33807966c8dadb1de3aaf97d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumOne False Passed
7f357a72de8db05e6ea5fa4bb75891e90b6521c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumOne True Passed
7de05b54ff5c253513c46f86471283ef99f75d51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumOne False Passed
034495086093bf36e02dd1bf5114fd7e1f5854c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumOne True Passed
efa9267c4dbaf9b7472245e94a26f1c2854a52e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumOne False Passed
33bea78fd975b4c4f9d7bac1df52b81a0beb7954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumOne True Passed
cbcf3b3ca8ef37bb89800322bc74ab8581e0b268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumOne False Passed
4ae8ef222e804b45996f608a58aceed9c533a491 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumOne True Passed
bec223afe3ac78038d345943d7b44081948fe617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumOne False Passed
2c0c9a93166e1a114fef024bd7a41465afc88f3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumOne True Passed
268d6584f2427d3535e8df6a809bf414f3151377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumOne False Passed
7d125be9b237313d28c6f8d5db75b2f275698cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumOne True Passed
3d0896449ae04a643b7a7cd22529b6dfb5cfe172 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumOne False Passed
038267fc34b8f0bcbfac7b9de6289efa58b8e0e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumOne True Passed
010ccd68a4894827e6aabfdd325a1588090233fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumOne False Passed
9ea8a84308a5b91d829447513aef7eead55eb352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumOne True Passed
46007da3a8d350045337975af0430d432fd23f2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumOne False Passed
b8d2f3834197516ed670b6ee0f41cc9d1ef1fd97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumOne True Passed
bdc36bdb7b1d0b31f8fb211092358cfd5877c81c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumOne False Passed
a9891faa0674099b8c0c4154f8796aa614a0a700 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumOne True Passed
4cfc5ce062a7959e220e39ab65bf2cfff1b703c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumOne False Passed
4acaddbea783adc620152ec3152d6db954aa9cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumOne True Passed
0beea65b2555ed43375685c5e8022a5fd5084327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumOne False Passed
44f894b656c1cbe093bb609e28146928f2daee8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumOne True Passed
5eaa351aabc656662d04d6a9a64263a6c0b84830 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumOne False Passed
53031bf2f58eaf8ced0f1cd3c6058d59a172abbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumOne True Passed
b0bd337d1f5f6dca0790cc290f5faa1f5157acff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumOne False Passed
ddc395d3590e7b14dc7373fb3b66b95688945e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumOne True Passed
f416ee5960df0b3d9be2dd6d84d053c1b84380c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumOne False Passed
ebb8af38b2f814f5e2b3c286d64223f5ef160712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumOne True Passed
36e1ac690370d926b30225144f24a42b8df2cc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumOne False Passed
37ac39486a5acf2c2e0e9462d6e9cdab2e29a3a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumOne True Passed
5d6b150546f44bc6275d07f6ade5750e1de628a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumOne False Passed
b6032cd0880dce7fe54e0d20668efd8c9e3ee3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumOne True Passed
09f3f0fd84078edd7c1fff0f4f7c88ccb3abcd99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumOne False Passed
f01e3295bea68a8fde3141a53065aeca4f2aa979 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumOne True Passed
ae822b2e84351bcc540ea25dba97fd224ff286e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumOne False Passed
6cba060e16bbfc8c2044088025ee4a4d60ea9947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumOne True Passed
52b649c62f5283f25f8dce821b197b20c6a6d670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumOne False Passed
9eb484e68a2ba8200ccf76edfbb108ed75d20234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumOne True Passed
f4303e8d4d9f4ceada0705bb7ca0e3adefb4fb2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumOne False Passed
0599d985d5d4e46eb34db3e0b5bd7e1bdb71d643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumOne True Passed
fecd770403361fc0135448aedf667139e1731edf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumOne False Passed
29018e8e40963cc25a09469770230dd107073b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumOne True Passed
8c7aeb1cf3c23b8574e65077f67b9d203b5977dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumOne False Passed
07eb59277a95d2b3e838072ce3d74732fb89cc02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumOne True Passed
2427fa7952c6cd23687819bcb1648a4f384b6282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumOne False Passed
ad0cedd87acf8a3d9f9923052e7f810a139f1a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumOne True Passed
16d03ee2d2bf2ee08449df69f5b6175d69700653 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumOne False Passed
beea3d82f2c7cfe6ea3bb9aefed8151c84da5fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumOne True Passed
ec1c6b48cc3c3d139a559caef478d4aaa0e8c4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumOne False Passed
9a455c181ad37a024cc53d8cca1429dd8c95ac3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumOne True Passed
f3f82e6215474926fb97cc2b3159564507e87d94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumOne False Passed
9afc3b665730a0507d30713f261b1c04c0400210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumOne True Passed
cd8a4338194d736d5fe3d7073fabb579318f5d96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumOne False Passed
f98385620993c1fa0f82593b2f8c5be4e4623afb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumOne True Passed
d80a1bbc842e5b1e778853374526ded856f59723 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumOne False Passed
ace178204d5af3ec3b33b4863235ed18b8566676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumOne True Passed
5138c48b43fb6fcda146d1ad6f413a8eacff029b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumOne False Passed
fdeeb57e5108555f239fd89646b2284eb271dd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumOne True Passed
2a8c7b27a58fef156b6f984bb6b880aaca3e1825 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumOne False Passed
a212c2eb50daf9c54ee9df9010b037f8ba73cda6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumOne True Passed
cd6ede1d4d962eb7f667fb9459a84ce03b4a7820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumOne False Passed
32f01f346c1aa467b26062294f275a80f7a44f59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumOne True Passed
45ff44ee7c7d207c42d43547b33ee39ffbd07ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumOne False Passed
863ba591313354af8fe207cd8df28c37371f35aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumOne True Passed
38da8b225338e492ead949352c098389b2972f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumOne False Passed
8da10cbc09f4290087b2d2a07661971593aceb31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumOne True Passed
38ab3b99b80cad5426d92d5e06c6bc80d0d573e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumOne False Passed
312640731dc4255b40907e60e7acd631132fb421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumOne True Passed
d844e8f37d204d6b9b9daeffe7d8adc90b85a31c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumOne False Passed
049da388c6f1d66f57be0af49e68c8314eff977d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumOne True Passed
d76ba3a87df6e920ae6e1415da1e5a860f23bc05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumOne False Passed
e7741ec88b457808ddf8fe2841bd6c637cd79450 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumOne True Passed
c3653176025628cc6b1d60cbb39dfa5f7a6aeb0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumOne False Passed
73882045f2a9dd2f15e39097f52df99f8dcd1ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumOne True Passed
a52b788e5631f719ecfd9ad92dbc2f5cd8d60636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumOne False Passed
eabe07afa12632bf9530c53d39df2251a75ba16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumOne True Passed
f1b5e9974a517e77ea51dd43d9f2015c5783a2bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumOne False Passed
2957fb4d2b1a419e40ff92b1d8b60d0aec57d17c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumOne True Passed
6930acb137af43a303728503a23bf6dc97a863b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumOne False Passed
50be9aafef162fd46d49027e047b001b3106a71b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumOne True Passed
63bd84def89e12aa1e1423b31e53d1841bfdc53f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumOne False Passed
0249042a02da722723112b4c75be2b0e5a65b076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumOne True Passed
9a95da5a3e63d24fb105954dbb02637897d37efb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumOne False Passed
6baddc366f2aae45cf35bc9be31e89e3c2184872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumOne True Passed
c0fd6da50dce0002387aec5ede97eaee5ad004ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumOne False Passed
b4db591a9e36c53e16929c363a5c01dec61a4495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumOne True Passed
15e24241c684e18039957f9e6dbb44268652d79e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumOne False Passed
63fe844b92bcf5807aa3b12768fdff8e259b8b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumOne True Passed
47c83abf0efebf8c8d1c868d8e15f9e82ca23539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumOne False Passed
a9aa13d88a6218ec14e2daa90a72a300c86aca55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumOne True Passed
1b38661284959077b076ca973f90df86682131bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumOne False Passed
612f567800e09cfd805e4bd83fe58863da6bc3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumOne True Passed
25ad37f5836df59e0d6684ddb29f56a0b8354ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumOne 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
172a3b59bca8d489c620b9c53179d1486f68468c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumOne True Passed
ca223948140c691ad47cdcd3f60ea7b6aea8f4ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumOne False Passed
dc05b61c3e1d07eb849ec0854354cae6cd3963a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumOne True Passed
fa3cb15a15369d3cefbf07d6ac9444d8a81aeff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumOne False Passed
1bd6b5dd62ba59d7d26db710a87431fbacd66768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumOne True Passed
53dfdfcdafd7673101b3aacef4933e6f6d5036f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumOne False Passed
e999ce4fb87784bbffec35ff57f06aa952783dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumOne True Passed
372a7907a5bc69fec98d749110daa7a519d64374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumOne False Passed
80601d68583a4842b35c84a73f2dc88eb9232ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumOne True Passed
8f59c8a6c476247a26e69ae0d0e1edea2d0eef4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumOne False Passed
7c31459b13d9adca4e290446ab219b2ef290b125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumOne True Passed
6dc39aa40928fef00703519d9c1811cda0023b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumOne False Passed
49baac0ac772299ef88f4f291e1a49a253c31259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumOne True Passed
ca8a6681ac43811eb7beca902ec4a141a89129d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumOne False Passed
2f4b0dc0c24a172a9ca13efdf9a1f4117ae03abd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumOne True Passed
2a63005c203f385355e7b0b6c568520d851482ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumOne False Passed
7ad572a7f728f3046db51c6d1ba196d57d458be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumOne True Passed
1850eb488c21dfeab2250edceac93ae20565c4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumOne False Passed
25c2a238bd01c9409798b563e4c54d56823803a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumOne True Passed
747c732ca98c327a3fa77c6902a46cada7c17423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumOne False Passed
7cc619e81b8fe7b6842d1f96fd19eaa972e655a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumOne True Passed
316bc6136ab6d7f6f6faa5b350e479c339161f2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumOne False Passed
c5fb3d2e99e3ca646419099255c88bb64277320b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumOne True Passed
a21a2ebb665d04229c6e0ecb2d5725627a249265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumOne False Passed