Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
de7bf04537f0fb152c22664c36e11c8c02de6407 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMul True Passed
e9ea1446b5ada77236b8b89a18cbc6d323260ef5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumMul False Passed
38ac1842da10dec242a8cba0ecc20c931c2cf386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMul True Passed
c7d9678859265856751a60e537d27437917f2f6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumMul False Passed
3da9286ad0eeefcf0c691d337c3dcb5803adb512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMul True Passed
a7ab5119c3589b3a825456fb92e3f44fe7fb5326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumMul False Passed
956db8d56247fb20d5746d3513d31dfe60aa76dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMul True Passed
726ffabf99c8fb445940c906ef041a0b004c2f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumMul False Passed
ec9324132476ec157cd63870b33bd8575606e021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMul True Passed
af14cb43aa723b5c2a8578d6146727d02941a44f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumMul False Passed
39212f5c92feff7b3ba943102ab834715e2bcf37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMul True Passed
01c5c476d24449688ef9616208ef53baad1ac871 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMul False Passed
62503b4071c6b5a6fd16d1e1106a6f3f811cb0cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMul True Passed
3ce0ea633c4af299397461d0072095e2226c5a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumMul False Passed
68b2e015aa1bdfb763f704818a8d2cec6554c72b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMul True Passed
5924a43fb31286e0c85b10d953272da794356132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumMul False Passed
ff6f5cbd693042c4651c5c0f04c96d85baee0d11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMul True Passed
00e70b33fa28d0e03bfdf619c7f2f34aa25fbd99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumMul False Passed
a3c7b671777633d0bd418dc897f5c76279c7114e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMul True Passed
f2b986ce924b172db250815e19efdf323d7ab17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumMul False Passed
be0312bf0e41cd11cbe7bef49d867542c3446786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMul True Passed
73491abd50d5310558bd1d34d9e72ff3207cca3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumMul False Passed
b79c6d7cf88bfe47d5efb6e3db1eaa296f12c6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMul True Passed
1e8bf2b4be2e34be37eaf8901155c38afb398d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMul False Passed
b919846ec9715339d2cd7a92b772395f22fad966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMul True Passed
d4a155bc702346fc871cd91799f22d5a8b57662a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumMul False Passed
7a1779f4ca54ada291cbe0704434aac0ec1f7215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMul True Passed
061c1e77d758efe9080b36074a8e307397c071a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumMul False Passed
ce20064c28df25710c956c31dda931b83616aac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMul True Passed
4c75b9ea3a28bc3c56a1514290b040e0e18db611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMul False Passed
ca73d1f2a412ece191580a1f63691d1a172bd1d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMul True Passed
2938e4a126b05ec9eee082b279d4b6aef64e4a1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumMul False Passed
0b65e8428bc6337f080d96d07e772ae1e6380910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMul True Passed
1e6815439fb479cc08fd0190b84b35aec218e2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMul False Passed
149015f76f50f5a32a6980661244e277fb647c3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMul True Passed
740efebf74686154c111f9c11545789f4d8f043d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumMul False Passed
d323700d888c8a8575ad7175cd49be74417459cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMul True Passed
9b1a4eb9aeb30d6fcba88b9182ee994ae4ce931a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMul False Passed
781e87936550d33cf5e5bf0bb96f6d47ac536014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMul True Passed
152985c611ec1d2cd4d4bf3df46d9246c007c739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMul False Passed
6a54d4ba6a1c6a62eebb4b55f4a78ef9e9874016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMul True Passed
7a3c26c7c5477f92b4b0891101a3b72b5092a7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMul False Passed
d53874437033f75b11d13248618beb70a00dce8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMul True Passed
6bf276b6b3820ec3d8f8de31ea85595bffb426dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumMul False Passed
0300a7b0fc73c4e9cf9ce21697060cb87c1091fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMul True Passed
0d23546a0179edc1bbe3368909ad68de0d5711b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMul False Passed
70b55bdfa3940482b40f243dda3e7b3262ef0a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMul True Passed
f9e341698a5e3849cc92f61a86ff1927023481e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMul False Passed
a865122616f376367a252ce55189b0c1447e307d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMul True Passed
eb0b88600f17e8de79eca048e8cf889577eee5ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMul False Passed
0008c5337400700a11361148270d07ef5169c89c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMul True Passed
bee0925e46e82a0cb92a4c054c5149bee1ccc61d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMul False Passed
bc7118972fa417feb7f5ebc243f0a03d5ae93ddb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMul True Passed
c5f52fc487eece55e51a2ffc68172c36dd693cbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMul False Passed
fb164f69971b50d29c368df78ed58ad10eab8fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMul True Passed
a9799c7ff0d5c4fff6c9b16c92d3a2589bbf4598 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMul False Passed
bd6f55fd32228f4fefcfc1a2329143ae6737ec7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMul True Passed
67ee94cf0d97904a786d900c8945bcb5c04eee97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMul False Passed
3487f3c216d1a2893adaff208da18994e4b8b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMul True Passed
c6da684c6a74df4a13722d3e5feed1b243ec626f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumMul False Passed
11683f0c167eb8ab3690f811729997f04fb8fd66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMul True Passed
aa03ca20aed86f274d92bbb437f7bcb0396204a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumMul False Passed
663fac63e41d5a4b2ece92804086752059eb92e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMul True Passed
3597fdd804438fb9ea1c77201c9472880936101d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumMul False Passed
db17a837bfc5b33949bb99ce79efc19652ebcc1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMul True Passed
7230cd6c7f0feaa2916474e9d072c98d99e2b9f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumMul False Passed
09993ae1d53c8da32275f541f8bdefd5ddad1c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMul True Passed
65b1ce1ce8bd844f70060f3110848a8a1a9d1258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumMul False Passed
e6491bf49a0ac8bc4ac26fba211a379123208e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMul True Passed
b48eb3a5a2f32909e906a4d87767da4d62dae0bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumMul False Passed
706f20bc00d717ead8d950d775db766e1bdf630e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMul True Passed
049ba0e5b00987d5b9bee9cffc49b39b3127b802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMul False Passed
275c7e7e38a48ce96b1087ebfd95f0cb45200a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMul True Passed
89d0c686a1c9b589a195d44a4bc48f4348834043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumMul False Passed
848814beb50f97376d40bbaeb640f1abe43f6aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMul True Passed
cb454f495b7e1385b062a14cd20a58861522444e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumMul False Passed
3f0172c155eca212bb87054b46cdcaafa694d1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMul True Passed
b435cfe40290bbc2a77a5bb3fee13da830e85f74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumMul False Passed
27d02f9468f3a6da18f1c638824591431b25b02f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMul True Passed
45e9d9a8ed75b305c3717c5a1a04ef5ba952114d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMul False Passed
0980fbe8dfb0221ecbe1c5feb67f6b7b1eb320b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMul True Passed
31976adc473e276688b662bf09d07b1922b7149e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumMul False Passed
b3c26011832e3f79cf2e2a9c41370cbc5b7d4bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMul True Passed
c59dce8da7ff9695047e25b092be3e3bb55568ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumMul False Passed
506d7b415762ab928492eef68f08d1a766648cd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMul True Passed
f3606a2ab2242173f166c0bf3e01ee20224f1eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumMul False Passed
8ee3ea87c73d4ba737d1751923428121423cc357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMul True Passed
a990c1d90f07b91c6993cb85bd95e0dc3ac5a6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumMul False Passed
91eecf841d6556de2b1a72b27c3de735f874b8ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMul True Passed
2c05079228d1fb6bdc0aeb1ce3130a37317efef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMul False Passed
cca787e4804052cf6e614a44561b0f9915e10146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMul True Passed
1178bec05d67ec092e1df30b0477faf6e8d02ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumMul False Passed
8c70a43fb7f9da49e28ca5215ba9653b99ff7f68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMul True Passed
5e0d03ac44d9fab90a6a198b5af025558bf71d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMul False Passed
f58d27831bd28548f3c737b04cdad4247748af55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMul True Passed
a29232f6276cdd9bd7eb98f42a4a9dde7882ceb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumMul False Passed
51baa8b6b5501401fc70544428b0cc466d69d355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMul True Passed
be1e2edacb3dc49d4acf4713168a8eaaff5dc640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMul False Passed
6cf52dbc3db143bf291b8bcff2e0454d878642a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMul True Passed
e33e1db25ac2c2234e9e6dcf9694552f478823fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMul False Passed
53305b8559f31cd02fd0e2c18e9c573f93f5ba3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMul True Passed
24113ea8af1ccdedd41d6b3d2d7f050e9deb62da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumMul False Passed
fcd982f9d0cadbf518b4b055037fcfa2d8acdafe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMul True Passed
4877739be458c32bf53e2b93f843f999f8efcfb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMul False Passed
b457b5c31495b418d6e631d49c0679f262228524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMul True Passed
9731cb2b8920c9886aca921fd0df040c4bccdd55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumMul 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
46d05fcf09d7ff25fcd18e59d6ea1f02c9e63a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMul True Passed
d09e94e9882fcd0ed8ddd95026b97a11dbffd0cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumMul False Passed
00462b868060fd2d2ea98ddecfd0b317c792366a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMul True Passed
f8dd47228184575818b5122ec3f5a21658094f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumMul False Passed
8585e880cbdafab6e67fc97b898dfcd0176017ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMul True Passed
b779e75b319b7bf47518c7c536414d54b80e9bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMul False Passed
d4d22200486889add1338625518ba6882478152f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMul True Passed
e6ab753b15b033a22f44c07b9a4c98c5c61de175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumMul False Passed
11fba75344d3c884dc3086c38c4991a4005f5a16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMul True Passed
fd43f8fd3427a5be1395775def4ea32fd0683417 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMul False Passed
02ee3541e4b04cb870a3e73275dfa0f6ce12f80c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMul True Passed
dc65705484cd05afba28013802a1ddb9592f9a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMul False Passed
e8f210b6e7e09a04c41857caa92430feb7c99e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMul True Passed
1b0f7569677c265f1c6f8ee41056e84c365948a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMul False Passed
a1bd3dde743504eb197b98466686a9af2bed9ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMul True Passed
f8c6fe12d504dc7732642d00d872c1e6b1cb1f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumMul False Passed
50738323657d511db629b9219fcefac78f7e1941 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMul True Passed
04f07aa48cb9c490fc91102f1d7a3a6553387c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumMul False Passed
7330ac13d495c603314ae88345caddd8b8215253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMul True Passed
00ce8c40daa6fa48c955342897f16a2714f8f179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumMul False Passed
06d4cc2018591bfa58477b0c35db9e6b8bcac85d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMul True Passed
da5e7322c66ccf1885c385f1faf401750975a179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumMul False Passed
afe24d53fcd50a8dcbc80f2261b968fba07568d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMul True Passed
93e923fa04259cc6057bccc5e52e22d79a4c7a6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumMul False Passed