Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dc6f081683c6fa8a4c542235861a2151d7ccb49f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SubsetEq True Passed
a019020690fc28886c3eaaaa57df9a9fddeaffe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SubsetEq False Passed
085e9684e8d053538d56f40b9b1c10d8b467417c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SubsetEq True Passed
4f50295ae81160f83ea863ffd3eba376bf6285e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SubsetEq False Passed
d4cea940614444a57c274470f125c519cbdc3970 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SubsetEq True Passed
bf69b2a9477f2d4bdcdab4315e4be63a9cf96592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SubsetEq False Passed
bc38ef7112cb99a98014a5fd18925c02b34fe076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SubsetEq True Passed
f0e4fd21cd6633f1b2fc6304dd5bab6b4462457e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SubsetEq False Passed
3630ac78ecdf80dbcd6b6a43a28b2f30677cf573 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SubsetEq True Passed
ba3fa6f58114b3ded67779ea0acdb84409b21b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SubsetEq False Passed
d9ce57b82fe1d0222c308ea6e49b2db31aaafe69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SubsetEq True Passed
4b2b9f9d82a0ffd79ea68aa4b513bdfb7cdae9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SubsetEq False Passed
fd6981773fbf8ba50b07ddb4b142ebe3916309b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SubsetEq True Passed
97675458a586819eb116da57d9632b287eb406d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SubsetEq False Passed
15d22795ea12d810be24450ab84977abe1dfe9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SubsetEq True Passed
46ecf30e09f922b3dae7c2c4c5441fba27386e6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SubsetEq False Passed
068fe4855410847ae988556ef4c3816972e79cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SubsetEq True Passed
7a987898165cd2a23841c20e13afc86dd2ea219c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SubsetEq False Passed
1f0d3678e6d1e49b9187884911b2c5d0dc64e2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SubsetEq True Passed
1b7929d745406c8fea865c8985f827b42db253a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SubsetEq False Passed
7ca466d15e1532433784dd8cb0858a08cab625f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SubsetEq True Passed
1dcba842e60073b2b19b730c6c6545a4833d3822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SubsetEq False Passed
2487b310b36d95cf6807df1ace19f5e2c75f876a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SubsetEq True Passed
212b76d67e72a7f6495f9d7ac88c5129dfd24f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SubsetEq False Passed
f9946f2aa09ee382347e2de6d5205ff56900dbef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SubsetEq True Passed
70c4d8e964a48c432a49a92c5ca11d00b52c67e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SubsetEq False Passed
84498adecc9f38c804d0eb3fbcb70ce36f966b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SubsetEq True Passed
ec2876d7af8f0fd409634a6440ea9e8a579e0f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SubsetEq False Passed
5df776931a34e354d736cbe19b2503468a962223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SubsetEq True Passed
073370a434ebeffef9967551de4dac072ee562b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SubsetEq False Passed
8eb7b086b08ec654d9ff3668a36cb12ff8110847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SubsetEq True Passed
60178b7229566d1df1342d67fb0812374887ad2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SubsetEq False Passed
d2c505aedafa757c92d1fd77481daec058cfee42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SubsetEq True Passed
d8ca8788a39eaa5afd6301db384ac713b05cf0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SubsetEq False Passed
3b95bf3b5f359d6db39d34632167cf432ed92ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists SubsetEq True Passed
11f05f906988e6ea917bd1b5c8a8ed0ed1528481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists SubsetEq False Passed
e53f21181d6a9b8e1ad38dd7829f56701f1c9b5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall SubsetEq True Passed
0aecfdcb39f8c06e042126a23a78d9c3a7a77ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall SubsetEq False Passed
1e2267806bbd0852a2921838db04b22d45bdabeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SubsetEq True Passed
bbad9d805e2cbf09aaac8784c44cbe5b46cd76f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SubsetEq False Passed
4f2b6eadf6b4fc79cb11c1b433aa4d180b23c7cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SubsetEq True Passed
7c50ee111c17c7d4821c9183668977855a51026a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SubsetEq False Passed
7d867f9ea3b6c8f178af27582fde7bb6dd0ab181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SubsetEq True Passed
062a7a8f24e55590bf4afc726777657bf3dfe0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SubsetEq False Passed
6f108673ae87996e7724d4ab1d1482a1083c139b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SubsetEq True Passed
6e0d01953ba28e8cffb41057d4f8d67c0d22d12e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SubsetEq False Passed
74529a383c228e7792518fb3a9c001aaa176e94c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SubsetEq True Passed
3ae0edbfde3211b7a901bf06255a2263cbce2de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SubsetEq False Passed
efb4aa2a1db443efb5a31452527b703e724d0534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SubsetEq True Passed
2b60aba5166775d54ba995864b341bded19e338f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SubsetEq False Passed
6b5fccde08591466a54b7b53f937aeadc3cc3087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SubsetEq True Passed
8da331b8c429d2d4e9326dd56530e1b8f312f849 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SubsetEq False Passed
c401362fce9f546a207f4130e4a5bf63255f3004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SubsetEq True Passed
d1c4d795c357f6834124ab0bd195c9c1349dfbdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SubsetEq False Passed
d9a2c0357744ed4d1f6e56e5db2e906f7a8a11e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SubsetEq True Passed
934a905770f159177f8dbba5025bf03de638a92e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SubsetEq False Passed
728bb0b3b3088ccb72303d695d7f25c6a6134215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SubsetEq True Passed
d6114e024ba3fb29e1534e1d2283c66d996dd24c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SubsetEq False Passed
86e2b5d3810a369e65f206e2444f0736f564cb1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SubsetEq True Passed
5acf95a22b7c0d65ea953661dec894be2f47d28a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SubsetEq False Passed
f965a083ee17c0ff88a14f8907b8bcb2a152a1db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SubsetEq True Passed
cc5bda9a4a6380e4137c49bf8dc11232a02dc067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SubsetEq False Passed
8a0cf9636aea2252330889a96367a1ccff6dcca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SubsetEq True Passed
bc49c71e77037fbf4013c376e4b0de63edaa5250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SubsetEq False Passed
a63f91ba24d33efb107835e48a243148e0d19995 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SubsetEq True Passed
ef59ef3fd1ce42ae62a7a1a32e4e531ba9b9d1ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SubsetEq False Passed
66be2746ee453aa0612abdd58d160411ae66d852 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SubsetEq True Passed
0f91bc2b8f98742a2b8f7488389aab5680e58426 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SubsetEq False Passed
8bdd82ba002e43377bbf404a664dbba5a5d5fbee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SubsetEq True Passed
c678fc60ae35e9e8dac7abedf928514d3cbb6ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SubsetEq False Passed
16d3f44a5e9ef2e1b7a188479f07832ebf35f229 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SubsetEq True Passed
a8a513d0cb1d01b3b3e5fb8217bdd6634b20774c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SubsetEq False Passed
e7c9688dfa4c3691ae7ab23df5729f1bb7c7a1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SubsetEq True Passed
ecf3f91f43db9ded6afa1e68f897b13ea7c2ea19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SubsetEq False Passed
ddd61cb960e1acda10f2b7bfb9cfb0b2252ed1c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SubsetEq True Passed
7a8e4111c99dbeef3253b71909ccd486b9d257ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SubsetEq False Passed
a0c877ef43004b6f01a8b50f7b44d0e4cbaa9a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SubsetEq True Passed
f9e2d22d97875184fce983a46e938257aa515990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SubsetEq False Passed
884111655de16fe585d20bfc1bebb66999eb9722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SubsetEq True Passed
a385df77d23a9eca1e103aad5c75997107bd0b3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SubsetEq False Passed
c5accc657e438bb6a92dc586a4c1b2fbd3427b8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SubsetEq True Passed
360a7595436b45f7cfcae6f7a3e65bf948ccb490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SubsetEq False Passed
6c688e0c8c2813e7ace390f1fce7d1562f8e6491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SubsetEq True Passed
63454358eed5dd338ed7fd26ba2a5a6eb72f928c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SubsetEq False Passed
ef28f785985029d89610472d0d78a26bfe9f413c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq True Passed
177749d00cf5edf144c61f4fc4e6b42ecb2e035e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq False Passed
efa7ccfe531ab9293c63d36ca911ce35948dfa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SubsetEq True Passed
5e076255a79f0f73a485ea8d7ec967e65490f929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SubsetEq False Passed
e6606d4628cfc941faa6700b942615b2070fe771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SubsetEq True Passed
4d9d4af797f7c443a23c63fa62d740bd104ca329 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SubsetEq False Passed
79c3bacd3bdba4b60666f8fdce62f9df3dc21eaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SubsetEq True Passed
889a45e25f50beb951f795eaa7342d2329ef2eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SubsetEq False Passed
d6e1cf630b1a6df0e454a1d6d89a9acf46c49756 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SubsetEq True Passed
e22e0f7c0bb43b8ced766ab989eb5eba074bf71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SubsetEq False Passed
c4d0e476833f24385783e5cb16794f6d3cede0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SubsetEq True Passed
dea64089c91c309e5107f7606ab0abed25328e31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SubsetEq False Passed
4ced1f83fab201adeac3588f33854c9dc66eab35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SubsetEq True Passed
82ac456ff586d1c6a24b7f052990f93bcd0f799c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SubsetEq False Passed
b3e9cc97082fdb06e7c20b0d360d3b64167d611b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SubsetEq True Passed
524582839abee057a6df9d782e5074ce42c375a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SubsetEq False Passed
26756cac520d4019d4b273ddf02626197283e50c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SubsetEq True Passed
459e62a3aadcf445cd4834612ee86367d30b6ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SubsetEq False Passed
70d92ef04c053168c1044864cbbe2e886ba802c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SubsetEq True Passed
afaff5baed269b8b2013330b43f3801027086d74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SubsetEq False Passed
f41f67c132436c9eae522510bf7ce88ca0b7ba47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SubsetEq True Passed
67015220927dd09e3f0e2cc5b37fd351802c3237 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SubsetEq False Passed
b34eca68668175b224dbf9f446e334638b77c380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SubsetEq True Passed
9b245cb225118ad24b1fd4a6dccaf6cf61f26f79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SubsetEq False Passed
a41ca6bfc77d71cd11971cc06c61afe1afc0607c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq True Passed
0e063d140717a46b9b794c63dee93734a400c0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq False Passed
43f6854b195df59ad18141d773bb2a6bd4541f2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled SubsetEq True Passed
3147824657cace1093c92e298358c52eac4b25c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled SubsetEq False Passed
27c5d81f97a77413b9be2106b2f0129a1104cfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SubsetEq True Passed
580bfe3d02451d02a8af11c01dfc19e1fbb16731 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SubsetEq False Passed
8bb41619bde48562b1871264db1f8baf76376f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SubsetEq True Passed
dd3d3ebda5cb97a26fd86a4101b4548f1f1aa9b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SubsetEq False Passed
a11cb1163350b717133f45b597f9053302e1692d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SubsetEq True Passed
69282be547c6c2f493084e65bad18da7fce556ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SubsetEq False Passed
8280005b7f3c1589f1f822086dd3346c00e7f226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SubsetEq True Passed
aa6a7095c2ed4aef86b33b8b230282c98bbda8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SubsetEq False Passed
1b85c3b92d5986c432d2eae18b5c82596aa1165c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SubsetEq True Passed
460ef1b25032d33efd6776bbc2877a43d14bacf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SubsetEq False Passed
c82731432c2b9504f0a0c53f34cca464e7a6f512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SubsetEq True Passed
8ca0274bb049196ab573b51cd34728bb346b40e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SubsetEq False Passed
19e1e69b817f7ac181a1af1e46ed2b6702d502d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SubsetEq True Passed
a0d51aae5adb38f3ea243761f1e263c6adff6422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SubsetEq False Passed
73afa7c48a35548ffb152320005888177b956df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SubsetEq True Passed
368ad685a7e0916b2989911a24ee5f39a015c428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SubsetEq False Passed
5cfb63f180258c3bf70ddcc87dc1b780c68f7037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SubsetEq True Passed
f362abb8fcdd5a881e6a890428d67598f7a80ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SubsetEq False Passed
c42dc0070fdd1d45de8761c06a39c1094b0a5146 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SubsetEq True Passed
1c1f07a9cdf1e06207ef2a03249f9bed7f570280 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SubsetEq False Passed
8abe447decee0a626eed2e08acf82a7994a3c94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SubsetEq True Passed
8f2ae54ba5375f4880b9936d5ee850fc9df355d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SubsetEq False Passed
92d2e830bbfbae53e9597f61e1bcfd5eedf5038f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SubsetEq True Passed
3f64f3a1ab8e919520ee479d7ca45cf5370c7ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SubsetEq False Passed
2cac62b87dcdda452863251a00e8d18095772a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SubsetEq True Passed
11414ca492f4b3c7b26c56a4fdd706f68fc63249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SubsetEq False Passed