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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ac7dc09341cab9dc44efc3dcf239aff44b3ab6bf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Constant	True	Passed	Model Under Test Equivalent Model
45c2a405a485a9b496610730c36e94428e2b6a53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Constant	False	Passed	Model Under Test Equivalent Model
658725d2c699f60e0ef52249dbaa41a26fc879b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Constant	True	Passed	Model Under Test Equivalent Model
bc9c9579e11863ffb540282572453b6432cbab7e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Constant	False	Passed	Model Under Test Equivalent Model
7d23d4366d116d21f38d57d6d67f1c466efa1ddd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Constant	True	Passed	Model Under Test Equivalent Model
f14e302151cd3d78b27aecefe85107ed6112b81a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Constant	False	Passed	Model Under Test Equivalent Model
432b1673e7e1a1a339fb3a211311810a7358b266	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Constant	True	Passed	Model Under Test Equivalent Model
46816552ad625b0f3011e4d6d96879dab2126e3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Constant	False	Passed	Model Under Test Equivalent Model
038fc2196150247357e63f402e3a2b41b4b0ea5d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Constant	True	Passed	Model Under Test Equivalent Model
74e5a31f30ad1ad7a8ffcb525d843f2b747b3615	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Constant	False	Passed	Model Under Test Equivalent Model
e1cb133969f7c7ccfdf71e66b06877cc2dc3bc3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Constant	True	Passed	Model Under Test Equivalent Model
66753b0e3dba60409a38f621d56b7315c9a1874f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Constant	False	Passed	Model Under Test Equivalent Model
5ab9d1c3f73d2b95a97a380ae29d19f710f7e51d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Constant	True	Passed	Model Under Test Equivalent Model
c9c34898d95a1df5dcc132a31f95849023a69aea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Constant	False	Passed	Model Under Test Equivalent Model
3325c32b0bf38aa05f1e08ceb4260ed01c0560dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Constant	True	Passed	Model Under Test Equivalent Model
3ed2d50a1f82cfcfe18e5c319de03680d6141c46	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Constant	False	Passed	Model Under Test Equivalent Model
81a42ce8b4a2aba52eaf4703d0ebd153425e4c04	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Constant	True	Passed	Model Under Test Equivalent Model
9fa9edcd5219e90d21a4a91352f5c7bf2cf67cfd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Constant	False	Passed	Model Under Test Equivalent Model
0d5a09fea6b7eac6738b855a79bef7e32e8d41bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Constant	True	Passed	Model Under Test Equivalent Model
c09ec86f8b816b168dad8f569c694d30183a2093	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Constant	False	Passed	Model Under Test Equivalent Model
3d4f46785276024dfccfd3f9038904cc8b5edbde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Constant	True	Passed	Model Under Test Equivalent Model
f968178ce5a6b53d03c4c205f766a3bfda8e4d69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Constant	False	Passed	Model Under Test Equivalent Model
067d02e7cb6e872cc0a1c336125c5dc3173199ee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Constant	True	Passed	Model Under Test Equivalent Model
7a2989bb56af64b4e894efe5457859c9d2b0c395	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Constant	False	Passed	Model Under Test Equivalent Model
5465020643516902d9284670ed9b32ec76f265df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Constant	True	Passed	Model Under Test Equivalent Model
9905fdfa8d199e4d4530032eefc6a53f7c533bc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Constant	False	Passed	Model Under Test Equivalent Model
8ea2b396b6e7d4a3f675707483a6ebb009f775f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Constant	True	Passed	Model Under Test Equivalent Model
06818fa70913a993a0ce0e5e56fdb87426bafc50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Constant	False	Passed	Model Under Test Equivalent Model
4a5798964ccf6fa88952003371ab77627f3609ec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Constant	True	Passed	Model Under Test Equivalent Model
39c68582e4685138b3c00e75ad88cfa579c2efe4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Constant	False	Passed	Model Under Test Equivalent Model
114a544d3597346bcc8ec000be12ca69e8eca86d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Constant	True	Passed	Model Under Test Equivalent Model
79d4720506a2fa2f03fd942f1f4b0b0ec82cd4d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Constant	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
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
1ba4d82f205e9d9f05a2eb8037d416fc09ce3840	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Constant	True	Passed	Model Under Test Equivalent Model
6562097546bad430a1a37134febc62c7b22656fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Constant	False	Passed	Model Under Test Equivalent Model
7c281cf6de5e91ea90062f605eda56c38e4d34a5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Constant	True	Passed	Model Under Test Equivalent Model
e5c40528c6e7a952ee000cee6e53b9d7f01b19b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Constant	False	Passed	Model Under Test Equivalent Model
066e1e351e340d464385717fc50430ae42789a74	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Constant	True	Passed	Model Under Test Equivalent Model
bc08aac6409212725cbd7f4ef60a74adf99eeaf0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Constant	False	Passed	Model Under Test Equivalent Model
b4debf5cdfca4692e1334e8dcf9eb7bd37f7fc77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Constant	True	Passed	Model Under Test Equivalent Model
70f8ebb9ad3a9083e560a687315a48e8353fb41c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Constant	False	Passed	Model Under Test Equivalent Model
a25865770fbd40467a7bb8e29deda395a5ac26b2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Constant	True	Passed	Model Under Test Equivalent Model
0ce71a0726ef67ab3068550cdb7fc19ac6822aba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except0	Constant	False	Passed	Model Under Test Equivalent Model
4747d7fef23123c60b9ac57691c66eae1d93eeee	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Constant	True	Passed	Model Under Test Equivalent Model
7055769c36ad4504b70d29233585858720c3d88f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Constant	False	Passed	Model Under Test Equivalent Model
4349c7ad3e521865823f7b56e6e5107a18c09c25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Constant	True	Passed	Model Under Test Equivalent Model
cd117d6afdbae132d0442e5f5516c80924dc3bfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Constant	False	Passed	Model Under Test Equivalent Model
6bc26d19054a6169a5df7e65dd4b86c1b66c1243	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Constant	True	Passed	Model Under Test Equivalent Model
f806d5b22e243fad56817ad6b7d16cfa3666e5f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Constant	False	Passed	Model Under Test Equivalent Model
e3eeac06b15424f3dcd6164f19509932642b3378	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Constant	True	Passed	Model Under Test Equivalent Model
f060f173d182adc667658b5085aee6eed4d52011	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Constant	False	Passed	Model Under Test Equivalent Model
767f89e7dd241591c17e3c0665af5b767c2263d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Constant	True	Passed	Model Under Test Equivalent Model
5c2c07189eca36cdf104fa22093201aef17fd6dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Constant	False	Passed	Model Under Test Equivalent Model
94d8cd7feb550c8572d0fc8823d7ea7b0a22b85b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Constant	True	Passed	Model Under Test Equivalent Model
e5a0bb40443b47ff3eff985b0e308c6dc9c399f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2FunTuple	Constant	False	Passed	Model Under Test Equivalent Model
ecea71b4a68f12f1819950705be03332f4783e97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Constant	True	Passed	Model Under Test Equivalent Model
53526fcbfb694fdf53792275e1fbd419f8f6089b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Constant	False	Passed	Model Under Test Equivalent Model
afa237fbcc2c135f185ba8b6c33338b371160ace	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Constant	True	Passed	Model Under Test Equivalent Model
cf5d3dc02551b653d514f30a4633f36f0a5d45a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumUnaryMinus	Constant	False	Passed	Model Under Test Equivalent Model
f89ed214f86d2098b9753c1b75d206e2cd52b78b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Constant	True	Passed	Model Under Test Equivalent Model
cc6e45cbacbe44640e83684816412f0a85175007	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPlus	Constant	False	Passed	Model Under Test Equivalent Model
e58f9ff651952c4fd075fc47f261eff1ba8efe95	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Constant	True	Passed	Model Under Test Equivalent Model
e947f4afa10295aa07d2784659c0b8527504e34f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMinus	Constant	False	Passed	Model Under Test Equivalent Model
44b9d5c5c96cf4b0feb751ecf936d43155627703	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Constant	True	Passed	Model Under Test Equivalent Model
c2632d1ab193a490eae011c1a4cf4df0d255cb63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMul	Constant	False	Passed	Model Under Test Equivalent Model
1fc7afcf871ab7f45e806cbcd09430d50f390107	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Constant	True	Passed	Model Under Test Equivalent Model
f8c49d6e3d078162694ea83e53afc842e2c8e712	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumDiv	Constant	False	Passed	Model Under Test Equivalent Model
4fb022e8959be69380b5ea986b58e61084e6c732	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Constant	True	Passed	Model Under Test Equivalent Model
090b5e5b1730cee8d35ad3336b1c9dde50845fad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumMod	Constant	False	Passed	Model Under Test Equivalent Model
439723ad3b424b0eeffd57aeff3726b38af61603	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Constant	True	Passed	Model Under Test Equivalent Model
0dbc45558a1d0fc9349cd6d273612f7d84dc5065	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumPow	Constant	False	Passed	Model Under Test Equivalent Model
3916f4e8357223b8f86d6f5422e033b6c44fb562	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Constant	True	Passed	Model Under Test Equivalent Model
500f2e3ce338780978b159fb2b3c091898367de7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGt	Constant	False	Passed	Model Under Test Equivalent Model
524179d5f17ffb56c5150c30de8ad66159b38bb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Constant	True	Passed	Model Under Test Equivalent Model
ccf5e0e9e0db10e6a9241d4c9c0e5b80b9b60aa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumGe	Constant	False	Passed	Model Under Test Equivalent Model
3831b1317f442ad288cc77627751d899d84028db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Constant	True	Passed	Model Under Test Equivalent Model
a751938a1f7d63c2fc6b0dd2cb5b829bce5800ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLt	Constant	False	Passed	Model Under Test Equivalent Model
e695b9992933110351a3c60cdfc07c5f014a0836	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Constant	True	Passed	Model Under Test Equivalent Model
c6bd6e4959b36ea5213baf93fce5452b7728dc49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumLe	Constant	False	Passed	Model Under Test Equivalent Model
2a870de4362854a898d85836c327e4cdf1056611	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Constant	True	Passed	Model Under Test Equivalent Model
cd7b0b32493754cefeeefe51da17e12ed5ba40ab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Constant	False	Passed	Model Under Test Equivalent Model
1cfda312fc26ebbc15aed454fdc3aea5ff7a6711	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Constant	True	Passed	Model Under Test Equivalent Model
8ec72f5d13dcbe3f4d36754d300abda45628ff78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Constant	False	Passed	Model Under Test Equivalent Model
9df46ef48fa9a4aed32d1062447dffb3d8dc9ce0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Constant	True	Passed	Model Under Test Equivalent Model
76ff6cecca11cb7aa1d4f343f64874ebb46be1d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Constant	False	Passed	Model Under Test Equivalent Model
37af5141d2af35730cde68db1f7eaadac44e1639	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Constant	True	Passed	Model Under Test Equivalent Model
0e4f6c5b9ce2228d8b9f61e0a6f1acb1b7d02202	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Constant	False	Passed	Model Under Test Equivalent Model
ef26f1ae6760ddb2d96e4c9e5ade7306d4fdd872	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Constant	True	Passed	Model Under Test Equivalent Model
8e72b785fc7a11d35df736f20f3d36444e46b15c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Constant	False	Passed	Model Under Test Equivalent Model
c7b5597a8da1c96a813dddc2b22f1d569a608429	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Constant	True	Passed	Model Under Test Equivalent Model
fd1d144e3ee6fe14bcf5476648ba3a2cababd0d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Constant	False	Passed	Model Under Test Equivalent Model
f27ddc389010f0e1278b7970feac01cf1a231ca6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Constant	True	Passed	Model Under Test Equivalent Model
53791c0f3f4c8a29d625e52e8b332aada8d15d73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Constant	False	Passed	Model Under Test Equivalent Model
e8db354fd25ea8eff92ecec0f9c0233666434a8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Constant	True	Passed	Model Under Test Equivalent Model
a275a14376a2f1282a9c77393afb375910d4b6a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Constant	False	Passed	Model Under Test Equivalent Model
71db2ec4622fa1f147bbe4a53593bbc0eea033de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Constant	True	Passed	Model Under Test Equivalent Model
67ab45f800504e47a7184131b869a6bff7350a05	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Constant	False	Passed	Model Under Test Equivalent Model
2b95f2176cc7f48ec699ccba2e30b47677303f81	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Constant	True	Passed	Model Under Test Equivalent Model
1d2416e2c4ec93cd7c970311cbc5d63319b09cb7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Constant	False	Passed	Model Under Test Equivalent Model
886e381b9b502d099e7f26198d42508637634480	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Constant	True	Passed	Model Under Test Equivalent Model
6400b6ee8db8dfb429a8275aad253ae0194f30e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Constant	False	Passed	Model Under Test Equivalent Model
a0afedc91fdcb927ef1b8942f097bedd13ad2164	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Constant	True	Passed	Model Under Test Equivalent Model
3884331a91dc9037f01bb854de25d51fb1005719	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Constant	False	Passed	Model Under Test Equivalent Model
cfcea4b00629e39b4963d3c2474136ecb30bdb10	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Constant	True	Passed	Model Under Test Equivalent Model
3b3cf1a9cd31c7bc5d48f7e7acbfa02c1e7fdf8b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Constant	False	Passed	Model Under Test Equivalent Model
fcf12ba3405f6aa154554910e46e35b0fcd7cd53	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Constant	True	Passed	Model Under Test Equivalent Model
ebd2ecfdaaa391cc3f1790613b41e80fc96751cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Constant	False	Passed	Model Under Test Equivalent Model
fddccb85ee27b200a4c13b58b921b006dd29e5a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Constant	True	Passed	Model Under Test Equivalent Model
ae5d8a9eacfc3aacfa199cb60c501205737f73cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Constant	False	Passed	Model Under Test Equivalent Model
276cde740b3ff8039fcc7fffbd25088c03c9fb1a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Constant	True	Passed	Model Under Test Equivalent Model
9c883ed3b8ce42d063c8d4e515ad3b39e19c975d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Constant	False	Passed	Model Under Test Equivalent Model
7d5af3c179c2776af4b58ae03c99d33a56722433	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Constant	True	Passed	Model Under Test Equivalent Model
4e4821c1d7659943cf954163d9d59815e3e01a91	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Constant	False	Passed	Model Under Test Equivalent Model
34bc3095277043161dc84dbc13acd9b13f222e07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Constant	True	Passed	Model Under Test Equivalent Model
986b2815e067c9aca31d97758168acd6a24d5150	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Constant	False	Passed	Model Under Test Equivalent Model
8fdb91155704a7714840399411793db183505114	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Constant	True	Passed	Model Under Test Equivalent Model
11a074acbfd764180bad521daeba1dd3254e2f12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Constant	False	Passed	Model Under Test Equivalent Model
4d48b3fe2fec08a807dde54c196d1cbab9f93f86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Constant	True	Passed	Model Under Test Equivalent Model
ba63e32da7242f104456e3d8ee89b6d4fb293985	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Constant	False	Passed	Model Under Test Equivalent Model
984e62812bc0ad0e6d8fd7656bc5a7cd0d00efab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Constant	True	Passed	Model Under Test Equivalent Model
a6c7a01da88a78bc9445011b545e05c8101f491d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Constant	False	Passed	Model Under Test Equivalent Model
e3256a5dc98e7da0be32cda997b79131a4bdd796	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Constant	True	Passed	Model Under Test Equivalent Model
b296b4fea3fff31193058b27e45aecba3da12c66	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Constant	False	Passed	Model Under Test Equivalent Model
57efe172df54d37a7011244a73f2ac8793f85811	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Constant	True	Passed	Model Under Test Equivalent Model
01e917b291c778756b471727154c87d5f6c8fe3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Constant	False	Passed	Model Under Test Equivalent Model
a9ed979208f1cfb03b8f0555fe1f701075c4be34	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Constant	True	Passed	Model Under Test Equivalent Model
79d260d1cf25b581f7e0e131af4cac1449aed95e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Constant	False	Passed	Model Under Test Equivalent Model
b067c6699b4b8150e5119eb50669e67688f2511c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Constant	True	Passed	Model Under Test Equivalent Model
1b9c4860c699d748ef4a02fbbe8860ea624b75b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Constant	False	Passed	Model Under Test Equivalent Model
193cee9f2e7cf5062821b20ac6337be1d4cb78d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Constant	True	Passed	Model Under Test Equivalent Model
15d28013c5ba42a70419f0e7359cf63d12b5e284	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Constant	False	Passed	Model Under Test Equivalent Model
2929d44960482d04baf0cb655b6d8307b883704b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Constant	True	Passed	Model Under Test Equivalent Model
7cfc8f1a5155978543f1ac4b60c1e65fc7dc67cc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Constant	False	Passed	Model Under Test Equivalent Model
ba05327a284c94a08208ae1fc110f0621af97887	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Constant	True	Passed	Model Under Test Equivalent Model
57ed3edc40d84b4db89112f780059f1abcd3b047	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Constant	False	Passed	Model Under Test Equivalent Model
5170b2bd717a306c1f71b9b75c9514849fc2485d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Constant	True	Passed	Model Under Test Equivalent Model
54f263bf54d2db1ab02a7ccae3c2d8902f2f57a0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross2	Constant	False	Passed	Model Under Test Equivalent Model
fdd0a695cd94286c06a0c6ebae3df6289984c0dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Constant	True	Passed	Model Under Test Equivalent Model
079aa77725bf5a810ee4c7bb67c593c69b4c734e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Cross3	Constant	False	Passed	Model Under Test Equivalent Model
d4ca9a97c2693fee3c7b6307e083a83012233554	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Constant	True	Passed	Model Under Test Equivalent Model
02e48bbd03813401bc82557db77591ab486c1d76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	Constant	False	Passed	Model Under Test Equivalent Model
950539e5b0cdbd4132d92c8eca3b45991b26c317	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Constant	True	Passed	Model Under Test Equivalent Model
f4971d29970cb91b97385bcddea9db29b4895358	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	Constant	False	Passed	Model Under Test Equivalent Model
de038c5afbf0d5f20b9caad5f072804abeab3632	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Constant	True	Passed	Model Under Test Equivalent Model
53461a5013e535378d7cee3a7f23186de5b5e0e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetDiff	Constant	False	Passed	Model Under Test Equivalent Model
b6a010870deb8590e5a3024053cfc268ea9a1419	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Constant	True	Passed	Model Under Test Equivalent Model
f54ccdef0579cd6bb19fcd49816d6c8f80b65c16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetUnion	Constant	False	Passed	Model Under Test Equivalent Model
ac36fc7176408c49f8c00691dad7a36c5302a442	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Constant	True	Passed	Model Under Test Equivalent Model
4e0ed64d7358129fdf0a64050cff29ec7e1e887c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SetIntersect	Constant	False	Passed	Model Under Test Equivalent Model
dc7ddace86182b5d5458a65c0e20061626466d44	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Constant	True	Passed	Model Under Test Equivalent Model
9a38138fc4e71ab43c17860c05fc959bbd7f2bd1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SubsetEq	Constant	False	Passed	Model Under Test Equivalent Model
00ecea57295e3cf9a1a8cc653c9aaffe60c5c8c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Constant	True	Passed	Model Under Test Equivalent Model
56cabc3d6192f03ea406c1ef7639c3df57b25c50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Constant	False	Passed	Model Under Test Equivalent Model
d1d6901a837ca7257fe33ccd93b054b75eaedf3e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Constant	True	Passed	Model Under Test Equivalent Model
8812b8fd23dcaf7ae8313ef544257be2673f2e22	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Constant	False	Passed	Model Under Test Equivalent Model
a9ff82e384c77460d4c405976dcd4d9069d53bab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Constant	True	Passed	Model Under Test Equivalent Model
335e67baa15cacc6c0234877a5af93df78c98c08	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Constant	False	Passed	Model Under Test Equivalent Model
357ecc4118d1f792f3ea53e6e60271e359651fc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Constant	True	Passed	Model Under Test Equivalent Model
8a57f66e2821c62043964ef809301600aa652a96	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Subset	Constant	False	Passed	Model Under Test Equivalent Model
d6ba7d358996a7f25e1a4b2fca3c355d01e82078	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Constant	True	Passed	Model Under Test Equivalent Model
5ef842a1e4c0e7ca49ff4dc7d3feef4bd7b8be72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Domain	Constant	False	Passed	Model Under Test Equivalent Model
4b6952ce8c4f0951c3422928ff4aa2bbea07a6e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Constant	True	Passed	Model Under Test Equivalent Model
0125165474b1e79a07f44a896968e0a0081bb30b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Union	Constant	False	Passed	Model Under Test Equivalent Model
509cae92fa530e4ba7daaea5dc4a81a6350fa9be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Constant	True	Passed	Model Under Test Equivalent Model
4b618b33e693206ff11c6795a66ee32925aa4add	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Constant	False	Passed	Model Under Test Equivalent Model
38a7236fff894733c97d8f43821b3244fb4cce1b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Constant	True	Passed	Model Under Test Equivalent Model
2230ee4728b62640e33ec591f8c8985ff04b3315	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqLen	Constant	False	Passed	Model Under Test Equivalent Model
2883de17c1c3e494d1a836efda52a3c37a41a3a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Constant	True	Passed	Model Under Test Equivalent Model
f25022b75befa4e1b3341833eb6c6dc609be263b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqConcat	Constant	False	Passed	Model Under Test Equivalent Model
96a3dcb9347f9bf0045acb95c3068644142657f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Constant	True	Passed	Model Under Test Equivalent Model
da59b42af093078aebebdd07c4a4b5fd380ce2c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	Constant	False	Passed	Model Under Test Equivalent Model
4fe5d30e03ec7fcb1c8d303d169de068d30fa922	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Constant	True	Passed	Model Under Test Equivalent Model
a86d865460d563d33e3ec793905cda92698925c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Constant	False	Passed	Model Under Test Equivalent Model
55ac6bc5c0128d19f2831f7855925a6f6826cdd8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Constant	True	Passed	Model Under Test Equivalent Model
65fe7d17e010beb7ecdd1b049ece32aaea223db8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSubSeq	Constant	False	Passed	Model Under Test Equivalent Model
d4746e1827a394cba35d7c1f4f73f51ff269481b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Constant	True	Passed	Model Under Test Equivalent Model
3b5c8e5c5c9435c9b606002362a5645740716fc1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NumRange	Constant	False	Passed	Model Under Test Equivalent Model
2debea9ddcf16af12827b24c663911d5a2770388	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Constant	True	Passed	Model Under Test Equivalent Model
65c47720b628619640b155f4289945937faa7b54	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Constant	False	Passed	Model Under Test Equivalent Model
3bdba5fdfb32652a55278d4c17a6754f902868ac	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Constant	True	Passed	Model Under Test Equivalent Model
afe9b3f636e57ea7ca6b16e758ca5ca222d2e92e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcExtendFun	Constant	False	Passed	Model Under Test Equivalent Model
6e098061f3bb410a338fbbccc62aa7f89986c585	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Constant	True	Passed	Model Under Test Equivalent Model
06689dc7668d28aab8959f65de10521b8ae4e681	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcPermuteFun	Constant	False	Passed	Model Under Test Equivalent Model
4f9de9b4af495c4f90b3d7207bf8ec7e7a5a997a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Constant	True	Passed	Model Under Test Equivalent Model
21f09df182fd05647f718ac9b9a3224ed1b6b69d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSortSeq	Constant	False	Passed	Model Under Test Equivalent Model
4adda23856b92040d126bc89a1a22eb45f310415	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Constant	True	Passed	Model Under Test Equivalent Model
b372736932502c8c1164291c697a2997878640de	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Constant	False	Passed	Model Under Test Equivalent Model
afd040b69e3a0b3d482f4872c7dfcaa5e1acd12e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Constant	True	Passed	Model Under Test Equivalent Model
2603aa9b315888e9724512aed821707d87193db6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagToSet	Constant	False	Passed	Model Under Test Equivalent Model
389932feb1ac60dd7d68397296f1e84f19624534	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Constant	True	Passed	Model Under Test Equivalent Model
454c58910da4362d21174e0ea2856cb527f68573	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSetToBag	Constant	False	Passed	Model Under Test Equivalent Model
fc913a95b025675f26ad62f79702e3bc04540033	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Constant	True	Passed	Model Under Test Equivalent Model
33464c6ee058c1088bd59dd8ed6a14587202960f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Constant	False	Passed	Model Under Test Equivalent Model
f9a04cabcb6255e542dc60aef6c5e5797ef266a1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Constant	True	Passed	Model Under Test Equivalent Model
66b34201369c7322ab4766ead14d83391e21619a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagAddBag	Constant	False	Passed	Model Under Test Equivalent Model
231bef59aa07b6957541533c48cf68e49fe5e37b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Constant	True	Passed	Model Under Test Equivalent Model
94f51dfe4514e7d4b412b82c1e862b45816a237a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagSub	Constant	False	Passed	Model Under Test Equivalent Model
d6885b2a770e4207c33592b664cf91c07ef172cd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Constant	True	Passed	Model Under Test Equivalent Model
af3c6f403b06cc8f20a6069ffe6ea07a053051f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Constant	False	Passed	Model Under Test Equivalent Model
92b3d12e0056512bee3f9326d344e24ef71802cb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Constant	True	Passed	Model Under Test Equivalent Model
77982db4319896d59621e7e241a565a0df1bc166	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubsetEqBag	Constant	False	Passed	Model Under Test Equivalent Model
0e9bbd1351d2f8220e6a059488b9b37c93594844	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Constant	True	Passed	Model Under Test Equivalent Model
078e509c322c6fce49de3704a7a060435a6cbc89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagUnion	Constant	False	Passed	Model Under Test Equivalent Model
d62983d029a7241c57405e71a63eba4248851a5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Constant	True	Passed	Model Under Test Equivalent Model
30be9782fd32f625f0ce18701ecb98696d15be6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagCardinality	Constant	False	Passed	Model Under Test Equivalent Model
63c8bb146a15fe90d2d0bc007f444fe4a65e2b79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Constant	True	Passed	Model Under Test Equivalent Model
0f6445e434b558123c6e4153a16de32912726c0e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagOfAll	Constant	False	Passed	Model Under Test Equivalent Model
832d5dca233af9a23d606b8a556ed498e4e22bf7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Constant	True	Passed	Model Under Test Equivalent Model
f24d899aed6b5bd552f19e2e7522de8ee9e5cc24	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagSubBag	Constant	False	Passed	Model Under Test Equivalent Model
02b673568a53ea614fdfafe0f6386053717a5136	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Constant	True	Passed	Model Under Test Equivalent Model
41b66710d3079871b147829542e059754133ac8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	Constant	False	Passed	Model Under Test Equivalent Model
878b4ffb7de6c5bde956292f4d1879e7e494476a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Constant	True	Passed	Model Under Test Equivalent Model
3dcca10c9f3773fab651cebfeff863b1eae61a59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsCardinality	Constant	False	Passed	Model Under Test Equivalent Model
955537d2069b63f51d5cbd97ede9853d25fa7680	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Constant	True	Passed	Model Under Test Equivalent Model
478c6fa229faef1fad89c395491d6b468a17a424	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqHead	Constant	False	Passed	Model Under Test Equivalent Model
1f660864cb4f3b04ae3bd4204f80cbd22e654ef6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Constant	True	Passed	Model Under Test Equivalent Model
0ff346465a81949836da0b003e4d023cb3b26180	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqTail	Constant	False	Passed	Model Under Test Equivalent Model
3a514113c9fa674c7f097a3a3ed4c1a395aec865	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Constant	True	Passed	Model Under Test Equivalent Model
7319fecbc1af107cae580f41c3a7d61975d991d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Constant	False	Passed	Model Under Test Equivalent Model

Index

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