Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
64bdde7e1a6e36e34abccda4344d511f0ed4d3ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SubsetEq True Passed
0c2544b98fb40b1ec64b33b3d2ee39c24c180919 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SubsetEq False Passed
d0d9ff9b45d58be832739321c85c905a33ec589b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SubsetEq True Passed
86b4c8e66729642e176f333451d6ad0c5d516ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SubsetEq False Passed
ac81d05f1d56dacba637eb54037ce00f798a34c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SubsetEq True Passed
68d3eb3d956c69127a07db3e3b3a447b6a95401b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SubsetEq False Passed
f85b78f294f2505b7f1a8c3d59a665a425dacafe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SubsetEq True Passed
dcdc80855204b7b847c70633f6699e56e0747792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SubsetEq False Passed
b62747fb0fe8b32febe45f2a418ad8cb27b46e98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SubsetEq True Passed
a918f458f0754ef1132471b7c28aecec37598def TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SubsetEq False Passed
096e47015464e6e4cbc6d6adff03dbb29ae926b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SubsetEq True Passed
ae6d6f8253c8e2b33dd87d3adeaf5abe14b65669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SubsetEq False Passed
81484549c5bab6819e3951a31b4295b626aabade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SubsetEq True Passed
c2a971e32ec99b7bd5488705d4d1ce644e1ce39d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SubsetEq False Passed
2f19392d5824f7a58dd8cf099c5bc59f961cd36e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed SubsetEq True Passed
63388bb1c9c9f7a4aad011389725937e6db1c41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed SubsetEq False Passed
f798128e6181f730def2a896f7b863ae985d0544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SubsetEq True Passed
89295829f7a8f21dae59b24b5851cb73d4d86c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SubsetEq False Passed
3cf7f2f6dbf6c9af852ee384186435c3acaa2ebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SubsetEq True Passed
d5f4fc605708a4a75375af090dc3953b8c5723c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SubsetEq False Passed
dd41c897ff04b05140ea8a6d715ea751c86d4758 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SubsetEq True Passed
f9a579aca595c57d4ad6917e320fad288eabddff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SubsetEq False Passed
71ea97784856173d8e900a7fb7252619a1b0858b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SubsetEq True Passed
0868d4900b5211ae869f0938d82241db60c8424e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SubsetEq False Passed
b391df98f19d255e5ad2d8d099955c0fcbba04e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SubsetEq True Passed
86cd67229e330d862a45a47e88a9ec8017912c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SubsetEq False Passed
4f66fd0adf62af84a08ae15aad29c6a2a2937f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SubsetEq True Passed
19f57ec940bf80fec756edeeced38555c07ab685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SubsetEq False Passed
28a7fd7cd916b00e2bd1cfc62d9d1bc026721801 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SubsetEq True Passed
39526554370477f35328a9e7911e0e02d2580217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SubsetEq False Passed
498d996ef4db1ae67e895c6297e8334cfea9bbfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SubsetEq True Passed
c7f8e5640a1be9c2d2491ceb6e1878b38448c2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SubsetEq False Passed
8cc3aeda1828e51670af1aa6fcb94934db42902e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SubsetEq True Passed
f4fc03d8f06283664ef8c1646f1c31f7f55b4a31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SubsetEq False Passed
2de25df17de2ef8ec0df6d25e9352551395f6977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists SubsetEq True Passed
63afb017ba7c830ea000d9c9645c55a9f60cf5d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists SubsetEq False Passed
b9f6c2b7541871273877d7f8fbabc72171d3a763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall SubsetEq True Passed
059aa91981f30badc580c8d2e7013a8d634fa191 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall SubsetEq False Passed
1db709f8918e78445a5959d622edc87dad0e23e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SubsetEq True Passed
84867366a05d2fbdd79ca7536188b3ba7db71fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SubsetEq False Passed
bf7e55595fb71a37aad015de242d01ccdc0805e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SubsetEq True Passed
1b856be8a485fffed0bee485d98e969659cd2865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SubsetEq False Passed
723bc7f2030600335aec3f223e9240d862ec993a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SubsetEq True Passed
569210e4b6afd91aed28eca5d2804e63f089328a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SubsetEq False Passed
008b01b835b5036eb2a0e800573f84ed92629248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SubsetEq True Passed
ac83e24987441fb0924d886561a2ae35cd7a9eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SubsetEq False Passed
d935805aea1b792e6008c1291f51380dfd43ab7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SubsetEq True Passed
dca01e9e2d5656e0c0a6a3e199926a39668876f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SubsetEq False Passed
2f3abf10f94d11729012de0a873c19ea3e7dec9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SubsetEq True Passed
5f3145cf8fca056698c797f04f15dbc729e82bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SubsetEq False Passed
c14c7f7cae53290d2f7ed520ca91012e4b06dd8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SubsetEq True Passed
018aa4a7f3e343ea1d4c1c605d195319f46570e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SubsetEq False Passed
734ff3ba518eb21b100f19d6ddaa4fa3d7e3b4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SubsetEq True Passed
869088bcd15e80eaaceda5263d078d7ed57c0ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SubsetEq False Passed
01092b9a8ce167ae72481432915dd1a576df4b63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SubsetEq True Passed
e3e82a7838f5fcce3ab74668c2dc4f84526b3c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SubsetEq False Passed
69de5baa41378769165e5cd01f8d7511ec3349a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SubsetEq True Passed
26a55bcd376ec852dd3ae31bead1e097f6074dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SubsetEq False Passed
0f414e8c5186704a55819f17e6ed2c8a39414679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SubsetEq True Passed
13cead894db38fa3986654ba640a084dfd847b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SubsetEq False Passed
28de86f384620cc58aa612bd8e85b4d13be8bb79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SubsetEq True Passed
fb17d8256bd2f8071c03529705316cb3d369bd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SubsetEq False Passed
543b992a89fa239767e2965cf0816770fbaf4258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SubsetEq True Passed
b0ddfd9b500a34c48f1e2e8ef74b45b32e5131c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SubsetEq False Passed
6399f8378d361f52a9b30b922cf267117b871f21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SubsetEq True Passed
fb4cf3a4f27ab35d8dc654582acf661a9485956a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SubsetEq False Passed
6f0808fa23694d76f9c42089560a0a1dd4e6b3ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SubsetEq True Passed
4f8a9468c8ba7f2e3f16300a1cb71760dc9ddaba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SubsetEq False Passed
e2176bd9d5a8d67c5ebfb04677e1d171e271228a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SubsetEq True Passed
8e3f4592568864549ca0878095d684e3dc73841a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SubsetEq False Passed
411a1874fba5d8ee5bdcb76309bcfc6b4b408f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SubsetEq True Passed
ba9116443a32c70d7faa018da45a0f9ab1877fda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SubsetEq False Passed
472ae7dc409b463801d29612db7104b1b946b915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SubsetEq True Passed
0c55a286d47fc3beb25195b1d7cf6d094c74cb38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SubsetEq False Passed
f9e7ef8412bc6f6c0e897373daf13ed708668567 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SubsetEq True Passed
572ac4a97a2919305239890c2fc8fffe68086e13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SubsetEq False Passed
5e40cbc403fa46a7aec6082dd5fb077e998b3c4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SubsetEq True Passed
10225cf46d5713c012e5555bdbf4199969554cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SubsetEq False Passed
9aa63b235ec06c09d1f46ebe7f354d43a70f2f08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SubsetEq True Passed
b6c07fedf2ff037b6f37577f2f0fdb45eb110ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SubsetEq False Passed
2ede4ed15c82aa104b337e831b8862f55e024004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SubsetEq True Passed
7b52cc1c7980404ac32ce68839df3a284533a37d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SubsetEq False Passed
a173a3c6cd9063ed5aff2fd7b0a17603abf517ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SubsetEq True Passed
f8cc61dd480c8446f68ac92090f776e916b5da31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SubsetEq False Passed
193344437f0ae4b67ae96c3233f85783dfcbb42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq True Passed
72b57b95492e5e284d3f6b99f40b0731b617a69c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq False Passed
361196b4c6b88d158d9fd7775ae140e067eb7b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SubsetEq True Passed
2648751577927c7a3b426b4a9ba7ee53d3127a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SubsetEq False Passed
850e66763ae77c44b610d28265506dff4256f6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SubsetEq True Passed
732ed35ae714ff407074a845e007270334c33510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SubsetEq False Passed
620d1e9f580b033153da2117da7d18ccc3f96d06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SubsetEq True Passed
38c122b1f74f0e9e828424ea8cf7fa19f1f75145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SubsetEq False Passed
664a2d818a2d548bd5b0cc61151717c69458a209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SubsetEq True Passed
cb499ef8bb3ec857f6943c5a704980a665169670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SubsetEq False Passed
331a3d6466a1ed35954616ba82aa269b93f7c6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SubsetEq True Passed
a0da66b597f7c5d25125d329871d3c8a12178b59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SubsetEq False Passed
f8dc0ead944b5cacc3d41090193bf355b49e95bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SubsetEq True Passed
2ca51270f1db9e6b3ad22cfd25e571b7465e3eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SubsetEq False Passed
42ed4f23f7f79223004614acfa33ce098724a206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SubsetEq True Passed
d1ad4b90d028c0174951f5706e8ce3f02a3c0783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SubsetEq False Passed
16bc774197e773aaa32e1b2814e882f2a8d7e31c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SubsetEq True Passed
2237255d2f40a150466e02a2626b0545e16da974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SubsetEq False Passed
750b03dc0ceeda2576b175673dbf44d80c577fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SubsetEq True Passed
b48c8db2b8b13c52ae0995dcdf84e927885e730e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SubsetEq False Passed
e716842fc07e1bf282212b1493bc69671bde3074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SubsetEq True Passed
1c516d203f18384a8397ee4420109c14bca5325b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SubsetEq False Passed
398cf6c0ef691e8b3b2eab09d59556a1779055e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SubsetEq True Passed
db0f6ddfc8d7b115453a2a5c658720fe396afacd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SubsetEq False Passed
1103f743e752709208466c3017c3aca1c50cdb05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq True Passed
bb191b432a125ad96eb800534f34d16f89084676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SubsetEq False Passed
ea3b0b27ba1c7193f280e002e769d6e36de10b5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled SubsetEq True Passed
0bc72b614abe0b3b43e40ab5e916e03e5a774c11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled SubsetEq False Passed
a915b7891ea13dfbde9e418010d12fd02418be41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SubsetEq True Passed
c923103a997581d3eab080dc333febc737301a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SubsetEq False Passed
8cf50a9fd7ccc248345bf6f886d770ab3aa8294b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SubsetEq True Passed
92d3a3ac2405f254d5c6b52cef46034c6798091b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SubsetEq False Passed
31d885097a86d6a494f1b4c76120e3e8b2391362 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SubsetEq True Passed
45ae4bdbf22da21b7141361f1bf657d24ade61b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SubsetEq False Passed
1f0a929d0b7c2fd10dd73061ab4045822bbef93c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SubsetEq True Passed
e9e2d88a159e8bdaa914e20b3790dbc429d02361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SubsetEq False Passed
86efcb40d4b0713bbf42845c52191c34e9d350c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SubsetEq True Passed
d0b17c5906e64389bd32604971f664176c07d451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SubsetEq False Passed
1c9ab320ebdb42a09b6a5074cdbee738681caf46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SubsetEq True Passed
bbd2df610ba9b21d13eb3029a7620963660a207c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SubsetEq False Passed
27a9fe8aa1b7ca796a4c2692ba39a97176ee38ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SubsetEq True Passed
42b70727bb1eb649b9bf77ec894dcbae7d550811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SubsetEq False Passed
4c5d554139eb2b6d0f7171d382bb05a2b4cf7baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SubsetEq True Passed
e7a926637c0add3ce5e2e6eb9c00f86e160ddfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SubsetEq False Passed
e990cf7e1049caf3823ef43f6cc335e56dd8019c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SubsetEq True Passed
d85209089d542869c11cefee9e46e90ac4e3ecf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SubsetEq False Passed
f6bb85cdf4f8901cd436ff98af3046f28c759a9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SubsetEq True Passed
5171ca348ba95aeaa886fc904129a9d60fb5ab1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SubsetEq False Passed
35451b1f8c94c1f57325757ace499b4cb92af2e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SubsetEq True Passed
555338d97046f5a091e70d45de6e05ca9a861d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SubsetEq False Passed
227c68adc3eac2b7c865a3a1e6e83da8b3cbbf68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SubsetEq True Passed
bef9176b6e6da4f3c9016df04abdcf94d4b4648e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SubsetEq False Passed
590bc2305dd208b076af862dd6209b0baa8df2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SubsetEq True Passed
a6561a15d4f19d5e08f1b20e6aa339c7163c9972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SubsetEq False Passed