Index

Tests by case feature VariableViewExclude; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
63b2cfa312b6fc855d4e39a03e9b989d6a22d3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OneLineComment True Passed
4c4e4d616b16f9a4f4241e35639b560bc6a82668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OneLineComment False Passed
ee5f5e707c15dbea7c14833331be987c4ad82dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude MultiLineComment True Passed
d9e186b53df139cca31ccbd9f16503f8badee1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude MultiLineComment False Passed
0302b4a725c8e898e2a1be127fddefd3dd7f0716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolTrue True Passed
32ca9ec5bd8760cb63dc627a9d49c6e998fef339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolTrue False Passed
af4d24b89cb6f4551b13fc55d84200c5da43b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolFalse True Passed
5dce6116d9e841b54c5044b79d1b09ac8ef6cb41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolFalse False Passed
16fac9d70755f2a8127328ae8f8d2f5b82e43b11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolSet True Passed
64a142a496f9cb60c0e669534e4833e832e7761f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BoolSet False Passed
05fa4686e26ae42b49922bbdb6031379ec5786c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude And True Passed
8fa523ad2f0a349389681d24ba2f370138eaf8bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude And False Passed
2d580a905cbf09eaa17c5954c655bc51b23a68a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude AndMultiLine True Passed
e1a73c312cf17cc768625d33d82dc04c8b59994f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude AndMultiLine False Passed
b10eced099a9b9b905f3b712e996428ab45dce57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Imply True Passed
8ddfd448edbeec5bfa1f5781b68e9f4bce8bd05f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Imply False Passed
051c14317a5c2ab82ce6ec2bcdecb57dde0387f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Not True Passed
e22683e887f138f00d5233265471a58f8fd76926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Not False Passed
da88ebf2e80505cdf73dac275a195e06e4685940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Or True Passed
d3bb6893a5dff7d8e65c93948811e7012528389f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Or False Passed
70435fc6e65cf6b612d62dec855c7cf19938f802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OrMultiLine True Passed
a363b118892835b1ba8a591eb11bf7b38eb50f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OrMultiLine False Passed
710fb0a1e6120e24e974d1880a8670e4ce17cc07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Eq True Passed
28234d140084eb8a192d7b5c34542cd90df1cba1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Eq False Passed
f1a944282f0e6186a5ec8aabf6d5c68931e25e33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Ne True Passed
794021f8b070edb6b285b9d6b16455afb5b33a89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Ne False Passed
0acee6d56f3b19e8ec44c4c11d9c97a03e4a308a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Let True Passed
67d19f5c0b5095bddec8ec4149a9fee452ae4052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Let False Passed
5c519487d263997037a3187f7c59fcb78407ef37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetEmpty True Passed
ab1e1bc7baf0787d0d115041ae582bc189940594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetEmpty False Passed
d8a48c503aa67ef65034341e1b95d9cbd29c4929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set0 True Passed
6a6cedcf8a15cd5cd56c91ee3b9df304604d3027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set0 False Passed
17cd5116cd48b17755c20ece19767431a051b08e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set1 True Passed
0c1b58c3869d684ffe3d003389b62f91ada63899 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set1 False Passed
cf92647a137bb07931a0856d805b565684e49c4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set2 True Passed
e628a4e792800d3958a0b88faa20bcb9e642a92f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Set2 False Passed
19204a2ab573684c3e4d30c4514736e822a37172 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Fun True Passed
60b5f446ef399549460801973351d3d3584948e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Fun False Passed
f620224e686031c54aa4cef2420ebcfe3faef92b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude In True Passed
51d201f4b79a2c13d3f533d7f6f4bb9a9d79229a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude In False Passed
e0b81d16141c5ac746ea55190db927b25a19fb9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NotIn True Passed
c89bcf516b0503dfe3dc7ee2049cd6509edcb168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NotIn False Passed
56dac619ca7e28a506ae6da072006f9aeec444a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Exists True Passed
bb66f6d2feb23a8f7a4fbfca9d6f28aafc24825e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Exists False Passed
bcda5759e7698b4d16b319166c7a2336c7659b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Forall True Passed
eaab769471d8c2e0b5e059f3e7723c2b02f1ddce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Forall False Passed
d19edf27f474eaa7173442d5df2866f39fe80ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Choose True Passed
1b024be2d243adda48ce9019d4896d650b252f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Choose False Passed
a867cd1c78eb3f98d89422f1d6ece77a7c7e9e48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Record True Passed
21d4f8cf4cacef92980d800921877c4a7f6becd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Record False Passed
c09a113a44b1f9e4cd1f373752d02cf128e4f470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Tuple True Passed
984db5732c53fa5618427a8bfd37c64b8278b55f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Tuple False Passed
d0c0162fa6c336cebff3dc3264aff433da6adf73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TupleEmpty True Passed
b30abd268cec1fb16d0b33ce67231893964f42ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TupleEmpty False Passed
93c01c0e5cfa2ac36c525e2d0cda9cdb109fa55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunApp True Passed
7c553cc82e2aaa8a21341228cc2a7e67c8ba1b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunApp False Passed
3c4963573830e2b5fbf52933b39cc4d5dd98169d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Prime True Passed
6577266541fa27fa7efb072fb410e98ea71ebaee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Prime False Passed
25d87d5a4a330b069f617a1b308709a4e8a5e212 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumZero True Passed
7f2a384eab301788af61b6b94a1cb42701b6ed06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumZero False Passed
eabe07afa12632bf9530c53d39df2251a75ba16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumOne True Passed
f1b5e9974a517e77ea51dd43d9f2015c5783a2bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumOne False Passed
54279a50189c6eaaa4a6f0818425c00c2762dc54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMaxInt True Passed
9ae84647b8686b037f8483f38b61eae9171e8665 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMaxInt False Passed
da509216fcedabf253c61083c764aa8e40d977e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumUnaryMinus True Passed
e7c7b84f7c9a83e92af9bc7720fe6382b97ceb45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumUnaryMinus False Passed
9b6bb15506cddc8e0c716bd848fb5312c00e9474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPlus True Passed
cf17339652732e5b21a634688b974ea0937b374e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPlus False Passed
3f71475c7cf8e9dc323d2084b308831b2af21b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMinus True Passed
eafa7abe11d438258a2292b30f4da2b6a642053c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMinus False Passed
91eecf841d6556de2b1a72b27c3de735f874b8ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMul True Passed
2c05079228d1fb6bdc0aeb1ce3130a37317efef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMul False Passed
9ec5f53b1a3a9bc0ced3d78e74f27b0afd714fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumDiv True Passed
a538b94c691b0ca401c392eb9a3f94c7ede0c692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumDiv False Passed
5cf891c5890276105ef8f2e2ffe35b074552f90a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMod True Passed
45fc39b33ad2ebe07ead8635d43c1725b53527f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumMod False Passed
6426b0c21d58421b4a32da1c50bcd1810dc92803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPow True Passed
4c7f63c741cdb3b8beeae383d289e7759b004803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumPow False Passed
6dceef8846715980d9aa3f3f85b201bdb6e78e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGt True Passed
4185a6087036c84df39556f44153b76885f5812d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGt False Passed
675affc5786970c0cb3001d488700a498afa475d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGe True Passed
69947ace88d48e8e6b8e90b460522250d600bdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumGe False Passed
b72654bbc3347dbd06a4de53fce35b11f27f931f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLt True Passed
98bada66665c14ca0d49cf336fad53412c27febe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumLt 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
ef392863e3096cfbc524c15869dafef99746bce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFun True Passed
7949f11a142195f60480a6f9c18f8702d6090ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFun False Passed
24d7dc655e31a2e37e5b2be2ade783888dd73972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFun True Passed
6cb0873241ef4f966fd2cc60a66b7945ccc26205 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFun False Passed
59fdb03647ac2a7975e5aa2a834fc2c8dc883c52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFunRecursive True Passed
374ba3d22b6b43510274a9289f75bdf78eba207a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFunRecursive False Passed
9a6c8adc9df6e0e6a665880e1d949588e91ed3f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFunRecursive True Passed
ffce36221e3a32e448d399a1f9860284b1c35e98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFunRecursive False Passed
1b44608e369bfcc7ea29d198f63a759eb37dcea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def0 True Passed
d8c13b5e8113244bf9f239868836295156646616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def0 False Passed
70b12ff160da7a294f70b3eea440c955606026fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef0 True Passed
ceed1c285ddb79e2047f7b01e4ad6b1164fe4df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef0 False Passed
023b8bd6b778c459e1781dc1119d048d8d20ad3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1 True Passed
b3faf8d01d1cfe55aec28d3cf2333e0582de7c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1 False Passed
c117a53d3e91af2e5655681a80f4793e6bdf6d76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1 True Passed
8a012074bdbb59367a120e33d2f404aeb87c835e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1 False Passed
dbf0ab201deed9e4ba78eba54fd8978963980b1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def2 True Passed
ff4237d20149d6ca4f49756b5ac246b5ddc3ddc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def2 False Passed
79702e85847cab0263b4bdd82a05453c30d05cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef2 True Passed
489e9683da6875a745a25c7731abd88e659b5521 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef2 False Passed
0ac391ca0215d20d181fe88d688ec4ca21688aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1Recursive True Passed
d7d21ddea7ced140ff1ecd776a057a46cf393950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def1Recursive False Passed
9d6bd54e2b6d63e23884f437e5310d87773a9bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1Recursive True Passed
8474af6d68a74ef71d668ef4867154f3698881aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDef1Recursive False Passed
9ec497d8e07cfe4f74864befa759cf6b72afceb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Extends True Passed
ff200f533b2b1ca3e4486b2a5338d6bfaf1a514c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Extends False Passed
73f782197e79ef1f073f45c0839ea395ad7986ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder True Passed
2ca7e27b8e7dda5fb4a95d5adb1dfab98599cb15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder False Passed
a98c2bff83b77834912a36a026fd9689f8211867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Variable True Passed
01d6a6547e66be1b0c049b21e388f7bc8caf402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Variable False Passed
7819c1ed42f42bd54ed20b550430aabaa00f8e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Instance True Passed
e46f735b19fd6e6cf937f43446a6b77bcbb76566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Instance False Passed
70e43ff2954c9adcc77ba30c83a9f82ab4877f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWith True Passed
93e1c16ffb7dd1aa39143955eeac935fefc6565f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWith False Passed
1a4ee8fcba4206f3ef12eb77908d4a03ad45cf01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamed True Passed
4bfc7a0a0693578687ab890dc55e10393631d042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamed False Passed
c7bce633e50c17c7d2c21875e7389e538d3f9a10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWith True Passed
72e87c174837c4a712713e966ea0ef971772e78b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWith False Passed
22411c5706ed8417054cb458632a49bff0ec5153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceInFolder True Passed
8af28712916eba757a1575db6838c526a09d4e54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceInFolder False Passed
997d57063c7c90f390410cf79268bc8639a71846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder True Passed
6375febd4646e31e991c16bd223f8deba8a6d31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWithInFolder False Passed
bcb8ebec52b0b812e616d3baa1f61624454fea9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder True Passed
e4dbceb4c5daa4e0811310a92b90a90e2224d2bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder False Passed
8092070eaf787dd99eeed37c517ab736b6bc7177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder True Passed
70f4e69755358f3dfd79e75476d6f70f10614263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWithInFolder False Passed
c114e42b982d431cb84fa3d025c96733c3ae3f54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Enabled True Passed
37661a786d07e24d0b856293c90988061a25cff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Enabled False Passed
c29d698d768423841e055bb4b9f2c0c7f1eb5180 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross2 True Passed
b9fed3bd1f6333f3aa25e909d3d9104ae1ea220c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross2 False Passed
acde55c4fa264964742bedbf90cf1f3ce8565f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross3 True Passed
7a2e0c667290a069ed856b21edcc4a85079302b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Cross3 False Passed
98afca54d490ea2cac5f6c2c382afdd4013012a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunSet True Passed
13b330a317446ce20b5f3d2ae46e4106e1984af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunSet False Passed
1e30d1704a3188897e840037d15539546fae0882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude RecordSet True Passed
b24c1066e14fc8f0a58ff5960d935a99aaeae21d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude RecordSet False Passed
e9d7338f71cf8498d7ea533cc9d4c2dcc8adc6d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetDiff True Passed
11217b53496840c71613808a8136032fa5b1b710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetDiff False Passed
704163b3a602e98a143d769e1b955758d592fd20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetUnion True Passed
832e5e828a20e48f6b8f4bbb0515614215a22216 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetUnion False Passed
ccbb6690e37c0908db715ed8334b7f20c6a3e4e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetIntersect True Passed
22a14584929d44c03b89c08f87b66f61cab795c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SetIntersect False Passed
850e66763ae77c44b610d28265506dff4256f6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SubsetEq True Passed
732ed35ae714ff407074a845e007270334c33510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SubsetEq False Passed
4b30edaca25c3607379ec5b31c7b6ca005e7d14a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfCond True Passed
49fcc5496169778d2349481afe40fb5f71fddd77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfCond False Passed
ab80679844c833e48d196bde5937acd77481ea35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfThen True Passed
a6a86e6fc65795fac9c8741050fc3bcfb8436fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfThen False Passed
80228dd1fc67cd269ccc909a0ece85179e35e0bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfElse True Passed
c41c2d66dd8895ac5e97567295761a269173220c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude IfElse False Passed
fabbedd3ddd1b9979451ad083ae9afbb9c4d801c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Subset True Passed
f1e6eb70dbe1a617bf83ca1985363264dc0b40ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Subset False Passed
389a62b32013059102d4e4fefae6fd34c688da84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Domain True Passed
6003ee0eea037e0cfbffb30d86846fd2c6480718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Domain False Passed
4917a22ed00290db789b9c8131d22c86f1076c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Union True Passed
678c97520f4c87df9af63928fafd3f0818c311d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Union False Passed
70cd9d51210411589eea9abe3e9b2be4c81c30bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Unchanged True Passed
d4347827c657b758327b98ca2337d0c63d86346c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Unchanged False Passed
e80784316ec49da39a9a8cffcc2ebc11a4b31db3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Equivalence True Passed
5e2bd977dc146ad09c902430b54f5d2723c0ab02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Equivalence False Passed
0d92b3cfe66fb19d3e8502e3fbac763886cb8ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude StringEmpty True Passed
a787fa06d6b588de126515743dff5c52def13a76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude StringEmpty False Passed
a6f283a9dded72bf174878db197f090a736c8956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude String True Passed
b9594d758b51debbf3e8dfc236b9e3e9ea09e64d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude String False Passed
eba5bfa9fae52633f2adf758b47e979594a88b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqLen True Passed
ba2e6a25a12ff3d23c4581973f2d7845622df0ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqLen False Passed
68ee5180c760bacb6587cdf30a360902840f99b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqConcat True Passed
3b0942355ff1149ac7616b6bc1a87b0a5fc12d3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqConcat False Passed
0b0d83f7c05468832cff72985f76c29067de897c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSelectSeq True Passed
0cdd32b91f1510b8cdbd1fa21cbd74bb206a3757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSelectSeq False Passed
f33dd6dc4354041b86ba1008dbcaacd4186bebed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSubSeq True Passed
897492d984e8fa5a3b17a362f969a432dc9969e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSubSeq False Passed
68e23b20274d0663f916dcf0630ac981212fb28c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumRange True Passed
45233199643dccc8c6a0468802ae05dd4085e89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumRange False Passed
5eb896fd91fd31a6403b898253bb69cd7fb49dce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSingletonFun True Passed
fd81e825ec9e7c89d8e57b2c624d618452ef2942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSingletonFun False Passed
02e565212cae14be07ac24f40cca5f05cb39810b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcExtendFun True Passed
2e27138a8bd9d7ce09ec82d2d92a99a9e803e59e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcExtendFun False Passed
68096b9d4244f1bde42dfe9e4bfae26c85c53cbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcPermuteFun True Passed
d004f09558ea29313c20d902f1b5d34e44f027e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcPermuteFun False Passed
cc8ba5c18147000d5ff09b7dfe5727055a05ea61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSortSeq True Passed
9861a1447f34ce569e3eadf5041f29a6f8eca977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSortSeq False Passed
b4bd584dc9652152d97b280c2168510fada33659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcEval True Passed
a209e6e139d3c1da44be8e194ab5a87d88f56a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcEval False Passed
dce058384764e5b2363ece9922c6206d3bb19c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagToSet True Passed
223edc5ab160f70ae13dc688c4077f1974273e79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagToSet False Passed
73c7e96ecfdfceed11be6c2fe859651847403646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSetToBag True Passed
aa2417c12636c54b8934e9daa0308acbbb9e2994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSetToBag False Passed
41b676db5cf47150aaaedab952928b68140956fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagIn True Passed
a3fae2fa9df81f72787387938c3fe03d84f4f275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagIn False Passed
6611b7aec9fc781e1a36d11d05295785bdaee0ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagEmptyBag True Passed
170b3d57c6479374d957842b65cea3d9bc24a041 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagEmptyBag False Passed
04d3a38cde1204ad1fbe26ebad57790bb6ebddf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagAddBag True Passed
a811d361bca8a52ba874401e37692588b98f1ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagAddBag False Passed
b9f196835802e57265a396f468bf7df06a1fef48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagSub True Passed
204ed5cabee50dc01a6740601e1bff7a480de6d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagSub False Passed
e12c405f3b82fc49f8025382734d7b0c34f7189e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagCopiesIn True Passed
7d134be6208b50d32fe4cac91e889c9e8287343e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagCopiesIn False Passed
4720c8ba0921623e0801661294a8414f5cff2efa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag True Passed
201f948ff5acdab5cccbc487083ac6d9f1ad31c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubsetEqBag False Passed
e83242a54ad3b35d75a715177aaa806b7e6a659f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagUnion True Passed
932e7c2b66f3ee098342adcee5d50c8f8e90939c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagUnion False Passed
b6e0f81a5f081791612d9bc4c18b573086e5ee30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagCardinality True Passed
5072597c0b0c4e706452be42fa93d5c4eb23ee6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagCardinality False Passed
53347ff41db62b4f1456d7d3c788f0a804a46fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagOfAll True Passed
99824bb7cb30cfc4992cbc3bd9b11b48c7d7a29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagOfAll False Passed
4aa2efae5f8154f3a86c2b81650ab405a1dc944f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubBag True Passed
e83cdfe86cd68e4707d55c27b49fca3c0b54d28c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSubBag False Passed
482a886a670690731075be16f42242c04ff96f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet True Passed
1d6b986ae0953dbf2cb818df532cc539523ae2de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet False Passed
fe53617dfdea8e96af991700734ef0f4d7e79b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality True Passed
5915f6a610ff7b5641688798858e8a2ed39e6ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FiniteSetsCardinality False Passed
57d74426bc615cb6e4b575c23556292db1721adf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqHead True Passed
fbcf6013b32d7ad68dd11dfa2baae5d8f79d44ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqHead False Passed
dd66c74ba03d4d6532cbe85586da1fbf751e94c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqTail True Passed
3fbe2ef97e74c2e09cfa9ba1479d47e1e25fff96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqTail False Passed
366fa15a57bcc033759160a3f41760e57f2a9d0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqAppend True Passed
f80a3e0fbbfacc7edfe6cb65da43258232c72530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqAppend False Passed