Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
669c8c0bb220a724a610bb20a9adf4e968ad37b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMod True Passed
83e4f9b36e000839e2b574fe146e09e98cac83ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMod False Passed
4f0c637dd7d47c2595502a218cfe792190a6c844 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMod True Passed
ac1a47bda06f8e6539baf09519627245c0f18ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumMod False Passed
b9e8544be835d96a8bc3728cad30742d9670ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMod True Passed
7f17bfdf44a43fc16c5be4efd9f08983bf469c33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumMod False Passed
5a726d8e2944eefdd8cd027f1fa3d19b6292f113 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMod True Passed
3243c5ac4bc8e827ada6ef5b1bd504b639834f36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumMod False Passed
aa64e53e7c5a6e08ff847e8d4b1bf1aeb58f0beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMod True Passed
fb24395f5d2f6cd0eb0c94d40f602c107cdc9b78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMod False Passed
7159d4f1173e2285bb1df30c23141700ef8eaa2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMod True Passed
0ce91c14a3e29c69c88e0625c2d53dcd008c726e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumMod False Passed
8401012e6f57af69bcebea5131737541659ed14a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMod True Passed
49aa37ee4ec257ca470c08427f7af496f5f6c4ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumMod False Passed
a94ce96bfbc5ec1d61520c9653df6a73946f490b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMod True Passed
363607546e17954163ad3c2a730aa1a1c3a65164 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMod False Passed
03879a14119baa5b0ab7b781047217fe6c907a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMod True Passed
db6f04334dfce059aaf69062375d867be0fd040c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMod False Passed
32325ee8bc721c882254eefa8428c5cb2a5c434d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMod True Passed
3e6342c26d04926fd02e6659b6b82f7b0eb6afe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMod False Passed
7426c68deea5efd8c099af1c0494abbead9cf501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMod True Passed
3b943c78ae46974094c60d3786b21a3223903804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumMod False Passed
aa177aaa6eb66ebfbdd34e09ba5ee3765ea01edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMod True Passed
3ef75133091875b76e4b90197afb2d9a47198aec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumMod False Passed
33efc1af611437f74cddc7e68afef75bb28f24fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMod True Passed
d3620438ce8d28e08796cf6311fc84b7aa59d77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumMod False Passed
bb93c9df74f5eb475c059152f9d792ffbf843ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMod True Passed
a2b9a5127065036867160718d2498953e63ba8ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumMod False Passed
2dba28e2b3bf90321e677f7cef0c56d514814499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMod True Passed
1d8d18baa9fb75d5e8a7c4562ee93bc573b797ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMod False Passed
12962aa49fe8a55e3bb8d95f32228d427bbf5c36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMod True Passed
e4593fd86de2bda5e1849b76a03dc00f3c908497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumMod False Passed
d370ba3fe6245a003e9b64fd8c03a4cb1cf37dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMod True Passed
59db0ba3bee711ca2df0fdb3bb32b676ac5b1643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumMod False Passed
e334c6194125dd467fda45a0692a23f0c02a36f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMod True Passed
3aea318df22a36a6fb4aa34fe69f4083aafef4de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMod False Passed
06e8ea2f354fb0f2ce9078f46e4df480b1e1bb7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMod True Passed
647ea9fdbb002d04480d38812782c165f6e52f97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMod False Passed
85830cbfdc8ce2eba58b400e9b3f1278582ad72f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMod True Passed
7cb66ba14c454c235c434ef38431341970872324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMod False Passed
bb5528b1afc3aa24460db8ee6fc3c3118cdcd18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMod True Passed
4e202edcae8ea3d4d5b34278654acc70316b3910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMod False Passed
9314d2f41c9c0fba05c135dcff36e5ddb318edfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMod True Passed
84077bdd27b00d023db2d7f3c7c7fc01fab51e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMod False Passed
1c494f4a700a87919f79591fd75354a7825843a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMod True Passed
6340b233ec342c9d2dd9d32d170fabaef066c4a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMod False Passed
a82ce8cbea90893a14cf55905d953da4b8d5019e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMod True Passed
c2c9112494c028edb005d1296d5e6e555ad18bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMod False Passed
317ebf6cc8884960166aea40365dcb5e24a8345c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMod True Passed
3cf0d05cdd207f258ae43986a6e76539097ff6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMod False Passed
3f3493abbb0a15634a393f458aabb9f498906db6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMod True Passed
92a829f5a2c3c07910122dc628b80d6efa0dec9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt NumMod False Passed
5490c666d3ba1e7f11de739b4ec9345c4875e215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMod True Passed
d0ff9566231bd7c6dcfa43e36aacfbcc5663e54e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMod False Passed
f1e31c2ceb38901617b49f79cb58de07e68d67ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMod True Passed
2026b2ded57a0668721fb37add067a679e6b97f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMod False Passed
d452e6f9d6dba49b1579e9ce64283d81b37d77c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMod True Passed
e052de8a44e5c32832262cf7cdb52569c10c4f2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMod False Passed
b94630e5f9f6e32ccb96917249b2aad27e2ee9e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMod True Passed
4dcadd64e6dc40c8397e86af7840e456e1b25dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMod False Passed
9bd4555ea5789eeccdc174231d0a6ebd6cdf1777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMod True Passed
042fbd7e4868b257571aebe7f22a26ab90acd09e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumMod False Passed
704a43d370f6253794d9f88f14d718dd0096b78b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMod True Passed
700459e6f5b6fc7949141c1f30c8f2e4363d9848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumMod False Passed
0104f22c86197b6f8356573d10caf15dbcfa6196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMod True Passed
8d0407b115b321a6a05834f6045cbcd578439864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumMod False Passed
35ea99cf1483d9465cb46cd3e940f47553258d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMod True Passed
aaba26b6a5c4a88b66304eff37f0b28301a4fca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumMod False Passed
f747a1cb0a3ec26c728b1bc872ef1bacec911cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMod True Passed
5efb2a1d6326dd4c32c8e95651e75589f52731c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumMod False Passed
e0aaa8243f167837391133c30786aa5a493f82f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMod True Passed
31df87d19c2270b6ee8660b461979178f21da565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMod False Passed
9a6ce4cfdbd6396d70faf66fe50624c84ecf1681 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMod True Passed
027ee36b506bbed9dfa463ce837a685139d72a50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumMod False Passed
c7f9f9c346a137223da91ab40b5d19dca03714be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMod True Passed
8bfb5c415a1fd9286827be5260bd8079d0b288e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumMod False Passed
859f80aec3b935c6218d4fc5d269ef5e5e852a77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMod True Passed
4f3076765b0378531b91c320c0cc693bace9e28e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumMod False Passed
fb35744ad43614cc797b151d170fcd68d0ebfe0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMod True Passed
1644bfffd96cf048501aa2ac80705aeff3d825d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumMod False Passed
8a671d2b9d150ed1080cb75c5718dcb552d7a3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMod True Passed
4a3dcb7ae8e224641406cde36cdbdeb214f078e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumMod False Passed
b7fdb817cec8036060d3b74a1f0922585a180704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMod True Passed
c518694894ff127db14a4ca2a8b7ec686d2e40fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumMod False Passed
8390c4ad82c24c7aed47bce2908ce991938549b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMod True Passed
c00ef25effefa919db33adcec8202f9fa51b70d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMod False Passed
1e60eca52b06c08b34d788614a8645a0a02b26d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMod True Passed
078ab887a51979ad2f5569c21f2950b1e175f6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMod False Passed
9defc8d6c2dc723157de283f936cd0dcf67774f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMod True Passed
a5b848bbe5a4ebe20ff9ef899a98f0dc36262093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumMod False Passed
16a9cf49f744a2fe81f6c58472ea76d8926ca5ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMod True Passed
6ea812ccdaaf929ae4940377627e7bf134321c30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumMod False Passed
edda03739a89420a93ea144e2d863480c8a79cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMod True Passed
b8d370c6eacf9c200aeeea11091fe975c20751a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumMod False Passed
d2ed0497215103d71937a65fdf60e6b42acad0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMod True Passed
39dbe07cc84b0fb7974fbb9a9d56ebb07d1e9345 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMod False Passed
a4a633c4bb0459f4e727d8cb715f87be66eb318f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMod True Passed
fef1de467c90620182081f7dc1a5f099f1c61b17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumMod False Passed
9715614924564730b4e2ca5aad1aa505a046929c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMod True Passed
2b8374d8fd58bf8e84cae2fdbe68741b2d74a33d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumMod False Passed
5f804b28ef8c132baafde1ff33fb55333c97300b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMod True Passed
7acdc60d280673174ae90a84f27e0760c52fe1a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumMod False Passed
db03b297e9b264af73945782ae2814c9e4ad46e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMod True Passed
a458ea2eb4524ed1acdcf7c8921a99575428ea32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumMod False Passed
2bac847efac1659d58263c3f5f749bc36b232e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMod True Passed
d7ab52a63641430e2f1cdb6e0c4c1417d34a7fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumMod False Passed
7dced18eab2cffb9eb47c0229ff7934dbb74812d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMod True Passed
5b7a4e2945ccae87a8f6fc75e087bb821eaa5dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumMod False Passed
dca1d870ba1663032a8e80e7c4b190a716e0b536 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMod True Passed
cdeba9983207282122b90f0cba5eb6c56d90e236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumMod False Passed
a9bf803cab9f9392207875142fc183b6b5f3e000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMod True Passed
ed860b6f5ceae8b4406904a62084a2554099acbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumMod False Passed
cd25471db34ac4beea487b52368adc0e03e9d5a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMod True Passed
bf2799497b0dfcd4fe981383b2c5428a95f412b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumMod False Passed
f3f01804fb8e36f8ad7380a88383ff41efdcd284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMod True Passed
50e36ae251ce980767f943a02e8e44f02e4ba69f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMod False Passed
a9eda365dda108a8c7d10f609670c1ad5cb55a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMod True Passed
26f45ac42cdc2cf3452193709de3c7f70fe2fb1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumMod False Passed
4ebaa51e03820675ef3248112ad5c80481c86ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMod True Passed
00b12333f61e1bfd2e5d317789de7fd5516d58ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMod False Passed
c678714e601a87cdb4d0d19f245aeafa7ddbc3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMod True Passed
9eaa4dfb4f2df1c5d5968a19c84841d74fc21e98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMod False Passed
6e22a129146a2f39ae7f89cf18226e374df39ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMod True Passed
896832c9b773223467461b92060e8ea0d22b6494 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMod False Passed
6b05c3828c78c32226720db96f8b0e82bd48dd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMod True Passed
3497293d19bc9834885ab00e7074b5bbda253de6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumMod False Passed
b2dc09915a0fb43b0b2e20a0e6a13edb3f9e17a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMod True Passed
75ae1683724535644ae611a25db2922cdd3c1948 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumMod False Passed
93673ad4c7c375d417c5012ae83598be4ed8161e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMod True Passed
3ac597681c54ff7923c8f85cf926716ad3882c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMod False Passed
be9303bc9687f8956e58f05119ca1ae1296a7037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMod True Passed
4684cc6dedf0a1e42c927538791a4f984144416d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumMod False Passed