Tests by case feature Constant; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c453164f65d020e98c8c05832ee26f2a908ba2d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	OneLineComment	True	Passed	Model Under Test Equivalent Model
0998e43c62f4e2f1dfc8a12e4be598d92f9d0e7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	OneLineComment	False	Passed	Model Under Test Equivalent Model
66afefa070950bd2af493422d074fb00a75e0451	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	MultiLineComment	True	Passed	Model Under Test Equivalent Model
f7f9d6e90892cb7bf82139bf63e37c93422010d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	MultiLineComment	False	Passed	Model Under Test Equivalent Model
3fa8feb50d987fc460a5bd9621c1603c6c37540a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolTrue	True	Passed	Model Under Test Equivalent Model
8abea8be4831f25ad11aad3d5acb64064c038f65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolTrue	False	Passed	Model Under Test Equivalent Model
5a9ab1d470f21cb49d3f99f55b4fab69d2e16378	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolFalse	True	Passed	Model Under Test Equivalent Model
c880726a201832e9376884ea87ebc410e35b7515	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolFalse	False	Passed	Model Under Test Equivalent Model
ce75867bf2f1cdeba3f6e8143cf5f9a6ea20ddf4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolSet	True	Passed	Model Under Test Equivalent Model
7a3ac73507d06c827ccd3cc063f1648063522f11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BoolSet	False	Passed	Model Under Test Equivalent Model
a9c40dffe245101ed1059db35ac5f233e0bb4373	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	And	True	Passed	Model Under Test Equivalent Model
ccb0fc332aadc7d67a8ff70244b4f322917f8c45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	And	False	Passed	Model Under Test Equivalent Model
c92eb2577f1cc9aa527ee91663c9c1d37ca55aa3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	AndMultiLine	True	Passed	Model Under Test Equivalent Model
da5b4fc75191d1db84f9422e10a57aa37ad7aa70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	AndMultiLine	False	Passed	Model Under Test Equivalent Model
8ca55667cffbcc9280e5a733cfc4f907b0c6576b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Imply	True	Passed	Model Under Test Equivalent Model
b031924a098e7998aa1f778770e7381533394ca2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Imply	False	Passed	Model Under Test Equivalent Model
9eec030f717757862db684e790170e72c523adbc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Not	True	Passed	Model Under Test Equivalent Model
1181f43b243d4f18436eebb5e9a6a5c9d108f3f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Not	False	Passed	Model Under Test Equivalent Model
a0dbf1ec07f2e126f406d3f7580beae3dd161daf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Or	True	Passed	Model Under Test Equivalent Model
9c32b3e0877e1a24e28001d4cfecabcc2ba3160e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Or	False	Passed	Model Under Test Equivalent Model
29994a33d0bc30492b97db6c0772a8282e7c6ce7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	OrMultiLine	True	Passed	Model Under Test Equivalent Model
86508c4bbc9f0e92dbb592218b36b88aeda39e7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	OrMultiLine	False	Passed	Model Under Test Equivalent Model
2a6ecfd2c196c4aedae940919d0677a5642dfde4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Eq	True	Passed	Model Under Test Equivalent Model
43849343938b24f6e5ca58bf6fe93746eae3954a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Eq	False	Passed	Model Under Test Equivalent Model
3197132a647e7ca8a1a11b1adbeb9678867fc937	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Ne	True	Passed	Model Under Test Equivalent Model
16c628a1b2e6f6089e0df8941e7eaabc23445454	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Ne	False	Passed	Model Under Test Equivalent Model
a00fe025bda350b63b71d5a4d90e94911f9836ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Let	True	Passed	Model Under Test Equivalent Model
d6694ae1f0190add1a24a821a0a8fe584fdd90f0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Let	False	Passed	Model Under Test Equivalent Model
6a4146e10ac77974f14d816ea066645e95cf01e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetEmpty	True	Passed	Model Under Test Equivalent Model
50d2487c70b532028e1376d28917b3836d2f2a42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetEmpty	False	Passed	Model Under Test Equivalent Model
12d103e59af68cf176c21029d4854dabb375eda5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set0	True	Passed	Model Under Test Equivalent Model
ee9b8a0142566f81a87c88b1b0ad94b1bb9cb6b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set0	False	Passed	Model Under Test Equivalent Model
c87a2ef0f3362033d856d3e25287a2baf299ec59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set1	True	Passed	Model Under Test Equivalent Model
3810de7198eef332068e3fcc913709d74fb68905	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set1	False	Passed	Model Under Test Equivalent Model
b2ffa28f96ca69e0243655620b841f222ab600aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set2	True	Passed	Model Under Test Equivalent Model
a929317fd718430c6efaa981bb9af2d0ce96bcce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Set2	False	Passed	Model Under Test Equivalent Model
a65e8bb94325565ec7d1af6098063d8b36a9ea63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Fun	True	Passed	Model Under Test Equivalent Model
358f702c309e0d1affbd4c8f96f2c809b99cade5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Fun	False	Passed	Model Under Test Equivalent Model
d4050d5add48435f14492c587a6e4607b9fad9ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	In	True	Passed	Model Under Test Equivalent Model
a36169bc272985b92d904d7dfb5ec1d494042206	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	In	False	Passed	Model Under Test Equivalent Model
b38e1e48bee32bd4b6a64ec4375c54aa7cddae71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NotIn	True	Passed	Model Under Test Equivalent Model
c3856e8bf3d71ea6d5176bbceb8e1e610f589fdc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NotIn	False	Passed	Model Under Test Equivalent Model
49d19fbd504e07f08404b1342a277912dc3c037c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Exists	True	Passed	Model Under Test Equivalent Model
453e6d7b3f58a714706e5cf5b6f527997eaa459f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Exists	False	Passed	Model Under Test Equivalent Model
df2501ac367ed4513dba342e7f2433e696cfe5a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Forall	True	Passed	Model Under Test Equivalent Model
1934a912d4d700dcf14960224b36c9463846eb46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Forall	False	Passed	Model Under Test Equivalent Model
22dfb9ab8295220b0a1818082ee9899e3ea96c70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Choose	True	Passed	Model Under Test Equivalent Model
3c36311dd18327e450283df147cda2f484a2db68	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Choose	False	Passed	Model Under Test Equivalent Model
224bdc9258503f915308bb6adcaa6d740d0da748	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Record	True	Passed	Model Under Test Equivalent Model
780a81f4f92cae0921714653e64dfabe49906c0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Record	False	Passed	Model Under Test Equivalent Model
60f96f9daef0eadde2c7e6bec564efc2d6f3fcac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Tuple	True	Passed	Model Under Test Equivalent Model
ca0294f1388b255323851b8ffd1a7b998389a038	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Tuple	False	Passed	Model Under Test Equivalent Model
3dca0865e7bc916832fa3155dfdfed2347fc2be7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TupleEmpty	True	Passed	Model Under Test Equivalent Model
30f6b875d98a1cc2aa7fb2017f562d6f5900a985	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TupleEmpty	False	Passed	Model Under Test Equivalent Model
32d4b03786337e8959371ce3a07b89990375e62a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FunApp	True	Passed	Model Under Test Equivalent Model
cabf223798e139024ed1e3e60109b0b9a3924ede	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FunApp	False	Passed	Model Under Test Equivalent Model
6bceb3012e92756e2566c8563a3e6b0b16babf68	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumZero	True	Passed	Model Under Test Equivalent Model
b55016896fb1a745e12e19e2cf8b5d2bb722fa38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumZero	False	Passed	Model Under Test Equivalent Model
a5f801f2fee07b33e6f3ca52351fc0c28b2eb82f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumOne	True	Passed	Model Under Test Equivalent Model
3fb0d49d486fed300a81a43a79b0320ddd34f5b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumOne	False	Passed	Model Under Test Equivalent Model
4e2a3ebdca3b1174187ace4943cc1b8876b1cb3c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMaxInt	True	Passed	Model Under Test Equivalent Model
7101b75fa41ff0c6b79bf204a824ab0e22692395	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMaxInt	False	Passed	Model Under Test Equivalent Model
340510c08c97ec9f06007702108858ca50c934e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
e5824f7db3d9620828b7c401154c772a9a7b2077	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
446206e32377b2a956ea916280c4e63933604f9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumPlus	True	Passed	Model Under Test Equivalent Model
69d55529d93f6e1a271ad32bbc2e1aa97560c2ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumPlus	False	Passed	Model Under Test Equivalent Model
82cebcc9c47b0f5ec98e75a1ebc44a51763c0994	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMinus	True	Passed	Model Under Test Equivalent Model
e89514a73b2c2a04df5a939bca5a9f18e4c6310c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMinus	False	Passed	Model Under Test Equivalent Model
a51a235b829cde654b0929574dc0f3d70f3d8538	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMul	True	Passed	Model Under Test Equivalent Model
a61d4ec1eb5d8dc9429723343bb4bf0e8a571bd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMul	False	Passed	Model Under Test Equivalent Model
83d3ff452ee987512b882ec37c4298382e0611ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumDiv	True	Passed	Model Under Test Equivalent Model
c9b5ff1fd6d0cb2fcc92da139aef57c7a0d5627b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumDiv	False	Passed	Model Under Test Equivalent Model
16a9cf49f744a2fe81f6c58472ea76d8926ca5ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMod	True	Passed	Model Under Test Equivalent Model
6ea812ccdaaf929ae4940377627e7bf134321c30	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumMod	False	Passed	Model Under Test Equivalent Model
25ff9089b3cafd745ff62573af035706dee55f05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumPow	True	Passed	Model Under Test Equivalent Model
9d8576dc0775a7fd4d7278301ff94c4057ef48f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumPow	False	Passed	Model Under Test Equivalent Model
570e7e8280e5c46e8e533e9c6ddc655136400290	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumGt	True	Passed	Model Under Test Equivalent Model
b82b247adb31015f9650b69312740296e3481205	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumGt	False	Passed	Model Under Test Equivalent Model
7b8b38e851aba549b9fed57719d723a1a88e8508	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumGe	True	Passed	Model Under Test Equivalent Model
7a962c6e81a1f7fc3817ece4e2ddd0505e3c59b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumGe	False	Passed	Model Under Test Equivalent Model
7e04e517d7f494fa2dae87943175c702c7029e22	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumLt	True	Passed	Model Under Test Equivalent Model
fa50631a0ab8fa0bc81f3a277d2e3686ee1ac8ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumLt	False	Passed	Model Under Test Equivalent Model
dcac1ddc90af6552c9d1ff3872cd7ce6946735fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumLe	True	Passed	Model Under Test Equivalent Model
f7f9218cf70f9b830bf1dd57119c55c6c4de1bac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumLe	False	Passed	Model Under Test Equivalent Model
83435dd6df90a7427e41e77a2b3d401e6c24f304	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	DefFun	True	Passed	Model Under Test Equivalent Model
5071c00b7cc4ae5ddc8cd6fa75723c5ba3dd2557	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	DefFun	False	Passed	Model Under Test Equivalent Model
beda259e91296a30df3499f5759da0a1558a7a7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDefFun	True	Passed	Model Under Test Equivalent Model
6114ef893c3949678a9272a4960f897c99c4c98f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDefFun	False	Passed	Model Under Test Equivalent Model
17776ffebe6493e96aae1bfb7dd8e184fc7a8a03	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	DefFunRecursive	True	Passed	Model Under Test Equivalent Model
ec93daa3b280507a0beb028342ad6f1773b98b0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	DefFunRecursive	False	Passed	Model Under Test Equivalent Model
ea5705c679f20a0b5a2acdab13883e9e4058030b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
aff37fc9ecf1580101c031a977bd4118f7a06a8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
5d74dafcb2f7687491f8f68cd9b785a20c1e912b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def0	True	Passed	Model Under Test Equivalent Model
db9a28d43b7c8664fa919d6fc2dfb967f65cb961	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def0	False	Passed	Model Under Test Equivalent Model
f9227f2290fe9ed6acc8e226999ead30590f41ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef0	True	Passed	Model Under Test Equivalent Model
c3452e2a9910c001c33704e4c33cd07d3a0c194d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef0	False	Passed	Model Under Test Equivalent Model
b004495b802bc757e02b1685245a240148a9f6cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1	True	Passed	Model Under Test Equivalent Model
8c38d8d23fe2fb68f3c56e206b083fd2de961b59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1	False	Passed	Model Under Test Equivalent Model
8168970539770d9e99af46ea9896aadf742bc91b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef1	True	Passed	Model Under Test Equivalent Model
ce8a6f1d209ef2bb2a995227b6e5d5a5b5c6c01a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef1	False	Passed	Model Under Test Equivalent Model
fb452d8467e2eb3af97e5b91d7d4954cfc91603d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def2	True	Passed	Model Under Test Equivalent Model
6eb0962bcb5db4b30981d922ae02fba762ce56d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def2	False	Passed	Model Under Test Equivalent Model
34f4081853a250836515bd7e9f4ba2dcc3b6091c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef2	True	Passed	Model Under Test Equivalent Model
d03e48edaa8c4853e04c2f2081f06afd59cf778c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef2	False	Passed	Model Under Test Equivalent Model
a8e8c50cfe3804d23889674b33da4b9dc9f2f9cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1Recursive	True	Passed	Model Under Test Equivalent Model
f9b930043f5605260a08de6df2bdd2f040343c28	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Def1Recursive	False	Passed	Model Under Test Equivalent Model
f27f7e23aca6a448110e816f69c395ca11ab32bc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
d4b1caa41299f9cc4d8d28c4390e6bd7a5d80120	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
ce994ccd22a75ca0e40420bda4c87e8281de96df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Extends	True	Passed	Model Under Test Equivalent Model
2f871b95a14799fe30f13ca6d83826b9431b5875	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Extends	False	Passed	Model Under Test Equivalent Model
b983610abfafed4e06118319e91cc1b5db3e6d8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
9caac7bf861b8bf0daeab546f9602c9c09907d33	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
d4fa68d79378492e0cd1bf989e30b9d5e75fff26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Constant	True	Passed	Model Under Test Equivalent Model
03c117556e94c1cd39292acfdd1c2fea6b259040	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Constant	False	Passed	Model Under Test Equivalent Model
a8a5c671d211db90172bedeab7484228e0fd3f9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ConstantModelValue	True	Passed	Model Under Test Equivalent Model
a95046d457804944a2208b3371a955fea6353f65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ConstantModelValue	False	Passed	Model Under Test Equivalent Model
f7cf720cb069478c57e5d4ca149a40d1689eb1e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ConstantRank1	True	Passed	Model Under Test Equivalent Model
22a433cc68bf84041a291ae115e1cb1b4b23095b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	ConstantRank1	False	Passed	Model Under Test Equivalent Model
880495bcb591197df10a965ebb49f2ef9cacaee5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Instance	True	Passed	Model Under Test Equivalent Model
fff09845456cba83e18f706463bcb40417dfb15a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Instance	False	Passed	Model Under Test Equivalent Model
6759b096bfad86c9dbc0e4fb1c2a4072f37c852c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceWith	True	Passed	Model Under Test Equivalent Model
f688f00273c13b55f4286182544266a7b48194c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceWith	False	Passed	Model Under Test Equivalent Model
c6e31cc4f5341efc682e46693baa3baf173d65bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamed	True	Passed	Model Under Test Equivalent Model
f18ca507d2c6280f0526f0cd40c507a9d28cd64b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamed	False	Passed	Model Under Test Equivalent Model
16c847b70edb332f9b21a54eb5c499cf1da64e35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
d89e26afb9cd40eead1f6ca99ef2caee8c10b5e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
35d36336f8805d1a325ff732b939a6849ba2b3c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
77b4bb3ed4819e6f0b3b4ffcfa2534c3fd2df27c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
2544a325b5ef012d5373fc7f4b150925d0d39e54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
e41c5d359f5b813860c9b2ad442286d8b601b04d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
5238c8ff4702096ac612db5111ce949d0e439fba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
ff7f4ce7cd76228e97e84175864fc82427a9c367	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
24f3b2c2b2154da2c2a198cbddda9558e03105dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
ce9fb44bbd24841fb2f549c219442ff4fc24d36c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
febd85532f1df12357e05b9e27c2b7647d951f87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Cross2	True	Passed	Model Under Test Equivalent Model
dfa43718c55b420ef16820f5ba1aa48772b4fc59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Cross2	False	Passed	Model Under Test Equivalent Model
65520c6be886e0d4c7e5f7072b3a25a228acc1de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Cross3	True	Passed	Model Under Test Equivalent Model
eaa040c3017b14c210c92c3484f31e1339c80438	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Cross3	False	Passed	Model Under Test Equivalent Model
b4d2d3cd2cbec2ebab31f5adde2605d08ffb6937	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FunSet	True	Passed	Model Under Test Equivalent Model
578ef6788b07eaa198fb9d66d9b48933a9fda8f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FunSet	False	Passed	Model Under Test Equivalent Model
3c45a9f4dbcf21d4e9dfa35cfe9409c245946d82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	RecordSet	True	Passed	Model Under Test Equivalent Model
0db5a3e0b5cd7b207d09d6d837dcd746a5e2ef98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	RecordSet	False	Passed	Model Under Test Equivalent Model
b3f0c0b2eb6c1d7591f5b9fcb4143fc319d67b9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetDiff	True	Passed	Model Under Test Equivalent Model
650487d748451e755eeab6b4fc65f3799d616df6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetDiff	False	Passed	Model Under Test Equivalent Model
5e4208f22d15efd10e71d01c5b1775640fe27918	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetUnion	True	Passed	Model Under Test Equivalent Model
c633997ba207b1563f99472ea8d8ce77b78e6001	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetUnion	False	Passed	Model Under Test Equivalent Model
5af7bb616f8c66e681364d0bd8fa39135d3d8635	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetIntersect	True	Passed	Model Under Test Equivalent Model
3fffbd9cb31899aaeb18ce2c84f38d7b3056adc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SetIntersect	False	Passed	Model Under Test Equivalent Model
79c3bacd3bdba4b60666f8fdce62f9df3dc21eaa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SubsetEq	True	Passed	Model Under Test Equivalent Model
889a45e25f50beb951f795eaa7342d2329ef2eea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SubsetEq	False	Passed	Model Under Test Equivalent Model
2b236a938d94b9ed4742694a6963ac329d06dfb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfCond	True	Passed	Model Under Test Equivalent Model
b6253a65d8bcb8755ca652da34047cc1a8002bb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfCond	False	Passed	Model Under Test Equivalent Model
1a8e6d454fbe4b7953cfad99fc7b33c650fe1076	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfThen	True	Passed	Model Under Test Equivalent Model
0758532c256b5e6838f45b8fcdd0aa3bafc23370	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfThen	False	Passed	Model Under Test Equivalent Model
b5e8cc4531336b5f3d686a6abfd6098eaae89eb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfElse	True	Passed	Model Under Test Equivalent Model
b66e091b455b46695623b3652311ae169b80b4fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	IfElse	False	Passed	Model Under Test Equivalent Model
cd891938d832fe7d70a3f04f0358e9de3c315a54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Subset	True	Passed	Model Under Test Equivalent Model
34cae2ba5200fc44bd6881429bbca4f7f703b3ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Subset	False	Passed	Model Under Test Equivalent Model
6df4b5d958db4c37756ec43b7d76f6038e43210b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Domain	True	Passed	Model Under Test Equivalent Model
0d0dae90e65b35d9645cc70aca52e56a6c01bd59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Domain	False	Passed	Model Under Test Equivalent Model
0b61499b140b147120a43cb811df5ad59d963103	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Union	True	Passed	Model Under Test Equivalent Model
c2e0208e70ef93483dbd90d3cebc78a6a35a3977	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Union	False	Passed	Model Under Test Equivalent Model
d0dd463c2fe4617e24926701818abd421f58031c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Equivalence	True	Passed	Model Under Test Equivalent Model
87384d3b547439e09e27e95820560bdc5814a2d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	Equivalence	False	Passed	Model Under Test Equivalent Model
dd4b89719d2b0ea5641e0c181917d521f923b61f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	StringEmpty	True	Passed	Model Under Test Equivalent Model
a0af8be8146b3ca5a342027ce3ee2c0cc3087918	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	StringEmpty	False	Passed	Model Under Test Equivalent Model
900f4822701c8497d7fb040d7b1faa36dec4c265	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	String	True	Passed	Model Under Test Equivalent Model
f2e693b23110b3770d1c38f2e2fb9225c11f0e66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	String	False	Passed	Model Under Test Equivalent Model
fceeda3be112dd32dc03ab9c7507f20593a02661	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqLen	True	Passed	Model Under Test Equivalent Model
ffbc95a6c1c67080533beea6fa3aa60240bd60d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqLen	False	Passed	Model Under Test Equivalent Model
6330d7d6748f183e037926ae3d2a00edc5865234	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqConcat	True	Passed	Model Under Test Equivalent Model
70ec66e998de77d979e20231be48ba4770392e0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqConcat	False	Passed	Model Under Test Equivalent Model
77ece201c829abcc17f1912afae54a5ff7313e10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
07e002f65ee8a3ba9e40207b4ba3eb3408922ce1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
36dccbfc97bd5953abb3b9cbd0e3de5436762025	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
cf627f6747cff715264bb203698f6b5b8d92c8a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
570559e66403d1cced01dfc8149be00cea1fc1a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumRange	True	Passed	Model Under Test Equivalent Model
ac10a2c1a7136ec07ab5cd30e2bf21feeaa27914	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	NumRange	False	Passed	Model Under Test Equivalent Model
5593184355f29e7c6c7c03e4f73fe32fc814d712	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcSingletonFun	True	Passed	Model Under Test Equivalent Model
b28d7b2f23f4c731f0a270d8a2150ab7c31890cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcSingletonFun	False	Passed	Model Under Test Equivalent Model
17fa05d18d5718464f453d73a1db7a448be60e10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcExtendFun	True	Passed	Model Under Test Equivalent Model
2103427367d80f21526981e366f2ec4400151b01	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcExtendFun	False	Passed	Model Under Test Equivalent Model
ae0b380fecc8362def251a376da48ec15ea7b23d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcPermuteFun	True	Passed	Model Under Test Equivalent Model
4dc5ca041fe63e6b1eb86a15be872184d506522d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcPermuteFun	False	Passed	Model Under Test Equivalent Model
7f8a1b92f2d4c4f94d30d926cda36ebd8b60d1e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
2c64d938d93b85799e550324dabf454f0beb715e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
2506f85a49b5435b61184b5792ffc86340b7afd5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcEval	True	Passed	Model Under Test Equivalent Model
307de950118a842a3826ad9e9c448c1a84a5d789	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	TlcEval	False	Passed	Model Under Test Equivalent Model
c38ec2468ef5946dcaff864715749179e2890ae1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagToSet	True	Passed	Model Under Test Equivalent Model
0eacb2caa5244d88324db521c8ca0077d0690583	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagToSet	False	Passed	Model Under Test Equivalent Model
ef36019b0ec831d283e272f2764def8135e51b24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSetToBag	True	Passed	Model Under Test Equivalent Model
bb82381976fa5b0ea965bc8a4c625b39a4a61239	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSetToBag	False	Passed	Model Under Test Equivalent Model
4f436d55d177b5d41008e7a96f3450f0d2ac4476	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagIn	True	Passed	Model Under Test Equivalent Model
d881e3398765683bbf17f86f97b2621587862073	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagIn	False	Passed	Model Under Test Equivalent Model
1d0fed77a8487d0b3e7795f218a6019a572dcd5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
157940891e206a730bb3b4359adf11f40f992061	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
d915d0f0c85b9c0fbd5d6d8143056d85e97e9b72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagAddBag	True	Passed	Model Under Test Equivalent Model
37cadf3274de62378a88c850cc400dffec5165ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagAddBag	False	Passed	Model Under Test Equivalent Model
857cb156d981ef7ca1c156057fe20f570a627822	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagSub	True	Passed	Model Under Test Equivalent Model
cb331cd3a86c6ff312f9a03ffa456ec5fc8c45fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagSub	False	Passed	Model Under Test Equivalent Model
f61df760834c39a52cf534c1f0fd9cc94f9a78bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
49c6d535d9c44db76435b1c6808305d0f631ff70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
f7ba94dca939e555d488e1db6cb428f01f974e35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
906417fac298033e07cfe8916407d64daa8bb213	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
3af4a266136ead5905d7f4e4f7981f859abd7e29	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagUnion	True	Passed	Model Under Test Equivalent Model
00e4496c04425fc78ace72510d39c967315e1cbd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagUnion	False	Passed	Model Under Test Equivalent Model
494d8d52c421f32e85caa8f7832174fcf9fbe7ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
7aeb42d7392f6d5003eb7a84ab3faa6499015b82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
ef6ac5067342cd7e3a1ced056476beecf980bb6b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
c0612dd326954428c18dcea8aaccb9e85442c5b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
31d19c2014b7a4113733b2816bccb5b44f74a9ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSubBag	True	Passed	Model Under Test Equivalent Model
5c8f0d04cd62f32df659fd30a49babf2afdc5333	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	BagSubBag	False	Passed	Model Under Test Equivalent Model
e7c41918a1ce91d79016760922900ad5bf6b55c4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
58b64883131c3eb79cb172aa4e0a9b93a4c27070	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
2ba8ed715d8efff00f38076b171e3f76c1eba6d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
54d0ce73272bc087d1c442e88ecd99f97aa3d177	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
b0dae9c6ef113f83a1545ac2cf923eb1601611b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqHead	True	Passed	Model Under Test Equivalent Model
c0f8d2df6b33e3297c556312c031b3f81908c9a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqHead	False	Passed	Model Under Test Equivalent Model
7ca338928730c02241ea505480ceb270091f0f0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqTail	True	Passed	Model Under Test Equivalent Model
9598eb4b99072b82a764ccd16cbbdc6500ed96c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqTail	False	Passed	Model Under Test Equivalent Model
93ae3443b541a8b2a159e4af9817a3fdfefa188f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqAppend	True	Passed	Model Under Test Equivalent Model
594748cbd772cdf13416a7cc4d2445d15328f745	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Constant	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature Constant; CLI Option: -workers 2