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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
1c4a255f0e5af71b49d8835461be3d580c42d8e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	OneLineComment	True	Passed	Model Under Test Equivalent Model
0e1925134e5b9e53e6d6095fc9f61bc4be6c8efd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	OneLineComment	False	Passed	Model Under Test Equivalent Model
84d2cb654112d4454fb03bc0f80a698fcac3cf69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f1299bf11f3c1abdb4db5c9c02607cec474cfbe3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f449d8d48c85eefdb55004a978ed6015ab7c2566	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolTrue	True	Passed	Model Under Test Equivalent Model
6f3789089cffeb890c525a29030686783ce99755	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolTrue	False	Passed	Model Under Test Equivalent Model
aa8afec54c1665468d60e41898fab3bdf63a18ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolFalse	True	Passed	Model Under Test Equivalent Model
3a4378fc3656dcac6095f1a8b1cd3870d833f365	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolFalse	False	Passed	Model Under Test Equivalent Model
a3a92ab99b20feda70ed6ef1983567eb26eeb584	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolSet	True	Passed	Model Under Test Equivalent Model
d09e413c0f386d8c2a8b5e7803229219a3cc73c7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BoolSet	False	Passed	Model Under Test Equivalent Model
620042bc4f0f7ce568d5da6edce2784987c568fc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	And	True	Passed	Model Under Test Equivalent Model
335ca09fa66ed91eac001a7785241762eafc1a93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	And	False	Passed	Model Under Test Equivalent Model
b16d6d5145b2a2adaa01d5f7108acb2f453fa6b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	AndMultiLine	True	Passed	Model Under Test Equivalent Model
a0f3ff409a851e0ec352be9c1e820438d08fc4ad	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	AndMultiLine	False	Passed	Model Under Test Equivalent Model
c1779a3136e32cb699042c039441c5fce0487858	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Imply	True	Passed	Model Under Test Equivalent Model
c16c440296ea6f875d27a70eea00680021007f5e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Imply	False	Passed	Model Under Test Equivalent Model
6b6b3bac0d2e87ff8c3e42bd2045379ca3908d6b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Not	True	Passed	Model Under Test Equivalent Model
e01152dfe2471a182bab4e062b244856b52a0760	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Not	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
e4222c1a970a48c273eb778e48dc7f9b220693dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	OrMultiLine	True	Passed	Model Under Test Equivalent Model
5ace0f8b785d09d0f8360bfeaa04fd45b27ee796	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	OrMultiLine	False	Passed	Model Under Test Equivalent Model
34e497065004a26911f05694a3ce5544e686cf3a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Eq	True	Passed	Model Under Test Equivalent Model
cd9cd35683681875e43cd8de8127f70f59a09cab	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Eq	False	Passed	Model Under Test Equivalent Model
783271e1b1655febe60b992cc21532473609d3bd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Ne	True	Passed	Model Under Test Equivalent Model
2449e0ab487d3371c8f04ba31e8caf15470f078b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Ne	False	Passed	Model Under Test Equivalent Model
bb5bfe6cdd75e31b88412f68446a608de9f2a5ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Let	True	Passed	Model Under Test Equivalent Model
878e85e096f5f793412729691c491bc8525fea8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Let	False	Passed	Model Under Test Equivalent Model
a7da97579a0a82c744cd1e8df9fa26eb3cafb21f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetEmpty	True	Passed	Model Under Test Equivalent Model
6a840dde9389d47bdc8ef7cfa55d0e6f828450f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetEmpty	False	Passed	Model Under Test Equivalent Model
3a2b8fcab3d87ab8db2f68dcf11c933ed769f827	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set0	True	Passed	Model Under Test Equivalent Model
b5f2442d7f01f5429f8ccf735dec380272525541	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set0	False	Passed	Model Under Test Equivalent Model
cdfe951cefca45b492c050ac6030d9d8f494c537	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set1	True	Passed	Model Under Test Equivalent Model
f1593870dadb12764abf240ff5206297555310d4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set1	False	Passed	Model Under Test Equivalent Model
8e605d92be200408fa8796be9376c1a90b5824e9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set2	True	Passed	Model Under Test Equivalent Model
fa5d5cc595bc05c2f47b000c4a32baf673411196	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Set2	False	Passed	Model Under Test Equivalent Model
7298838f0104767836dd5e9c59e0776ad0aed436	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Fun	True	Passed	Model Under Test Equivalent Model
1804a0be7dbe0bbea75170b542421d8795ffddc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Fun	False	Passed	Model Under Test Equivalent Model
21e07351236999c60b12d68e6c257fa5fdf8fee9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	In	True	Passed	Model Under Test Equivalent Model
00b0ff473fa009ba86e90def7e2fcde6142c3d93	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	In	False	Passed	Model Under Test Equivalent Model
9a0ea2c892755703166d4d126e64fbdf4e3b3b60	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NotIn	True	Passed	Model Under Test Equivalent Model
8a026f25f69c885a1242dfc4957952b6c6253dbf	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NotIn	False	Passed	Model Under Test Equivalent Model
2485ec30ff815a2bdb0310dc4317eb1a74bc7c73	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Exists	True	Passed	Model Under Test Equivalent Model
f062955f98fa065871643fcbcc9da192cd78a071	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Exists	False	Passed	Model Under Test Equivalent Model
1ca5985112ba1402aca977180fa271e52d4aa24e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Forall	True	Passed	Model Under Test Equivalent Model
aa88c3e20e8efc019029ccfc30bcfd31a492f9df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Forall	False	Passed	Model Under Test Equivalent Model
96b28710c252e170b5bb944b3df7d19a02e4a241	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Choose	True	Passed	Model Under Test Equivalent Model
a4d132931203f0841d5e4ec5ab693c9b4e722664	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Choose	False	Passed	Model Under Test Equivalent Model
e09b923d97657243a75ba551ef32ce04a804548d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Record	True	Passed	Model Under Test Equivalent Model
c516e602a573b6b2d28e538dd5164f6440c96f40	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Record	False	Passed	Model Under Test Equivalent Model
50abad8ac755f26943da3fedb3c0cc683b3141a2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Tuple	True	Passed	Model Under Test Equivalent Model
d3462308cb62d61bcd8868dc44b50ad68dbb717e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Tuple	False	Passed	Model Under Test Equivalent Model
c6de8927c1ff596a9df8e49fe84bcb120b5b56f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TupleEmpty	True	Passed	Model Under Test Equivalent Model
fb85c266bcc9d01a5da49ba39b2dc83c0cac46ae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TupleEmpty	False	Passed	Model Under Test Equivalent Model
8e73e43db7512d6bd156e9a19ec0217ef3a387af	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FunApp	True	Passed	Model Under Test Equivalent Model
f12e7d7e6e08fbc679941c84a4788fe5b2b2f4f2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FunApp	False	Passed	Model Under Test Equivalent Model
d90bf65aa554825fc147b7638efab65a7ea0a58d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Prime	True	Passed	Model Under Test Equivalent Model
208522e8c52a0f40c635c5e3340f84ac09bfb033	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Prime	False	Passed	Model Under Test Equivalent Model
4b8d2967abd29d475c626b4267145bbc97576249	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumZero	True	Passed	Model Under Test Equivalent Model
94ff9ebc05cfe68446689fa9117519c411fc4cc3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumZero	False	Passed	Model Under Test Equivalent Model
bcb0b54397c124dbb05dbb01d43504e8cf436ed8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumOne	True	Passed	Model Under Test Equivalent Model
d10812646f9a104258210b3057fb5aba135e1cc0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumOne	False	Passed	Model Under Test Equivalent Model
2f8ea308d2a4c5292e479cb229eac1642ce01b71	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMaxInt	True	Passed	Model Under Test Equivalent Model
9550e0f3f852757a6b0c1d708c47d126b4435250	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMaxInt	False	Passed	Model Under Test Equivalent Model
4ae8dea171f41972e0f093c6cf723707e1e96064	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
1b7ea579871f1f0f16f4861c90078696da5393ce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
be7346569ac6e995e0a2d57e46f0cec545200a97	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumPlus	True	Passed	Model Under Test Equivalent Model
5ea2234fe903406c183c3344a3e36503ab0a0e18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumPlus	False	Passed	Model Under Test Equivalent Model
0ae7d320990fc754b7516adbce52b45f95cb0455	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMinus	True	Passed	Model Under Test Equivalent Model
18a827e05d810eddee842eae02b064453bd60fb5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMinus	False	Passed	Model Under Test Equivalent Model
956db8d56247fb20d5746d3513d31dfe60aa76dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMul	True	Passed	Model Under Test Equivalent Model
726ffabf99c8fb445940c906ef041a0b004c2f11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMul	False	Passed	Model Under Test Equivalent Model
7f1b5300eb56666594dd8cc657e49d1d8697ef47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumDiv	True	Passed	Model Under Test Equivalent Model
a47d92ac42f6e0b0141dd6b121393a20f2a1da13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumDiv	False	Passed	Model Under Test Equivalent Model
b1807d283d5a9fa26176214bcd8ae4006692b183	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMod	True	Passed	Model Under Test Equivalent Model
dd6116e588dec15613563f39137f8ea5b5268c12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumMod	False	Passed	Model Under Test Equivalent Model
54dce7cd208799c9e325893819d11d5b8091eae1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumPow	True	Passed	Model Under Test Equivalent Model
3c00b6b45db461b05dc1074ad69641cc26d457ef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumPow	False	Passed	Model Under Test Equivalent Model
71f0a6e813225897ee6884316eb7a8d05f4a0365	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumGt	True	Passed	Model Under Test Equivalent Model
3c5dfbf9e320cae131c2b17665a0384c9c7f8159	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumGt	False	Passed	Model Under Test Equivalent Model
23615ce6b630eda6a3d4f23e115afe8346ffe1f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumGe	True	Passed	Model Under Test Equivalent Model
c910da46a59351757f494048713ca5607ea6d9b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumGe	False	Passed	Model Under Test Equivalent Model
3b8c2194b2e39be22aeecb3f1b9e7ad7073e5efb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumLt	True	Passed	Model Under Test Equivalent Model
abf46ba8fc4b7f3c013502fa3dc2101a3a0514a8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumLt	False	Passed	Model Under Test Equivalent Model
7ddc1a1e17c789423ed1ab381d0f2833b8899eb8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumLe	True	Passed	Model Under Test Equivalent Model
d75007674135630a4d4c49d6fddaffceb05b7dc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumLe	False	Passed	Model Under Test Equivalent Model
9e2e11307ebb33210dace773c806652e65cd0537	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	DefFun	True	Passed	Model Under Test Equivalent Model
39974bd45b2d1c5aa222077c8ce4b53b6b38f916	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	DefFun	False	Passed	Model Under Test Equivalent Model
21c01ccd163e0c3e255bdeec0f0936d0c4730a12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDefFun	True	Passed	Model Under Test Equivalent Model
20dc60657e7c132ff0f071b12f834008f43efc9b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDefFun	False	Passed	Model Under Test Equivalent Model
dc107282f585ef252685f52226065cf80d53210a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
780ce64c275bc66d773e25ac4b35cb59d3602a5a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
2d022101730b63c11fd696bcae583ecd93177eb3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
90b238d2d60ff31031af0b9082e183170574a2dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e8580dc050921a4ecc49e6c4bd3308ce3609c442	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def0	True	Passed	Model Under Test Equivalent Model
a6bc3c99cc738e096d7e663636973754b6d8a911	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def0	False	Passed	Model Under Test Equivalent Model
7361993e08e800f9423e0aeb7d148435de4f7b89	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef0	True	Passed	Model Under Test Equivalent Model
65eab580e553973853b3e6a08ae238482e226cf5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef0	False	Passed	Model Under Test Equivalent Model
84afbf132e4c15b0f54ac67d5def4422b80d82e6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1	True	Passed	Model Under Test Equivalent Model
96f22aa2d3f7af8dfb3b3aa2a7584ec7077d7cae	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1	False	Passed	Model Under Test Equivalent Model
7d00a9a226fe508aebb1bcde8700f9ac067c2bfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef1	True	Passed	Model Under Test Equivalent Model
0cff1eb600fdcbfd02014c140dcf2a47811cca86	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef1	False	Passed	Model Under Test Equivalent Model
566add341e19ceabb6b441ff2a6bc0bc66103118	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def2	True	Passed	Model Under Test Equivalent Model
c82c416810580d73a4f6eef7a802cb2839c93a2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def2	False	Passed	Model Under Test Equivalent Model
2bc7984f04d6c16d5e77a24ce7faac224b55926c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef2	True	Passed	Model Under Test Equivalent Model
3f70da35ed8b707fe5144a4e9b6bde1428a543e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef2	False	Passed	Model Under Test Equivalent Model
7ba3d0c47986e3204d337502b48ac04b5376213a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1Recursive	True	Passed	Model Under Test Equivalent Model
05a0ac501ecf96f484f46723d801bd3335cc5f76	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Def1Recursive	False	Passed	Model Under Test Equivalent Model
f87a1741636e886d025af55150435f4ecff486d3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
d8ae996aa3ac80db4886916fdb3eb4524e2a66b8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
9b1f0f2dd901196b3e63a13ac5e6c33b1aedd432	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Extends	True	Passed	Model Under Test Equivalent Model
92448ae4d9aaf9c4aa24ab7eefce605d772bd05e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Extends	False	Passed	Model Under Test Equivalent Model
a9b6d1c42d79c1c631aa9e6fac1ebb77d0866884	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
944291c2b7b0cf011598cdd2d952316b95ef125f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
6b7dc23e387f33905a9d53d52b8cb9df92a84617	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Variable	True	Passed	Model Under Test Equivalent Model
21ed302f190fd25f6dcbff35b20d525e42e72f6d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Variable	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
7829ab7d7f4c86f881182dc9256a9bdc0d0b3652	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
e7f8c8748aecaf8c4ad69e44c8bf6f448d2ae607	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
33b0fdbc9735d0118aa261a20e7cc6af462318d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ConstantRank1	True	Passed	Model Under Test Equivalent Model
06e89a0bcd3f45899e8febed6db5242dbc95411f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1deb3f786dd8acdfda7a2210b0dedacf594426e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Instance	True	Passed	Model Under Test Equivalent Model
0aade38b970878d79a79855bf186eb9414ea30f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Instance	False	Passed	Model Under Test Equivalent Model
901b9e41c65b5e0fa920b712aa2da4ba40bbd2da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceWith	True	Passed	Model Under Test Equivalent Model
46e9fac2e8ddc89c887ba6221bfdfce9360589f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceWith	False	Passed	Model Under Test Equivalent Model
b47028c80cd0ae9781012f97c3ab330b2108b980	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamed	True	Passed	Model Under Test Equivalent Model
25b5bc30d242ca43f492d0fd47aa014cac2ae19b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamed	False	Passed	Model Under Test Equivalent Model
49e5aa14934abb72af0d5e39266597b8a4f82d13	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
481a2b803d3e1ed9f06099d15c7de6a5ea02d34f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
afee9a5cd7fb38d69d241a8e9bcf4aed518c9c00	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
a7bfa8587668d578fd91c7dbf561bfd3cc23655e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
7710229962f82a79e663d88a9b4a232027941a77	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
a2ebb32e4f20de2d599820ac3edf0ec067ed2636	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
4c239feeb7e61c84be39ed912a069e142e008b1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
fac8a489e94df35abec4668b4b59d48fb4426ecc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
a4956d06f8aaf12070a289722056c90a9be4949a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f6a00f5c758b75c214ad51d29fe9908177caf0f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	InstanceNamedWithInFolder	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
5491101a2d4595e2f63ff8fd33e595cf2efafbf2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Cross2	True	Passed	Model Under Test Equivalent Model
5cbc352edb379dfe41ad64df56b062afc34b3750	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Cross2	False	Passed	Model Under Test Equivalent Model
4a195ac898f99ac21e61db1f0e16c81f411fec8f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Cross3	True	Passed	Model Under Test Equivalent Model
9e44724876cc26a679dbfac92d041ce15b5c5aca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Cross3	False	Passed	Model Under Test Equivalent Model
a4beca540d8153ab1129e1541ff584db9f4d0411	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FunSet	True	Passed	Model Under Test Equivalent Model
896b444c72b116735e570426a9c012015a7148f6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FunSet	False	Passed	Model Under Test Equivalent Model
64228d7b6e6c2b48c79cd3e37b2702888e5f6bd0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	RecordSet	True	Passed	Model Under Test Equivalent Model
5616dc001029718b8b9258d8b8426fa7ab229f7d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	RecordSet	False	Passed	Model Under Test Equivalent Model
f9a878184f6652ac60f76738a731e61a64dfd5a9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetDiff	True	Passed	Model Under Test Equivalent Model
619c8f5668a3120d0fd508eb9b4b3779f582b38a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetDiff	False	Passed	Model Under Test Equivalent Model
3f794d45dbf2c7b65bcc08145c9c56008f9703b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetUnion	True	Passed	Model Under Test Equivalent Model
acfb7974c0ec0d8b860ab636bd454772db5c3cfa	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetUnion	False	Passed	Model Under Test Equivalent Model
17a121509f98248286c3bb1116f3bffb9637c836	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetIntersect	True	Passed	Model Under Test Equivalent Model
32fb76af405be8d8d010b0f6a496701776aa4d8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SetIntersect	False	Passed	Model Under Test Equivalent Model
71ea97784856173d8e900a7fb7252619a1b0858b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SubsetEq	True	Passed	Model Under Test Equivalent Model
0868d4900b5211ae869f0938d82241db60c8424e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SubsetEq	False	Passed	Model Under Test Equivalent Model
1363b7f9f3a0254beafbecba584da8be145b694b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfCond	True	Passed	Model Under Test Equivalent Model
65c2407f3a11263a1b1de811fd18d853ace81365	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfCond	False	Passed	Model Under Test Equivalent Model
11e9ef2abaa3650943d3ff008afcb6b29c25c71d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfThen	True	Passed	Model Under Test Equivalent Model
47823e6ea4f2f5da877cb7e157282c4f96a63f69	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfThen	False	Passed	Model Under Test Equivalent Model
2a0d4fcd9d5c9bdef59889321e7203bede1af404	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfElse	True	Passed	Model Under Test Equivalent Model
19b53a9c07a1ebf00ac264d4315744b435856aa5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	IfElse	False	Passed	Model Under Test Equivalent Model
10a2645d312d41f0f3e5c3f6f9db2a3c07ce52c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Subset	True	Passed	Model Under Test Equivalent Model
8add73c8a22b704d9c1e681f88bec90b66c679f3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Subset	False	Passed	Model Under Test Equivalent Model
c83f187aa33b7d7c11c797baeae4e1f61f0fb0be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Domain	True	Passed	Model Under Test Equivalent Model
20dc6ab95735fd2e5813a9db402a8e634172f09f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Domain	False	Passed	Model Under Test Equivalent Model
be2f22f2b4173bbf1b2e687a7ca8441ac6340e2e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Union	True	Passed	Model Under Test Equivalent Model
94f7cdccfe2fdd001cc24f6830353982b03391da	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Union	False	Passed	Model Under Test Equivalent Model
1225566decae81e35ed7a077de34f95a4b5a0b79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Unchanged	True	Passed	Model Under Test Equivalent Model
760ff81c9eac6f1df558be8b2731806bb502edb9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Unchanged	False	Passed	Model Under Test Equivalent Model
3e95e9c01c85b8a430117f98f5eb43428e89d509	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Equivalence	True	Passed	Model Under Test Equivalent Model
04ff9b40d7517c7ecddb914879ce9ad88c06b1d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Equivalence	False	Passed	Model Under Test Equivalent Model
34ee91898105a33355050e4f414168013db55233	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	StringEmpty	True	Passed	Model Under Test Equivalent Model
fd068eb8111c110028ea46bf7b94c8a8fd843607	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	StringEmpty	False	Passed	Model Under Test Equivalent Model
8b7080035147663e8d1aa043dd5ba5ee5816883d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	String	True	Passed	Model Under Test Equivalent Model
45de41ddbd07dba0c6ebcab1e55c3950a77df1e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	String	False	Passed	Model Under Test Equivalent Model
1db49ada496bc109f10c674cab4206d2b9646860	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqLen	True	Passed	Model Under Test Equivalent Model
b98c9256dd99cbf4d75d0d7cc160fd056f0968e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqLen	False	Passed	Model Under Test Equivalent Model
d936ab32e1b32794216e934c2b837fd667cc98c3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqConcat	True	Passed	Model Under Test Equivalent Model
beec30b270e918e3125dd644f0b10d4a381a11b7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqConcat	False	Passed	Model Under Test Equivalent Model
3c4ee32709ae9d26cf795fc7f56bd695b6ec3816	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
cda43aa1fde2b847bdfb1780d1660dded84ac124	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
8182182b941d44e4492770bf37b6d1137728f7be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
189d2be4065f58074e33af06c4c7bb00b04b4f83	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
3187f47a0707dfc3b00d15800fb43c38a3f49dba	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumRange	True	Passed	Model Under Test Equivalent Model
1fbe5baf54fb95056e680700e444f9bf9f0f209f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	NumRange	False	Passed	Model Under Test Equivalent Model
dd3a46287ec74206cef7894e50e2a5bd9e04bf18	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
bba76d51aec5b611538970bc3103486ed383cde6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
15e0178535db188f0120dd4cb9bdc4bcabce886e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
e5d3ca05b10d7888434359c21da7c1c79aab566d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
2c96dbce7db3e60b6e0418e09fa81e8eb4fed466	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
126804f36643e87d35c678b919ade49c57c37c36	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
9441d4ec7769df1fdf207a52aa55aafdb85f471f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
e537fdc9b78719134a04d59b4cef9282a37f17f4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
0eb4252fcd50431843795e739531ddd95ce5d48c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcEval	True	Passed	Model Under Test Equivalent Model
cbf8beb6b53e6910e722654d86dfc81bb6ad2dd2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	TlcEval	False	Passed	Model Under Test Equivalent Model
d4eb91b07aa72fa9d7a3bd350a392eb530dc30d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagToSet	True	Passed	Model Under Test Equivalent Model
4a645c90f6131cb501ca0bdb413ee22b944a9798	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagToSet	False	Passed	Model Under Test Equivalent Model
3a7537bb39b5ae03d65cded5e0970546b172ae72	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSetToBag	True	Passed	Model Under Test Equivalent Model
b04d500a7b8407de6aec53fc7224ec313b8bcd4d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSetToBag	False	Passed	Model Under Test Equivalent Model
2841f4c135ca71d839acec1a24e1e5af9e706904	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagIn	True	Passed	Model Under Test Equivalent Model
c070288d9fddf0eb31cee13d3509fc31e5ff6f11	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagIn	False	Passed	Model Under Test Equivalent Model
fcdde9cc6580485449f8a089aa843edc54d9b765	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
3460ba3355d9976819186e7c07d1d9192887c024	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
27c61b129aea2478d0373504229decb9f8c81dbb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagAddBag	True	Passed	Model Under Test Equivalent Model
7b4ce898e0d594e2f13d22d31be833cc28c99e20	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagAddBag	False	Passed	Model Under Test Equivalent Model
5f4125015dc6338a3749999730695a5ed94d3e8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagSub	True	Passed	Model Under Test Equivalent Model
87c1d5b54ab211f2e59bd0ff68d9dc3a6c677bb7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagSub	False	Passed	Model Under Test Equivalent Model
50d2ed9c00836eff561f405276e7bc9d5bc25ad2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
3721c3044d4da44910007564e04f3943e4e2aa25	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
c75eef795e70b369cd7df8b43224aa5ae8063878	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
73f919aee45565ef49c8a416b3164d2f0006e43f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
85a8abbe5834c913b21cbf3ab456916a2dde77f7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagUnion	True	Passed	Model Under Test Equivalent Model
acb5c263b6e90a7c2a31f91fbb77a2f19597ea07	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagUnion	False	Passed	Model Under Test Equivalent Model
d01b3f2f8fe566732d183c287e7f01b1e3eb5a52	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
b90a4c9e3760a5a81f29aa421de78a1115ea40e1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
79cf2ecd0a8970346318a47ad51e5fec3f8eda3b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
3e8a6c9761a147e525767bc4a8bbe4f4ed10dc5a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
3d72aa9ccc1ea9eca7a17ece725ab94d9256c2ca	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSubBag	True	Passed	Model Under Test Equivalent Model
1531969dc1d8e138de3e29a1e2f6d6d1e8d59d39	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	BagSubBag	False	Passed	Model Under Test Equivalent Model
0700856ee4767814002bf9de515c8c2f45ec58c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
9a59586e6a013cceed3a4bfbe461ee38a13ef82f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
c22f2b83e45acdba55fb1fcb72bf0f55204ad84e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
46e88a7ccc000e6d8e6da5352278858cdb7cf1c4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
7277f36889e0dc7d27a5b5a734ae5ab4eddf1315	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqHead	True	Passed	Model Under Test Equivalent Model
1172e83092849e65611c3e6f6e5f31d5504b10d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqHead	False	Passed	Model Under Test Equivalent Model
6a1bcea814f9a74a67dabafa72b7c750120d7390	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqTail	True	Passed	Model Under Test Equivalent Model
8c35d9250c0708354f09ba50bd3522c547e0fc16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqTail	False	Passed	Model Under Test Equivalent Model
46fadd956693380f0bf5eaeb90d33e30b5c554f9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqAppend	True	Passed	Model Under Test Equivalent Model
efd3f219a091a2d2b7323d7bab6e87675454e235	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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