Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
de337b1f3cc78b7227d8c7669876f8f18a343c7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLe True Passed
2728b754666a3ef4a3ddb591b0366b5599357908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLe False Passed
44f507ecb20c27509c238687b69358706f2c5b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLe True Passed
0f8b61ac39cc8d19b5af3b5e07d1be9b4949af68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLe False Passed
8f86992c3eaf15cacd96f3329eb86d48239964aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLe True Passed
ac59a60694559ce0259571a1650058de8e885315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLe False Passed
930c613d4e8594eb30a239150e08c1f0d98c2989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLe True Passed
bc3be36a331c192e52ec9c1115a8c13332227eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLe False Passed
53c63d6c575a14332fa26008c8c31f32afa6b4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLe True Passed
b6aee49cf9b057f5f9337602a82b317fc27ad5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLe False Passed
016a88ec1b7eabc3cfe22cceebff8353a83ea970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLe True Passed
b195af63b8c4b8fdc3807ccdff589b18b7fa08b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLe False Passed
5dddb8adb78287823fa8faee05e2080ada935864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLe True Passed
098819d1e3954f5e06b8cb3d2a93dc6942024662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLe False Passed
e0608ac638e92ebfe26642d5d1d218ce4ea89d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumLe True Passed
37cd7e0f8977bcf8630d7110fa74d080fe8391ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NumLe False Passed
c20dc4340b870ebf654c9555d75cfd89ef0ed7e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumLe True Passed
6e5126bd2e2b457567736d8bff5674477baae4b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumLe False Passed
972182fb265046d9d9e57412dfc7f6c3a404b907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLe True Passed
e8d6d4513d13b38823350476d0cf92d6fb49bee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumLe False Passed
d0b804ead254fd873862862cddbf3ed3a6e9f044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLe True Passed
17f40e94b7d9501261e8910c8a0392598bf55bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumLe False Passed
7ddc1a1e17c789423ed1ab381d0f2833b8899eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumLe True Passed
d75007674135630a4d4c49d6fddaffceb05b7dc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumLe False Passed
a684dce532b84e1798776371f241b42a688a8ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLe True Passed
57ac5ce05ad5ee3ca41dcec496f2aa7cdc9af302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumLe False Passed
8a20db9099aa724634b19553812b5c6d7e2f489f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLe True Passed
d7847cc799d49dd7377c84f8719f8f8aaccd9ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLe False Passed
1d30744bfb3c9d6c08b57d5008090c9d1894a1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLe True Passed
f4c8761526525851537ed0bcf286b753abc1ab59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumLe False Passed
ab88e7404bdc18a62bafaee58339bd8ea4e9d2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLe True Passed
1c7839643503d3133c5403f63c45e9dcc21b2d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumLe False Passed
47e673300eaf1a3689e07792872127ca161429a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumLe True Passed
fc33b894983b2705374e843edca5ca29eebd4499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumLe False Passed
1f1bfcafb5422285652e0054566c29c6582ef3ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumLe True Passed
b4d86c1beaef03c4334ca082d2400a08c6d5a712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NumLe False Passed
7c3cadae368790d6ac2ee69a7cebf3286e913c2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumLe True Passed
f5d35fb9a4ddac19243f5e1c10a69fa740e3f3b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NumLe False Passed
43aaaf75dc9d49b14c5c03bd542a1de7feaa0a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLe True Passed
ddd5e9061dc18a98274ba60730b3c2a36b945853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLe False Passed
d8a379bf58cafcc549f869f764fb29b249861901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumLe True Passed
8cb0b1d4c2373d855c41eac737896bacd53c63a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumLe False Passed
64b2cc67ed9e797156b89ea5571a9110f6a08a07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumLe True Passed
4b5b731c2d0831accb2676a630447f6047a6c59d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumLe False Passed
9e9a8d7129286b12b394f2b1f1c8573fe997967b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLe True Passed
8bd887856d0465c09a6e163749fa0273a8de7ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLe False Passed
0cfcb56385d864b990ab61b941219c12cc710bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLe True Passed
8e74403e6f7683dab3cdfee2405bee29c9eb41d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumLe False Passed
0f609bbfa9f445a84c7265c8bead03553fcd9b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumLe True Passed
f0b72abafc3f3671e6b31ef0e4cbce9f35fd9bea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumLe False Passed
0b24b0ae1a30953ac5c7babe09d3e6522c7f3168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLe True Passed
78621be30df59523db035c7e85b8fd7f3e60e582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLe False Passed
013b63d80fc80ea891f36caa61479c7ee10e3742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumLe True Passed
7cc85196609bdf672924484fff59393a548f9cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumLe False Passed
44ee733e9f8a148adf570b3023371ff223d30eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLe True Passed
e771c01af9ee0fae611298748a7863894c8889f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLe False Passed
f19e83b009a0704d911a0226b10b4df13d4366c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumLe True Passed
42824c403c053b709a8332f537324d6c4d430515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumLe False Passed
685dec475bc4e3a47d51c599f04ebc7614d9b14b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLe True Passed
548cdd10ef8bd3c99b0e34c9cfc62e22eb81db22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumLe False Passed
8a88152b046513185e03b4abd067ef6f29550e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLe True Passed
743e78c98b544ca48fad40fafc36aba536656e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumLe False Passed
4a25a8b5a85277ee70d820407bf2d5f39c2ec048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLe True Passed
84f1cc72a3c6ec8f99001c2551759b8f46910272 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumLe False Passed
2e908f52f83d8487da1c82e473ad58124a2b8b2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumLe True Passed
0ccc268acd2ce1d566d814c5b1fcd33b0dd2b2f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumLe False Passed
e1e7afa37c4c80a12d28c8f8d1a8830046e3c136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumLe True Passed
daf6747d3933643e027896ea94ed6600498d92b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumLe False Passed
9af9d40b1f05b3e8500d0dfe0d47232546a9a3f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumLe True Passed
08607b21ec45ef93b6ece7a0fd1bc8defb0f8f3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumLe False Passed
a364fff06f13c221db6d96ce81daa775e7722304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLe True Passed
c82df104dbcd7c20244b689e204159b2b98148f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLe False Passed
c372c16d2cc8dd8fe57fc48c283a215f8f93afbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLe True Passed
8fd64796e2480c55eb6e150aeeb531cc796a63d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumLe False Passed
76d6dbaedf5d8c9b7a29a2c1a7a0b04908220375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumLe True Passed
2c87df056f67d55157ce7a7b76b5488f917634ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumLe False Passed
5ecac328fb3848f4b3552a5e51ddd157029a95ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumLe True Passed
a343afc2334f9001d71ca098fc4bb0f24ae820fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumLe False Passed
2cc98212443de47950fe6ac838e7892920684934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLe True Passed
f1c87159bbf85ccb212e01313dd52886ef8855fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLe False Passed
f0d156816ef71bfb074d4718803ff04df5e38c54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumLe True Passed
21e30af456c4b39d0ca5735b5847ab64442b46e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumLe False Passed
8c11796375e8d90517b59cb3b1b86680ef40c71c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumLe True Passed
5a071700156ff5238e3d0212d01c643fb5ea7113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumLe False Passed
3cb66dc035c4b27549a08e16e5ec530679f6ba1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLe True Passed
a63de5546b5346cc3b3f437f79e19fa56df11edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumLe False Passed
31138024b2e9ff1e176ca0b535ce5c5e09cd59db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLe True Passed
f3db8da83950f244d2c3a7b1b27304d524b436b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumLe False Passed
52942cc5a2e7283032da137851827be5722fb809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLe True Passed
2812e16dd2ad878e9aa7f329bfc21d8534f71a5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLe False Passed
80322641a6e7eea53ea4770618873d5de9a33459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumLe True Passed
61563d61e56841a7e75f945f0e0e2897d052a4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumLe False Passed
ecba7d25882e50525a8ce70b1ac0a27730fce12e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLe True Passed
3ba664cb6d30baa905284d7a676a82220e230236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLe False Passed
b2b0096c1c174567f64f8fcefedb68376823b803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumLe True Passed
e6bf6212655da67487d959cc0b634cd9e4bf3c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumLe False Passed
a42cd18ad85fa589e53603551ee14d73485a5805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLe True Passed
b58468bf0b54747f61a0908153eb0a0c380865af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLe False Passed
1414d6a37d0a2993b2fae7c8215b5203e421ffc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLe True Passed
31c356e718cdc975b91efec04ff52b34fd731654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLe False Passed
55421afd0259196ec4b3d025692da89f7ebf6659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLe True Passed
439e6760673b45cd0ee3a1ee4bceddbbe55c9a8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumLe False Passed
65f33dbc4e16077ea606a6f52f2d7c9881a9ae53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLe True Passed
b2ef017c6ada8896b8a03300e10a38e8a3f2febd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLe False Passed
179122d7192d0e05f69ff7e88c210e98cd80e6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLe True Passed
05c50a7b1ccd038ff91e07e722f380ee4198ca15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumLe False Passed
7f48fa6aa2b6a5d0676ff6478ce05637d2e81efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLe True Passed
ae898440ef0062a1ba194c4777fe1d522cfa4295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumLe False Passed
40156ca183951d03816ea577f389c018318f9387 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLe True Passed
8e52b6c3f300f6925d0f54e163b02404d4896d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumLe False Passed
0857eb3a980402c0e6dd9b0e4ae5e05441d93734 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumLe True Passed
859db7e19bb3cc7acbf48a8a54e79529a7bf3b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NumLe False Passed
425aad11fb2985c1502690167c5e68eb77782a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLe True Passed
ac40a3059c68c4be4bda08b6ffc29a412c535e54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLe False Passed
f46f18160ebb7057ba62efdffdb50670c312ca51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLe True Passed
b6241d649d4355543e1aac4602b5fba43565a2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLe False Passed
259f03fd1eb8ee8ef544b1b168819225c68fdda9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumLe True Passed
d640910e77580b7c1024a4fc74158ff75a9431ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumLe False Passed
a1411a4350c48c67489c1dbc8f881b598aa6d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLe True Passed
691749f8489c407d280bd10472431f57b5423eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLe False Passed
e1581c3c8887e2a8f386ae88e034fce5c4c70ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLe True Passed
5e032d1f225069ca3696ebb1f33b0178ee0a5c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLe False Passed
a7001f7c0bf4b0f1ebdf96483b2438a29330f870 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLe True Passed
3dd74560267db8d46308d676d8b090840d98261a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumLe False Passed
7f18e88f4df2a697a6bac3220fd97735e823a8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLe True Passed
4bb80ccc37c3a2d67f92a0ad204e57ce525465fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLe False Passed
669ce21705e2253dbe898823a137d8ecfd6cbe58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLe True Passed
dd150098ac847f0ea946f2668a7bd5d6be399ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLe False Passed
374a63bf3f69651ed9c364365d1adfbfd77f8978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLe True Passed
a4523932802a13eae6eabff519cca7667de3cec1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumLe False Passed
5bf92bc1e00b4b91277f48e4f09c854f21c8b4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLe True Passed
c962f5b47fd67060b8f47e6af2ce2412f3155c6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumLe False Passed
7bc2e1d07dd345d00ea95a47a0feb900055e9db4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLe True Passed
333fee9e5ea1b1205726bc5c4fa56db314b9679f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumLe False Passed
3d2f333d423177325ccc14dfbc1e5eb81da4271e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLe True Passed
ba600746351f9c76a7606a0b2a11584763802c02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumLe False Passed
9ff72798e83a0985e05c42557ce6b3571566d0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLe True Passed
45144d742677bd2ff9b456d8667bf598c45c0004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumLe False Passed