Tests by case feature Enabled; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
d19176ed98af9ca5260b884a56d691f0dffd4edd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	OneLineComment	True	Passed	Model Under Test Equivalent Model
1e945089b5d00f24a64c5d2a51cb88992e790127	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	OneLineComment	False	Passed	Model Under Test Equivalent Model
566768ea94fadf8e66aa42eab98d76a077b17322	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e75a462fde642b8cbc5f3976d2aa1502e1c3a592	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	MultiLineComment	False	Passed	Model Under Test Equivalent Model
6c9d4b61dbe014f89336caeba06eac80898ea3a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BoolTrue	True	Passed	Model Under Test Equivalent Model
ad38a059466e10a7ede497c5556b445a24af72ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BoolTrue	False	Passed	Model Under Test Equivalent Model
dfde9cd9eb607070959d940dee5927dc1f1cdadf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BoolFalse	True	Passed	Model Under Test Equivalent Model
3f3bfecdc841c8823ec9fa2630e43ebd21515ee1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BoolFalse	False	Passed	Model Under Test Equivalent Model
4874c009b1ff939abc56bfae2028537866c80e91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	And	True	Passed	Model Under Test Equivalent Model
2c9ad958864af2e8a4adfad5e20d1864b32c5833	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	And	False	Passed	Model Under Test Equivalent Model
2821181d586a20912f82e42e12f7bb0a1f0b84fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	AndMultiLine	True	Passed	Model Under Test Equivalent Model
b1a274b78325673ac1e691f28c331b29701927dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	AndMultiLine	False	Passed	Model Under Test Equivalent Model
e76d9dbeb2c949601847d670b4c09fbcdde3063c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Imply	True	Passed	Model Under Test Equivalent Model
c3fac1b864b15f7f87601635f119a71d744c1c04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Imply	False	Passed	Model Under Test Equivalent Model
d932df2bbbfa6564ae522c3ba9406d0ce5ddb318	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Not	True	Passed	Model Under Test Equivalent Model
0c40824235dec1284c98d248a40d8520e81e1398	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Not	False	Passed	Model Under Test Equivalent Model
19f7b78915958700763866b7afbeafc9fed14304	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Or	True	Passed	Model Under Test Equivalent Model
d241c1e1dd5583d717f0a8d6141766a163af37bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Or	False	Passed	Model Under Test Equivalent Model
d1c06e79eda56efdd2e8c83df3b30e9282827d44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	OrMultiLine	True	Passed	Model Under Test Equivalent Model
10b73feb88d918a3d43a3fb2c0ea87baf7e1bd75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	OrMultiLine	False	Passed	Model Under Test Equivalent Model
4af7f648f8edd44cc5ffbed1ff5f2bb3a6b7bd6e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Eq	True	Passed	Model Under Test Equivalent Model
042cd8fd287027eaaa077f1d8c5c46e93ee3e766	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Eq	False	Passed	Model Under Test Equivalent Model
dd0474233414cdad524388e02b65498dd92fb77f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Ne	True	Passed	Model Under Test Equivalent Model
54f1496732f644af3085eff57a140fc31ed85f09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Ne	False	Passed	Model Under Test Equivalent Model
fdcef5218d9f6187cb27d5d9160494ead0944244	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Let	True	Passed	Model Under Test Equivalent Model
46c445a529959c74ce5b66b392e1ca827611c4d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Let	False	Passed	Model Under Test Equivalent Model
96a89045cf769a7c87e0b5970ca4b444f90f144a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	In	True	Passed	Model Under Test Equivalent Model
20c258f56c85f85ffcea5b24201dcc4aeddab56f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	In	False	Passed	Model Under Test Equivalent Model
34356f92ee62b348638f8c56451728a5e27a78f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NotIn	True	Passed	Model Under Test Equivalent Model
cbd78070be21f9be8b3a314f1f2429fd3217bd83	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NotIn	False	Passed	Model Under Test Equivalent Model
07226c524e2d230073067cd296d32b05694ffb22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Exists	True	Passed	Model Under Test Equivalent Model
924413e7e73e971c8701a8d3cd936a02e2491692	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Exists	False	Passed	Model Under Test Equivalent Model
d86bf5047d743863f483ecbbcb3d016074b7c895	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Forall	True	Passed	Model Under Test Equivalent Model
d335dbae843b4280c635e54a46cd0d9c6ba6a3a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Forall	False	Passed	Model Under Test Equivalent Model
753f547c2372ea49cded3b15aebbf17c9aebb689	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Choose	True	Passed	Model Under Test Equivalent Model
bd16f50628405fa67b9c6958621619670685ee42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Choose	False	Passed	Model Under Test Equivalent Model
687ba79a58b68fa624a861d9bbdf8e181fe97e29	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	FunApp	True	Passed	Model Under Test Equivalent Model
fbc80449ca1be0e0f834d8636da967fea59d884d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	FunApp	False	Passed	Model Under Test Equivalent Model
2d0b69a37e09aa874bc945a4d1fd24ba588d9b87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Prime	True	Passed	Model Under Test Equivalent Model
31d966351a442a82a4b7d9f413994eab3872451e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Prime	False	Passed	Model Under Test Equivalent Model
2d01969abe67b6e34359abc40047dbd7bb7bfd82	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumGt	True	Passed	Model Under Test Equivalent Model
e39fd6af6a204a01814abfc0f7222da4275fd40c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumGt	False	Passed	Model Under Test Equivalent Model
eacac63e90d69877fc1890814e66e8015bb9722b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumGe	True	Passed	Model Under Test Equivalent Model
3a12c9c3da62a4d3a9336f6dff36e9577ea746fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumGe	False	Passed	Model Under Test Equivalent Model
72d89597e05213b4c456376434724147bc800d10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumLt	True	Passed	Model Under Test Equivalent Model
e2485ebe7de472a95b36741c3f2f3bc22786f1bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumLt	False	Passed	Model Under Test Equivalent Model
0857eb3a980402c0e6dd9b0e4ae5e05441d93734	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumLe	True	Passed	Model Under Test Equivalent Model
859db7e19bb3cc7acbf48a8a54e79529a7bf3b53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	NumLe	False	Passed	Model Under Test Equivalent Model
724fda60107a54b67b9c92e94d3fffa618221b65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def0	True	Passed	Model Under Test Equivalent Model
01131724da62f6fb782f69800b81c78a97d6392e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def0	False	Passed	Model Under Test Equivalent Model
6f56d1137d5684a7f9b7187a1dd8116737bb8715	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef0	True	Passed	Model Under Test Equivalent Model
a854db00b12252c5ed946632ffc068e5de029b94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef0	False	Passed	Model Under Test Equivalent Model
6321282576deaa193d88c1e461d9a4898124b003	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1	True	Passed	Model Under Test Equivalent Model
fe811e2c2a5431f6989a1330013eaf6a024d12c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1	False	Passed	Model Under Test Equivalent Model
3a348b9d93b8aa7a6b7fa3f1a3507c50d3e64743	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef1	True	Passed	Model Under Test Equivalent Model
55300b5559868346496d366f63787cc3e5131e80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef1	False	Passed	Model Under Test Equivalent Model
fbbc7ae5bf80bd7f0ac1c1e3c97e580baf48fc08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def2	True	Passed	Model Under Test Equivalent Model
d0f5ee31352ed1d6b41db116a652a104726e97d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def2	False	Passed	Model Under Test Equivalent Model
ff8dd42c7110031c6cee2fb35e0d673731c3cb15	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef2	True	Passed	Model Under Test Equivalent Model
cbd9b474f7d4298c93011edb2b1648525d3d02bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef2	False	Passed	Model Under Test Equivalent Model
48fe34026ed9cc248ec131e972ace97f81c295ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1Recursive	True	Passed	Model Under Test Equivalent Model
91ada613fe75346959d20ac2bbe1f29a61dea892	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Def1Recursive	False	Passed	Model Under Test Equivalent Model
0e3f1693717d163b800813da6368f71fe8bd531d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
f785c583df7ec0231a918f39ee9b69442bf9317d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
9ee28f646c503a13300d115c7df79fc40c9fbce7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Extends	True	Passed	Model Under Test Equivalent Model
a15b2477fe1844f4f6e05c26a595d177ed4bc6f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Extends	False	Passed	Model Under Test Equivalent Model
25d6fef9d448614ff28ecaed07f5bb8d7b6d77f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
dc3154708cd01fd1b492e5627fd2a5b06cc9790a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
02c4f0f1a889f5b96b788675693f55e260628405	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Variable	True	Passed	Model Under Test Equivalent Model
70f6b8aabeb46c98c5fd892673ff92339014b51a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Variable	False	Passed	Model Under Test Equivalent Model
b067c6699b4b8150e5119eb50669e67688f2511c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Constant	True	Passed	Model Under Test Equivalent Model
1b9c4860c699d748ef4a02fbbe8860ea624b75b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Constant	False	Passed	Model Under Test Equivalent Model
cd311eb68b0681a43da196b23af66765791141af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	ConstantRank1	True	Passed	Model Under Test Equivalent Model
63c3dfbfe4153172fa8a9d65a529d7e80f635e95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	ConstantRank1	False	Passed	Model Under Test Equivalent Model
464d6d2191e96734cb08ec4f25cb8e6464993c1d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Instance	True	Passed	Model Under Test Equivalent Model
5fceb13657e79be646f46c20ae4faef3de93ee90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Instance	False	Passed	Model Under Test Equivalent Model
5aa17a09712e5aa2f72e041d0588629575bf45c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceWith	True	Passed	Model Under Test Equivalent Model
1f6aacc1a18d012601e93c78a51c651bea8ed98f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceWith	False	Passed	Model Under Test Equivalent Model
665d5c32ec9287d3ddc3f3f9e74627327b244a4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamed	True	Passed	Model Under Test Equivalent Model
d7bc71ec4f14ba327d18bad1d78da3f180448e7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamed	False	Passed	Model Under Test Equivalent Model
1b1e6d1189c73c9b1b8169655f1506fc3cd9cb48	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
85cb87d6bff72791ecececf0a4c34ea2907d400c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
05fbb7fe72189c53bc69923e5a9da3027937f1b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
5cab60e8281451afaa908e9a5e7d4f817f39f562	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1d952f6e81da3bceec389f3128f8a2cb17686087	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
1b134d1437a58c9508ec5ecd0aae65f7ea26e65e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
67f43ec27b9648d9c121c272f2ae794d4141a5a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
e5d28d136cdc6f1809e04c924090cc436f5a3ec9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
d7df6821633d860fd887cefec1f31e7b176f9ef6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
7fb5413f20c5b5e4eab45c9fd266769a4ce99988	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
315aea8057c83a08f8ff2d33a6c1098faa5f5f08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Enabled	True	Passed	Model Under Test Equivalent Model
97c0a1f459e34d9166588a2c42bffc8dd93018a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Enabled	False	Passed	Model Under Test Equivalent Model
ea3b0b27ba1c7193f280e002e769d6e36de10b5a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	SubsetEq	True	Passed	Model Under Test Equivalent Model
0bc72b614abe0b3b43e40ab5e916e03e5a774c11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	SubsetEq	False	Passed	Model Under Test Equivalent Model
e49082d441fea779b7c33bb880e6da2afbc124d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfCond	True	Passed	Model Under Test Equivalent Model
b8a087da7f3283f851ac15200b3a79194832ff68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfCond	False	Passed	Model Under Test Equivalent Model
4233ed71fef7873799af771ca0109ec440dcc331	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfThen	True	Passed	Model Under Test Equivalent Model
d07fb2cc336c3643ebb19218d62ee0f4bd39646e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfThen	False	Passed	Model Under Test Equivalent Model
75b19dae3a927809e9168524e9421d5bd3fec834	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfElse	True	Passed	Model Under Test Equivalent Model
e3ab5dbefe6fbbc3afc2c3fc8c1aa3e20b51d19a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	IfElse	False	Passed	Model Under Test Equivalent Model
336c111b5df08852ee382965013ea51f7e357ec4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Unchanged	True	Passed	Model Under Test Equivalent Model
53198ba3f53a7fa0999ed4af26529d44a3834e00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Unchanged	False	Passed	Model Under Test Equivalent Model
2c22dbbc20231b7adb7ec9e22a0eb9b051b36c65	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Equivalence	True	Passed	Model Under Test Equivalent Model
d42b4287082dd9b331420c5e98fbf5e3a9935cc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Equivalence	False	Passed	Model Under Test Equivalent Model
ac372a054c96c55df88631fb629a212277902f08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	TlcEval	True	Passed	Model Under Test Equivalent Model
76694e342ac2e20fc1e40b33d956cd1f8aed49f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	TlcEval	False	Passed	Model Under Test Equivalent Model
e398aafc63291e1e159175fa3c012d14ea3a29e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BagBagIn	True	Passed	Model Under Test Equivalent Model
0cd0fcf6d515d9127b6fb35d6d089b7bfc79c145	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BagBagIn	False	Passed	Model Under Test Equivalent Model
6141c252d9c67ad5a8c99769895771459b938ed9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
d08afecd44756084edfd05cdbeaa6e14b1d780b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
0473c0ae9d27cd09a64d02ab7a825023e44f4ece	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
a1be1a75785f3340fcd464423e716faacb3b6489	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
a77045a8f878871b03bf8669266c03e6ba441563	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	SeqHead	True	Passed	Model Under Test Equivalent Model
d6d66666585dec960bdfbedd165bfe13e22978ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Enabled; CLI Option: -workers auto