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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
f0c0d174d1ecab9cbec6211385db3f968b95b662	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Constant	True	Passed	Model Under Test Equivalent Model
d526e0d6c0c7e1bfb79987aebedc59bccfec2926	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Constant	False	Passed	Model Under Test Equivalent Model
d84f93aaa74b71e08001d1f2dc9c4cabdd6d93b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Constant	True	Passed	Model Under Test Equivalent Model
919e183130e08d26bd9ee9ca6dc633cea9547219	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Constant	False	Passed	Model Under Test Equivalent Model
35d3d90b86b68e477153d4ee5492b8c3a5167cd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Constant	True	Passed	Model Under Test Equivalent Model
3ab6c51f9e92d912167184a947633287228650ae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Constant	False	Passed	Model Under Test Equivalent Model
d1b19c15e995a2ec1773f0907135b720d7dcc6c0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Constant	True	Passed	Model Under Test Equivalent Model
e4014fe47c0ae31f2425bfdb54dda49b736ecf66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Constant	False	Passed	Model Under Test Equivalent Model
21b2fe9c8f82df2a65829a526e2c1ffb12c5aae6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Constant	True	Passed	Model Under Test Equivalent Model
d6cfd2d8a0dc710a9ec792c763e375d7b0c59cfa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Constant	False	Passed	Model Under Test Equivalent Model
3a61a859222369f378a974043f6cb8409d801fdf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Constant	True	Passed	Model Under Test Equivalent Model
2ed2e1a7f87b778fc0654e20b486331a032a1a2f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Constant	False	Passed	Model Under Test Equivalent Model
77294c33ea9c4fc60f8f274e79e9f2a6880bb021	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Constant	True	Passed	Model Under Test Equivalent Model
549d61a5cc378dd719940ef53b4779eaf4273856	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Constant	False	Passed	Model Under Test Equivalent Model
b44747a9f3162cb373143fc5a3905a55225cf03b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Constant	True	Passed	Model Under Test Equivalent Model
10c4c09749a5c7899eee3ec07cfe5a5a80822956	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Constant	False	Passed	Model Under Test Equivalent Model
604e7362b760553761ff109e163232c92e75c655	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Constant	True	Passed	Model Under Test Equivalent Model
7a00533332ac0aa0318018cdb56640da0624a362	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Constant	False	Passed	Model Under Test Equivalent Model
86e9aaaaeee46695f5d5f2153a4787998364eeeb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Constant	True	Passed	Model Under Test Equivalent Model
ffbd0cb0ee90b339962cc5aaa503034ea99b12cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Constant	False	Passed	Model Under Test Equivalent Model
aeea194188f939191b637c99d69cfcaea1a07850	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Constant	True	Passed	Model Under Test Equivalent Model
2a3af6f30e703c6b6d1e659a332481141df5b489	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Constant	False	Passed	Model Under Test Equivalent Model
bebab58d0c937f3db50879b1b4f3e912f1cd18c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Constant	True	Passed	Model Under Test Equivalent Model
4cbb1f0a0c8b4abeef87505488f6d03c1fb731e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Constant	False	Passed	Model Under Test Equivalent Model
bdb86337f82247cc1572858bb5b915cbb330bcc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Constant	True	Passed	Model Under Test Equivalent Model
e02f31d9f9045a53a204ddc894243ff6d9c6f72c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Constant	False	Passed	Model Under Test Equivalent Model
276d5c49d8b477978eb7f3cdd2dfb5dd4ce64389	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Constant	True	Passed	Model Under Test Equivalent Model
7c7338bb4405e196213622460f2906c83f88da08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Constant	False	Passed	Model Under Test Equivalent Model
a94d76a98455e44777ba43a22ae6870c5ef40d70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Constant	True	Passed	Model Under Test Equivalent Model
8f1f761d726738e04060f2701d437d344a849ba7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Constant	False	Passed	Model Under Test Equivalent Model
044fd63a65ca516050d4036dc0f669df3900c431	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Constant	True	Passed	Model Under Test Equivalent Model
5a05c4742e3cc21f2ef9d273f465f534ae44de5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Constant	False	Passed	Model Under Test Equivalent Model
6f826fae11931a4a2c33db6b5b2a1f786d0e164a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Constant	True	Passed	Model Under Test Equivalent Model
fcdeeb291f0d2c6b9c2a246529d501a6a9aedc3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Constant	False	Passed	Model Under Test Equivalent Model
56fde93079072064df3fbdac53c44d2e79b3e1b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Constant	True	Passed	Model Under Test Equivalent Model
2d4ea133641345b01cfaf036df5720984f9c8af3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Constant	False	Passed	Model Under Test Equivalent Model
b4e424bf12b78c4593494c6ad78b0fb4e09aa486	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Constant	True	Passed	Model Under Test Equivalent Model
1c35450ca5a6b7ddd95be3b39ef779192cbfc0d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Constant	False	Passed	Model Under Test Equivalent Model
2b7296c3929f59392642336c18559417ce82945e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Constant	True	Passed	Model Under Test Equivalent Model
52cc3f1d4a2b9059e49552658da7fe1b95a81b32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Constant	False	Passed	Model Under Test Equivalent Model
5b8722435f538987c20da63e2d4ba535f657242a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Constant	True	Passed	Model Under Test Equivalent Model
55e831aff2607da007d0c044a5fc9acc25e2fca9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Constant	False	Passed	Model Under Test Equivalent Model
da49dd37d9942c660d8cd1e2bcd40ab251e58fa8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Constant	True	Passed	Model Under Test Equivalent Model
d1491721eb6038a7a2820a9b621a55a95214b66c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Constant	False	Passed	Model Under Test Equivalent Model
b2a0df66894eb62163c6e21ddbcf9d4f91b32e9e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Constant	True	Passed	Model Under Test Equivalent Model
8c74d963527c3cd0d3a10c3ddb9bd3490e9f655b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Constant	False	Passed	Model Under Test Equivalent Model
c203d8540c53d699af3b68a013d1ec4d02d4b775	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Constant	True	Passed	Model Under Test Equivalent Model
c21907dbc5c6151f7bd875e685f46e29ea2468f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Constant	False	Passed	Model Under Test Equivalent Model
8efdfcd80807d90c0dda9f0e897f669cf9437c10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Constant	True	Passed	Model Under Test Equivalent Model
c82f941218b3882f4e6d0813c417048441cd0a99	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Constant	False	Passed	Model Under Test Equivalent Model
eb9f53813b07d935cdba308ed78534845b78d605	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Constant	True	Passed	Model Under Test Equivalent Model
08efb9864f70b24f4637eb03795436d956cae3ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Constant	False	Passed	Model Under Test Equivalent Model
ef8e3061d6e71e0e769a19aef5c31f2c622d1d62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Constant	True	Passed	Model Under Test Equivalent Model
a72980ad9580769b44a31ced39682e0b6effe411	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Constant	False	Passed	Model Under Test Equivalent Model
faea3b24a1c7aaa87fa0a27534e2525781789c2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Constant	True	Passed	Model Under Test Equivalent Model
2427496c51c7a98d6c6b5004de3eaf5725c8cee1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Constant	False	Passed	Model Under Test Equivalent Model
c9db6fbd0d29364a484c8f1f127d6fede3e91498	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Constant	True	Passed	Model Under Test Equivalent Model
3d274ba5a1b5ff48d5b144c8438661b5635ca42d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Constant	False	Passed	Model Under Test Equivalent Model
79ecf68827574d73b10b6807676ab5dea83af6e1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Constant	True	Passed	Model Under Test Equivalent Model
ca9ccca1eb32713452efe7ee7c67993b3eaadcd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Constant	False	Passed	Model Under Test Equivalent Model
4ede55fbd5fe7a11eb196acc2927e854abd6d411	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Constant	True	Passed	Model Under Test Equivalent Model
35c6236fd80fd66ad211842ded218c5920dc85aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Constant	False	Passed	Model Under Test Equivalent Model
75f28f97f445395890b523f12aaa03ec6f113327	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Constant	True	Passed	Model Under Test Equivalent Model
7ca971b403623c0677948b3e96bf3d8cd7c79cf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Constant	False	Passed	Model Under Test Equivalent Model
85a2306ef4725b6e0d4d85dce546080a4b617cc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Constant	True	Passed	Model Under Test Equivalent Model
00ac934e388b1e9c4a1fd8d708412106b65c95ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Constant	False	Passed	Model Under Test Equivalent Model
b30bb3e7d1e6f356d7ba53f667c1950e55064462	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Constant	True	Passed	Model Under Test Equivalent Model
beaa693640d02d2a711ed301815ce605472d9f04	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Constant	False	Passed	Model Under Test Equivalent Model
b1108d8c0a9f9a3c9e41b50e560d39bdd04227d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Constant	True	Passed	Model Under Test Equivalent Model
af0c10180b666b9499b1b0ffdd554c56e7e5ebc3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Constant	False	Passed	Model Under Test Equivalent Model
ad378a2b13ac004ac9ecb26fed4228d39e50fa45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Constant	True	Passed	Model Under Test Equivalent Model
e7cf588b5a03c2b3f927c77435615fdd1bf02eaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Constant	False	Passed	Model Under Test Equivalent Model
58483db6cf4ae9e0fc7fddc0ace7527ff757547a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Constant	True	Passed	Model Under Test Equivalent Model
14b282160f9def61e9cc622e8ac2f3c7106e0186	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Constant	False	Passed	Model Under Test Equivalent Model
1725a5d9efc117387a4939679a4347c9c8ccc9d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Constant	True	Passed	Model Under Test Equivalent Model
03686bb719cb2e00c5b40a9e62d3b784963d96b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Constant	False	Passed	Model Under Test Equivalent Model
c1877ba1b53ed5c44d8ccdec2dadb9f373b39035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Constant	True	Passed	Model Under Test Equivalent Model
7b3bedcde19c38c771752319f69fc2d79c37fa6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Constant	False	Passed	Model Under Test Equivalent Model
98b0e0b05433e83e517c2d20cdde14adfdc9b1c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Constant	True	Passed	Model Under Test Equivalent Model
b0a487ae1b7071ab7e08848c1814fb0017348098	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Constant	False	Passed	Model Under Test Equivalent Model
2b50df9cb4cac98340ec34b24033bd63d25594bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Constant	True	Passed	Model Under Test Equivalent Model
fbce81b2c1209e91bcaccb4e7abfa6cfd0da4ca1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Constant	False	Passed	Model Under Test Equivalent Model
071545b2bcc048b2bbaa8522b3b46fd9b940d53f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Constant	True	Passed	Model Under Test Equivalent Model
3585ebbe8760a6906dcc23e9975c808e86aa8e5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Constant	False	Passed	Model Under Test Equivalent Model
d630bc3282727969c9fa4d966a99a1b5d4c2fe8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Constant	True	Passed	Model Under Test Equivalent Model
83e5307618f0e7bef96d2f02f8fa6e2e6f277ddc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Constant	False	Passed	Model Under Test Equivalent Model
4b1963953ac9050ec1d3e44ee644ddb5f9f9b2e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Constant	True	Passed	Model Under Test Equivalent Model
374dfcb7fe7862002b2931e6b4831859675ec43b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Constant	False	Passed	Model Under Test Equivalent Model
bcd6640e11d0930c5025f9a0d831e33092e547fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Constant	True	Passed	Model Under Test Equivalent Model
38b5d91923538c143507031c7886e940b92abe32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Constant	False	Passed	Model Under Test Equivalent Model
4b82bbe2e47c7a7f9181648240ab3a706684f631	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Constant	True	Passed	Model Under Test Equivalent Model
3500b77af56b88fa7be1afec9523a6a8e4e18efe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Constant	False	Passed	Model Under Test Equivalent Model
92ce168e763594ff0edf7cfbccb6d746bf5bcd77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Constant	True	Passed	Model Under Test Equivalent Model
3208517685ddb5a7bf9b4cfefd97adc4ad2b44d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Constant	False	Passed	Model Under Test Equivalent Model
92b839948cc3753a0dc6b4bdded867ae7fd47b95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Constant	True	Passed	Model Under Test Equivalent Model
ea39ec45d4e6b7897f490c96ea42054427bc249c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Constant	False	Passed	Model Under Test Equivalent Model
7d7620dc9c733d4a6ab1b379d8971e2201f51732	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Constant	True	Passed	Model Under Test Equivalent Model
0d0c727661a2f110c87a4a7f4e07f94c828e4799	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Constant	False	Passed	Model Under Test Equivalent Model
d9806ec579af6677dcda485ddb908641ff47aac2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Constant	True	Passed	Model Under Test Equivalent Model
fb3bf5f2e290c5733f4080647a89c1fe7e20c608	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Constant	False	Passed	Model Under Test Equivalent Model
83af1a2c6c3cdb0f9e14ee9f481f1a62330be186	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Constant	True	Passed	Model Under Test Equivalent Model
796eb0b4b9a3d2234c94577503a5b58f1873f953	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Constant	False	Passed	Model Under Test Equivalent Model
6c4792fced6c736a6ba4ebc02eb9d74ca5f28d0a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Constant	True	Passed	Model Under Test Equivalent Model
f2c003888e27f0823ef8d36b60aa40415ebce0f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Constant	False	Passed	Model Under Test Equivalent Model
0ae7518670c2c82c27cfc15de496c108bd3a8e31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Constant	True	Passed	Model Under Test Equivalent Model
46af77ffb13885a34d84d91a41fd9339344c6a41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Constant	False	Passed	Model Under Test Equivalent Model
35fafc58128d654c9833ed026d5905c4cc69fcfb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Constant	True	Passed	Model Under Test Equivalent Model
a879c8c1c0341c6f7cd60efa392233eb7bdca0af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Constant	False	Passed	Model Under Test Equivalent Model
215c3f60c925e93babcb540b31a7d166ae683a7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Constant	True	Passed	Model Under Test Equivalent Model
71022128a76648278ba2954bc042ddf42d7569fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Constant	False	Passed	Model Under Test Equivalent Model
d4fa68d79378492e0cd1bf989e30b9d5e75fff26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Constant	True	Passed	Model Under Test Equivalent Model
03c117556e94c1cd39292acfdd1c2fea6b259040	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Constant	False	Passed	Model Under Test Equivalent Model
69564987e335d498bcc0537067be83497d73b35e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Constant	True	Passed	Model Under Test Equivalent Model
f837b94893e1f835cff6a98ab11e34093ed7d88f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Constant	False	Passed	Model Under Test Equivalent Model
d2eac1394697aa8c5338da8e7f1f418341afe8d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Constant	True	Passed	Model Under Test Equivalent Model
632829d60fb2916d651f118755c56326281a45c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Constant	False	Passed	Model Under Test Equivalent Model
857912b899bd1dd27fbeeb6812e492450b275bb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Constant	True	Passed	Model Under Test Equivalent Model
fbbe7273cd787069e89b7473cfdae72c36db36dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Constant	False	Passed	Model Under Test Equivalent Model
aa178543d6783afc17d320cab1a6daaad29529ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Constant	True	Passed	Model Under Test Equivalent Model
4a5418dbb07e1cb475407aa1ffef2371feefc399	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Constant	False	Passed	Model Under Test Equivalent Model
7cf503be7c95a1f5ab9a5a08219c7fe81ca50beb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Constant	True	Passed	Model Under Test Equivalent Model
9b156197ee00927be5140aba2222ce241cde982c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Constant	False	Passed	Model Under Test Equivalent Model
84a1d425cb3a88657fb4d0080522547c25d0dfef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Constant	True	Passed	Model Under Test Equivalent Model
94ac9590fc568c528e8848a4a670bef44cc0db33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Constant	False	Passed	Model Under Test Equivalent Model
a618f64fc965662698b8c49612ca23ea80d13980	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Constant	True	Passed	Model Under Test Equivalent Model
51f9d3b363552777b9a41278e31289f29de04d00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Constant	False	Passed	Model Under Test Equivalent Model
86d8d54370f08555285f58d6f4a83a718f2af2e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Constant	True	Passed	Model Under Test Equivalent Model
19e292ddb8fa232b2550e3a7f3b20335ca0eaa5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Constant	False	Passed	Model Under Test Equivalent Model
a7f56511361117ffaab2e7fb8d1411b913cc3bbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Constant	True	Passed	Model Under Test Equivalent Model
f8b6bb94c5a454d887d615b10178cd95deb3c4dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Constant	False	Passed	Model Under Test Equivalent Model
899917793ac5f28782ee756938fed96819c9384e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Constant	True	Passed	Model Under Test Equivalent Model
237db80d9b12ad5cc1da6a934e80288ed1b5d5fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Constant	False	Passed	Model Under Test Equivalent Model
6ffbef0752715e6d53159a3f6ba303da2080fc67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Constant	True	Passed	Model Under Test Equivalent Model
9a187ebac873764bc359d33a3358a9198fdb59aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Constant	False	Passed	Model Under Test Equivalent Model
f29fd2cce647537ebdf8772ba3a8fc379c933103	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Constant	True	Passed	Model Under Test Equivalent Model
264a574dde93faf3f45be75cfaef6e850be4f685	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Constant	False	Passed	Model Under Test Equivalent Model
6fcb979350f4b99b3acf071b15b5917d116d2162	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Constant	True	Passed	Model Under Test Equivalent Model
499d00fd6acf6512e1cb03d97ed8fac6d5cfb47b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Constant	False	Passed	Model Under Test Equivalent Model
00f177c1d3fed3ce8cfa89c644cb6c25fefd33df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Constant	True	Passed	Model Under Test Equivalent Model
056787e0aaa93acdd06e902c3b0b14b3a500c41d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Constant	False	Passed	Model Under Test Equivalent Model
e11de026e1f89ab1be591075b1c309e1ea8305ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Constant	True	Passed	Model Under Test Equivalent Model
2f9b02f2c9d7f5e507b7af6f9eb1ec4bc61909ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Constant	False	Passed	Model Under Test Equivalent Model
44e3da3fbeb7b8e5a11bb44b5a357483f5eb7cbe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Constant	True	Passed	Model Under Test Equivalent Model
2e3db0b6a010e5bab611ce14b1977b21c9a7cc69	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Constant	False	Passed	Model Under Test Equivalent Model
2c52aaef30000489680b675a60ca26dad47737a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Constant	True	Passed	Model Under Test Equivalent Model
68a956f3a9a045d4b331c8cc2aab0fd6e3108c7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Constant	False	Passed	Model Under Test Equivalent Model
80b812b1958b776bde9a0a2efa7c1283eaf3351d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Constant	True	Passed	Model Under Test Equivalent Model
293ac1a1be7196bfb74381bee31aab7c0f91f1fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Constant	False	Passed	Model Under Test Equivalent Model
411a5ca416bbf552dbb7837503f3f286f484eb7b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Constant	True	Passed	Model Under Test Equivalent Model
c4745df8daf43549797c53299cb1f33806fa0f1c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Constant	False	Passed	Model Under Test Equivalent Model
e6ded5a7e5b143ac94ba0f7ba44cbce1a4ab4fde	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Constant	True	Passed	Model Under Test Equivalent Model
e5933f50807a38ac2f034a8b95a7577853892284	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Constant	False	Passed	Model Under Test Equivalent Model
4a713257b4c3f91d4b21c1c5ce46eee647c5d5fa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Constant	True	Passed	Model Under Test Equivalent Model
aa1a2dd8bfe9beb96ab4b520e8d51652f0ff3479	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Constant	False	Passed	Model Under Test Equivalent Model
3b296f65cbe441c86b130571ea3e2cb1d0231f19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Constant	True	Passed	Model Under Test Equivalent Model
610ade41f0e4a3a597e2a2c59eae65af68c3f294	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Constant	False	Passed	Model Under Test Equivalent Model
981447cf31018cab82a95ae0338e5f6bad2ac0cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Constant	True	Passed	Model Under Test Equivalent Model
52ff7c192f2b75ee6f27b21fb271ceb2e468bb31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Constant	False	Passed	Model Under Test Equivalent Model
b670b32b785107c2a915adfecc91928b4ec08b90	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Constant	True	Passed	Model Under Test Equivalent Model
3b55335198be31ab5f9c4d2b53818b263be60340	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Constant	False	Passed	Model Under Test Equivalent Model
8229a435e2b2c9146f4a0b38678ab18285908e2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Constant	True	Passed	Model Under Test Equivalent Model
90c40b243b337914aeaa51db20d84f9cf37aec9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Constant	False	Passed	Model Under Test Equivalent Model
2cf7e5d185eda74c5ebca68a00d32129f7dacb2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Constant	True	Passed	Model Under Test Equivalent Model
4926934c7202cab7c148ecef8bfe63ad37895b21	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Constant	False	Passed	Model Under Test Equivalent Model
f1613f12c90c42e7a78b0cfb1f97ef252eee131e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Constant	True	Passed	Model Under Test Equivalent Model
29954bc93ea37c4f1fe299543d14fd565180cdca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Constant	False	Passed	Model Under Test Equivalent Model
3651db6b37689425cf37d98f64ecabcc6b748517	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Constant	True	Passed	Model Under Test Equivalent Model
1bb70228218083045efbd813c04e58e2bc166af2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Constant	False	Passed	Model Under Test Equivalent Model
6c14bd8801d6cdaa9637e7a2567484955832cc47	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Constant	True	Passed	Model Under Test Equivalent Model
c2133d0b12615325eb3f743febc67cc028bbf14c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Constant	False	Passed	Model Under Test Equivalent Model
bc47bf1631279ef02552f325669696fd5ea1dd74	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Constant	True	Passed	Model Under Test Equivalent Model
2da272bab8947b49b81462abe59f5e3b5215263f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Constant	False	Passed	Model Under Test Equivalent Model
71e334d0571eb7deacaeafdf16c610c298ce6c22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Constant	True	Passed	Model Under Test Equivalent Model
97e29240a9a939c90e0008369194300b3358dc8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Constant	False	Passed	Model Under Test Equivalent Model
f6ade84ea41a2d444fa1aa27b6060ad2d2bf73bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Constant	True	Passed	Model Under Test Equivalent Model
59bcad759e3968e63eb2606717f6cd772daec17a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Constant	False	Passed	Model Under Test Equivalent Model
75600c0d0ec52168af61c54ad11f1cd192164dbf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Constant	True	Passed	Model Under Test Equivalent Model
a0957ca3662c8f131451f26019b8ae473c130cdf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Constant	False	Passed	Model Under Test Equivalent Model
cbed39b2b8ccdec1cb08431cf556ec071dbc7440	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Constant	True	Passed	Model Under Test Equivalent Model
2450318aee7e7832a8d5f609d4d372219a852774	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Constant	False	Passed	Model Under Test Equivalent Model
d005a2004f2d29c6d4f964be4e6cb2573184d523	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Constant	True	Passed	Model Under Test Equivalent Model
c08239688f779a69a501c174284bfb44d6f40165	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Constant	False	Passed	Model Under Test Equivalent Model
d91e38d26b1d360cce3406e5a9696dbd3e5e822d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Constant	True	Passed	Model Under Test Equivalent Model
c9eccfa099025137ae1e9e8426509b01a0c757d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Constant	False	Passed	Model Under Test Equivalent Model
0b4421ecd87a3289b4912264bb409e46ec8a9ba1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Constant	True	Passed	Model Under Test Equivalent Model
5ae14bfcc81fde2216c4426c4be617335d7bbeab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Constant	False	Passed	Model Under Test Equivalent Model
844032179d95e7c0d2d813aa60982e820fa96d37	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Constant	True	Passed	Model Under Test Equivalent Model
c116012e0f9829ae21ebefbb61b1c3343f0cd000	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Constant	False	Passed	Model Under Test Equivalent Model
6c142068ffd581de0530f0b457057630bcfdff89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Constant	True	Passed	Model Under Test Equivalent Model
6aa371daa87fac2e06b53a4b0ed8cd4fc63bc818	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Constant	False	Passed	Model Under Test Equivalent Model
d899b39c3efb05dae1efe3068abeb47c427d0153	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Constant	True	Passed	Model Under Test Equivalent Model
637648d3c8cb0270234214cc9b50f339b2e26234	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Constant	False	Passed	Model Under Test Equivalent Model
7ae87077af41f50e8fea502593966c4e119a7c53	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Constant	True	Passed	Model Under Test Equivalent Model
27f05a70bc8a37ab6beacd805c9f115e1fcb0896	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Constant	False	Passed	Model Under Test Equivalent Model
2c280a292f3bcc7519b6c53ad32e7e0b6bf57e43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Constant	True	Passed	Model Under Test Equivalent Model
e680a0241ee1ab5a752ef868720dfecd556d9ae0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Constant	False	Passed	Model Under Test Equivalent Model
2f6a4b58a36df45872595cfae4837f39b3711eac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Constant	True	Passed	Model Under Test Equivalent Model
60e9b7ceb348107cf2ea7590c7f8761f9a6be718	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Constant	False	Passed	Model Under Test Equivalent Model
73f6975dd2891b146983c1f40dee6a691c19f171	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Constant	True	Passed	Model Under Test Equivalent Model
3cdca338c164dd55fdf47292372186d7fc1f36f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Constant	False	Passed	Model Under Test Equivalent Model
594d1db8a90cfeb350e447ba0c439e2ae3a86eb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Constant	True	Passed	Model Under Test Equivalent Model
326a5a5b6c5c90e18d5613523720e393aa2cc2e6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Constant	False	Passed	Model Under Test Equivalent Model
854d8beda16f873709b9dfef0a56e76ebda06620	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Constant	True	Passed	Model Under Test Equivalent Model
badfaf3ae1ecafa9f6386c350477f254446fb8c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Constant	False	Passed	Model Under Test Equivalent Model
c5887d84d9f0a25c3c4d1d3dc0aaabafa3e54923	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Constant	True	Passed	Model Under Test Equivalent Model
9d20099de7d86c4d32085c769f853d6439da515c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Constant	False	Passed	Model Under Test Equivalent Model
01e9d82387d941a24dfadc46858b2dbb6c5b751f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Constant	True	Passed	Model Under Test Equivalent Model
3dd9862669bf69bac4ebe43e3ce1eec73e47a183	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Constant	False	Passed	Model Under Test Equivalent Model
109469cb39b0a95a85b32797fd343a576c2868dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Constant	True	Passed	Model Under Test Equivalent Model
b4713d07152882bbf952bc10d43bc06c41c2e988	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Constant	False	Passed	Model Under Test Equivalent Model
80142be720e685b90a9ce86f6435316fd53f945a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Constant	True	Passed	Model Under Test Equivalent Model
40cff286f0eb1307d7139893078db38f63db3cf9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Constant	False	Passed	Model Under Test Equivalent Model
89a79dc170cda5218cb00ce72a75baaa3eb199ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Constant	True	Passed	Model Under Test Equivalent Model
d51ab9f9dbcbdab364217b4bbc457b84e6764f02	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Constant	False	Passed	Model Under Test Equivalent Model
5d1000f87e7c44b4bff76dae04bc47aa5f47f757	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Constant	True	Passed	Model Under Test Equivalent Model
276ab149c17c9aba05b61fcddb03f57171cba4b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Constant	False	Passed	Model Under Test Equivalent Model
3cbf8a3fc21abccc6a81abf358310d0334ed1398	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Constant	True	Passed	Model Under Test Equivalent Model
3c444bee6a3b6a7cb40fc8aff22f7c408bbb01c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Constant	False	Passed	Model Under Test Equivalent Model
7f19625f54943c2dda439ea0ca7a5419cd6958fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Constant	True	Passed	Model Under Test Equivalent Model
bccd61df71003f25dfca02298e197a090c1a2858	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Constant	False	Passed	Model Under Test Equivalent Model
1ae3f39aa8423fe5450a4f556794f8bd0c45ffc7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Constant	True	Passed	Model Under Test Equivalent Model
076f78df1b18484e52f08ca4dcc3dfafc3209001	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Constant	False	Passed	Model Under Test Equivalent Model

Index

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