Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
77699e4ccf89b2c8fb5205ddd95b51fa02e33640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamed True Passed
8fab712ca76dae1e6c2dbbfebc8d5a1e36de2c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamed False Passed
c8a45f424d672bb073675c06e8f0c17c6f2aeb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamed True Passed
fffe48ba8f66b549dbe3635915fa2839752ae78a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamed False Passed
75e85159d4538be0868353f3ce2eacdd756d76f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamed True Passed
09b4e4f9afa82a5f523f00733fff739cc0166f70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamed False Passed
b18aab99518618b0cf79bb243e8b6f040b82735f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamed True Passed
dd749f42f060a707bd967817fff91d9138659c6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamed False Passed
cad06429ed1a93268a07b693253a7df95ead236f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamed True Passed
6a77be1508bf91d0438ed8fae6cb53bdc5a3f17a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamed False Passed
caba18faaad299dc29c07a1ba16337dfd99c3c06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamed True Passed
a0d90a28f15b7e661327ffbb931ccfde7d23349e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamed False Passed
c669eb5524acbc8ba619637656391078c20d619d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamed True Passed
da99b0fccfea2fda6ecb10b92983521c88b780b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamed False Passed
4425b3e6ca538f1723fb3a95b63dfe1db6fb4aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamed True Passed
ad2d003d4cef739c32c0bd3b7aed2cbf7eb4751c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamed False Passed
f91bfe3cbebe20fd9286d45d9a6af7d322f59bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamed True Passed
64b2241868a895922e6bce501ffa22b57adec1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamed False Passed
b74a6eb828c0cb7a3c64b18387d708b985427c3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamed True Passed
52c7d6e6bed9891e786a62ec315912cc0652b7fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamed False Passed
d34e2cbe7e44e887180a93ca8eac80654d3fd40f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamed True Passed
7bf2296bdb10bb8dc29bf193a67dbb3db089401e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamed False Passed
a83cf4afea68ffb2d086dcba985b34a91b88f061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamed True Passed
c9e472efadf2a55bc9b8b2c58ea200e2afb68a25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamed False Passed
7b344cdbb2e005b5453a8f4076095ec02b826072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamed True Passed
53c77f08104dd73f1e09fb9e86319b0813a65981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamed False Passed
30ad8f543fd38161d36dceb162ffb92332635f69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamed True Passed
bbc9ae225ba9bd92ee880077f1a2511b1e15f382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamed False Passed
bf3f1718123514913feb581a17f4edfb18a58bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamed True Passed
d32579ccc3bd93b13e0a93db641be0d52661364d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamed False Passed
05340bea8749097ac57514cc2a9c11afe6c8391a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamed True Passed
4876e36db718f76b2f2758c4776c41ad64ad4783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamed False Passed
7aebb81216755269c7ed3fb61c52a57f6b1fa89b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamed True Passed
08be6b39538e411f1d4bcf7f6bc0503a5e846a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamed False Passed
43e6bb5ef1245fc81a6d76518bf663a031a193af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamed True Passed
dbd4972d4ea09e7da4592e76684bab5143431ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamed False Passed
73457a3c2cb9c9c1073ab356e0388c10017d4e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamed True Passed
7e9fef502d0b479bd4a74fe7c06815aa51ee704c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamed False Passed
f7587e03f50aa76d11313e4314f28587dee3d760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamed True Passed
574a598c7337f31a4357946179d10f7e2405a8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamed False Passed
a6398f956c6f0430416c65607c4e385761abdf3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamed True Passed
6b0e8218566f5005dc8d9225440009856799c3fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamed False Passed
b972d975dbee287eb8a2c196784a50e4a4d861b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamed True Passed
3c5a7a609da33d3e7daa67c1d58ef8303ab03528 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamed False Passed
0b1c086722f1e77cb2318c408dd7e7cbae92fa44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamed True Passed
3b4822f44e3c9cb283913b93a5d3a530054898bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamed False Passed
aad94c83fd4bf1ce3a594149f70bc6f79fb0a075 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamed True Passed
da265feaaa0f16b25d6b4327f19be2e181f8cc9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamed False Passed
53295f61c9187197dfa00bfcc827d4762558cf6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamed True Passed
76d9211286c445ecd061fb0a9b0c63bdff5f1a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamed False Passed
70c60a179ffbb36b61180f7170a41bc28156b258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamed True Passed
d51ac88741d78fc3c6cc8ddd8b2c3756aeaecf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamed False Passed
5952bf150eb33edc2dba3cdb33df7264e49f4507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamed True Passed
c97765a1d5b10bad80994aeeceb41e72107ccf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamed False Passed
bc52f567aa856bd50c8c39df703773837f2453a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamed True Passed
3610d056657ba9102f35fc3d45f0d811df2e21eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamed False Passed
e85fa5f806770e12cc3f1f1a96398fbb97dcb148 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamed True Passed
3fa6911635c66fc4a5b4c6221f14031f3716b210 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamed False Passed
7c775dc4f004edc6ab44b88ee9f552ff92bc9460 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamed True Passed
0a9ec083fbe3c241663e3755230439c1b8c03a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamed False Passed
b01f22afcba74c2b324637f780d5478c9536be37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamed True Passed
4dd190973bbfb25cb1d1afc168be915b23bb8462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamed False Passed
5ea2a377949bde675ae2c0f61ebf7e40ceaab719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamed True Passed
1254ba4cf28704f5446602cc55620d019f57041b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamed False Passed
6613fb9cdd52d8ecc6a67423b13e0a0729385841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamed True Passed
64205e59afcddde8cf9766e5cf277c1232363aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamed False Passed
953d7f35246c8706230eb09435207ddb1e76b1f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamed True Passed
d77db49e47cf6b8e383609e3abfdf72473edb894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamed False Passed
0381b63e783edc82adb006d716196d08ebc65a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamed True Passed
3fa95efae04e5a20c89372caf96170e65eacd927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamed False Passed
0305a19da87c744d305a1f364fec9b03212526b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamed True Passed
93c68e860252fdc7d5486ae34fcbb8a71964bbd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamed False Passed
ce44497f3bf59d5649a4d85d3ab8d6384eee7e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamed True Passed
35238002eee3e2c990a6dd356561d301a12ba013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamed False Passed
205daf753ae6e11cc7bed19008ef1bf61c7e40de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamed True Passed
3a1630caf44148f3a520bfaf569be49840682a30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamed False Passed
87f6931b3a60c00c0605f6cfe635a3793236a26d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamed True Passed
b0b947802c5ae53487461a87af2378b1f4beda7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamed False Passed
ee0a7e5a5fb13a350f04d9fb2eb4e85d8222e54a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamed True Passed
23beee461b67928513ac6f6c36318f43f26e063d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamed False Passed
6140fcca7532c3c82a53bb25e4ab588cb31b5c7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamed True Passed
92c8bd192ef02006419a131f0705f404a077d89e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamed False Passed
3b1bd26ca44ccb52d318583e8920a98f5a932608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamed True Passed
652d597282e56689c33996d4d64c5b9fff5242e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamed False Passed
45be18f2ec141d0bb7101efb47d4126461cb60d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamed True Passed
fdd926aced5c880341384042ae8468201eb829dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamed False Passed
7680454a021c478cd4a944d6a1338f11f9d01a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamed True Passed
c693c9bcae202698dd1a164db59d109c9cf9c780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamed False Passed
b1bedc8a1e0758fd28901d8cc73f881bcf046de6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamed True Passed
6b91c6b1e04972217e70a625ed10a18928f91c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamed False Passed
5ddf6cc549c54b6d774f08c613befbf95351b719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamed True Passed
681f06aae905fe4da90c49308aaba317e608359f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamed False Passed
5446593956edee35f577e0ef6a962a5234325fd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamed True Passed
32013fc305a2c0ce9c24e29dc588fe8ac75d90ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamed False Passed
8dee434e03dd43ad2832a7423c7a9f0c978d7aef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamed True Passed
440f718e97f1d50a065ef39efd04c2d399353b20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamed False Passed
3bdc45e1e01e65197e6246a90d3059b07bc6ba74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamed True Passed
716108cbcd596b0d21cf4b1cd6fd6b45dcda5c2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamed False Passed
3f7cbccaebdb17da23b5d21dc7c9cb3108dd7cf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamed True Passed
d666a725e4ee6b84bd3ca55730cbd3f1b01cac8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamed False Passed
7da5be5e3b3d5519497a71153556d16df87ae103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamed True Passed
0dae051c706928680da166624f77201afba06322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamed False Passed
6a93ec36bd48a0e1beaf2c02a5ba7e0fee0a845a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamed True Passed
e233dffafef72f402a8320a54349fc562dc12e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamed False Passed
98d14a6fe3f5c5d678bae21044797954c273558e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamed True Passed
e7d272fb96ac66c130d6dc382ecbadc200752773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamed False Passed
27a1ac4f1e777746bdb7d22a023997ab58b6beeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamed True Passed
66dfa741ed784e4b09b7e3a9f25979ad4d06e8df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamed False Passed
404c6488dc3e381aac9fa6301b10690ef6807cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamed True Passed
de5936aa160ee8a34bc4b3ac33948ec825eb7fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamed False Passed
9b79f757afbdb9458f658693e9d24443956e7383 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed True Passed
b4e2db9b79697e8c2ee9c30ff22f7311f4d1b709 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed False Passed
f2eeac649db18def199d091f8b40149e7fddb0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamed True Passed
ff31040c25394273b9b00292f6f29774517df263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamed False Passed
6fbca98d6381282e68926d4625b91a84474d882b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamed True Passed
fce23ed50a0f8c635bd7724e14d0f64af45ec1a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamed False Passed
c6e31cc4f5341efc682e46693baa3baf173d65bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamed True Passed
f18ca507d2c6280f0526f0cd40c507a9d28cd64b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamed False Passed
18577d6113a0a0854c1e70b1fe56b346b8b4e5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamed True Passed
75cb43637214f45bf904a330a4c6979a4f0ba606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamed False Passed
995fff66b1dfcf21fde7daf615f7ab209bfb2aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamed True Passed
73d5260598f6da75471fbc49f0e55a88e68a5b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamed False Passed
693b5ddd54f94a7fb91b2315cacd7f622e71da57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamed True Passed
c578e10f717a5a9614c76d3b3565c8deb39eb816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamed False Passed
92530e7a6d73dd391d64e53c610dcc6090e85c96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamed True Passed
aec7abd03991e23d4a73077f37e5d48a1e2c116e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamed False Passed
37989651b5c541bb4ae7fa722c8405895b66e7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamed True Passed
fe0d1027ffdb67b33d54daa329e93ae4ccffc192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamed False Passed
719e55cffdb58f2cf36f3169b11184e7854fe199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamed True Passed
004b974c7d48eedde5537c6e0c55d071d83bc104 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamed False Passed
e09327d49eb5a0184c41e83ba3e1398d44460225 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamed True Passed
fd99e33d109b62ae704fe79ab0e21375508a126f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamed False Passed
56fe54dadde577f5e3f844dde450931241a6b8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed True Passed
658a1cbc1a31c560c1dae1fb633ed7b24eaa4a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed False Passed
eddb67328d1c76ea82661b9f7841caa7b9f620f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed True Passed
9b4ed9946e1e5f6206596ebc2c4fb5e79f7d020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed False Passed
6f349bf143bff6c3fed8192d9cddb20322a87e8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamed True Passed
4138bfbd4dec49178acbf75e5ecf006f3174e699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamed False Passed
e3aadf1bc36e1de85c38da169586927272585644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamed True Passed
1a440c130963ba0a466a953fef4c840a21c282b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamed False Passed
537a415f4c9c6a6205bbf03a95fca8131825ed0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamed True Passed
2fbf0e03606e6635e5fd18a10020b01e6e876393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamed False Passed
3c508c173803a9a65945ab44a3a8b032b1431380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamed True Passed
a03d3c46a447453831b538f4acb930c12f8b1a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamed False Passed
e9e13f7139eca6fcde78885cf557cda7280948f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamed True Passed
a94e1dd600f4325c249da039adaa1adcbdd31949 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamed False Passed
2512a315608be983f420f1f64272c03c81909082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamed True Passed
9d99d415c52d2f04bcbf9086c9b314fccfbd5118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamed False Passed
33bf6c4d6a8a252dcc2e87bd6a161df8f4fe9023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamed True Passed
4f620633dd265d691157505eb6e1453dcd6ce936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamed False Passed
f68e483cae15a3cac907e36a45c66b44b5eb43dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamed True Passed
7211f062b2e0b17c58aac9687b9ed3ce94b420aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamed False Passed
9bb1d061c41fae5d63fb753e7b6ed3208c112200 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamed True Passed
b278ca9d8cee10b95f302a10715b2b0bff64f2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamed False Passed
06ae8f793bd5a493ce906eb443e11e0cfb1fd357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamed True Passed
5822aeacd1c55d4f015b5ba3fd2bb457e28cf389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamed False Passed
becad671b91caeedef5c490517ba8d05ee7e764b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamed True Passed
658a9c9f02f5e6c5b7257fc3b36906d4c29f8c4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamed False Passed
06c33d92cda7c9cc3a6a53ed411245938367134a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamed True Passed
0a96ca6b5d4d2c581726382f990ac9e93dfa2b6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamed False Passed
117b73b481364ae14fc31d7bd83d5b4b0209f9ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamed True Passed
b363a0a6ee35a0465fff9eebe0029759f03284f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamed False Passed
a23b2dfd11680ecb8bdb1d4027b661a3d619c414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamed True Passed
9b8bcb7d37c19e1fc8f371d5ed240bf1a18633fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamed False Passed
614e8454a694583408fb044f2bb0010e6d2ae517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamed True Passed
6f4edd48440a66808c639c9f84e1302bc25f68fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamed False Passed
3ac54a6445645ad998346c4665d8bdd4d99240f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamed True Passed
993f66a7a795adee05843e20650b47f13e36f8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamed False Passed
820f4421337a44745004c7ac5cb1b44a818d833d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamed True Passed
ac7261d449990a0d64abf6b058af5317b82929e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamed False Passed
d1afff0c05d60d0650ac4e3a36963956d06435ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamed True Passed
5464164e2f78927b81a39e7d3591ab1864274187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamed False Passed
0bc0a96f3632ff3255753058e87f9fb4132a06c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamed True Passed
23664a4e09be8662924cd834df27d986c3188d93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamed False Passed
98be03dd074046ecee98d7832eb1f5577998bd4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamed True Passed
ce19f9db2539e09cc21d15ad94c8129f1c91ac72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamed False Passed
648af7a3cf0879328142ff9e9eecc5aff0be7338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamed True Passed
d833702fb2cf68dd9eff67a8b7f9cacbbf8712c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamed False Passed
6ad16f09401c60f4e4465c634b5012fdb74097af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamed True Passed
2edd5f7e9020e39cd19d6e08c71ec4821e2e491a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamed False Passed
29a3f681ad3083ea2ed2dcd48acb334a7bda06dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamed True Passed
8a78e47276bdb3e640d0d09733b1d9073e61d185 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamed False Passed
29c0aeb93b285a69714f04f987da3e2226430d85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamed True Passed
c11d4d0a8ec263dd38fa96ffa8fb7d0912575d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamed False Passed
f47082899bd4426afec2ecda3444d484db7df0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamed True Passed
3a71dc9d0c2402ca10dd455baac1e0f17f4cc1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamed False Passed
98d6f0a5bd5aa7d9b58360cd9f7af1a88d03a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamed True Passed
73ab31cb9628b7192ca81173918ba0cdd6bc1c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamed False Passed
89c4c8e5f8d3712bd9ef7f82f082889e00dfba70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamed True Passed
8ddfa7f2b4dd5ae26d8706afa5bc792731e6896b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamed False Passed
291f585409f87c5bda892b8e02f31956f0df7fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamed True Passed
6b01e2893caf1ae8af10b82e86377480558119df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamed False Passed
8f6ed400455529bfc0dd3138794fab3ba56026a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamed True Passed
fbffe0e42061e6eaf99f258594c9efc0340a5082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamed False Passed
c3ef9e6715cb1b141269cc61d0917282a4fbd2fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamed True Passed
ed5f759214b5b62d0ae26ddbb2819596bf79d508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamed False Passed
7dfaa255a67bd1c180bd714bd6354e7769adb067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamed True Passed
7725c0580ae26844bb3e7449bd84fbc99233a6fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamed False Passed
9ef1ce053c75dbbdfe4c68284a08aa3d8a37df98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamed True Passed
c2fa07f2c2c0ef0bde7c5179f1fc9c4110440973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamed False Passed
1362ff0f74fe8bc092233aff7407f46a38a4dafd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamed True Passed
a227357875b25d59ce03ec8207940a710c969c49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamed False Passed
bea57f286f50c8cb60848b432d6e611dcba120b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamed True Passed
cb490e2f7a45e68996fff011de5fe9e30266b939 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamed False Passed
b08676ab57819a8cc4525f3b2013761b71a1d5fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamed True Passed
74c08093e56ffed6e30ade0e992842752ca4450f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamed False Passed
ec5d98ef9f636fde1f3f7a7c14788916d0bca195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamed True Passed
dd382422cfd58481952971cad2e08c03f47c5314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamed False Passed
009b320fb695a533509dc886127ebf2b6e603148 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamed True Passed
2c1924942a6ceb5ed46b92938a35333b70a933ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamed False Passed
375db50a78078de6eea39084874eb69cde12b330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamed True Passed
e5c4736b30a459dd7c54d1a5700c6734fda24a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamed False Passed
bd34b82c7beb87d5de7f8b3dee2e96c7749f61e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamed True Passed
6f33982df05e7b4eaed0a77c947307a8cf53eab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamed False Passed
fc604d052f2c4eb2155606d541f09336b228e887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamed True Passed
35babbd66965d7cbc81d1c7cbf060d3003baedc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamed False Passed
6b1a6a731b7092bbc151f8b6c5feeccd1beacc50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamed True Passed
115afa1da9d8a2d292bd5c85c21e61c479d8065a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamed False Passed
ce6e741bc5be4daf5363e14d881ee4ba596e2061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamed True Passed
f1e3a33cb68f78f54412a6e79b82a93d143ff261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamed False Passed
e6d0211634128a13b797ed4d5bf9b12bb3e13be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed True Passed
a365b24bee781cbb0b5058584ae78f963d4da63b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed False Passed
9f978375dd7fe62c41780c00b8dd40c1668c92f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed True Passed
f1451955cacd4912b8722d4524eb0dfa63092ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed False Passed
fa572d270c133112f71ff76902c385a1e51bbe86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamed True Passed
0e7c7126a43c5ddcd5f9f9d188a47cbda07c559a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamed False Passed
1ef9cb82fdf491726215fff0699b76806820b819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamed True Passed
1f2a89b112de81d4ac6c3f8741c0a818dc05e8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamed False Passed
61f1c571a96a61c8c893a3717f8c18f94d3ba36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamed True Passed
709a36725ef19d5b1324a2b89700fcd963a432ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamed False Passed