Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f6f424c7ca1ea9c2d5f81d67f5f7a199854faa2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OneLineComment True Passed
42417f61f5542d42c4e81b02ce75502fb1b55f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OneLineComment False Passed
017be0341bd21e5b392a3b3c40351d291c84da1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged MultiLineComment True Passed
059da7b4c85aa0f353a7ccfdcf8b89141da6bca7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged MultiLineComment False Passed
aafd789ee2375c06d67905ec9594710bd4c084f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolTrue True Passed
d075724f996b4540844983a62f318cceff10dc17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolTrue False Passed
19361805559d1802637d2e27500711cbf69c698a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolFalse True Passed
cfe4a529fb8f3d8e72ccbb73921e6b54769d9687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolFalse False Passed
09ffbb98dcbde042375f12fcb2a7c640ff1ea22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolSet True Passed
ca6627ac2c89fa650177618a7260ee42f9b03974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BoolSet False Passed
381e83964da7429ffc90f4135cf124f2736272ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged And True Passed
b97cce152b0303c3c1deb9e3f6252a58e2306237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged And False Passed
5050f14aeadc1d6cab7ad802b5172e914a7d7334 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged AndMultiLine True Passed
0601019e78a13c78343d56a644e7181027185b34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged AndMultiLine False Passed
8b35fa65049714b9c9a68cdae8bae89c1b0eef7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Imply True Passed
d3c5f408bd7735826773cf1c0e139ff4a50c552f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Imply False Passed
3bed5e88e75e21b888565fe503d99941f3b38923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Not True Passed
b9dc3c87656fc40ca4a50a1719a5056517835537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Not False Passed
ead85ad95cb50f2e02c49af1cf9e5169a0af4ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Or True Passed
d4df332813309bb67e17245458de51a8ef78f5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Or False Passed
2379cdf92c51c61d7f7185573ac3e12069bea09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OrMultiLine True Passed
cc8eb9ceea38b94237331f111e933c80c2a7fd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OrMultiLine False Passed
7a6c9a9f218a41e0f6bcef88ebfabca3f3c6b605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Eq True Passed
6a904bd1ab6513c8b749c1878b0a1c80902c73c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Eq False Passed
aea776c64936fa5f6e0ccc80ed900cfef3a06cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Ne True Passed
36781c027c3e34ce3a972f6580f2e778880faec3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Ne False Passed
d66755757b4c1cf68c888a6f680875ece4c11c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Let True Passed
e661752d276b12b5ff71ecb8540638b7b146c68f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Let False Passed
920011422c172a0e8e5fbd34e6de67623646cc2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetEmpty True Passed
b63cb39f0e2c9a3dfe1d185cf3d55254749e8614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetEmpty False Passed
6280c2d8a8765867b6f73e7efe7e1c007da5be32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set0 True Passed
05d37ab74962d5352be7d61659ee145040c986a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set0 False Passed
11ff246ff4d83b459d509bbcea1211adeb50fb4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set1 True Passed
b2464ceb5f155a2a239604c8cde7f215ab924fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set1 False Passed
8ef2fc3c5125b1a298e257e6932f1eb72f1b6dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set2 True Passed
3aa26493b3182795644b4285dd6a802bb973fe23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Set2 False Passed
cf444d5a6323a1c484f2646d8f21925b213abf15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Fun True Passed
628b3ce2f7b4254865a045bdd8539b071b023962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Fun False Passed
046a4b5a37db573fe250fdddea00c4541f4be0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged In True Passed
05a12907474e2c5a2c16af167c8e6950b745dd9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged In False Passed
80aa487181261a9a200fff31d1c2d23d958a147a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NotIn True Passed
efa8fc0c15c7d5c8561a74eac0c6815d136b3529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NotIn False Passed
0442733ef190ed1e987fdd43926f356cc0028f6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Exists True Passed
f8ee465b4acff977f1299a2070fa4f359d8b39ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Exists False Passed
76c91395e5fa71350357468b437d097d3f2edf33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Forall True Passed
a885f9de3d7e6dbe4587b1eba0753ede9cc54754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Forall False Passed
6819b4aa10f4f25b1839027b8e260c1b04bb4403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Choose True Passed
6724a2c6df7961809ec1fc88f783b42e4bff37e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Choose False Passed
70657fedd5c57cade9aaa07da2e26d254e45162c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Record True Passed
09a8d2a07511baaad2ffd7aadf2435fabcaf3bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Record False Passed
f25e4df6490278ffd043af6e929ac3e52a70c74c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Tuple True Passed
c66406a9da4132bae2b68d4658c7d55f8247a834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Tuple False Passed
eca5fc294d85f65e5e2169cdc89e6645575e0db2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TupleEmpty True Passed
b573ad6cda7518c0c4e627faff4962c0c42cdc0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TupleEmpty False Passed
9ae2138d76e3414ec7a5d14a1d0741d1f57aa281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunApp True Passed
6cfb1b5ac32f6bdd6061ed10c520f8e488fb204a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunApp False Passed
fe8e3fe81145f2050cb794b54fde83b2abece759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumZero True Passed
d363b371986ff21404fdd30825ff3206f82469a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumZero False Passed
80601d68583a4842b35c84a73f2dc88eb9232ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumOne True Passed
8f59c8a6c476247a26e69ae0d0e1edea2d0eef4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumOne False Passed
d350584208ddffcbbccf59da53c0df670abc8477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMaxInt True Passed
0398d597c2d3b0a4130bd89d94473967ca308d30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMaxInt False Passed
3f05cfe4c4fb435108affd28742eb65272060a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumUnaryMinus True Passed
9479f4ddcf61f21cac1cc6105a1e1b38e53d6e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumUnaryMinus False Passed
c02c60443313ee482cb051cebbf2ebc04710f039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPlus True Passed
fd9eb0fc04fad37b630d6bd521691f7759ed4606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPlus False Passed
8c6220881bc03d98ec16b037ddf61873b67b9b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMinus True Passed
17f72f42cf3f9649cb89e67e473f01a45dfba7c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMinus False Passed
11fba75344d3c884dc3086c38c4991a4005f5a16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMul True Passed
fd43f8fd3427a5be1395775def4ea32fd0683417 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMul False Passed
df6082c3ed38a2632e630440238dba4698715f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumDiv True Passed
dbbec198552296bcf79779cf47aceab32ffb83ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumDiv False Passed
69dda82a692c19d4c270c2499604eaf166270c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMod True Passed
09a4c3f0616aa70f3fe5a33d00586acf0e493530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumMod False Passed
8b249e526166c88d698424ab284d708ff328e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPow True Passed
bf2ce533ba713b61045870490ac7b7a1fd7f9361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumPow False Passed
5921dea29635f7bdfa9ddd36f08d31c594e6a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGt True Passed
2909897c48c93a16512486b6e0e6e820b111137f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGt False Passed
9848e036f057bc5757395213f95f4813c2098884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGe True Passed
921ca36f1135bc43f3ec54dc8671fd8d845edd5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumGe False Passed
18f81166e746a8be8c10c741eecf6ff54f7d5543 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLt True Passed
da9c7d698653e1e3534b9483761c0d83fcbf0739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumLt 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
056693cfe21e2afdf1683fdd6597e64ea10987b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFun True Passed
d24834e1d91d502bb3b52d04646a0ac7a32d9dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFun False Passed
c7c0de433f18ad23186932ac014f19cc75dd9ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFun True Passed
c170296ad0c0c6136c442b9d74b529fad6954aae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFun False Passed
da831d5a10f1f6d4ffdce3ddd4f7072c9e7e2b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFunRecursive True Passed
c6465cdfabdfb9de41723406ebb0359297bf49f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFunRecursive False Passed
0b105d7c8026ca7c71e2b8159bc7dc34fc976b28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFunRecursive True Passed
fcdaf9c3c5b179cca152c882a51c45b55eefd00c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFunRecursive False Passed
6d231609860a3240af8a6321a9b71cb3ffa5dd6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def0 True Passed
aea37cc82c67b493b61612d9c53ccfd21d9badcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def0 False Passed
aea2e538256fdb6fe5d5953fb3d24785b4a79940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef0 True Passed
7ceac3db8f11bf3563b7eac64e0d1c2a5faae433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef0 False Passed
1d55a663ee46e5d1035a1de1dd3d7db886a39526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1 True Passed
a8099c9fb06df69ec3ddb69e3a8c4232500bd2f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1 False Passed
f30d6310a51d11e5a6bbd2a3fc0641273425bc46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1 True Passed
c50087a7db96fe4f7ae92cf8a10aa35ec2ee042b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1 False Passed
2ead4e76527fbe793dd24ae9563827c893c95499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def2 True Passed
360df7ab281b35999af20399e8a5886c42676139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def2 False Passed
9cf26bebf6442a5045f6ff138234b5404677e291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef2 True Passed
f9c44fa9170b632448d43157004320823c915259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef2 False Passed
44b57ba2c50f036e5e2d1a4f1807568df5b4fde9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1Recursive True Passed
14b8c88da22176e21ceca23b6713c18c26d7ba56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def1Recursive False Passed
77f8ac7cdb74be13b135f307e81f76d8e7001c4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1Recursive True Passed
b46061cda4570688be48dd7ee17c9e00eec6b4a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDef1Recursive False Passed
24e67b2dab4055f4233b547c33c20b8f351fd7d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Extends True Passed
a5d551ed2d2a6122afc39076c134840fa08ff6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Extends False Passed
b6ecef2a69dcd74fa8e0f50dfe93205be5932cef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder True Passed
ce389739a53e588ee5d4f71fda2197c4a488b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder False Passed
0405bfa582a03eb6139373b3b26b210431726948 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Variable True Passed
a38bfac399d24c740cd7fddb4c63fe338a2f5d10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Variable False Passed
8697911a1407124eb53f0ada3eb93e0d563815aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Instance True Passed
a599e489e9a2c87102f70bf1c60d8135990fc958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Instance False Passed
01406981ea573a4e0534d9031ce23dbcf2b61354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWith True Passed
8506cc7e5ab3ae3b009c091afc518dfecd79de85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWith False Passed
619214f3b6a46bcd53fd8028c478e0911614c7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamed True Passed
f3e788c95a3202095e6f6b6dbc01cc1ba615c0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamed False Passed
54002eb8ca72845782b64a510cbc191873110c70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWith True Passed
3875904a45b0fb5c4eed402c0a168db3a19f851e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWith False Passed
65d931a7afe5803c7e56be69da45a61818bc72f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceInFolder True Passed
fa67fa53f5e0062a5b2c865d5a420bc2a2d0098b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceInFolder False Passed
6b11b91b00e1b0fe151fb439496145d43959bbdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWithInFolder True Passed
b026dc1910fede94eac9300c20035e7800a06dea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWithInFolder False Passed
4f3f11c9b94ca7c9be5c15c16cb1cda2c2b05186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedInFolder True Passed
2e55db14c43f3b40aaf5ee7675a1cbb92aa76fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedInFolder False Passed
a6cca7fbf01b916f6defea6bafe452344178db94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder True Passed
8adfbeb41ca6df8b87e29305c0b5a923aef9ca06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWithInFolder False Passed
31a9dff2685bd35093d29216ad018ccb2d9fb6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Enabled True Passed
b696f04fabfae8071ccc68b7e00cdc534087869c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Enabled False Passed
7611ca7b207a897cbbc0a4eb048ca1477168274a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross2 True Passed
1958c9e4738981cac983c2428be2d89fa31c7913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross2 False Passed
483e6209fefc6712afcc57a662cc3e1380c3d805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross3 True Passed
44e70dd74aa7a8cbf9d151c60be71ab3c0a64e4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Cross3 False Passed
10fd5a8169cd3ed7dc5e260bd7717d446279ac83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunSet True Passed
b70169fc79efaa010d0be94c705b575189dd4eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunSet False Passed
659ad1ac84eb9efa6fe354dfdb5d50bb8bba1129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged RecordSet True Passed
205c11b38b214110f675d4f80ec8157147b7ef8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged RecordSet False Passed
10b582da796a5029e81dbb92fa8183b071e3738d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetDiff True Passed
1b407b636df2447ea113a4c422a0d993c373dddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetDiff False Passed
c15a47623ec4b068905b9e5817de96db4b103da8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetUnion True Passed
ea6570a6edc30f67b9ef67b1e1308feb098af5cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetUnion False Passed
837c23f128aeedaf593c3276e023799c9db87e23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetIntersect True Passed
2195450462311c82f794e957c18f012f202d04f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SetIntersect False Passed
27a9fe8aa1b7ca796a4c2692ba39a97176ee38ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SubsetEq True Passed
42b70727bb1eb649b9bf77ec894dcbae7d550811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SubsetEq False Passed
8fa813b6398836f2c2a4abf67d73db84af61b832 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfCond True Passed
b3a2a5a20b968b50ac31f316dd04a103e779aee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfCond False Passed
29ab99fbe904f87677e199760a001de61871ee32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfThen True Passed
398c521641c7a73ff80f7496dfe0dd1b33cc3279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfThen False Passed
3c082436d74bf6604d2825f7d4f0d651020d8ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfElse True Passed
e95671bfb39a35f2da5f25631ae7d0c72451be1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged IfElse False Passed
408f2ed93c1e092834ba4fcdf872d8387ae3b56a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Subset True Passed
e70b2bfe58bc6d4b1314d4b7a269afd5b32fe979 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Subset False Passed
9059e9388818b19e800897b5d06994df634e8a6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Domain True Passed
f0295846978323cc9bcf232a56d1029b75149a7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Domain False Passed
5c719751c908b1745e4a72e6aa437bbe409b32fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Union True Passed
e762bac7188da5b1c743f5f9cc5e07bb55ab2272 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Union False Passed
45ad25adb5912045f4e24007c97c037b690e51c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Equivalence True Passed
4500aa932aca447addb64fb94a55161417dee287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Equivalence False Passed
0ecf3b8e57b2330f730a78e704fa93d693789f4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged StringEmpty True Passed
48ace437caa0c198da3d4c6b04b1fc1a3f13d5d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged StringEmpty False Passed
68b062495c709068269979cad4723fff3b15656b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged String True Passed
81c4524f15831ae07cf4b80a5efb902128693f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged String False Passed
586c1b09b4f4d66863371aac93620543a74946bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqLen True Passed
c055954ae19b084edccb27dee100cedd48015b92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqLen False Passed
ef1e3710940103f1578145f0dab106b5f8805182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqConcat True Passed
468105a032be528dc976d0d1b50beca45c106db4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqConcat False Passed
d8bad1c4b6d901fa14bbab2d76c5f7c0f04a0bcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSelectSeq True Passed
cb59fc6098a49c2cb0e1e511cec55114562083af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSelectSeq False Passed
ddf066e130f8eb314f6b4c4ed961d5864e70ed25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSubSeq True Passed
3296fb19154d9a636b0a824cc673c7219f318f69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSubSeq False Passed
8b498ed787126a1bee066bfe3f1323261fed03ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumRange True Passed
bdf45b3c9238196099d1b7099c8c938461a1e489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumRange False Passed
7fa5957b6a28fb05dd9876ec1364f79bd33c64a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSingletonFun True Passed
d58eac84b8c65a046ba8ea5a5194898616d46004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSingletonFun False Passed
0b0912e7712450b74e85969c4cef507ab8b6cf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcExtendFun True Passed
16ae13aa296aa5d0862d3ce5fe5dbbd05d9de0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcExtendFun False Passed
4906d4abff78d68945f45f23b60faed4813a5c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcPermuteFun True Passed
efe459927083cba6a26f12f781b87e726101a20a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcPermuteFun False Passed
c63520eb8919eefcda9427dea33a93f59a3ed970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSortSeq True Passed
403844eba4da2e1e2f8cb1dcf66877cfbf773281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSortSeq False Passed
268cd1e31ee3029426e28da175e95e028ecc5a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcEval True Passed
ea9d7e379768aca749e52a6562887c254b0ab178 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcEval False Passed
958f5558b6b3b4532eb769bddcb95f0ea94b7efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagToSet True Passed
dc00fb275ae469cf213a6bc273c9d18f461fbcd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagToSet False Passed
8aa73e36b7d35bb5270d562b7cf2b2680f46402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSetToBag True Passed
f4ddaf3604639897a0116194d5c1972785270225 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSetToBag False Passed
66e7364a4576e48b78ffd2c1ed6854025be66fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagIn True Passed
96fd3bc649d96646bd94f3a8c176a67ffa491d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagIn False Passed
0d6f93779a6bdf11dc6016e5cbf6dce31713137d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagEmptyBag True Passed
63f520ffab538d7ba3cb16960c2d8c7c461956f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagEmptyBag False Passed
5ec64a1170b6b148b9fefc7e5f6cb64fd97db1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagAddBag True Passed
118679d13c9012153e3a126b974899c302b0981e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagAddBag False Passed
ab0da1736fe06c615e8fd516e94188cdb6b3e7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagSub True Passed
089d9a4b43321efdf2a2ed7c92668edf9952d8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagSub False Passed
671f7da043ff9d857d61a88838534505c6f95412 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagCopiesIn True Passed
341d67b2b7efef01966f1425c592274308ca717d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagCopiesIn False Passed
0a0f540421fed3663d2d0523f38264f646622050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubsetEqBag True Passed
b5d788ca6d6270bb355766852e12dea9e39f4945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubsetEqBag False Passed
6307da835206b35bd20756924b731c9868f9cd56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagUnion True Passed
ce95d64cc51f369c47f6792e46bc7f64460b9c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagUnion False Passed
494b57f13ccb9078591c1326046a1af6eddf7b81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagCardinality True Passed
0c026f6a5e37c1b9542cadab16ba48cb59cde786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagCardinality False Passed
c08b999480dff8b05dcfc50b33cd07922659a50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagOfAll True Passed
b87ee86ddaaac85828d49d02babc21e2d5356209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagOfAll False Passed
e36117cb9d7a677e076e0335037ac82017460494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubBag True Passed
33c34651816eb5bccffbc73b76c302e02ad769c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSubBag False Passed
ca69447e4f46e6c273261ec03a613c7d025ad71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet True Passed
7c7549b12e950dab773d2ba6d41ddc57a3266175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet False Passed
d0fd1513c60a6d23c4cf88921c533b21ebc702c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsCardinality True Passed
8a2560036bf6c98f632446ab6a091cfe8670cc3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FiniteSetsCardinality False Passed
365805f750f75cd6ad7529cc24239c19e668571d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqHead True Passed
c72531044344369e8f56cd1cffc73602006062ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqHead False Passed
8c44c25a0b4e4205bb1b9ab7f575af31a739178e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqTail True Passed
3eca39ffebb5060705b198fdb282079021f549f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqTail False Passed
a6d5e589d391e06c9f4076c62529225c2cafd93e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqAppend True Passed
61ee59e12a9b2284ff8d5f73c1bb3eaaa8ba11c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqAppend False Passed