Index

Tests by plug feature NumPow; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
812a2a926d9d262fd57ded05cf3c795ba48d18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPow True Passed
73c8f5e26de3be5a23c304164ac969cd41ccf123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPow False Passed
488a03f1032975ccd88ba8b21ba54dfe27969bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPow True Passed
25254ee6cb70a0109f737c72c3cf289b6b15fb9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumPow False Passed
b448617cb39067a88cf0115c1e2b168cbc0d8a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPow True Passed
3e848425faa5a042399fedf016a695c2c73e476e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumPow False Passed
6da373b66cc298f6f6b5d3dfa6297b4e20f675c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumPow True Passed
e815f686e611986deae6d15b998c6541cf566113 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumPow False Passed
b8cf66d1a81766b20693acc5c70b9c2e2946d60e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPow True Passed
65ce3f4070113e1c1e4a58ff4ddb6bb4d9e695d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPow False Passed
aeae47c8c6134af8db0a65a6ecaee63310e46ea8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPow True Passed
b0204a5b309b8ac802ef24175660530b730ab5d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumPow False Passed
b8ae3b137020b6d4626ae692006d25d6ce518b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPow True Passed
6f33737cea70df40eb4dfedd9d5c2c4ca55c8d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumPow False Passed
7bac11cc1f2cc0c019e0fc5400c50029d287e3bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPow True Passed
cc1549b6b7d88612149fd42f2decc9c81d8fd283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPow False Passed
436344d7cd380d79dcfa3773d0bb6323dbe6fe02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPow True Passed
3a46f0c0aa4561230945355b148e57b8aab89d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPow False Passed
69fabdc892551d4ddca62bc5ba956baa9bfbd5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPow True Passed
351353cde4968b44d6eaa45fa77cd03521b499f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPow False Passed
302ad81aa520c364a8b49bd8b6511deddf15875b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumPow True Passed
096e52cc6c1f6284b201f7bb6e9e95fb42648a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumPow False Passed
c77b478386355c2941b1d7563df3641319e00c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPow True Passed
42901cf958a18c45907bf08ff5c4795a9e769413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumPow False Passed
71f13f6b294786880070d8ce14b16116da72b5e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPow True Passed
0f46e2bd28da96b7a8a03c555b8519e3b03a2a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumPow False Passed
f2d162485d1b73525beeffab4edc6126e5098b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumPow True Passed
f67599bd7aef529a5a7dbf14ad167d8b7d79df6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumPow False Passed
0d112d911814ccb74f879d268bccb64689717da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPow True Passed
dc274f655384fdef5a7df697e7567d6a2ddda449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPow False Passed
737804989ed100a1ea91df3c158b8409ed5229f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumPow True Passed
c58edc619c39a910b1a5a3b3bdf1d5a41fe758ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumPow False Passed
e9991288175875c3e7acb996c71699a46a417f52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumPow True Passed
f6e174eb7c2b35a68b60aa72cde99175c75022aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumPow False Passed
50d1ede2b526702f634414f147bd1b153caf0f63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPow True Passed
e1bcca1658894e7bf533ad9a83bf88913a453c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPow False Passed
2104ebd1eba9ff4f6e638921ba941dbb416c20e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPow True Passed
0453a912c83361dfa80720ef3f40adcd357c735c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPow False Passed
ded85f5ce76c1934df5fdf52c9c2969aed3be13e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPow True Passed
f04db6321b854915cde00c5aa6e5069404df0192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPow False Passed
da9b6aef688a73df1452640c4275e47fe7357247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPow True Passed
cb46a57c5d326293015db7d10696ab250eb43914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPow False Passed
8c194e216df8bf8cf3ff0f4f7fab567b603ad95b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPow True Passed
1ece0767111ee8d362e959e37cbcb6fd8dc5dab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPow False Passed
969682c6bd11d9e94ca9f7973cf2f75273553d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPow True Passed
ede46f9fa02ab247e428b3b908ce6d7b3d243cfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPow False Passed
5e5de67a19ecf76714e4a898524e3c57890705e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPow True Passed
f4a27d1eb6262ff3c818edc7b3bf91ce642e4981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPow False Passed
b72037c82c43faf516973e461a4c17face1639d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPow True Passed
497a429ed66570ade221840104fc008a6d936192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPow False Passed
95cb2221b00608613aef3597888b69b38735c331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumPow True Passed
dbc42ef4a7b9c595ab25d69cfb1ec58a1270dc8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumPow False Passed
16fd26d886991baa4316e0f64816316fe2b5e21d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPow True Passed
2ea717b528518fdcc998e4f29cb5c97492f3317f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPow False Passed
c71ef4bf230c4192dbc82e5922a1fe24bce9171a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPow True Passed
b458269f09132479b0f0ba4fdcc4e3e3b0651315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPow False Passed
07ccf2fb1aac7db1c73456c1a00e5dd74b965711 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPow True Passed
936b6ae929a46abf2d413c1b8f1d28c22277efac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPow False Passed
5ecd18c84cb9994e7bad9ad7eec18c489d75b4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPow True Passed
ef404a4dce4a7772e5327cc27c476d047b04082a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPow False Passed
64ae155aae7863f5a6f84f3c73cfcda362045d6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPow True Passed
d05afe91b6652625a3069415a591fbb042d90d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumPow False Passed
a00968bf954e7c46940aba88c87256cbe3396cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPow True Passed
f7bde1b110c52000b488af10e98b5377a2bb3130 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumPow False Passed
a64a8fda9eb97c45cb177e1d6c1610b7d0b6d80e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumPow True Passed
f8d05969d6de84fc9a9cd2bb1ee56b49fd1c83b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumPow False Passed
c3e5783d7e76c909a53fdc3364153573b6bc1626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPow True Passed
6450c6da65311a6168d827384fddb3fe73df9be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumPow False Passed
c94c36cf2fdad39c41e73d531f1f2d2e3ace6e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumPow True Passed
5e99075941599734161595228673f1a496a3cb1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumPow False Passed
6ca6b7cedb9e3adba214f721f5072abfbe01771c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPow True Passed
0c8ce6aad1e4a4eefafa6d6ae7384583ee8d7bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPow False Passed
0931fb252faf2d3cf9d2adee2ba7fe57a0c81630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumPow True Passed
4202c38a9003c9a4d17071906922ba0544dc27ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumPow False Passed
b6fd50b4ad488eb80bb8830a5abf78ff25438538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPow True Passed
d208702aff64d407350c76aaf7c856ce7bc3a671 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumPow False Passed
1c9c257dae23cbb05996403912ba75efbc63f487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumPow True Passed
3563fa05da35cb7d61f198445b719a63035c97f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumPow False Passed
3ab05d8541e00878371b487a301f10fcff3a68e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPow True Passed
a192933af03219ad4fcd841c19024516b7f389a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumPow False Passed
fb5e295fe2bc5ee68bfb6bb3aa3ed04a7582c4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumPow True Passed
14b2b669ae799d9bcb7aac4bc484bff11c8be18a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumPow False Passed
ffd3a8e5776c2af2d599c7112d26248536675ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumPow True Passed
4472ad530e4c9eed3416291eeaa917c39b8fa4f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumPow False Passed
340d2ff4fb8dfaa135793ef1c2d1b6a266a091eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPow True Passed
73676b3439c24aab39f4b76284b6f771727e591c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPow False Passed
d2af6073401818678828328e80a347243fe4cde3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPow True Passed
38008b4e30a78efcbcc33469b2f346e6af38e8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPow False Passed
e7010893368f7419ab6908a3b611843ecc366f6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPow True Passed
31e3d604c877371c3f4b0ac4e8d00d411261b612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumPow False Passed
25ff9089b3cafd745ff62573af035706dee55f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumPow True Passed
9d8576dc0775a7fd4d7278301ff94c4057ef48f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumPow False Passed
65460539988e52b5b32d331686e31bd5656404c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPow True Passed
e98e4730618e52ce736272a3a873edab54c44840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumPow False Passed
1ad8c51cabe54c3e9fd545e35c9fca8c72d3a5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPow True Passed
e560db709411c2540a06ef90c3456a32c9d6c0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPow False Passed
d75c44d0f84d7d76bd065958828c52ecd3347175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPow True Passed
717a55021a34d8bff9ab3affdcad411d54da896d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumPow False Passed
18a2b5748ff531a1db274cc16329457a3e0cf74f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPow True Passed
1c5a1e4655305f208ca06884a2de5b01fb58113d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumPow False Passed
51677d39fb98689230eeb048e721e2db87080356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPow True Passed
4846615a570c71b121880123dd6317663e7f5d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumPow False Passed
4b97c4f1729664c10137070ded6d7d9e64d22f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPow True Passed
dc84221d32e51fe0e8cb499b2fc20778f691f9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumPow False Passed
e44dce27dddab85a0c57e68351320c095b4967ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPow True Passed
03c669937c31eaf184abe5dc46efca01b392307b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumPow False Passed
51e96262e527b338ba0e633185746854c54f68d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPow True Passed
53b7ba230156b422d03919e06f423fa56c5b8766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumPow False Passed
c27a6e8b2669ed7ca24c352993c447a4bf827f30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPow True Passed
e75e8418150759398f9670b0025c7677546cd93a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumPow False Passed
0531d348755a55bafa590e47cdd8a8cf31a76c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPow True Passed
f1097d81afef09e9757efe4650a7a7cb6708f43f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumPow False Passed
3401e23591767ec569601e702168237ec0772ae8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPow True Passed
8409783da0a25fbaf4a3fad874e3f0f7973b8175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumPow False Passed
52294eae0b199f1d66209435ce698dfc8126f0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPow True Passed
1c2a68451871952ada1e769ab1f2e5455d04252f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPow False Passed
e34ab6b9f29639d9ff408da76556c780b0d490be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumPow True Passed
c7f74ebdbfbfdcaf7f58bbf86af4d79370eba7d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumPow False Passed
4096b08bf6362a69670d914525cedad414dc3b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPow True Passed
0336ed2722a6ea7c1707f27305a7a0ba30762911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPow False Passed
b01c72c86fc5a766754d25a473bcf4dec453ba72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPow True Passed
cbec9e4848828a56da8c6968442135cf9bd4a262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPow False Passed
754fecb5f6ecca798230b2d3e8df2f49aeb3a934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPow True Passed
0d8be771d9a00f1737eaf758894d7767a7fb9684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPow False Passed
39f14b413f1dd6df4b959d1bb45fceea264fa475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPow True Passed
22eeeae6debf6cac906a0431c3aaa949f6ed4af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumPow False Passed
18031e404527ba1f9aaf0d6203ed179c282dafca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPow True Passed
15deaa7cad25d9fac64e5b83c768f2c005fc4605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumPow False Passed
b4b0f7144b4859ebe9de479f15c4a030c6d7c6ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPow True Passed
7323f8bb82fd087c2087414f78452ed73ce6c21a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPow False Passed
861de2ac0b51592dc4b96d50cae53c15f7e5e7ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPow True Passed
312fd0251caa18cc9fc4261ba0d36ebff7311fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumPow False Passed