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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
68478fb04d85e17f53e87c4ac08959440454536a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Or	True	Passed	Model Under Test Equivalent Model
fb82f73e26f7c2a445cae922d46051b105db031d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Or	False	Passed	Model Under Test Equivalent Model
0850602522321724ef5b4dc0cae641bcd55d63c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Or	True	Passed	Model Under Test Equivalent Model
5e5c8067000342bf08b5e0a1c5cce3c8db8a5a0f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Or	False	Passed	Model Under Test Equivalent Model
fe7d02aef6c824550a4c2239ec7ee2881e4a930a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Or	True	Passed	Model Under Test Equivalent Model
9d8302ed4d949d20db0ad2c65164cf7a11eaf347	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Or	False	Passed	Model Under Test Equivalent Model
9b6c0887cfff3490f711556408308c9540415d4e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Or	True	Passed	Model Under Test Equivalent Model
29adc9fc7f7047028d62ee1d481309ba1d260921	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Or	False	Passed	Model Under Test Equivalent Model
c840b20897f77ffccfade6dda04e89f44f1d45dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Or	True	Passed	Model Under Test Equivalent Model
b9dddec44deb8b2945c3b1041f1197892f640a42	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Or	False	Passed	Model Under Test Equivalent Model
4f065252dd3b45ea7f4eb49500b901a73b9af5ea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Or	True	Passed	Model Under Test Equivalent Model
7e31f6a7140b2990f0d77026a439f904bd11a749	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Or	False	Passed	Model Under Test Equivalent Model
c62734c22bbd2d5829409988f4b22cf1374ff2fe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Or	True	Passed	Model Under Test Equivalent Model
9077f3c69d49c32b86e6a55e695c3cb81ff1a6bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Or	False	Passed	Model Under Test Equivalent Model
19b62b001f2b404a25e4d22b68a1272c5bda6744	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Or	True	Passed	Model Under Test Equivalent Model
ae3450c5e307316410d86dc26114675a03363ec2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Or	False	Passed	Model Under Test Equivalent Model
d82f707afd414858169049935943acea0d77450d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Or	True	Passed	Model Under Test Equivalent Model
25a6a2dac411688e39f4e212b9d7dde578ffdbac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Or	False	Passed	Model Under Test Equivalent Model
720bed61556595e64da653187ee7464dfba1e0d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Or	True	Passed	Model Under Test Equivalent Model
7bcb738cceca3aebd0665fcfe5760b89dd2f1971	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Or	False	Passed	Model Under Test Equivalent Model
66721122359977c0d5f00ffbaa16d30dbe2f40c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Or	True	Passed	Model Under Test Equivalent Model
c4ae838c9b51ef8f6a701e98cdf08d6ef82f9099	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Or	False	Passed	Model Under Test Equivalent Model
c9edc086480af873f24a11754667e7f427f4a81d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Or	True	Passed	Model Under Test Equivalent Model
d9104ae2c8d65e0e5e9971e0389c5c1920e8df24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Or	False	Passed	Model Under Test Equivalent Model
1affd2a53ecf7e5c665e4a24e002ad97d3f68b73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Or	True	Passed	Model Under Test Equivalent Model
a4cf04c204cf8ac5a3132fb086dabbf661586681	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Or	False	Passed	Model Under Test Equivalent Model
73e5b33731baac33674d3544d8372feed9900fc6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Or	True	Passed	Model Under Test Equivalent Model
783e4e5f6bdd571c1dcab621d3659e92bc634769	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Or	False	Passed	Model Under Test Equivalent Model
27aca86f4e4f28f8177aa75ee463107ca14b704e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Or	True	Passed	Model Under Test Equivalent Model
cfac7cb5539de178c4603277220d691b0ff3e397	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Or	False	Passed	Model Under Test Equivalent Model
6c06bbb9dba7490edaa728001fcbbc6be3833cf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Or	True	Passed	Model Under Test Equivalent Model
9f6768701937fb838b621a7811bfefadb9b54410	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Or	False	Passed	Model Under Test Equivalent Model
5af035f67643c599833f4e1bf2d0459c2c855c0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Or	True	Passed	Model Under Test Equivalent Model
112d90992cf71a45dd1b7f0ae9287857d74ae45d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Or	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
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
9631a017f9018b753151779b427ad051cf34bed0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Or	True	Passed	Model Under Test Equivalent Model
09d1682ce24550e754433260715f05d50e9a25de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Or	False	Passed	Model Under Test Equivalent Model
09bf020788f3a98b0d359c9363eb167f513d2a25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Or	True	Passed	Model Under Test Equivalent Model
1b69d49e7466d41059921dd04cc5765f7fc9cb36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Or	False	Passed	Model Under Test Equivalent Model
8d73183c58f4e9d2b68a6f13acd4faabd0b6b6d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Or	True	Passed	Model Under Test Equivalent Model
9d345d7b3fb9e63c22479d75333ec2d52f8d19d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Or	False	Passed	Model Under Test Equivalent Model
448bb0d6b65449ee549788a44d34b74913053f1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Or	True	Passed	Model Under Test Equivalent Model
abc600f8a10a5b3617699e2919700a319b95d994	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Or	False	Passed	Model Under Test Equivalent Model
b849bf0da486a8dacdcb3764d69c3f88a02164db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Or	True	Passed	Model Under Test Equivalent Model
2331bc60f96c8cf153dee68904551a95e2eb8e58	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Or	False	Passed	Model Under Test Equivalent Model
1b02ed44e3f92b6b0f9e2ac9bdec5575b66b5486	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Or	True	Passed	Model Under Test Equivalent Model
c033126106074e3c104a727ff2906c7296c2a9aa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Or	False	Passed	Model Under Test Equivalent Model
38f76898b96eca59d988e81abc959df8df0f22d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Or	True	Passed	Model Under Test Equivalent Model
59ff9a0521701ac185aef2a568418281ee0bbfd4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Or	False	Passed	Model Under Test Equivalent Model
2cd476dd707f6259953a35e7886e2dcc569d3373	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Or	True	Passed	Model Under Test Equivalent Model
b66bc7002f0f2d71accadae367ebdbd9deb30a68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Or	False	Passed	Model Under Test Equivalent Model
6e44a44409d0330f0377ec943504ab1aa47918c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Or	True	Passed	Model Under Test Equivalent Model
6f9971264ec7bd44ced31569ec41494dd3970474	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Or	False	Passed	Model Under Test Equivalent Model
f5bd3f138686232c8dbdeb7995648781fd2a4510	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Or	True	Passed	Model Under Test Equivalent Model
c575b993fefd6baac4b4da79aac56cf4c5280025	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Or	False	Passed	Model Under Test Equivalent Model
911436d07b8a601b70ba3c6894871d4b6e88ada7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Or	True	Passed	Model Under Test Equivalent Model
8140af14c7366b4c75c6dec8e035b1a8315988b4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Or	False	Passed	Model Under Test Equivalent Model
772094668a82279680aebc191333eb50e112f774	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Or	True	Passed	Model Under Test Equivalent Model
3c039dcd953f48a57bde23dc5be24364cac04484	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Or	False	Passed	Model Under Test Equivalent Model
b348cf14547b5ffad620058e45f12e618fcd3bdb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Or	True	Passed	Model Under Test Equivalent Model
94aa7207c7b734c2d10d5f0232d044d022ecad47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Or	False	Passed	Model Under Test Equivalent Model
2096a0a29386f46c9e976b78e7705aa6f092c02d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Or	True	Passed	Model Under Test Equivalent Model
06bbab1343ef3b2d12fe1f736ba5f1478f130905	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Or	False	Passed	Model Under Test Equivalent Model
f239e34cb4162ef242df3bac0a301301a23995a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Or	True	Passed	Model Under Test Equivalent Model
6628b1c9a5b878ff0e3a4a90510a14d6b3be0cb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Or	False	Passed	Model Under Test Equivalent Model
03f61a88cc20e0709cb4129deae9c61182a8b043	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Or	True	Passed	Model Under Test Equivalent Model
11621a819b741fc823551eb543cd9f9098ee9e06	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Or	False	Passed	Model Under Test Equivalent Model
4db8b51a1c12ed2cc6fe1a5c76c177c465a27778	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Or	True	Passed	Model Under Test Equivalent Model
5dd59748ef26e91837aec0f995a34979e3bb8d12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Or	False	Passed	Model Under Test Equivalent Model
1b23c692e5ccbbb030e6e0071d3985d3e50ec12a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Or	True	Passed	Model Under Test Equivalent Model
984484ff13f59fd5f6d6cb105da0e7e3ec34fefd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Or	False	Passed	Model Under Test Equivalent Model
f0b01957303203681f2bcd343cc764d7db6a4908	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Or	True	Passed	Model Under Test Equivalent Model
41c4f23b6f0070dc510fb909dcb999153eae9f49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Or	False	Passed	Model Under Test Equivalent Model
c9eed75817a9985b8a364dbe088051c3d36e7939	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Or	True	Passed	Model Under Test Equivalent Model
d9f556e1911f35f7f26e7955cb34680c2a621a97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Or	False	Passed	Model Under Test Equivalent Model
2bdb24c4f44c3daf4936680fc8cfccfcbda9afe7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Or	True	Passed	Model Under Test Equivalent Model
40a3bbec033852fc91c86c9097b0d388f8a6b5a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Or	False	Passed	Model Under Test Equivalent Model
b1bf7de43d0eeb836e6431981c6e1738fd44b27e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Or	True	Passed	Model Under Test Equivalent Model
626132b34c0e23dc749a5716a7ade3c9938e481c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Or	False	Passed	Model Under Test Equivalent Model
5d8777a1b840e95f15a2d02bdaac1c4ee8c4a0db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Or	True	Passed	Model Under Test Equivalent Model
3f4219cd738a6af826289dd00e169bbc83b008c8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Or	False	Passed	Model Under Test Equivalent Model
78bfbf1a0eaa1c61e26a33ceca38d1ffd65fe0c5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Or	True	Passed	Model Under Test Equivalent Model
83a21a804e1b28002a52592cbfc7b0dc5ac6a628	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Or	False	Passed	Model Under Test Equivalent Model
7a18370310cfb510b20527b338a098968f509a36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Or	True	Passed	Model Under Test Equivalent Model
65e2f10b814f05defea33ee799501f5af54b7aaa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Or	False	Passed	Model Under Test Equivalent Model
da88ebf2e80505cdf73dac275a195e06e4685940	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Or	True	Passed	Model Under Test Equivalent Model
d3bb6893a5dff7d8e65c93948811e7012528389f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Or	False	Passed	Model Under Test Equivalent Model
fdd1fb433d137c329f4e7828d2cf9a3b5e5dd48d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Or	True	Passed	Model Under Test Equivalent Model
ec2e8221ab1e8944391fcfe444c1fa087b6931cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Or	False	Passed	Model Under Test Equivalent Model
173d8e075e0ce9abaa415ee1a96d50544f13ea91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Or	True	Passed	Model Under Test Equivalent Model
2abba9974154089c66ba22f66471b7815b1c94d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Or	False	Passed	Model Under Test Equivalent Model
34965b16137270a1c6c3cf399030f8ecb906857d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Or	True	Passed	Model Under Test Equivalent Model
8a2647de804263f80808eb5f17b6eb89e171346a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Or	False	Passed	Model Under Test Equivalent Model
b8a7d8c59bd036ca849a0183e3c42f285173870b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Or	True	Passed	Model Under Test Equivalent Model
ba57acf32c41dac42783604da8177678b58ccee2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Or	False	Passed	Model Under Test Equivalent Model
98b0bde5624c2e7b73d8d8fc1a2f975c059eba6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Or	True	Passed	Model Under Test Equivalent Model
f597bdb56f1d1c5e539341710230f16cecf85620	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Or	False	Passed	Model Under Test Equivalent Model
f14965e78afec17d125de7ac9ae891e8faf18f01	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Or	True	Passed	Model Under Test Equivalent Model
d0bb0373843a0cc9d946d481fc2e9ec989ee1454	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Or	False	Passed	Model Under Test Equivalent Model
810a6783f36b4e2e974f0cdbf05cc0a3b5a53f61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Or	True	Passed	Model Under Test Equivalent Model
948dbb45cebb5118563087e2b10aa2658dca6d5d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Or	False	Passed	Model Under Test Equivalent Model
3f3983c35713b602f75bb86027feac293353068b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Or	True	Passed	Model Under Test Equivalent Model
d4a1a072e6803f0ec0601a39713dfdaac5b61156	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Or	False	Passed	Model Under Test Equivalent Model
ef10dc96a0680a8e322244e7a422ce40391dd1bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Or	True	Passed	Model Under Test Equivalent Model
7ddbd55f18033a58f0c18ba91961c037e99bbaa0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Or	False	Passed	Model Under Test Equivalent Model
a7ee3a0bc2857b277e270d323469828dddc99ac8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Or	True	Passed	Model Under Test Equivalent Model
f611a13ae5a24e7c06445f1459ee7f57bbef6d80	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Or	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
1424e7d39f21f2233921eb26a3ef1166af278ebb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Or	True	Passed	Model Under Test Equivalent Model
3da0408122d445f9edcf79983918dac9bd2e0569	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Or	False	Passed	Model Under Test Equivalent Model
e95e6401813ed393c2c9806be1609595168e12a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Or	True	Passed	Model Under Test Equivalent Model
4c4586eaf00186f8cd2c3830456611ae33eeafad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Or	False	Passed	Model Under Test Equivalent Model
7747ce8d0b4ee8a0789d451dc1a99f9768a05ee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Or	True	Passed	Model Under Test Equivalent Model
bfde20900cc60fe2ee62c46f8546d1c6f032ced1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Or	False	Passed	Model Under Test Equivalent Model
c793231a51fd19a857ce1ba23b1d6900ab430e25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Or	True	Passed	Model Under Test Equivalent Model
0545440ea9d1c9d59e0f025a325cc346befbca87	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Or	False	Passed	Model Under Test Equivalent Model
b28ca7b76a0c57700b1b97fc0a4cc555eaff1b52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Or	True	Passed	Model Under Test Equivalent Model
b35ab03b7f2aa27133dbf4e5fd0d96e6bd469490	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Or	False	Passed	Model Under Test Equivalent Model
f3ac3bbe658c2ad8ecdd34a2fff44e563a410060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Or	True	Passed	Model Under Test Equivalent Model
890036591886a131df504e8b5bf20c396d4655d1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Or	False	Passed	Model Under Test Equivalent Model
ead85ad95cb50f2e02c49af1cf9e5169a0af4ded	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Or	True	Passed	Model Under Test Equivalent Model
d4df332813309bb67e17245458de51a8ef78f5b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Or	False	Passed	Model Under Test Equivalent Model
6bf1198c66f3ee5867c5218171ae547cd5d68e9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Or	True	Passed	Model Under Test Equivalent Model
13c7af5b6c280be2bc2c52cc81bee93970952bcb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Or	False	Passed	Model Under Test Equivalent Model
3794ae000447e43ee9d39a4bb1535f963d994afa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Or	True	Passed	Model Under Test Equivalent Model
9d9e42c851e618234179c4d79a0d5871891e8053	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Or	False	Passed	Model Under Test Equivalent Model
8d633faefe846ef3155307c430c2e89642d4901d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Or	True	Passed	Model Under Test Equivalent Model
5e341034ec58d2dc3492473ad8f5e8535fd93d05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Or	False	Passed	Model Under Test Equivalent Model
497081c28a43c4ac781fdbe355744047d0599582	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Or	True	Passed	Model Under Test Equivalent Model
da0ff79703ba004cb5acbe8b7732158114092f75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Or	False	Passed	Model Under Test Equivalent Model
289c19112d62c0a070c2e044df26d3359b611a0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Or	True	Passed	Model Under Test Equivalent Model
14ac18cbb340345ebb4c7c9f81cb9b4ec3c7ac27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Or	False	Passed	Model Under Test Equivalent Model
8d8bfd91cc10f7b734f840686677cd27d4f6a873	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Or	True	Passed	Model Under Test Equivalent Model
e84d03d0b53f70775951123b3cc3e4a3342b7eeb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Or	False	Passed	Model Under Test Equivalent Model

Index

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