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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
361edfed916a64477394d392431ee286d4da1149	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Enabled	True	Passed	Model Under Test Equivalent Model
80e0e4eb8eaf3efbf36b23079bf3dfd2e6ee9457	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Enabled	False	Passed	Model Under Test Equivalent Model
b83596dd72d71835f7e7030f4d9f2b77f1c53221	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Enabled	True	Passed	Model Under Test Equivalent Model
20fde3b1f1e6a2268bd7729f0594f14953e64e30	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Enabled	False	Passed	Model Under Test Equivalent Model
c59d94211cec8aec26bfacd18d501e32b9a8143f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Enabled	True	Passed	Model Under Test Equivalent Model
675797ad4998d59103b7a5b5d4c5d887ef1337bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Enabled	False	Passed	Model Under Test Equivalent Model
a61d147c4703ab41fa1c0924c5eca6c209a28184	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Enabled	True	Passed	Model Under Test Equivalent Model
fb384a849a05947da2c5d3826d973c3461ada15b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Enabled	False	Passed	Model Under Test Equivalent Model
6f33b9d557cb58df9db83c8214e1157a551991ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Enabled	True	Passed	Model Under Test Equivalent Model
d27868d5c18d7264b57b6a88cda56ce35264bb53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Enabled	False	Passed	Model Under Test Equivalent Model
b7875b6ee273cb2dd1938b568d4d45d195f7e6b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Enabled	True	Passed	Model Under Test Equivalent Model
88ffa7f5a62d5685c9a2e8e711f3766cc525acf8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Enabled	False	Passed	Model Under Test Equivalent Model
b5bdd83d682f016d2b48680dbabede892fe41a7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Enabled	True	Passed	Model Under Test Equivalent Model
5d5bd6fc285c0422ae381c9516af97d36649c431	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Enabled	False	Passed	Model Under Test Equivalent Model
fec2b1df25a28b973ca9c1ad6378e7ef8396a768	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Enabled	True	Passed	Model Under Test Equivalent Model
be144d399dc958f80ae963a6b273b1c1375f8c9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Enabled	False	Passed	Model Under Test Equivalent Model
0be4800b0ef52764e7f0e9d49e396c9ccca5f4ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Enabled	True	Passed	Model Under Test Equivalent Model
2f1f1db54ff300836c1a14c21d1bac89d1349bed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Enabled	False	Passed	Model Under Test Equivalent Model
9c8c463152f691896012b959166de63c2998575e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Enabled	True	Passed	Model Under Test Equivalent Model
86b8bdb5c47e41ef7c6bf6586314551a1c0c4455	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Enabled	False	Passed	Model Under Test Equivalent Model
b10b1864ae32993210c0fa578cd789c9329d4a71	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Enabled	True	Passed	Model Under Test Equivalent Model
430809d46eee4822a95c2bcef04257bda05eb6de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Enabled	False	Passed	Model Under Test Equivalent Model
0b8c947fa58a9c7cb629cdc69661706b5292a75d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Enabled	True	Passed	Model Under Test Equivalent Model
0e6f7f094a11c6c4c76aa8bb1d27e76d71fbf1af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Enabled	False	Passed	Model Under Test Equivalent Model
7cd5e0fed3cec71141d8eb7e4b3fe943f558f9a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Enabled	True	Passed	Model Under Test Equivalent Model
ce9ae9e981626eb08cf9a97ee13aad73b898b1dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Enabled	False	Passed	Model Under Test Equivalent Model
aa08676505314b76b87e367b02df54e6af00dddf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Enabled	True	Passed	Model Under Test Equivalent Model
1852753bb58d17e620a4054f22b49d6dce567857	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Enabled	False	Passed	Model Under Test Equivalent Model
2ac697b6c72e0e3c6db8e1ed57c2a6d078d5baf4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Enabled	True	Passed	Model Under Test Equivalent Model
5189fdbc245081ed8daeee3931ed69f2c7df73f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Enabled	False	Passed	Model Under Test Equivalent Model
99b02776c68c9e02e31df1758ed1e345b84141a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Enabled	True	Passed	Model Under Test Equivalent Model
01e200037ae1dab970fc3743f8a806ab9512f79e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Enabled	False	Passed	Model Under Test Equivalent Model
e1121187c67b6d25d54cd35b811856cda926a608	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Enabled	True	Passed	Model Under Test Equivalent Model
c82023c605cff1ae7df02fd08d27985da95b08a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Enabled	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
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
fd05f1cc03fdbb249034a32d779ef643bda5f246	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Enabled	True	Passed	Model Under Test Equivalent Model
f63a15d07d17abdf62c4882f40081beaa7a8a1d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Enabled	False	Passed	Model Under Test Equivalent Model
b6b74a687042875da35a952cf904aced0a34b3b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Enabled	True	Passed	Model Under Test Equivalent Model
d57a1cff4de1ab786e1f08c890ef37a1b507b9c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Enabled	False	Passed	Model Under Test Equivalent Model
009b3b2e7a1d80508ac9e19df8caacc61d1a83cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Enabled	True	Passed	Model Under Test Equivalent Model
45e61ae81d9a91c8ea1094f7c5005d9e449b4e28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Enabled	False	Passed	Model Under Test Equivalent Model
a2a3ff3899bce581252e1cf4cfe99932589066df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Enabled	True	Passed	Model Under Test Equivalent Model
ba1cac7fe79b3134d0af34551011a645d8c75ab2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Enabled	False	Passed	Model Under Test Equivalent Model
4759ec807285dc8b55a9ba07630947db7f83510f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Enabled	True	Passed	Model Under Test Equivalent Model
101f554254d4a0153cc3f24f3e318b9a114e3aee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Enabled	False	Passed	Model Under Test Equivalent Model
1b51e33e437e3b123608c86d764c562533bc5ede	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Enabled	True	Passed	Model Under Test Equivalent Model
5f65016eb36f9bc3aaad7245bfd96c0f7b4a82a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Enabled	False	Passed	Model Under Test Equivalent Model
1a8bb9c4eac0b51072484f4dee62e2a245df0d3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Enabled	True	Passed	Model Under Test Equivalent Model
457a219c8e3cce4097c2f6c347883019faa1ccc2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Enabled	False	Passed	Model Under Test Equivalent Model
6a4ec33feba3b95cf993d8aefaf85775bcd7eefb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Enabled	True	Passed	Model Under Test Equivalent Model
a6b34f1b3e03884e4f92de1a55b8d72d3f290248	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Enabled	False	Passed	Model Under Test Equivalent Model
1684680593f5f9420c0066ecb3136a04589204c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Enabled	True	Passed	Model Under Test Equivalent Model
4de9959e929485041753701d2a193c019a73a579	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Enabled	False	Passed	Model Under Test Equivalent Model
0359fd44f49dd41ced9ed836921524580ec47bb0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Enabled	True	Passed	Model Under Test Equivalent Model
d1abd9e29cb053905701bfdf5d2a3c964552f0c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Enabled	False	Passed	Model Under Test Equivalent Model
93b15cd12cc499d74efac9cc9f963d09392954fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Enabled	True	Passed	Model Under Test Equivalent Model
06440a9cc286610bf99b81efdc800e16ab3eab09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Enabled	False	Passed	Model Under Test Equivalent Model
d01ce622d56d89f4cccdcc0c77814bee8ff208a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Enabled	True	Passed	Model Under Test Equivalent Model
65f472088be1d59e1196071db093b99a98652c16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Enabled	False	Passed	Model Under Test Equivalent Model
70e4894b163cd2a30e13509d672efcf298be730c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Enabled	True	Passed	Model Under Test Equivalent Model
897e2aad7762a5bf9b1c99177e0e5d5118aaaacb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Enabled	False	Passed	Model Under Test Equivalent Model
114066d1a49f3a73e9690306d9e9ed3067a887f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Enabled	True	Passed	Model Under Test Equivalent Model
88cff4054e3b9b7767d7125356df61cf18e8521a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Enabled	False	Passed	Model Under Test Equivalent Model
268356901f0d5993ba6d99954590bbcbfd92798d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Enabled	True	Passed	Model Under Test Equivalent Model
c66106822892cf6cd357bfc3bd81dbd7500fa844	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Enabled	False	Passed	Model Under Test Equivalent Model
59924beb5af487ac64135f2a54e0a8468c1e6c51	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Enabled	True	Passed	Model Under Test Equivalent Model
3212c95f487f5556c5f68e00cb9a5908a5e86414	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Enabled	False	Passed	Model Under Test Equivalent Model
71a95f02172c718a7621ec71057dbc10fcf3eb1c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Enabled	True	Passed	Model Under Test Equivalent Model
210628d968a917e6e5078aefb3c8d75f6e282a63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Enabled	False	Passed	Model Under Test Equivalent Model
d6212729d33e42cbfcca0535ff090f24d01bed3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Enabled	True	Passed	Model Under Test Equivalent Model
760d9cbf8bfa26ef2ad6046ed8da0a74a328d266	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Enabled	False	Passed	Model Under Test Equivalent Model
d249c3d101a895d54cc5fe91caebb39636f4af90	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Enabled	True	Passed	Model Under Test Equivalent Model
046f1038705d0a6a83d371fcc83cafa97881ab23	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Enabled	False	Passed	Model Under Test Equivalent Model
691f7bb50c08b3181915914fb33afbd1dd42d569	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Enabled	True	Passed	Model Under Test Equivalent Model
635d300a2badca2d6a5adc96fdb6ee81c74ac65d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Enabled	False	Passed	Model Under Test Equivalent Model
b75068443a7c730c55e54b155384e9225644e723	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Enabled	True	Passed	Model Under Test Equivalent Model
208ad99cbecffb5df06ce910894a0cb145bd676e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Enabled	False	Passed	Model Under Test Equivalent Model
c107601c8771d02135ba2b63bfa1bfb51395513c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Enabled	True	Passed	Model Under Test Equivalent Model
70f638879a406037305b808e638ae94b99c46b03	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Enabled	False	Passed	Model Under Test Equivalent Model
950d3a68a38dbd64dabaa8e4191f998b41c382c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Enabled	True	Passed	Model Under Test Equivalent Model
f24b72916f4aafa1b30ed605c057559cbacc61fa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Enabled	False	Passed	Model Under Test Equivalent Model
8c87bf2cb3fdcb0de3c60a1159ec02631b6b6d5b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Enabled	True	Passed	Model Under Test Equivalent Model
d8f9b2aaeb7f36ef0c12d18ca1354bba6f717ece	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Enabled	False	Passed	Model Under Test Equivalent Model
41f8f7bfc324cdcdd5a1377af5ace5cd37d14e14	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Enabled	True	Passed	Model Under Test Equivalent Model
f068655b11dcd6f18d0ddd4288b9bba69c2fb54e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Enabled	False	Passed	Model Under Test Equivalent Model
c114e42b982d431cb84fa3d025c96733c3ae3f54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Enabled	True	Passed	Model Under Test Equivalent Model
37661a786d07e24d0b856293c90988061a25cff4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Enabled	False	Passed	Model Under Test Equivalent Model
b921c018e69bc9aa4d20d031759841af66ac39c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Enabled	True	Passed	Model Under Test Equivalent Model
8aaea4201122bc45bd5edd44f9f1272e3e410b02	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Enabled	False	Passed	Model Under Test Equivalent Model
a6b3be91e38823df0dd068d9c69faaf2bf4f7b5a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Enabled	True	Passed	Model Under Test Equivalent Model
f370202815d10a37aa1c472953a74eb3eacc607f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Enabled	False	Passed	Model Under Test Equivalent Model
3c5e1b7f668492b13c638a4e4b6726adb157129e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Enabled	True	Passed	Model Under Test Equivalent Model
e7ff8964098ee9fd3afe0a050018e2905cfa7c5a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Enabled	False	Passed	Model Under Test Equivalent Model
c21416955156e4b8d50a564bad791d8539d4c2a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Enabled	True	Passed	Model Under Test Equivalent Model
840cad31b63e2a421d409c0ebd404ae85d226171	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Enabled	False	Passed	Model Under Test Equivalent Model
a15f38706518f306478d80cf7fa5fd3c0a3ad87c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
4f892b70b9ca190b6710967298c5574697320afa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
7028af8134dd99421c47743d4feaf558846a4844	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
5a9403d61804b8b79948a2dbc9d687e096457008	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
3bb79116c397844da5291a5e9eddcd65b1e37fd6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
763ca8b73ae223360e183a1ba03c02aea61b003a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Enabled	False	Passed	Model Under Test Equivalent Model
2e0d1fd84d3139c69aaef637c2de41560d4b3342	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Enabled	True	Passed	Model Under Test Equivalent Model
d1748f38440776ac1d46142302a7e1afd82912ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Enabled	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
dee4af95b9e16a1f2ef37c5b33f22e2e29176bbe	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Enabled	True	Passed	Model Under Test Equivalent Model
4c5bc98b28259ee670f950721c3f0b44f534942c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Enabled	False	Passed	Model Under Test Equivalent Model
09732f6d0ef3b551c66641f1dd5b2168f12db315	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Enabled	True	Passed	Model Under Test Equivalent Model
9064e4d85cab434dcb04bf679a16a8cda916135e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Enabled	False	Passed	Model Under Test Equivalent Model
073cfbbe200db6784a2ed44dbb1ab85414e75de8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Enabled	True	Passed	Model Under Test Equivalent Model
3b669511f6a03f630fac20c6ed5c01e3919a4fe3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Enabled	False	Passed	Model Under Test Equivalent Model
07549ea88a59ce99b68dabe6ecfca636c63dc315	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Enabled	True	Passed	Model Under Test Equivalent Model
6c2401b84cd2287365d61bbf0015786c6355001f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Enabled	False	Passed	Model Under Test Equivalent Model
31a9dff2685bd35093d29216ad018ccb2d9fb6e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Enabled	True	Passed	Model Under Test Equivalent Model
b696f04fabfae8071ccc68b7e00cdc534087869c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Enabled	False	Passed	Model Under Test Equivalent Model
da7da34462f959a0ec276c4e7af45d333d2117c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Enabled	True	Passed	Model Under Test Equivalent Model
867c562288bf6b4a6027de9e9748277e2621e6a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Enabled	False	Passed	Model Under Test Equivalent Model
7c22a25e5401880c62fe323522c7d6d2c2f07b98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Enabled	True	Passed	Model Under Test Equivalent Model
bac3392e2dcd34b9992afc6ffb71bc2cc1fd7ed5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Enabled	False	Passed	Model Under Test Equivalent Model
4ae9a1d21a5ed4bad880f23879eb0215c808db68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Enabled	True	Passed	Model Under Test Equivalent Model
1ca73c56d85706479a3af4225f3a4a9eb0b2a3c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Enabled	False	Passed	Model Under Test Equivalent Model
b0044ab4754272510535571f0d30a82af07fc3be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Enabled	True	Passed	Model Under Test Equivalent Model
2eb92347ab1e62499c7d338c4e18d146d0d7be3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Enabled	False	Passed	Model Under Test Equivalent Model
45f6206309f0c5b74264bd7055eb1d0d0e0bb7ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Enabled	True	Passed	Model Under Test Equivalent Model
c2f778d10fab39430698504761ec610f52a730a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Enabled	False	Passed	Model Under Test Equivalent Model
1b3a46a894e690035d75af5ccd3c494aa5df2f44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Enabled	True	Passed	Model Under Test Equivalent Model
7185f0133ddc664a561425233a69b246a64da829	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Enabled	False	Passed	Model Under Test Equivalent Model

Index

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