Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e1f17ba929e4cb80405c00a590514abf80828275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OneLineComment True Passed
e2328d691733187db0434ac57288f0d6e0cf3280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OneLineComment False Passed
ddba770905bee8bb92c42c8394807d22b8975e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OneLineComment True Passed
9b5b74ebf62d1441edbdabd26dcd31f5a9afff43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OneLineComment False Passed
3580bc2a202911ebbdf2f521b2e7e805fc267442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OneLineComment True Passed
617fe0919143d1853089cd584544a2b538ff79f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OneLineComment False Passed
93f442c47757465d37e221015c3d3c8a9314a88a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OneLineComment True Passed
18af7608f6522e54603b54f05abdb89cd96cb97f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OneLineComment False Passed
6a27ad19dc4dbdf13040c3a0867f46d7a514f995 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OneLineComment True Passed
756862d59163bd60484e121d63a4f7f357fe95d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OneLineComment False Passed
9340b6a2c800b85287c72ad1cf876e13d1f4a933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OneLineComment True Passed
ca1483bfbe692af22ea1f7a54eaa3e9aaa29c267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OneLineComment False Passed
9fe7603c8e32e359a444181f0cf02619fefc23d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OneLineComment True Passed
429ea74b77a24884052195a8f1388ec48e1975f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OneLineComment False Passed
6d9dddabd587e046dd3046e7ecaff6915113cffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed OneLineComment True Passed
418766551707a234fc123c21cedb3d53ea83f19c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed OneLineComment False Passed
a8c06cb80ca20cdc50d28bf8479c56fe13e6d845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq OneLineComment True Passed
958d3b627f347d5d77b13e32dd6d599b80d3064b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq OneLineComment False Passed
e3d39948d0805e259231982f3679f8a3448f0b5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OneLineComment True Passed
6d12eaaa50934c98dbc9198c8e8c3dab1654a17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OneLineComment False Passed
d25d254a5d9927419e959e4bbc97fca9cd6f16f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OneLineComment True Passed
09cc318cb9728b2f0a4fe52aea1fa08bd24fb320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OneLineComment False Passed
1c4a255f0e5af71b49d8835461be3d580c42d8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 OneLineComment True Passed
0e1925134e5b9e53e6d6095fc9f61bc4be6c8efd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 OneLineComment False Passed
c553924454e377d1d7e72f3fce90e65b0b1cb695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OneLineComment True Passed
753f34662d85d8d6294e3326c3bd3c9d788448fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OneLineComment False Passed
4a8a681811a4180b7dd79e588da486b5c11ac39a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OneLineComment True Passed
af73e89630c7ec1c895b4f85eaca256c69144993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OneLineComment False Passed
8f71fcdd4838da82c0a00bd7748ecd70f3ea68df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OneLineComment True Passed
43cc699844517a3d0792bc584c0b7b3bf12419cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OneLineComment False Passed
5745a50b227c08e687ab1a7ccbb5e84bebbb6453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists OneLineComment True Passed
9d0ff3e0dede5975faa4339610ebefe18e40cf98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists OneLineComment False Passed
200f08082afcdadf3b5735457d55f6bb01223035 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall OneLineComment True Passed
981cd4f565c672dcce39481e309f6fc54c2e114b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall OneLineComment False Passed
5a175f35d622447ae793856c499289b0f2393cfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OneLineComment True Passed
f531e2715564d9120de1847fd3d179df9e01a2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OneLineComment False Passed
e36c5baa6833ec1a2cb2512fefeb8f1e108f8ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record OneLineComment True Passed
96752fa743638f3c3c2a97aededc3e7699fdfd2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record OneLineComment False Passed
dd9a86bbc031f2c2ea6bf185c53945acc1fb6374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple OneLineComment True Passed
b4d95f6d30b39444bac316612b80553b018670a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple OneLineComment False Passed
2b74e4fbca6bfc382b69c94ec3c690d832e0241d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OneLineComment True Passed
fc02cf7391159b03b7e25e3cc54ac21978c612c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OneLineComment False Passed
9c2c58603af0942a0af494cda39ff0581aa6d94f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt OneLineComment True Passed
43e4ffbbaced2ce476883987ff2fd142b8af4ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt OneLineComment False Passed
30447b25698511926ee2b9c628d29e17dc9f5e64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OneLineComment True Passed
f92bb71c19bde2eeb669ba81ade70555cf0a1a54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OneLineComment False Passed
f305b189c1b71cce90bb66c16a8d26ffab65d0e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt OneLineComment True Passed
74170bee9187b858c459ff5b9c398db9a1cf8a88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt OneLineComment False Passed
e185416093149676372de8f8a8c7fef7e0a2b7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OneLineComment True Passed
39156cb15a461db037ac5c7ff17b2b22f252ac64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OneLineComment False Passed
9d85b3cb19934ca0e2af9b8a1209ec7a8212d986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple OneLineComment True Passed
719e5437074d9044ef8e4c215240bedbcb3ed844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple OneLineComment False Passed
89e21999f009a191c95b93cce618fc9fd96993f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime OneLineComment True Passed
6903c57cda27dfad14ba891a48cef03149e02e24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime OneLineComment False Passed
94c6260200e57c763fa83b7516bf52a7e6318ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus OneLineComment True Passed
ee658ea55551eba00a71dd7648e14020483df1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus OneLineComment False Passed
05704faffefe75d801d88ae221aab78767dc72c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus OneLineComment True Passed
d60aef8e019eb0c47e71a514bd64cbce93fbc137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus OneLineComment False Passed
4eea7124fb0754d2545df0fb557edcddd9be25b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus OneLineComment True Passed
958ef11c2842a359c7da12b92cd3d0f0f1ebb0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus OneLineComment False Passed
19fe951aeb33186e5be3ca2bb64d0004f51e460e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul OneLineComment True Passed
edc578dcf86f3b6d108766e4fcf5ffda8bb2b7f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul OneLineComment False Passed
fb1efd61ea8b04144fe47254183f5e5f13acaeab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv OneLineComment True Passed
8f219f99d92a323558bfd93c5254273f82774dde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv OneLineComment False Passed
8ad787e92dcc25caccbde744f4a740d7ee523cda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod OneLineComment True Passed
eec3b72b543724f1e7ac5fcda2cda80fa8df020d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod OneLineComment False Passed
d1eec235b17cc6f6735701bcc8954c3d5d43ce7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow OneLineComment True Passed
83117ce02e5560a951139312deb7ab6dfc3f49a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow OneLineComment False Passed
a454e144f3df785a45d01127427bdb07ca3f043e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt OneLineComment True Passed
c9661fe3935633648bfd904fec2aa7742c2c2261 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt OneLineComment False Passed
b4d752d1ddab7b0c9d4ae3655c01e8bf59cde85c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe OneLineComment True Passed
f97b52d22472f4148774b550574042dd37d0ae40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe OneLineComment False Passed
6c93582e64abaabb7dfafb3c8b60b7961fe7e75b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt OneLineComment True Passed
3e3051f7cd3128f0e48f33c418b86341d04526df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt OneLineComment False Passed
8492b442930aca91f8b3d7e71f2ea634056193e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe OneLineComment True Passed
dc6c8f1d2a69a7a073a67bf6b6415fe57614f0de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe OneLineComment False Passed
595d453ece13d576824e2c53278458da88efddec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OneLineComment True Passed
15f323dd68112e2a4029b9b71baacb6f8cbf02d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OneLineComment False Passed
0ac635402a7eb4e0a06ca36247a8aaf64c1780d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OneLineComment True Passed
1028a408dd3e0b16649bdcc055eccc38ca0e8034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OneLineComment False Passed
c20bdbc1094bf7881d848662133abdd9a0cb6873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OneLineComment True Passed
0e1867b62597b1144f35479ec82f29bf54ddca89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OneLineComment False Passed
834d7cbc9b42253cee03256a5a98d3a613dd4de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive OneLineComment True Passed
eee455681f945839c87ccff4b0905081cc5c7995 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive OneLineComment False Passed
6d801976f51bd9d2bc6afea4727a6a2ba06d92ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 OneLineComment True Passed
2cd0251965bde0387def6888eec881054c8aadea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 OneLineComment False Passed
77827b655d97f4a10009b9addff1a7523944461e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 OneLineComment True Passed
6dbde5ea737e6f4f591b739ae433149945b9c28b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 OneLineComment False Passed
5574ef592861e527dbfb2af1512a6f6cfa33c1ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OneLineComment True Passed
8a32cc155fae0650e559831e4aaed003dbd7c528 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OneLineComment False Passed
266359a436460491b5d9b4a79f0b6312ad832bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OneLineComment True Passed
1408cd4cd548d53c0f8a02bf368d3a0ee7ccd0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OneLineComment False Passed
95685217650fae18ca164bed99a2d3dae64b0aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 OneLineComment True Passed
6d33d76fe0a26900bf2ef7f3883d6b55c6a089b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 OneLineComment False Passed
aafeb6ac86e882f55fc19b7e9c88fddcb69182c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 OneLineComment True Passed
2bb54cbd39c8f18a32490eced383a2da084f5c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 OneLineComment False Passed
5813bcd333451b8ac94a5604e997db6b07c5ad93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OneLineComment True Passed
a38158cd48453407f49659c92bb2c293c138c13b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OneLineComment False Passed
892cad2340357b73690e29bf595fb9788ebda19a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive OneLineComment True Passed
ffd453eb10c4a270ad279592fdc33b6758a5da5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive OneLineComment False Passed
6b59dd1df23c4579ac92a76d122acd5248fb623c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends OneLineComment True Passed
47375e56e87c6c223631421fbf86db33e05162d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends OneLineComment False Passed
7fc3a24a32798f92c013c1fae1aadca241e06161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment True Passed
caef5a9c9ec0224b0f1f1878444016f9e70762d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment False Passed
6952395f31365058ff48196be2a77a96be3b86e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OneLineComment True Passed
a61afdc722ac41d69078fcf5a25388d300c4c908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OneLineComment False Passed
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
c94953cf167862e2daa27de245fa2bf2107b1d21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant OneLineComment True Passed
1408b8fb9ed55b396e4677eaab51e286d40d3da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant OneLineComment False Passed
293b1b834e7d3823aeb5f57e405f1645f0087d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OneLineComment True Passed
3dd2f3d6f007ae00220daceb1944a49fb33c9128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OneLineComment False Passed
eaaaccd6f837909cf78d7a083def82b11eeb5e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance OneLineComment True Passed
c724ccf3e656dcf6e4b84998a026fcef0bc45268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance OneLineComment False Passed
25369b49f072622625887a95034a3a8dd2789633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OneLineComment True Passed
e02e223973a5eda1014eaa558609a58bd8dc8e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OneLineComment False Passed
58642fee2c0921d02e5186b63b7e158f3cab5e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OneLineComment True Passed
5b0a2ef67917088234f5ce19178af791d088f0ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OneLineComment False Passed
7ffa8a453916a3775b79b2c7fea7f1aa0af16440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OneLineComment True Passed
aa8e1c576443674798b20ab806ee2b20d70c514f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OneLineComment False Passed
1743f5fc38719414920eff24178f6d990cb298d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OneLineComment True Passed
daec3ba2de6185c884eaadff4bf38f1864eb3ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OneLineComment False Passed
e06f60ab78ab18cbdfb1c9c3eee202d8be68bce3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OneLineComment True Passed
63337296f5425a1f0db12fc8292cda16efb0d479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OneLineComment False Passed
ed0b67c212bf75f4fe3c04cb281a976949f0934e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OneLineComment True Passed
f9ce4562a6a461507cd61d4e4887071a7ef4a2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OneLineComment False Passed
51d3ac9f7ab98e02d5a847495e17d8719c862395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment True Passed
a7509d2c1ee88293c8d95be8ae0e42c7de79c692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment False Passed
d19176ed98af9ca5260b884a56d691f0dffd4edd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled OneLineComment True Passed
1e945089b5d00f24a64c5d2a51cb88992e790127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled OneLineComment False Passed
30392021be3d88de48142d56788f386486ec39e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OneLineComment True Passed
db9ad4bafd2c96f140f5bd6fa40653e24fdc1d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OneLineComment False Passed
7944273e3e695537ca448882b9061ca6ec993d75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OneLineComment True Passed
e92179131b9476335fc404e1f156bf3e6baa7f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OneLineComment False Passed
5cc535181e8f4768a8404553c2e763ece0885cf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda OneLineComment True Passed
96a2f7b13fce4b120d75f579b054b62c0583fbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda OneLineComment False Passed
a0a5b6083eba505713d47e417eb4564cf7f86f8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 OneLineComment True Passed
52742983953591a9cb4a2f4f2f4e6b68827d1d38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 OneLineComment False Passed
72d63f6c19725389e88970ef6a0b98b4c64dd69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 OneLineComment True Passed
20bbe5ffa0b28dbb836a5de0480ca5f9d1b1ce79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 OneLineComment False Passed
b08f8ec5333f4d1c2010b335df8db9800e0e087e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff OneLineComment True Passed
979b676b94495b6e99e972b9ad45d25b1e0d3ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff OneLineComment False Passed
6309f02f166bfea2716dc663459cff53b487f346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion OneLineComment True Passed
fe2a4466f18e8d163303ae79634abda33decf618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion OneLineComment False Passed
357c261e846b83ff8ccc827a8ff60468aa1b5787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect OneLineComment True Passed
8dc913ed545248b46fe0c97503c096fbb6fde8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect OneLineComment False Passed
ee927c3aacfcc434fae97cb8bd020c8bbd8f14fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq OneLineComment True Passed
143cbcf3978997689e7989b6a8464dd8c775622f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq OneLineComment False Passed
a7ccfc380f4b5164c2c4c4ae1d67ef55da2e63b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OneLineComment True Passed
976bf47d10f7f3672c384ea94dca10623fcc1309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OneLineComment False Passed
b7f3311bf4519330885c511fc72ae7c9cffaa44b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OneLineComment True Passed
ff5ab59d8b72a7aadf16c6eea863c7e99a81780a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OneLineComment False Passed
f5e74641638c6c4ae7dd230fb19334817a51daa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OneLineComment True Passed
25093747fdb6d54c56f6c0e79cd0df23c04a1f4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OneLineComment False Passed
79355460ef16ca991556941eb1b953a32ef90503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset OneLineComment True Passed
a3b7a7c1946b180ff9cb1328dc2a792057925ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset OneLineComment False Passed
5a397972e6c726325fae0930fb6cca991e435f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain OneLineComment True Passed
bd995d50a12129f750689121fd03068d98c88af8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain OneLineComment False Passed
759ef1ece866a39b1c2b3327ca8926edca780c8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union OneLineComment True Passed
cf89839cbb82afa5d88e4367ccdcf4aad1f5b8ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union OneLineComment False Passed
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
6b75f9f4447049cc2db027e7e39e684985e1573d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OneLineComment True Passed
adcedc34f3f843bd4a41f63c0c65141a5bc7cd23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OneLineComment False Passed
98283987467f02d85b7bc1b6e096467f81b89c8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange OneLineComment True Passed
bce5eb580e77277b4d8bfeadccecb086a8246686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange OneLineComment False Passed
848d26771995888db6dec71da21c3d2eead606c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OneLineComment True Passed
7ba05496b796422190f3a5380f8825828611c840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OneLineComment False Passed
9aecd8480064e21a3a42c98adf35b70fbff5c524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun OneLineComment True Passed
9dd3c890861ca58905c91daf700e2d3192ebbabf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun OneLineComment False Passed
f558349bfdaf44bffc8e502710624d39e2c2fbfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun OneLineComment True Passed
5b7a20c1e35c0580295b0c4d867fd9ef9e70515d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun OneLineComment False Passed
d9dbcba0746218ef15d859e6fc2deafc06af82ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq OneLineComment True Passed
2192a8c3ed7b776ae1da3d3500b7145d6521b16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq OneLineComment False Passed
284924dcc02d233e58af197ec682900cf76faf4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OneLineComment True Passed
4b9d2ce604e557697c17b450d9999281e6a4fd61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OneLineComment False Passed
48d59a24f106ac65abb81d084a682a1d671b5f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet OneLineComment True Passed
35c4929a5db8e7497e8deaee0959dcf2c0aea6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet OneLineComment False Passed
cb70f4ef90ee70b64d0f0582eb73f8f8ce7e479a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag OneLineComment True Passed
22050b574df6b16674b2df4a1286441885063760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag OneLineComment False Passed
2780da65a05180b732921ec89f21cb6dd26063a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag OneLineComment True Passed
5c47355bff8cf4a6ab19dfc7e5aa2b8abe8ff7bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag OneLineComment False Passed
0dc633b9c226270c5ec316cb76f31b9574a3507c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub OneLineComment True Passed
d18b06b88029728d6adae24c5bad0f81f8691770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub OneLineComment False Passed
5148bfff4ffae6b076b53092cdc96ff3e9995a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag OneLineComment True Passed
1704507c48c8e148d34f24a90b8fc264449c6e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag OneLineComment False Passed
74e4a0d9fd26f6db41b7fef7d9716be8849968c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion OneLineComment True Passed
ed4804a9b43de7baf8533bd9034eabd921e54ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion OneLineComment False Passed
1a2b0c9b54cb66174504f1c5de3f411823803e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality OneLineComment True Passed
a5562449c2e06d1e7aa2ac860091bc7d2b15c486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality OneLineComment False Passed
36aca67cd9d281c9841076d57e9f7c9e7a21b3ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll OneLineComment True Passed
73ff82a34ac699cd674bc03eed367a21387f64d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll OneLineComment False Passed
f77f19804e5eec12e6ec6c78ed3469bc7d7e97b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag OneLineComment True Passed
dc16d689024fc215ba04d4478c370d4c65f8b72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag OneLineComment False Passed
430069ee1b52d9c78c74decc3607f7dbbc30b4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality OneLineComment True Passed
5281c85498bbf397c4159912e802d4a05af9539e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality OneLineComment False Passed
e32cefefcbcdd9da004f038e271b04683d44ac86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead OneLineComment True Passed
979f5ec3558313506030b228fd0bdcd8ded57957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead OneLineComment False Passed
2e5d141652b06579221ea4cc4ec02af7d43cad41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail OneLineComment True Passed
0b999cdfa1fd4812f5566a4ff2696aed218c9ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail OneLineComment False Passed