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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
5745a50b227c08e687ab1a7ccbb5e84bebbb6453	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	OneLineComment	True	Passed	Model Under Test Equivalent Model
9d0ff3e0dede5975faa4339610ebefe18e40cf98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	OneLineComment	False	Passed	Model Under Test Equivalent Model
398581dfec0fc92d72a18a636001f58157c48e95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	MultiLineComment	True	Passed	Model Under Test Equivalent Model
a6cddfe88e7b203546336e473d9530ef7c60beed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e8866e89d523b5ce1060fb6bed661ef3be45c923	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BoolTrue	True	Passed	Model Under Test Equivalent Model
5524d928f75ad7a9d8067eb4c4d2bb75c6d167cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BoolTrue	False	Passed	Model Under Test Equivalent Model
0ac303c5157649b67d149a929671df9c842b61ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BoolFalse	True	Passed	Model Under Test Equivalent Model
73a14d0031af9b1a2081b9a342c2ad8cb0633f84	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BoolFalse	False	Passed	Model Under Test Equivalent Model
e76d784e394f517947b0224f1a6747c44ad46bd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	And	True	Passed	Model Under Test Equivalent Model
7144d6a6893a607e55b0cd56a475bb135a963041	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	And	False	Passed	Model Under Test Equivalent Model
5993f7b2ab10bbbc15061c4fb9dbaed0b36f35fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	AndMultiLine	True	Passed	Model Under Test Equivalent Model
7f39caabdeda1414bb9c58d6124623cbaad91421	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	AndMultiLine	False	Passed	Model Under Test Equivalent Model
c6d772009c27c8f4da4b0738657502945b965055	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Imply	True	Passed	Model Under Test Equivalent Model
903eaaff528d5a046180a5fa7f37d2aa1dce88b9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Imply	False	Passed	Model Under Test Equivalent Model
6ca23b66763302dbd7b147977bbf550ca90c3233	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Not	True	Passed	Model Under Test Equivalent Model
9da0316cefa0cd1014c3a656c6867f236395eeba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Not	False	Passed	Model Under Test Equivalent Model
2855317b8fe62cbeb1ae8ad4f21ec63aa6e2f7e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Or	True	Passed	Model Under Test Equivalent Model
3ef22d505d1381a673c8c2da49a38abce4f93602	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Or	False	Passed	Model Under Test Equivalent Model
0b1cb8148c967d21b3baffa6ddca6e79515b862a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	OrMultiLine	True	Passed	Model Under Test Equivalent Model
14c0bccb8a79dc0b31f09d20cb6834b2f64d071c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	OrMultiLine	False	Passed	Model Under Test Equivalent Model
1f487200b759ca519a6f9c35985ac69f342231f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Eq	True	Passed	Model Under Test Equivalent Model
37052f771f884669fda8b1a0d312d7510a23a643	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Eq	False	Passed	Model Under Test Equivalent Model
015582404595e55bd3e443fa7af15f1ddaa89573	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Ne	True	Passed	Model Under Test Equivalent Model
a6725f0db3924be72d9f3a723737016b88b80911	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Ne	False	Passed	Model Under Test Equivalent Model
1b33e4cfedf61bd1c294def8b63bf0e8d3681f0c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Let	True	Passed	Model Under Test Equivalent Model
4b1dd3489f9acbdaa36ae8609c82bf8269321093	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Let	False	Passed	Model Under Test Equivalent Model
7701b62592ff758fc58c6ab895d21702ef051d79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	In	True	Passed	Model Under Test Equivalent Model
a53bb07c8bb719d50474a84939706b879a23475e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	In	False	Passed	Model Under Test Equivalent Model
a8701ae266dad2d8bd8deef807ab1ce6ee974fdf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NotIn	True	Passed	Model Under Test Equivalent Model
f9c122824095358436c0b32328f468bdea803219	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NotIn	False	Passed	Model Under Test Equivalent Model
a9f7f5b9c44a91e334b4fd392043086b5896dc93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Exists	True	Passed	Model Under Test Equivalent Model
b1ed6e09cda940c0037b0938f96b0dc6931bf976	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Exists	False	Passed	Model Under Test Equivalent Model
98f314948fbe6408ac4fd600bb50dcc8b86e1d2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Forall	True	Passed	Model Under Test Equivalent Model
be54062ed4bd0d68384fb9a97b2e87593563541e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Forall	False	Passed	Model Under Test Equivalent Model
5e5026e0a554f350bdf8a2dbc78de155d0422baa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Choose	True	Passed	Model Under Test Equivalent Model
44831917a3f3125247a7d00ff5396b4c2ae9fad5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Choose	False	Passed	Model Under Test Equivalent Model
a782cfb97c14b82af0de43d2f5dd36d5816485a7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	FunApp	True	Passed	Model Under Test Equivalent Model
a8555b2917b5196feeeb0cdd7dd2a4c057a47854	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	FunApp	False	Passed	Model Under Test Equivalent Model
f94761eab9695d802376ee255617dff726d7c870	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Prime	True	Passed	Model Under Test Equivalent Model
258ee9b816b3396d598493a3d48304cc5124957f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Prime	False	Passed	Model Under Test Equivalent Model
70a6a5e162e7c28ab929b7312af566782400ec75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumGt	True	Passed	Model Under Test Equivalent Model
ba88e3153f7f3fbbfe356a295755f88ed0bbced2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumGt	False	Passed	Model Under Test Equivalent Model
9c3fa70c427fe1b5ea581659f7fe4633d6cfb0c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumGe	True	Passed	Model Under Test Equivalent Model
bc77cdcf35768cac78e17a658683afb110a6386e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumGe	False	Passed	Model Under Test Equivalent Model
abbaf4b77d7e618c8498ca6b06bda940f87acb5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumLt	True	Passed	Model Under Test Equivalent Model
552f0fb6f00f2fd110018ccd49b51555db5161a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumLt	False	Passed	Model Under Test Equivalent Model
1f1bfcafb5422285652e0054566c29c6582ef3ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumLe	True	Passed	Model Under Test Equivalent Model
b4d86c1beaef03c4334ca082d2400a08c6d5a712	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	NumLe	False	Passed	Model Under Test Equivalent Model
2c5e2693ca06afc5578c263aa3feaf3afa4a1aeb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def0	True	Passed	Model Under Test Equivalent Model
6f97438c1d712d98456fed7878b9d738a5e26453	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def0	False	Passed	Model Under Test Equivalent Model
38f5162d94b59b3f3e98e60092eca4225bc8799f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef0	True	Passed	Model Under Test Equivalent Model
0a85fb3bcce583566d4a48766316034938c308f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef0	False	Passed	Model Under Test Equivalent Model
2038545c2bc26d6e0e302fa03493316832d60d4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1	True	Passed	Model Under Test Equivalent Model
a87214f1a5c9ec27655dea83cc0d7005c05f7fe1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1	False	Passed	Model Under Test Equivalent Model
1194a80faa9bbaa850509702988236877d2bcec8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef1	True	Passed	Model Under Test Equivalent Model
83620f8c2744b1e06539c87889a2396902ab51f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef1	False	Passed	Model Under Test Equivalent Model
886ea5c51fd472c9ae828939fbbf0994abc69851	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def2	True	Passed	Model Under Test Equivalent Model
389f300fe9598508a405d0e37c7220dce685fbf6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def2	False	Passed	Model Under Test Equivalent Model
416b0e9a8b310e0239e1eeb1207bcee6883cc4aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef2	True	Passed	Model Under Test Equivalent Model
4109b62b8d4a7535d0071a7eed5e892da3377f85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef2	False	Passed	Model Under Test Equivalent Model
e859b21b89e7fa364e1371309c5d8b44f28c97cf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1Recursive	True	Passed	Model Under Test Equivalent Model
a8f02324579180364f676b6e4d94010dfff02454	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Def1Recursive	False	Passed	Model Under Test Equivalent Model
dd99643e6623700dbd626f402882b1b2170a912b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
ed893d6a727f104e73de6308204ceb5c4a7e50cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
1f0a21137d4d4368724fc670c02618acde0a3c4f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Extends	True	Passed	Model Under Test Equivalent Model
b8a170117e55f6f50f719a8c362d54068aa7f091	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Extends	False	Passed	Model Under Test Equivalent Model
16dff607ab0b921cc1567a6454c87f65b648bb51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
b7ee452b24c7fd3b1cf9f071ff57123e392e8a8d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
7cd907fcdc059fd13c49ecf93997d210ed41902d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Variable	True	Passed	Model Under Test Equivalent Model
8a2a49c4e30b347de61fccc9436ca8289187456a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Variable	False	Passed	Model Under Test Equivalent Model
3d24734f639bcddc393eca67b8bcfed0543171bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Constant	True	Passed	Model Under Test Equivalent Model
15f142419aebe88ce8e61afce304df18b4d1b9a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Constant	False	Passed	Model Under Test Equivalent Model
bb8d73d5a9b9cdd972fa90fe17d777beffeab68f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	ConstantRank1	True	Passed	Model Under Test Equivalent Model
545fc7282feb31ec87a1e21fe2172591f7bdaf17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	ConstantRank1	False	Passed	Model Under Test Equivalent Model
5c8af40da92dcc69e6825d97d0e52cfbac3b61bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Instance	True	Passed	Model Under Test Equivalent Model
8f3532c68045a2069e7fb457cb015ac42ea3c18b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Instance	False	Passed	Model Under Test Equivalent Model
61d290b8bd2305aa49734bea57304db84b726432	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceWith	True	Passed	Model Under Test Equivalent Model
d923138078f59e9ade7bf2f9a7d7235888708116	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceWith	False	Passed	Model Under Test Equivalent Model
1985c3f4b0f02500e102f17d25c22cb705f37fbf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamed	True	Passed	Model Under Test Equivalent Model
a090588658c6906575123f181fa39b7812cd5887	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamed	False	Passed	Model Under Test Equivalent Model
41e3262e31f306dc311b8c984a34af76c47dd125	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
081d6f215688723fcf4ec8c05cd3d4cff2fc8bab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
5e4ace8ff3205547da17e2d4b9b79e5490b21399	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
17df8b1ebe920ad13eaedc465c9896dee35cf8d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1c516410af05236e210c4fb83ce88ee98cc6b0bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
7f1cea26d0233e6d8919f77b0ba6d9acd6ba4bd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d5d6094a6a5342abcc823d3cdedd472c35d41be4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
d89b835d6d2f3ab1d486f9a47a61e636181afca6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
005bcceb078fc624fe40bdd9e32df6f904571fb1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f5eb93e6821380d5d4b8f7560507a07f97b6ddf4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
d2341d8285dda533a71e3a6d68cdd1e6e6478183	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Enabled	True	Passed	Model Under Test Equivalent Model
607b58d75dc9f4b2b842c128f2ad45079a9f0e64	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Enabled	False	Passed	Model Under Test Equivalent Model
2de25df17de2ef8ec0df6d25e9352551395f6977	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	SubsetEq	True	Passed	Model Under Test Equivalent Model
63afb017ba7c830ea000d9c9645c55a9f60cf5d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	SubsetEq	False	Passed	Model Under Test Equivalent Model
f4c473f071a192143b7f29dae8045c090094af61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfCond	True	Passed	Model Under Test Equivalent Model
e99f1f746ce635ae7a3ae82aace0ede86c2770c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfCond	False	Passed	Model Under Test Equivalent Model
d99b409efe9c79bc38ea0a166348a4a986af7f95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfThen	True	Passed	Model Under Test Equivalent Model
7f874c1749b4307c2a466ad3ed63005e1463a70e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfThen	False	Passed	Model Under Test Equivalent Model
7161395dbdd38105ab4bdcaaa424cbb3ce092df3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfElse	True	Passed	Model Under Test Equivalent Model
1dd762903f272ca5b8ff9e04b83703a3eb8f4c98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	IfElse	False	Passed	Model Under Test Equivalent Model
d53ebbb5f609c71642cec5c52eeec93000ccaa66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Unchanged	True	Passed	Model Under Test Equivalent Model
30e70b63c8550db32ae838a9cf2ab0ec627bcd44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Unchanged	False	Passed	Model Under Test Equivalent Model
78b0f65bd737dafaffbc8c3881f52bdde0d26714	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Equivalence	True	Passed	Model Under Test Equivalent Model
d3c45c97452c9436371670cec831e6b910db62f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Equivalence	False	Passed	Model Under Test Equivalent Model
87411b22c42c53d8824a433bae8dcf65b08e5894	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	TlcEval	True	Passed	Model Under Test Equivalent Model
f6aeda4dc89d17a3e3e541cc3d822841e3b793b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	TlcEval	False	Passed	Model Under Test Equivalent Model
6c31c11862dfdc7bac7031a02b7d1be6c98a17d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BagBagIn	True	Passed	Model Under Test Equivalent Model
1ee7c554d0012e784134e54716f7075bc689c2fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BagBagIn	False	Passed	Model Under Test Equivalent Model
1172cdbb666bfa8cbc77cb565bead5ab9400bd2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
81e32e33c9bc1c070eaaee0be1637465aa31367e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
220465625dcb4c54a930313b2f99bcf93704434e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
94ad22aef5da2d17405de4b1fc13306a9a5279b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
006b1a9156d8d0da022635bc5f57425e5d73b086	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	SeqHead	True	Passed	Model Under Test Equivalent Model
2b7648a69f67980f8c2d2b4be6bd6377618c2d66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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