Index

Tests by plug feature Variable; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
135c0f85c5638d2a0614e6680138dce5eeb69d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Variable True Passed
2497591bc66253ad0ccd4c69a1945b174e40c0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Variable False Passed
8ae11fd59ff5f84cd2d43d9ce0d4122b0c99e064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Variable True Passed
143c5b237ab8a5753d8ec886d984f706b36861fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Variable False Passed
d0a0fa923e87150782dfd4c9f35eee845f981208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Variable True Passed
3f17d3a830512233cd62f7d149a46f3368ee75a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Variable False Passed
09106400eba22d159c2fafcd3b17ddd5079302c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Variable True Passed
daad4570ca2d19b6cdefa7b54a649b2d3775cf3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Variable False Passed
c7c0223ee329405a9e3b46173b882b88075a09a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Variable True Passed
6b6910319b5bb3980befce2e0f29f7a14257ed1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Variable False Passed
bfec835928e86643830bb3d6b155686fcf2c3184 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Variable True Passed
d4ab7b643262f2e3b0d0e3d0fe9adc8fec0d0180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Variable False Passed
ac8186d24d50cbc176689f257981e9ebab0bfef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Variable True Passed
d4a7cba3d9f05050a6aafb521eba798b76fdc9ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Variable False Passed
4936cf5c99121671740ef3d1c4d000675eb1beb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Variable True Passed
1f49fe5893cdb8456434db45b8f2c4683d4e393a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Variable False Passed
6284fa491bde6d1a00ceeb556edd866217234a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Variable True Passed
2c58c5a68f63323600b09a1f4fce27cea96e0e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Variable False Passed
e7d89e2f1d2e1f46ec3ec65b1ab3614d38e15871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Variable True Passed
cf6418e905efb0b9af0a85773dfe52daa8e1d6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Variable False Passed
8d3804eac95a9e9702bee6a7d0fa5d63fe0796a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Variable True Passed
d6c159c1843b007767c09b1dceec68ff299002c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Variable False Passed
ff313e43a1dbb371f9341062b6dcf315596fac8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Variable True Passed
a8fc5cb803709ffefc6d3b0cfea86c63be4cd7d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Variable False Passed
2134b9657f2a6adb19eaef9325a6ca0390705a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Variable True Passed
840e72ba9aaef6918c48e5d526f37a99f7209a6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Variable False Passed
79189a7a0268c0b785e1d21d1d70bff383507179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Variable True Passed
69035e85d39c4ad6bc2e53137f70ef62191a0259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Variable False Passed
caeecc320d05caf489dbea220a2fea70fb49ffb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Variable True Passed
9f0a09a3b2ca908ef0ebbb67379817516f15f257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Variable False Passed
fce731dd692487c3e32f13ef6d03cd7dd5948287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Variable True Passed
2c3db85ee9c7888aa8f368b0ac646c4dcef8803b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Variable False Passed
c7ffcb85c17ab5bce397be952ef1765b50310e9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Variable True Passed
f1ad3faea3e4e33d8f2b4dc2da4fb5ec2bcc81ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Variable False Passed
d7ea8c52522a498ba1c9e2ae0fa4fd0f5c451961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Variable True Passed
9eba77dc3b36493e9edcf8c7261ba63da8df203e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Variable False Passed
1ffadefa6b38e4a3cd3658ab940cee30a1b29422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Variable True Passed
4912ac14ccaad0d115f4b526f55e6ef6d472e870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Variable False Passed
1fb248b6057784809c082932b8af31ce400cdb26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Variable True Passed
f040639de0d36c89da7cbe887c8206d623b7f915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Variable False Passed
63564ae867b66ccd185ea86ae566ae6288fa892a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Variable True Passed
aa3694bc5a8c458bb36d5cec253e212f62748ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Variable False Passed
c921df26c0cffd2cb9c17f978265ef7ecf454b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Variable True Passed
fbd08305a0429dec95064a2352e3fb02a4a8b014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Variable False Passed
1e4fc331c87faaf716c98afbac789c19e1b25e27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Variable True Passed
6e7813f6e9bc2606d4777475287ce536621c7dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Variable False Passed
1a26656e0935c7a0ddebd0d30cf7d5815c890e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Variable True Passed
f99226c4e70ed9c6faacac1c760d81397dfde687 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Variable False Passed
96d73f665325c004766ba0833b47b1f6d3ba9483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Variable True Passed
7f6f7d4d47f163c24139e5dc1d03b7d55f72ba54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Variable False Passed
4c8d45d6e170282ae5f2eea59ad42aa300f0b97a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Variable True Passed
dbec3c19bfedf61faf1802c5f09417a2bd6f7aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Variable False Passed
ca977b9c59570b58a5c7e00c20e2504015d442c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Variable True Passed
cf55071041e9568be1a0d3ac4befc00e17fee6c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Variable False Passed
f629e3b1ef7470f8bc4e0c0f400d5ebd61ba0ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Variable True Passed
8f6ec0966e010579bead11b71d0cad11eee83763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Variable False Passed
970a9b6c9622470d0116701b49f5ea5968a83e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Variable True Passed
59776f3a6c7db12ed04132012dddfd08a43b07f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Variable False Passed
3cd9da1d5aa9538d4b65beb0be11d2e78f49e7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Variable True Passed
1edb599a8f0e3a21ce82b69768b5d3b0d6935916 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Variable False Passed
f43f898e4e41ccbd66d28e9dda06a70a07404455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Variable True Passed
15a00585d5946ab91aa3e3cd64207e74c09e0c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Variable False Passed
18c8f85886dc98f1fd872a740854ddb78453fc9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Variable True Passed
231816c9b572cdb512af9df33446a8669b3f3538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Variable False Passed
a97eaee243fd81d802efd64edb62692d3b4a1507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Variable True Passed
0493aa7f7a053188413d3e1bdc16cd55e4692ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Variable False Passed
848a743c3aeb6e42be7a4eba3b0d5c1d6d7159c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Variable True Passed
ebed724e9bd282d0032fe95def64c9698040443e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Variable False Passed
08b9e9e649bd692bf0f67b8853917aaf445d5a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Variable True Passed
c1dfe1aac1c3cb67c9176806fbfbea80b588b00b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Variable False Passed
ba67f1f34ad3c055a580d6be2159718eda8144a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Variable True Passed
e63c134d9c8022d03840d8ecca75776087f2b65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Variable False Passed
9313d0fafac7bcaaf61c1d505fea36f9015f288b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Variable True Passed
7be002c0c008e4b3c7c27a1a9b30137c86d09d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Variable False Passed
5c964ea87581ce81a82be83a34d4705d5a2188b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Variable True Passed
8bece04f8d63da1392d77be246bbd30a4ae77eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Variable False Passed
ec694c355e4cb971e4a82ab82de4bbace7a25829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Variable True Passed
a8b85218fa475d1ffc157b229f01c90324a1ec11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Variable False Passed
5024b4661b707c737cc2b0c61e296c8f976f1098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Variable True Passed
9d87640d0a5a2c2d3a8de563900954bb7cc8c2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Variable False Passed
705cd8ddad25da3d246c1f150793ca1d97eb2829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Variable True Passed
01f1028c41871f81668f096cd120e61bee5ef8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Variable False Passed
8aad8a603514a3f8cff2435170a63589f87bd83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Variable True Passed
4dc7372c972df3e8868cd3916cf34b250ecc91da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Variable False Passed
0ddd6b22ea3d706d05017acd92744dda6c81f959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Variable True Passed
46b2e15a26feb503d32b203c0d659cead8d6a499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Variable False Passed
41843ded2849ab2a644e3fd6c388a25d8af63088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Variable True Passed
b76667e550ee1b3926d647e95b3917b426df2a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Variable False Passed
e70ef543d3a2335a8dff0dff1d44d46ef25a4b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Variable True Passed
4df5cec13a65be9db9144f949fc1b7ddc3771f0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Variable False Passed
97cc0d33cc8901207975a2ba550f4442c81099fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Variable True Passed
01c432e25686aed3f55162ff78ff277be44979a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Variable False Passed
bf7fd94c283c4241ca6db9ee5760b501a31a0727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Variable True Passed
377d80a10319d44d351501aad472816335754f0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Variable False Passed
265305215a4d00a7b93eb826ce5fcb75556d16f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Variable True Passed
f18693332cd0acfffabd652ca300f2ce1d07424b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Variable False Passed
19f3005bb6f4b7f77c965801c32bdd8bcc3938c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Variable True Passed
7db662aa60ce7eb3295dd060454020c64d69716c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Variable False Passed
5ae54bf3135c28eece230d713dede6f3136018de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Variable True Passed
264382a2dff226dd1966a8d93e925ff99b35cbd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Variable False Passed
d867e7ef0a3c39b7908ab86a88fe0efbdbfca094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Variable True Passed
7648273363b7fde988e75de288d8d19e5393a3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Variable False Passed
b008bdee7590c120985d34333e198c721b875305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Variable True Passed
2eade6f346daa2e4d153a21fcf5af6eda481439b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Variable False Passed
4b09eee942761087ddb5e9f7b3d79f258b3dd706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Variable True Passed
97448ba34046c8f9b8948a123ab8559d40b0e645 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Variable False Passed
993e6e790561ddf2d3311cd6ff32aa7124b016f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Variable True Passed
08c90296d4611f86ba463f50c4292144ca4bbdd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Variable False Passed
d3354632596506aa384d7308d417e68740f4589c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Variable True Passed
fa929a70a2865bdcb8574fc6afb10a8b755cef52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Variable False Passed
251695b999b06c94a09cbf2fdf18b5125bbe69b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Variable True Passed
156096c580efad32ccbd051c9d9cfa372f077e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Variable False Passed
e80016f6b3c73b02c5fd76ab955c20418988747f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Variable True Passed
05468677fa1e1f99f9720c88856a1b0bbd361dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Variable False Passed
e832339cdd08946c45a20f5377b824e36cf3b419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Variable True Passed
6ff9a17552172bc4de7b428f750588196fa51ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Variable False Passed
d0435a642238fe5f515714b906bd26185baae5c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Variable True Passed
e20ed9aab576010493d7ca33c9c20f99b738ab87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Variable False Passed
38279b3b0abaa1eae0b44da4ebc523d613d53bff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Variable True Passed
289017ff551c9dfdde6e88681437283141d5dcaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Variable False Passed
4389c68c354776967199f5ae20e304a3fce01f72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Variable True Passed
7f3b61c0a8c354686f7ef66dd187392dd247b775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Variable False Passed
a28d1939cb9255e18350e8db3e6b065b1ad9b911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Variable True Passed
3eb0d0ce115fb16603f6f8a5e23c8107754481f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Variable False Passed
ffb00be3d92bc197e967f6484a543ec58bb9e983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Variable True Passed
353ae70ef9ed30ef2495d639717096d28083ff8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Variable False Passed
b4278e811625152d563420ecfa3dea8bac9f8861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Variable True Passed
a0678641dbae44aac15bbb9686b25c523b596edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Variable False Passed
2c4a464169f18f46dee88304c06932e17a66e4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Variable True Passed
8e825d6ad5d9f3919b0be4247aa36ae4c78741f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Variable False Passed
4618e17baf4b641e701fd462a753246cbadc4757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Variable True Passed
dcc28b2321a5e8fed4882a519e03a4b7c91ef43f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Variable False Passed
d9f50aab40f062de083c19994baa284e163d9afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Variable True Passed
b03ec027dbec5a952f161a8e46120313b0fddbdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Variable False Passed
9f2c88a5ab22686185e94b07a3741bf6bc92f192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Variable True Passed
29a775938911c77f3674e48250e131310a3d86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Variable False Passed
23a757fbacd1604242721a8563964b25408fd8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Variable True Passed
3415d6d54d7f140fa3e4a6cbcc0d660e91395540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Variable False Passed
be19bc6d4d26c254e86b2dd41b375731bcddaf8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Variable True Passed
ccb820a9bf6e36cc579a2650c9ec6117cbc04c9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Variable False Passed
75fc1bc5280083c5faeae5dedd83aa67a106d13d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Variable True Passed
6ba55b84068dfeedef2782b39e07a3c61cbe18e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Variable False Passed
2551f38870469ea5f90441d073a020315321cce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Variable True Passed
2693d5c8c345032cdf9d6841a3e64847a5192c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Variable False Passed
899564afdf12676f4742c4b1bafec67f72723720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Variable True Passed
1fdb37b01421c3a3b2bf1f9649bede9db71603b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Variable False Passed
0f9087e6abf98de2eb0f97567079e0336ecaa40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Variable True Passed
d1ba7c977a86bdee1a3776d1c4a89b08091ccfea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Variable False Passed
d0399d370efc41524fea18911dfeb9234a9dacf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Variable True Passed
a8e157ba9a6ae29382d87d70a6f2dfcc7171140a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Variable False Passed
642de999fe4b27bd5ab90459098cc8323d40a5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Variable True Passed
3fe034e98cad7d86c72e5df0a284d39a6d967220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Variable False Passed
70e067e671256f1de84a2825726ecafb10a776b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Variable True Passed
9bf448c4fd9279da53034bb8753e20ac343d586b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Variable False Passed
a38d349bfe27d1ad2f92195651b1655972dd9ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Variable True Passed
e6f196387c297ac2c45ac9dfc440edd2ce67e880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Variable False Passed
c018eb9aa698078a7c9252d4f10df84d8d96c7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Variable True Passed
51587f7161e67d8709275a58bc9b77585849c908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Variable False Passed
e061b9ad8fe771c1da4eae3e53224d4d24183266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Variable True Passed
b2d85c68b0ececf4ca91d1d4aa85985d2380cbc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Variable False Passed
7f18be30c12c5cd9d97900a78d3657abcf91d398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Variable True Passed
df9c8bfea47f26f15ea1abff450883bfc09a2da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Variable False Passed
8c67ac5f4ce414a6a1203ae0b7616623f85105ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Variable True Passed
2f13f2371e7e0d06b7310bcb1891c7e3c8d457ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Variable False Passed
03fce8b0f3d452ebe1822f4018d925eac7e746fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Variable True Passed
add7dce19846329c438739265a0bf6964a682856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Variable False Passed
029174ad7640ef88a9ae0c593b37dd16d8e514e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Variable True Passed
8f8fcdd36ba37194de337ab0c17ace0e166a633d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Variable False Passed
b985cd0b343f1c6c4ba2110a5662c9818e1f3325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Variable True Passed
34be535ac6a467f06de3e864b0ebf091ff0a2004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Variable False Passed
a683e9f3cca8e6a489867eb361ded4c3840f2381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Variable True Passed
2afc5d68bdfc456bdad8d183c01dbe3d8fafb33b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Variable False Passed
6d564cb54eb08947af878675e1b2dcf41973b625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Variable True Passed
fff6e6d8c380a8167ce8bbccf03bb85399b3086d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Variable False Passed
367e97780e063f4bab58e38d8053512399ae2048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Variable True Passed
f83f697b6255dd5f04a97957360e2636194028fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Variable False Passed
66c5fd8f6d4217b7d89e23017104f7770618c912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Variable True Passed
3671a98e4460c42d34cd56e2e6289e645f924ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Variable False Passed
b564f92b1e1406ffc07ed0201a0abf168025360a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Variable True Passed
32f14bdb40702b5e6a6035a62f419a581ee5047c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Variable False Passed
9c595a2b4d5d7f2b7f3ade6a8200f930b2770313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Variable True Passed
3ad7f1b4c6ef1d43f7e5f41b8993d30bb70c1fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Variable False Passed
d5f32a79bb5c086198dbfadd0e9d5c0cbe72a111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Variable True Passed
6583759bb077a60097b0fb0507dd9a0d14392072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Variable False Passed
ee3cddf4094f246199baf904c02a08a2b585d5da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Variable True Passed
5ce6ad256af2533aa812c874cf44d53624ffcb4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Variable False Passed
bb059c4ab03ea4b29a0b2c263eedf4ee63c81930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Variable True Passed
ec9e043722463fe978c012aaa4d4063662469fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Variable False Passed
d2a0bd386b4aa185dd1f25e2016fc6c776b1c3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Variable True Passed
f444ae7999360609b14ef2bb132a4baca30afaa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Variable False Passed
cc221e7d27c4baadd9352429502e4edc0e063b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Variable True Passed
61acb717dfd483ec968035095e4debbcf7c85352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Variable False Passed
36c16d7c9c453c244004804e139a95871ef9bcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Variable True Passed
32c0a549d0dd48a471ae1d0dd5445c23488f9223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Variable False Passed
59daebe1b46de22bdfbbf690488294dd7314b1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Variable True Passed
651e619b94c4f05a628854cc1b7a1e71a2090184 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Variable False Passed
9babfcbd96af12d6a0e0b5eaccc94a0e76b28f5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Variable True Passed
1c55171a4e666ec2de910c2b5d3e364579e58ff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Variable False Passed
52bcaca09a97f0bde5df197922f3346daf5f650c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Variable True Passed
d2e053d0cb1a7bdfe1a2a180ca816c5feb92f182 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Variable False Passed
40fc286620fab0712096e5066bb4920617c207da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Variable True Passed
c068e759c6068ce268a797e23fb17fc2e580c500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Variable False Passed
595c7cf767e26f466a0e8457dfe3aabfbaa92e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Variable True Passed
af6ddc7f8294b8a0c583fc967db48e7509bfb597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Variable False Passed
0bfd46a6d7014b50da0d7e605f34dec8a1fe0cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Variable True Passed
31c541181a2b3b35e5ddd1f7dfc3c2dbd558818b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Variable False Passed
775c2cb8821e2dba88b5f22e454f709b49a2a9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Variable True Passed
b148b709babb53a99fc9a2d0d2c4ad873eb1fe4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Variable False Passed
f857991a66ff7c992f823fbe06b6756905ad250f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Variable True Passed
c687f7822448924c67a4d4679beab1152f09900a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Variable False Passed
12126762f992c0edf8a40147ae5623b2230a26af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable True Passed
5d548e4aca286da5978e327dc5a4ffdfef9e0500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable False Passed
35eee7c99ad13e465086c0718103070d39a6ca43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Variable True Passed
89687b24c883321b8a116cf0803cbca4f9be5542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Variable False Passed
69dbcd6b26bf83610e3117da28ad9dffc33130aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Variable True Passed
b4a6870b139ea8334217510f2be821a0f17c43f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Variable False Passed
efde4011e2fe45a8130d28153c1e53bf97484274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Variable True Passed
d667485ea47e54952006fe1b69c5adaa390ffcf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Variable False Passed
158bf8e38fc54f3bdd632677b754f09ac536cae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Variable True Passed
1fdc82bce44441ed7a5c124eb9933dd518d400c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Variable False Passed