Index

Tests by case feature Set1; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
345c2edc0a7af92d260904a059b86f56532f32c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OneLineComment True Passed
a5a5f6ef7d062c81473649f9494193ce5c252d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OneLineComment False Passed
85194ff7069031eca9bc6e64dc917a4c8862e3d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 MultiLineComment True Passed
b578120529f8edd4caba9721b5b3efa735151fcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 MultiLineComment False Passed
9a81a073b66efb4c9468b86026db24e121d65018 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolTrue True Passed
80bf7420958fd5112b1d8eaa05483ab044ee81aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolTrue False Passed
30a20b9a053a8fd1f963f3f41aa9cf6aab0ba438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolFalse True Passed
5e36a5afd13d787d6c422b81c11570e6f7d0aaed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolFalse False Passed
af273e51fb51a9afe5c7fd27bbb72d2189b53bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolSet True Passed
6e32880a3c2f224cbd0914f4dd56f5520b7f677f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BoolSet False Passed
6b969aad6f858aea524140889a5a621bb5bb6f7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 And True Passed
5d9b8dcd974a1493e3bb931d2dab21f0e67b6347 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 And False Passed
9d01e17702c9bb24c77da3b5a35c43bfcc1a334d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 AndMultiLine True Passed
b4272aebac6857114ed667e9efe1290a8896ccdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 AndMultiLine False Passed
4d832b61401fa3397859b5a68ea162c031104b5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Imply True Passed
4a28a46a286f99890f6b4ec1b3374c88987ec8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Imply False Passed
667b446857e7e9c79f8e594a2906d9715f4de713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Not True Passed
9db92150922ce1c1cda95a9e32f2197b22e98dad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Not False Passed
54abfba0376be7afaa248c33006c4ec2bf4d5671 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Or True Passed
15e58e78722996179f8adf7dc57e215dfcf44589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Or False Passed
f4c489b0effd3ed75d197b991cc2a79ca72097b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OrMultiLine True Passed
3ac36d60d8b41a1dd34013989ef8bbbe656594eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OrMultiLine False Passed
332636f15b3eb9c482e2f6f2e0867521f84bf94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Eq True Passed
bff04e0efe9bf48ee077f2a05f4b51170c223faf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Eq False Passed
d5a7b3beebadd17471a4880b613b4507b6c0353e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Ne True Passed
ccc690e978f860c21f32ec357a906167a77e74d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Ne False Passed
38eb78b64a0ea72506bb68d0d0ab117bee4d2f35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Let True Passed
650211b554bc54fcd6f7ce1ae1706750e65956ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Let False Passed
129fdfc08f7591945542c5035fb08cdbd99b756f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetEmpty True Passed
46980dfeb846fc9335b1721382791db9cbb1dfc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetEmpty False Passed
ce3e18ecc0163bd16d4d2d8277e53cdc4adf75fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set0 True Passed
281b08cd36920ef766b923e0cf34338d212a7ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set0 False Passed
57dc6d5cb4ce530c29713d4536af8dff4d8a2000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set1 True Passed
6aeffe560ca162a8d2a18ed55bb61ca4c301a7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set1 False Passed
2d4586dd103f48d54543c43b5022f9bd70664f4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set2 True Passed
66c3e23c5286aac41095b844858771335aa05e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Set2 False Passed
1155af0cb3fffc0dd19a27676b98321a379be80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Fun True Passed
f72eb70505fc7fa0730e58ac19281031fb8e3493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Fun False Passed
69251b8d1cf7c9c6b9ffe6ca6bd8ec51007be119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 In True Passed
9fefd3ed05cec8232b8c648db20df107115d2fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 In False Passed
a62cbb88311b5f2d45ffe88ba62d703aafb1f065 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NotIn True Passed
262d9b6cceca6931fb8850b990aa52d45495ac7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NotIn False Passed
4556b117131851357fe08f305c916710e74877fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Exists True Passed
8d4257ec51f56d6e6f27a5c62f224e3e087e7c57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Exists False Passed
c46d7649c1a5c26709307120d8e812ba6979c460 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Forall True Passed
26e3f76b8ba292e5c4b0936d84171c221f2d9e98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Forall False Passed
de6b8332473b33573e6075064fa77827ff824e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Choose True Passed
6ce35755e911c348e5d805b784f168753c3ceee1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Choose False Passed
5443cd07fe2633604b3ffb169f21da84dc5361ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Record True Passed
9fcf94aeb974f2de8bc18ea525820b2b403b1ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Record False Passed
544f5d9d49672c8feb6cb95a73a6393203282cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Tuple True Passed
7f1ed01fab2067c339f37c52f04d9c0d67a4d052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Tuple False Passed
0ff23b770b4706bc03d5498106f7c302ea47bc37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TupleEmpty True Passed
7b901a8767e9b7213629374fa13c318b3e4dc0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TupleEmpty False Passed
fb6b65842833dd8acf4c38f9fe31a34d23354719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunApp True Passed
f8c3fdcfc1d3385d4209110e162a6fda0dedd118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunApp False Passed
5e59687368b05f2c2cfffcc73a042c467c1497e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Prime True Passed
5c06c7a9ac2ff911c149217e31617521b0a56349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Prime False Passed
2bdca810b951bdb347293e4ac8318be759a4fac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumZero True Passed
58f83b5f00becb9060acfdb323a3e3c267195095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumZero False Passed
cd769025f119ea9926214bff3207aa724b1d3003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumOne True Passed
c2399321bcf2459b4af2abb4f9a745bb639248a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumOne False Passed
e47ac37a2083d5e455116353614010752a9e5cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMaxInt True Passed
be0a284d06f59bed4fe90cb94d073b2169e63815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMaxInt False Passed
dfd7a730a7048da1963a4653fab5da843754b03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumUnaryMinus True Passed
0da320d485bb3e3f4435cc55815eafe201c542f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumUnaryMinus False Passed
2436c3810d073cc82ae03d23ed1de2b0216b752b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPlus True Passed
4c86c66510a7474cd328ca951828344ca102f0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumPlus False Passed
0b5ad5e0d6469745cda3bf29f7632bee5ec47d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMinus True Passed
9f0692d38bbb4868d3a68192c93f96ed765dd313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMinus False Passed
3a4295128efe15c7783269c2c4f37a406b3c96e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMul True Passed
ba8a3ecd73c670cbdbdaf8e8c239e7a47eb8a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumMul False Passed
bf05f023dc9a66224a3de388476d91c162ea2f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumDiv True Passed
6ae9d14a913b5fb834d236b943e910bad92c6ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumDiv 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
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
ef32636f36a9f775e5950e7b0a78fa09cd726324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGt True Passed
3cf07437d02f73d7ca4bf34a96b195e5d865cc5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGt False Passed
3ff1a32263287dcc595b1ee65c0b823e46b5ffe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGe True Passed
a3d53028c53d9162ef490228a6571ab5930d47eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGe False Passed
935c24a103ef6484862f2fe77a9ef993e4f64754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLt True Passed
b2f099ac20baf01824e9eb7d1405024515f849c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLt False Passed
26d7a6c5b0f9ed2cdf17532aa0840f05f65715ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLe True Passed
5da128f971d102b87bfabdf46d725fdb487b379b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumLe False Passed
ca0371cb17636c735b7f54c9c6bee6dc55fb298b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFun True Passed
864364693cee290eafc3be3fbaaac582392292f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFun False Passed
6e71523011b4478060e4ad2bc6ac1e5e69f9a43c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFun True Passed
e34e0bdaa93098dc8845e100598507685d313833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFun False Passed
aa1ecb01bd94e3e448af584bb466da1a9252e05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFunRecursive True Passed
7947152487e439c6e4fe04447c70da0976ad4e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFunRecursive False Passed
a959c06f4c07e4c91153e90ecffe94e55fff19b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFunRecursive True Passed
7fd82680129948500625b116e7e8b287f321585b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFunRecursive False Passed
8d52dc947a77e6eb051ab43fae028183d300aa05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def0 True Passed
74cec45c2c7efe5e9cca3e930422317c956ceed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def0 False Passed
7c491be1e8a1c80dbb1880fa8dc711a6d43afbf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef0 True Passed
0fc873cf16c5abc895eb0d411e25a1d12e4867e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef0 False Passed
26652edecfc7cb39818d11d8902b07e80f9d3333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1 True Passed
bc02d7ad5d0d6df4d038ccb432d0eb3f2364135d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1 False Passed
15b59408e9d4b241a05578bb9f3f9a67236cee78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef1 True Passed
6496833ea97b86e9fa91c520501407b9ce58c5e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef1 False Passed
49a0916323217b65a7db566ba201958a7a03cc1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def2 True Passed
c4bc03f91c7586f3d29676bba4e1c2f4109f92a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def2 False Passed
357378bb8aadc78ef648a2eac547d17f800adc8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef2 True Passed
2bd8570e296d6d04ec12db6b63a5421b9a4745b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef2 False Passed
23c023b524323cbd00b0a87ff2d979fd24a4d957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1Recursive True Passed
e7b88d5be8958191d3f401edb936ae57cca00357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1Recursive False Passed
4d754153312985810a04f09430597f804ca3e2a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef1Recursive True Passed
ddd5b3e19935aff457a51e90456055d7a4e2ac8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDef1Recursive False Passed
f1bb2967863c22678711b5954e011e26b2ca6ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Extends True Passed
85324effc2937d24a3fd8901a27246eaf87c6f88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Extends False Passed
3dc905169e21b6badf03b56051ec3bc65b6d8a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ExtendsInDifferentFolder True Passed
f5e9748ad7db1304991fad49e58ad1d8ff590fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ExtendsInDifferentFolder False Passed
ff313e43a1dbb371f9341062b6dcf315596fac8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Variable True Passed
a8fc5cb803709ffefc6d3b0cfea86c63be4cd7d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Variable False Passed
bebab58d0c937f3db50879b1b4f3e912f1cd18c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Constant True Passed
4cbb1f0a0c8b4abeef87505488f6d03c1fb731e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Constant False Passed
0e8e568078220ea462565a7e73d6a3351a4e4ffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantModelValue True Passed
82a76f277fcbb0d283aa2b1d8a3a56a3fd347255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantModelValue False Passed
14aa3d1cf0edcdbbb43432af2936b7cc9e51b329 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantRank1 True Passed
7ea7f1a158c0de2486a9224c946292ea1ce90cfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantRank1 False Passed
617d96fae5d90debd6f35ce54a61e4df05633999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Instance True Passed
5c9dfb85691bcaceab51bff7a1c44d27fbdbb88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Instance False Passed
5688abce669a2d81b83d6b1486c84e99c68b68e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWith True Passed
6ee60d89df8c14e4ce466b99d13e429bb75ebc9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWith 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
5b4daaaddeb4434abb3462ed3cd4ba196da5118d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWith True Passed
57292bab8fce716056e7e607f9b23024083c7bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWith False Passed
e31008d0e3d8e5f1ab0fdc46ad90418a29dd2326 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceInFolder True Passed
9e8f8f0a82827791fa037015a52707fd19daa74f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceInFolder False Passed
52997096ff17325d4cffc8e4e755b28e84816aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWithInFolder True Passed
108dcc0f44ed1a7cc14e9cb73b9e47e4b4141202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceWithInFolder False Passed
413a47a6f78d3cd4af6c320a6b9e5d49a5737e39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedInFolder True Passed
de1255af8d78dfbccc0f307f1b2e65cf5d0279ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedInFolder False Passed
682c4290c4dd01f7bb232e82f1f7bae06941383a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWithInFolder True Passed
1f524d8a6c372ab5d1476606ca7f1a8bf0572c68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedWithInFolder False Passed
a18ee93e09645850a4347aafec1513ac9ffdd9e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Enabled True Passed
9caf0a6609a9f1bd624165f5614ef7308a85c716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Enabled False Passed
29ae9d5ba9de59818e86b9d19982908086897b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross2 True Passed
76c67fc2d68e7a46b150120cf53b9d526863dbf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross2 False Passed
945a86aaa75d0a1efd70f268881e7cc7fac354f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross3 True Passed
ed95e3875e66a11343829b210de4fe273e8c6bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Cross3 False Passed
87acae4fdb7c3fa06cfe79a9b26e6b88708ba80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunSet True Passed
7c92125bac3f6faf25a98fa71ce5db2300fb5f2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunSet False Passed
ff3230b3d42a77ddea8d1b24e2c70b5c2250a7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 RecordSet True Passed
b0d4a2971ce312d53aeab33a0bd22005f407c63e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 RecordSet False Passed
45c5f3083278988736108b3fb4161c638d9d9929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetDiff True Passed
2cbf76d0ad55d474ea4022e49ac8df4953c64697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetDiff False Passed
a7049b4eb6d5741a06e4a2a5184f7a8948c14d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetUnion True Passed
5fc245a4b496a6446c6c0915da9f01052f9a1fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetUnion False Passed
6f900871f5bc4a1d62c04870d2df4ca89b1dfff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetIntersect True Passed
7ca7c6d18a77025f39f1ed57ee701f11851190a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SetIntersect False Passed
f9946f2aa09ee382347e2de6d5205ff56900dbef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SubsetEq True Passed
70c4d8e964a48c432a49a92c5ca11d00b52c67e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SubsetEq False Passed
ba4d1acf49ca8de499c71c88b1ba056059b298d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfCond True Passed
3862ee9c07bf4bc7187102bcd626bb2bd8526572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfCond False Passed
05d08914e9ec37c935917a7a8dd0bf4699dae503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfThen True Passed
f34e03acdff113bd9b614644261982a379e2ec7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfThen False Passed
46cf07ced9de6f6808281780e032f1ed0a282581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfElse True Passed
2d342be09563867e411f672df78f07b52cf95474 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfElse False Passed
e3656b3ff59cf1630f342fbbe6dcd21bd7aef58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Subset True Passed
2b1db302c2e0dedb75809d259768121281b743b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Subset False Passed
fb8aaa39fcfecbac493af0894f28ffc16e7b2154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Domain True Passed
e00ef3287c71ce3bf65c51e04b848bb56b2d72a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Domain False Passed
e528356d297954d79bb1969910f3e65ec5d2b1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Union True Passed
5b56ae37f4d80f42cfe073b8076a8f00618c3f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Union False Passed
818614c7268a40a465dd17bb447c0b7f9bfef183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Unchanged True Passed
f93497aba577d199be50da0d74d20bef27c2d030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Unchanged False Passed
5c396efcfa00f8862d416fc9d07f036d20d9f4cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Equivalence True Passed
a127c3edcbbf7f490abaf3640dc30ca0a1d77d77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Equivalence False Passed
b119768db86a2184eaf3bce68190efd1ba11b42a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 StringEmpty True Passed
c765fc45a903665a08ab3e1ccb050c52007780ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 StringEmpty False Passed
6bfadd0e9a26782c0756928ff7baf3272924ceef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 String True Passed
af41828f9389a53e0274cf09240402c808ca7575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 String False Passed
89ab0199bc328f75583e717e07dd5725802d64c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqLen True Passed
d7c6e22923ca6f4426c9ec9b0eb9e7912bb2faaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqLen False Passed
9904db681c54e7312ca3bf3858a298ec4b6cc699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqConcat True Passed
89fcf74d2790a4b235d1646a37e4957ac98a54c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqConcat False Passed
c8cf9a31e2c4ff8051a752aad7e770aff2b7b066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSelectSeq True Passed
95400fffd24a77521ce72c4072f9896c025069b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSelectSeq False Passed
72f042c2ee357b37b833a00319bca4ca5c07ea15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSubSeq True Passed
67c555325ab211a2fb3586635c3286e0fa7171e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqSubSeq False Passed
2a0bb0a689201c4cb379398edb4c403409ddc51c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumRange True Passed
aede2e861a112ee58f9313ba2ae8ca19d6dc6917 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumRange False Passed
e2f63ca63a3d5f6f59b45b65f17dae57d0e9c719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSingletonFun True Passed
e78588a0be5bb5ac9c7574f71f313051d4a4feca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSingletonFun False Passed
6d86f421eb487a897e6057588007a47660629487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcExtendFun True Passed
af9446a8f03fb849e291d9f6991dd7c9fcf1c6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcExtendFun False Passed
127f10a1ed4c923af6a3eca1a790c1e4b5c3d62d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcPermuteFun True Passed
f7e861fde19a58300d1abfe5dfb533809673c834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcPermuteFun False Passed
538c665cf5232136a8f574aa50424a78fb8ed9ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSortSeq True Passed
ec533a4f64b629a75ce42ffa25efe5b2ee6fe78c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSortSeq False Passed
fca0c6e05ac6d4a7e8c7c4dcf514471283b2a5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcEval True Passed
d5838f2ee4bbdfe6bafc38f98acb894a6c677a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcEval False Passed
51822c189d20185399dc59641b383037bb5a4520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagToSet True Passed
8ced34ae2fd847b86aa2f95672867eaf25e42aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagToSet False Passed
4faab9473841e5fbd35cf08b7326793626669e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSetToBag True Passed
7611ac20c6689ccc238b7e6f7c88986268fae9fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSetToBag False Passed
eb77776d86b73f9c53b681c55323a260cb9393e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagIn True Passed
ce73eac4c220459a58dffbf14ecf94118df3d313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagIn False Passed
a35f90d346fffe172cbd0fdad23e0a640ddef5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagEmptyBag True Passed
869ecb0ea1789162c21619844b03d657134d2094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagEmptyBag False Passed
643a9a115ddaef763334b788962cb9a13c3cb657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagAddBag True Passed
5b7a31ad2930759f956c3d8ba5c23c830b1f863c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagAddBag False Passed
0943efdb38b08c77b6d1746d5fcdd34cf20e148f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagSub True Passed
b339f42ef6768e14d984fee645ce6db5993f98d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagSub False Passed
05484d371caf5032d53ee3df427b30f72caa2bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagCopiesIn True Passed
e054be2bd0841ec6012973eb50df98d1884f1b57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagCopiesIn False Passed
adeee7ad304c63bb254fb087f2b2a4b2309cc61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubsetEqBag True Passed
5c3d0687465d4497e71b0b2ca570a519dae9a388 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubsetEqBag False Passed
46756fb185e8b128140c7c356bc90c982f3423de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagUnion True Passed
70c43a5c1e606810b62aeb1701df84a12c321d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagUnion False Passed
8942b92f4e17909e6e7f7a7ce019c766cc0c9159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagCardinality True Passed
ccd7c51d1f9de8b4c5e2a17275f98ffac9d84b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagCardinality False Passed
3721b19416576b0adb2a373758dda8d65a276a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagOfAll True Passed
834da45b372d3c42867d3de110cce4a1f0f702e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagOfAll False Passed
335593aa5855c31802226fff119b861a58d57e75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubBag True Passed
16e83e12d9429fd22de1af0027577f3625a74721 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSubBag False Passed
af04688861633a20decec8e04e947195e16bfa91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet True Passed
a362e624b109ffb8b11dfd14b69c3f2b9251068c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet False Passed
9c60355f0a85f9a664a745069db5af5b517d523d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsCardinality True Passed
0b0f269ba0c4a855fae42cd83e51ce1d45f4fb38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsCardinality False Passed
aed8dde1c0db3bda435da0eda3275fe270dced93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqHead True Passed
c96585722592fcb9b820ae87303de5c1547a669f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqHead False Passed
34cf8b7055e952e15406605dafb9c45294ceb40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqTail True Passed
f42aee46443b92fea708ad31ed2f1645ba4aa762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqTail False Passed
313dceea3c58d95d7ca7226aa7474679d4a91ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqAppend True Passed
145b915950c06bd1ddd60f61e94ebef3ae983dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqAppend False Passed