Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ed2cb92106ddaa4617d41a92171a10ca11fec64f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGt True Passed
6feda237ec16490c57829c0a7ed232c1b3af6b5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGt False Passed
5125e191079066b2a37e2bc1d332c0d9e0a8552c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGt True Passed
7f4e3ccd538ac0ad8229bb94d80fabf6e8e23a67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGt False Passed
3b80d57987baa143e5dea47af8a29e6d478f1de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGt True Passed
6da6e05ebba0c876423fe9b71188a3fe9473cfc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGt False Passed
e376d334036f4832159c656bbbed345de6b44eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGt True Passed
4e2dd0679ce99bc2c63c861fc7e4c82707507414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGt False Passed
0b0256cfaed80faf707a28fd37ec30af7ba86490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGt True Passed
e45aa1e6788d4b04fef6a792e343d91e2c384fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGt False Passed
1842070da0cfc073a71eb80562763acbb5c99f97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGt True Passed
ab182ca1c134ea9dbdfcc3afa5e23af266333a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGt False Passed
bebd3a3d19071f2782bebd7acf919dc9747c1dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGt True Passed
6f9111ae75193b869aa3d73064e494b02865c4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGt False Passed
fd05bb89d97dc0924aee4fed65f7d2d582d1f602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGt True Passed
d68097a9232466b97a1282a088187a8feae86f83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGt False Passed
ff9c194bb7600b110ec5883455af1d18352b3688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGt True Passed
f8fa38dd998a4c9167167efb483370462eeeb0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGt False Passed
2ac5b6f17efda603a503ad36306553645cf93120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGt True Passed
fd70c4c41cb9c5f0f1d99a441b8b62753d6967a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGt False Passed
772e91f06b5ef22d1574095854ad0ebaa651753f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGt True Passed
dc8e6f1c9ff6872b26302ab8d3728e783b484b7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGt False Passed
a17498f93c1fad869c83920a203b2d03400f2bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumGt True Passed
c51e1cffad4ef8ec6419915f4ce7b139eaf957f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumGt False Passed
ef32636f36a9f775e5950e7b0a78fa09cd726324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGt True Passed
3cf07437d02f73d7ca4bf34a96b195e5d865cc5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGt False Passed
5d90f966aa7f9c7a76ba7d2a0878f994887de358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGt True Passed
4169313912da9311a26768e06fabf6ad123f3e9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGt False Passed
8004e6a91cd633f91d5199d9e2c5503095981c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGt True Passed
8d322d48db0954a07a3fa7688b102f7b6a99b72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGt False Passed
c7458c0b7f534635f8b62871ddee2a3b743219cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGt True Passed
0b2698facad5e7e389daa67bd57e6a3b3bb15767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGt False Passed
b5448097989ca56067f4c7e16b5ae816ea92adf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGt True Passed
237a84f50921400273c6aadbaca49a3ff46de410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGt False Passed
566acf6d06d93d2c7177678ca4b6c26676d8c796 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumGt True Passed
1fe3ceee1ce78fbc7b639d66737867e4875e1b85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumGt False Passed
192add6903b8359ed9604edd9519361f75d7c1b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumGt True Passed
42bed68d6ee4184ff121cd68b6d076c30bd6efd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumGt False Passed
d293706249b4c798f8e042c43d980f0a95a4f938 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGt True Passed
fe9026512ced0a6580c5fcb0e75058bcda5a24c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGt False Passed
e58ca6f24d728613203f8e11bbdd68b342740b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGt True Passed
21449cf8b6867e429cd7e1643d0449d0484dcf01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGt False Passed
4613a25f5adfb68236e8f5ac8caa7b7a259921a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumGt True Passed
ac119b71c9fbe0214db35ab6ebf25956735df413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumGt False Passed
fcb998620dd4d6da4348b8949d4c97fee23c7e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGt True Passed
18c9a3f03142dbf6fa4b1e5267bf641701c6e9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGt False Passed
26525ba33d3fc4d939e2005d20bf2714f554027d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGt True Passed
5b81cb2de139eef73fb6c28bf296a6ff2ebc1623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGt False Passed
d01500d40bae24269624d70cfb30bd5fd239a7c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumGt True Passed
e3f5991239e13378b8612eac1c21b19513b33450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumGt False Passed
4e77c500d542cedcc2c0fc725bbdf73f05cc5f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGt True Passed
edea0d58c97693569acc807823bfb8d58f45ec98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGt False Passed
25f5e3d4da0a38d5487e5ee2ee5779556a1aa824 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumGt True Passed
e8a2d769545391c8189ee466bde44452ed6c3aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumGt False Passed
59ed318545db107f63e91b826284696eaf11879f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumGt True Passed
64207f62eba73b20f9e6fd94d0dce5ba6303659b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumGt False Passed
342aa92dcc70b8d18e4cc2f2c7b4107fc952f925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGt True Passed
84c121fd3be9175c86cddeffc777a3caba8d05f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGt False Passed
9a622d152ad99c72c84a99f2ffbaf464528989b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGt True Passed
88d0bf257d67860b72838fe177e6ac4dbbb31010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGt False Passed
a052bcd21a6846cd26e75d301d8364f7a3f71b92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGt True Passed
fe0dd936e87323664d5dff14a49f9e93e111d13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGt False Passed
8986cc1b25307e7b8174475ca6c1b6b18345b54c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGt True Passed
82dfeadfba335b94e990d2baab1d48b6ec23cbad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGt False Passed
8b184450c696528f5e654b2eac4ded259e43ce98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumGt True Passed
0570120b0c1a24e4f7c2c0a282ce09b3e5dd0b3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumGt False Passed
3812a7f5a840d6eb160d8165c17da91f5f2afd61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGt True Passed
eb51ba5f978a4e44567094fd0105ce5766e98811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGt False Passed
58ea52c36b03438b7eeaec4a9db574e7a6e01558 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumGt True Passed
9bf3a2fa7661838132905dc63cee6848a37ae3de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumGt False Passed
e62d54f39624df0faef2dac33137d1e36b10a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGt True Passed
993e66c1f6135a649a2c1791939fcda5eb4de623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGt False Passed
da8d72dd6ff5fcb00e1ec3e168982b7d9ebe6b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumGt True Passed
87da456544afd1c3ac27801a93ff6566e12ddfad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumGt False Passed
065497b1e123dee263af194ea473389ea6f1ad47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGt True Passed
e07afe30802150017cbfe1ad65bfe8c8c7029333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGt False Passed
0fe48e70315c909187a99e7423d9a81711292c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumGt True Passed
afaaf47ce31fa81a2f87f25e4276a9d9ad4a9483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumGt False Passed
c2379b6b0014404528e094d392950a14c3bf844f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGt True Passed
f8cdbce72e73e3144bf8afe183ca82cb64a89310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGt False Passed
3bc9bef997c02dc39cb6cd6c3c7ca695c4f3b734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumGt True Passed
15c71f870e217672b93267f542d3ea321f25fe5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumGt False Passed
a44020286cef26eb13dfc54ffb01c01110f9bb8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumGt True Passed
1bd64b8d89a2a98244e6315a48e3769930e0456e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumGt False Passed
d359cdb8f730b9b5e9e5ce2dd8b4315acf0b3142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGt True Passed
7d96551f58407278fe85fea6f8774e0aad1cbbda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGt False Passed
63b03854212c800daf4cff97e972f7ae5ee02378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGt True Passed
2c73914b8acac3332b73ffad01b6869c7668a5bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGt False Passed
2f47cd4cf750f849103a7fab7052c36b2ae28365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGt True Passed
b24400e83da3a9ade41c9a1a63d37603a3b5d9d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGt False Passed
570e7e8280e5c46e8e533e9c6ddc655136400290 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumGt True Passed
b82b247adb31015f9650b69312740296e3481205 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumGt False Passed
cb9334659dcab3147a406420a95609165e442b4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGt True Passed
d80c75cda3ecf4d410d28fba693ac96ef41e498a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGt False Passed
a51acb5ce075ff1a4819f6369babbb57ab2a37ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGt True Passed
595c61e1eb51c2aba911e55e6311717a4295b0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGt False Passed
b8ef25b326a0609a64e4bfc1cb459be54e3d2287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGt True Passed
434a0459570b7d7108131670e1897b7993958eef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGt False Passed
b4f2226c83766eaf918dcfaaec2a6aabed7bbb9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGt True Passed
f30ac700d0828118efb3a71d95155cc0d8b9998d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGt False Passed
5f067eae1fcfca55e68d67ae1cf2ccac5ed6bd1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGt True Passed
15cf9da713d0663794b6dcb8bb8679d9e6b70240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGt False Passed
352673d96cf059de823cc811d385579ea736edf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGt True Passed
a321c4fb21d5df957b64bf9007829dff45751147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGt False Passed
0e675f6cf238b2ee2468432006ae46d1a991b25e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGt True Passed
a4a7ec3c2a0276019f5b265d43decb6e29bf0df9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGt False Passed
ebd28e1b914ae4a9a613e35c06683ff9f8e2ed77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGt True Passed
245aab45af0e2cc7c0436cadb993f179b555dea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGt False Passed
e11f0e713a82efa45727917482ed7465e614d71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGt True Passed
fa270cba1cbcda45be8653e96dc2c2a2218dae0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGt False Passed
9a6ce4f980d50ba93cee2e68f63bf3a02eed3e25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumGt True Passed
59c7f9b8f09dbf5e1167aa898474e12a941f73ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumGt False Passed
f470426bf0b7e29a7365f4553a2096a3279b59b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGt True Passed
4f9284b70d4770d1eaed0bc1a7a8d3d064954478 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGt False Passed
1f5e2640c2b62d57f2ebdf5b5a68d363fe46fb14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGt True Passed
27a6b9deab4a2e8b71b58e7519d5e610ccf9f4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGt False Passed
caac601820d75f3f8e1da2ddb4d6391c3cfc1f2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGt True Passed
7b6c57794f191ca25f700b4f4a8497d46f055fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGt False Passed
4048c8808f345f9b49ee4184d18ae765e0658b65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGt True Passed
ea585c6a7594d6cef1fd858525db13c946b81634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGt False Passed
c50c439da3173dba5ef2a82b1817be536abaddaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGt True Passed
8a52ac288603ff7c1eaca06c576ffdad9604b88a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGt False Passed
d4bd77f1faa75f1577cdb1295b8e0e1670319a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGt True Passed
137c3a3184183a817bc2c6e5b3bd4cacb360949b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGt False Passed
b945654fcc749dc74bad79388fe12144e2af491b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumGt True Passed
75d4f1d084df1303b080c95f82c8c70c1b12b9ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumGt False Passed
a05d2c33182a7e277b26624ccd7087bfa2edf76c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGt True Passed
15529a8c168f9a59367414ba918434e365dc6fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGt False Passed
9b8f0c7fb65dd3d86da0b407e2e359f24ffaf9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGt True Passed
cb89ac39760bc62cfa1f78eef5fcea4974abb5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGt False Passed
3c15419483dc448ddaca64fca62f5dc11c37cfda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGt True Passed
6cfd9863e812ed816d70234c814f6e2feec8e559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGt False Passed
699ee708466a086100de477b1053254bcb9123cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGt True Passed
85a44ea2c7a2826dd27de0c09b338b55a8215a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGt False Passed
89fc9e250071852006344728c4e334f4a18fd06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGt True Passed
f37de5321c2a54451a7a47cbfbecaca1119cdad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGt False Passed
d48ada998b37a7a03761b6f0179a74c488db197c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGt True Passed
51b00d3e1ae0a918309c195555ebb41d2bfd694b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGt False Passed