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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
200f08082afcdadf3b5735457d55f6bb01223035	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	OneLineComment	True	Passed	Model Under Test Equivalent Model
981cd4f565c672dcce39481e309f6fc54c2e114b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	OneLineComment	False	Passed	Model Under Test Equivalent Model
29b2e316c3d45852e25668e8eeef8e384b3d7550	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b70d53b1fe2bd27e9cad1bb3d18bc05946bdd123	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	MultiLineComment	False	Passed	Model Under Test Equivalent Model
82bc106c6252c51f9d38ab9aa3b73faeca8d6df6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BoolTrue	True	Passed	Model Under Test Equivalent Model
0fbd8a5da1b244983dadb2e356f08a8db0b68a39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BoolTrue	False	Passed	Model Under Test Equivalent Model
99694a2d09ec62ff304a44036f747373da7c7561	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BoolFalse	True	Passed	Model Under Test Equivalent Model
2a70ff2b12d55e87608c3c582549213d45051abb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BoolFalse	False	Passed	Model Under Test Equivalent Model
78854d20eff06df04b560c4c1dcc144a4ec85bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	And	True	Passed	Model Under Test Equivalent Model
71d38221e1f1662bd1c42bb6d874f7a51a6c45e0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	And	False	Passed	Model Under Test Equivalent Model
58443b9b8a3577b0764de05152b4dfeb2e633779	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	AndMultiLine	True	Passed	Model Under Test Equivalent Model
79e43ac674788239f83a597752ea59c8b78e2536	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	AndMultiLine	False	Passed	Model Under Test Equivalent Model
7e4ba10949d02c4f6f97adb8a2aa71d267e56002	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Imply	True	Passed	Model Under Test Equivalent Model
87c52ecb175cef6a660e7babb7ab3a66215e6dd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Imply	False	Passed	Model Under Test Equivalent Model
1c79469a18ea38eea7082c837cb1dc9cad6710a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Not	True	Passed	Model Under Test Equivalent Model
898195a39fb82b067b959f649f69e385bf2b104c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Not	False	Passed	Model Under Test Equivalent Model
a87dce28f61d00ebe77f252bea05daab2291b7c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Or	True	Passed	Model Under Test Equivalent Model
83ad4d344ec6b49ae72fa69fc27587879f029d22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Or	False	Passed	Model Under Test Equivalent Model
880fa357329b1ab1208be32beb90c221dd363511	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	OrMultiLine	True	Passed	Model Under Test Equivalent Model
0bd059edcf7abd2fc59e913433067a5f0b741a02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	OrMultiLine	False	Passed	Model Under Test Equivalent Model
7849f7ab69af94c8d56058bba8e49d443f1d2def	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Eq	True	Passed	Model Under Test Equivalent Model
42b58ca204a1a8b34cc4a7428b7f680892abc97e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Eq	False	Passed	Model Under Test Equivalent Model
642949d739763bfedb2d87ec1ec6e1ce609d0f91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Ne	True	Passed	Model Under Test Equivalent Model
d92237081826b053e84aa905c3be6554dc4ada7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Ne	False	Passed	Model Under Test Equivalent Model
c4a97ef2da3ac552a887be3234e5377d29cf2e14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Let	True	Passed	Model Under Test Equivalent Model
5ede08daddabe74f7d0d5f2c04dc82b22aae938b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Let	False	Passed	Model Under Test Equivalent Model
197c60f2e65656443f8e2f8771cc67d26dc35010	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	In	True	Passed	Model Under Test Equivalent Model
8070f87e1058e6ec9c486d7882a47cd243ef95a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	In	False	Passed	Model Under Test Equivalent Model
57e0475ebc20180e9c51dce7103706ec0be8a53d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NotIn	True	Passed	Model Under Test Equivalent Model
1487a93230cc380e1a7db49385857d33bbf54d92	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NotIn	False	Passed	Model Under Test Equivalent Model
c46b958b0156f07c278cf3ef9779d2f665c9588f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Exists	True	Passed	Model Under Test Equivalent Model
fda8850bbf765ed184b5ee6e578ae11f61457e0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Exists	False	Passed	Model Under Test Equivalent Model
f52f53e020c2079e66d05be0801617096dd4ccc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Forall	True	Passed	Model Under Test Equivalent Model
c5d74e535a6f0ca1c7f8ffe2589d375f0510a403	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Forall	False	Passed	Model Under Test Equivalent Model
611eea18077a74fa8aaa0cdb81b9fb9371c2bcfc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Choose	True	Passed	Model Under Test Equivalent Model
1b19f520daaba296b3454b703f0a25e41c20abf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Choose	False	Passed	Model Under Test Equivalent Model
d5a2c3ba38c76bdafd1725c8a3de8261df3ccf38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	FunApp	True	Passed	Model Under Test Equivalent Model
c2927b3b2553359d2e934cbf0feebf16ad932c21	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	FunApp	False	Passed	Model Under Test Equivalent Model
61ee5da99fb74fb698f6e4ac76fd9f8059c9b640	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Prime	True	Passed	Model Under Test Equivalent Model
838ca7cb8b55924ecb3115a6b36539ee7b1d271e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Prime	False	Passed	Model Under Test Equivalent Model
fc2aeed4f1eafbbce7434590977b7231f3ee5109	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumGt	True	Passed	Model Under Test Equivalent Model
98b27bde8e53f5569a88de86ea7fdce47ddf129f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumGt	False	Passed	Model Under Test Equivalent Model
f4d58f5a866f8b6813998c49c2fef4143353e980	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumGe	True	Passed	Model Under Test Equivalent Model
b19078a3fe5b3c35a42eabb7e20d7d121c99ddb3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumGe	False	Passed	Model Under Test Equivalent Model
c1d20ceeae1be9811f6c64a7989c794f899e599b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumLt	True	Passed	Model Under Test Equivalent Model
3ba62533cfb0cd2fa2842272f33034a2b6ea8352	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumLt	False	Passed	Model Under Test Equivalent Model
7c3cadae368790d6ac2ee69a7cebf3286e913c2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumLe	True	Passed	Model Under Test Equivalent Model
f5d35fb9a4ddac19243f5e1c10a69fa740e3f3b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	NumLe	False	Passed	Model Under Test Equivalent Model
5f1b54b0a040ba2238cbf66a8c647d66bdb120fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def0	True	Passed	Model Under Test Equivalent Model
c36318954e9b0e0a1aaec7d378138dc1f4cda7c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def0	False	Passed	Model Under Test Equivalent Model
0a35a7b96fa6c9ad6d7fdf2dc184c2187952e29e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef0	True	Passed	Model Under Test Equivalent Model
ac4440822c87e77c031745749d046b9afed83bb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef0	False	Passed	Model Under Test Equivalent Model
fde8989dbb604cd128c2ec68dca2618ba716073d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1	True	Passed	Model Under Test Equivalent Model
82a8faec046d75cdcbc8384ef254b7521508d6ba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1	False	Passed	Model Under Test Equivalent Model
4783f2aad4231a7e1416d516cddf23a16b3dedcc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef1	True	Passed	Model Under Test Equivalent Model
d367e88fdf72106214e7cc17381137bcd50a2d91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef1	False	Passed	Model Under Test Equivalent Model
7646e89474c84b2805cc21b205448c9f2e3f0ac2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def2	True	Passed	Model Under Test Equivalent Model
79bcf547cc9454701f1c944ed72524563c17f994	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def2	False	Passed	Model Under Test Equivalent Model
f64a6a7e507f2f830ec6c775690dd1aab52f42d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef2	True	Passed	Model Under Test Equivalent Model
61db0936e4cff1fb67b314368f09c394977d88c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef2	False	Passed	Model Under Test Equivalent Model
c81911be638c8daf666b5b601c23e776f70fbfef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1Recursive	True	Passed	Model Under Test Equivalent Model
ca3ca7fb6cd2a4d7a10946c77843d8f39641fd9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Def1Recursive	False	Passed	Model Under Test Equivalent Model
fe60cadbea4021e5976c6b37b1e32ce216427f10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
0c83d081b27092c48ea72451efa735f41de68be1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
4bd07d2795320db58016c15c5898387bb5e68d94	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Extends	True	Passed	Model Under Test Equivalent Model
eb7a75dfc066e04abd189b28e37ccb5c0878ad50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Extends	False	Passed	Model Under Test Equivalent Model
ed34a7548a10767d0476389e74bfcfe21422807e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
ce7129aa094990f924df2c41a7d4aec6a88b587c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
d8f3ae4698bccc1480a21d4a509e0b078bd7031a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Variable	True	Passed	Model Under Test Equivalent Model
9c2479378ee5491c0f69296ceef4d3a340a4fb76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Variable	False	Passed	Model Under Test Equivalent Model
068dbdaa772a04938b0e61ea6f8dc7aeeff9371d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Constant	True	Passed	Model Under Test Equivalent Model
da686e708dc3146acce20e67b6f6ac775821b2ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Constant	False	Passed	Model Under Test Equivalent Model
96c1a32a29e3f348b761762155002c6b1615ad71	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	ConstantRank1	True	Passed	Model Under Test Equivalent Model
b63ab8b191065268bbd50bae98026e4a85294b4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	ConstantRank1	False	Passed	Model Under Test Equivalent Model
5cb2e8a121fd7c8502c6e3104dd3c080e30ae912	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Instance	True	Passed	Model Under Test Equivalent Model
59f260c3a9fe61c4a24d109934aaa8760837b8b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Instance	False	Passed	Model Under Test Equivalent Model
a01d5b89528f0fb9616cdcf98a8c5b8dbc538bc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceWith	True	Passed	Model Under Test Equivalent Model
4bc1f75ba25d5933fbbf812f3d06facfd62d55c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceWith	False	Passed	Model Under Test Equivalent Model
fd9b9d7e168d55f7232315936294ff8d3b17ceb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamed	True	Passed	Model Under Test Equivalent Model
b62c5aa7fcc261bdd6c97562a4f76655e3787340	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamed	False	Passed	Model Under Test Equivalent Model
0349c803251fdb6e73e11a12ee40188173887e33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
8b30477e52f8ef51bf6c107a38af26cd1ef0522f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
4a36167c24dfa57a0890e25cd5d8b1f725698ffb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
3357354d61cc21479b8601ad89dbbacc89596fad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
a0e853783dcac5a0da157f9a52bca31edfe564d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
ed15e9bbd121c789e15ceb72cbe7b0b7ebe152a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
399949eeda40195a0927f93fa8586a0e906aa01c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
083717438ab23b7683c3bdb0d2f4575d9ed1ee59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
ca6121dc95515a04ec0a6e0f5ec1d637e67958b3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
ccaf2e4503337d469054c70563e8e4c1015bf4ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
c4b6b9b0895ddf66b9f84e41fdb803fd6c4105cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Enabled	True	Passed	Model Under Test Equivalent Model
c3ce3e25d61da026f04fce5db9605376ece50106	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Enabled	False	Passed	Model Under Test Equivalent Model
b9f6c2b7541871273877d7f8fbabc72171d3a763	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	SubsetEq	True	Passed	Model Under Test Equivalent Model
059aa91981f30badc580c8d2e7013a8d634fa191	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	SubsetEq	False	Passed	Model Under Test Equivalent Model
b0cc4059f8e948e4c6290c87d704c20b9ba9fddc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfCond	True	Passed	Model Under Test Equivalent Model
ef5180ef0a778e1fefe04d5c0e5c4b53cbc300d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfCond	False	Passed	Model Under Test Equivalent Model
f460e42ddd808405d6780e7b4ffb976204ba7a51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfThen	True	Passed	Model Under Test Equivalent Model
9a2c36d47766973eebce96298029952ba8a56f97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfThen	False	Passed	Model Under Test Equivalent Model
88026522b658e880dc77028361dd82d441ec8dc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfElse	True	Passed	Model Under Test Equivalent Model
3ab9a787e2348bb4f8ae16d322d21fee0abfc4d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	IfElse	False	Passed	Model Under Test Equivalent Model
98a5b9fad7e0432b6a69f9d3f284c11c64853124	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Unchanged	True	Passed	Model Under Test Equivalent Model
8d76de3e795ce649817d61f3514fe746987319f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Unchanged	False	Passed	Model Under Test Equivalent Model
e82af38c9ae931259f730431b340eeee5854d63c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Equivalence	True	Passed	Model Under Test Equivalent Model
d4dfa4f50f94b1b872f9f348c1a4b4cecf85d906	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Equivalence	False	Passed	Model Under Test Equivalent Model
f97f94ccd43cf8e6d868b53ab8e988eb34959c08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	TlcEval	True	Passed	Model Under Test Equivalent Model
4a66b0ecb5f059f1a8a359b3c9f7f38c0fdcdf50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	TlcEval	False	Passed	Model Under Test Equivalent Model
dc742a41d7fad3a0a486ada0617db74c27d05c41	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BagBagIn	True	Passed	Model Under Test Equivalent Model
d80914afdc3d53d857053ec4b812c1e8c588f17e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BagBagIn	False	Passed	Model Under Test Equivalent Model
bf7077444290a80b5c9783674b7198f2504b0afe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
cc7c1a1bed083d4f25af18142f49ab88feae85c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
5d79f16eddd2382e715ee6c382467f6d05777431	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
7821ff75767a655a5746b1da3d25e1dc0e745122	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
d330a6b312fb5f1251bacfad6b76375872cc13a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	SeqHead	True	Passed	Model Under Test Equivalent Model
691554d5c4e2907e314705dff8a160a886b26ead	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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