Tests by plug feature Extends; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
57224e444904fac0a19b17e906d3635afdb4924b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Extends	True	Passed	Model Under Test Equivalent Model
79cc370a11b2ee08bf4865899df989f099d8dd06	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Extends	False	Passed	Model Under Test Equivalent Model
0b1ee70d6bf046b8ea298554c91df196371cee70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Extends	True	Passed	Model Under Test Equivalent Model
e13fdaa210b57b116fddfd31139bf6a885fb5470	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Extends	False	Passed	Model Under Test Equivalent Model
14b349ec4a541bae16f42d9eab15835aa535cd1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Extends	True	Passed	Model Under Test Equivalent Model
83889b51eed5668aada0dd4653e78dcb08477285	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Extends	False	Passed	Model Under Test Equivalent Model
661fd19635c4c914d8ab664f07538a7072c05f5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Extends	True	Passed	Model Under Test Equivalent Model
d6f24c5d1be7087021a52c35124f5b4ae1deab71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Extends	False	Passed	Model Under Test Equivalent Model
ede4c8df3eee38a9b12958e91478b29b64ae54b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Extends	True	Passed	Model Under Test Equivalent Model
d9e189d13aee5b35d38eea08e93d3ab3b70115b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Extends	False	Passed	Model Under Test Equivalent Model
a404b65d2fc82f486e45ced9231fa3bf1ea7b738	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Extends	True	Passed	Model Under Test Equivalent Model
39cad26d77c44ccb5e46e4e05d388523a26d8563	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Extends	False	Passed	Model Under Test Equivalent Model
0d423bd0c47c70bb698bffa0eb081d27ffaa2dd7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Extends	True	Passed	Model Under Test Equivalent Model
e083da1ef54550e00d0dbeed3361ffa2e312af59	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndProp	Extends	False	Passed	Model Under Test Equivalent Model
5b1bf39ad081092b051deb57fa4f81db152a8b70	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Extends	True	Passed	Model Under Test Equivalent Model
027a6ac029f1308105614f668e5f08219d2092a0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Extends	False	Passed	Model Under Test Equivalent Model
aecd2627cae964b0e96a7d32761c8578005c68aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Extends	True	Passed	Model Under Test Equivalent Model
b9cbcad15b27d8ab4f42a8f2a1f5dba458eb4645	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Extends	False	Passed	Model Under Test Equivalent Model
ea474333dc25b4fe1a9b93e7599052b5a71174af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Extends	True	Passed	Model Under Test Equivalent Model
f28c9d9450585cdcb68d1d7afbda3f43d547e093	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Extends	False	Passed	Model Under Test Equivalent Model
9b86d174c56eb2c39d0f25027a1b62f48c0f5a0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Extends	True	Passed	Model Under Test Equivalent Model
23037bdd260d62728df158bc05982dc2068ac880	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Extends	False	Passed	Model Under Test Equivalent Model
2b03ebfdc45978b9833a071c8daa22a10e44a1cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Extends	True	Passed	Model Under Test Equivalent Model
3c1f3b45395378cd85352a5791473fb5ca42156d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Extends	False	Passed	Model Under Test Equivalent Model
f1bb2967863c22678711b5954e011e26b2ca6ec2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Extends	True	Passed	Model Under Test Equivalent Model
85324effc2937d24a3fd8901a27246eaf87c6f88	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Extends	False	Passed	Model Under Test Equivalent Model
71f1a5bc699a99ce3289398e4d2f6183fe4ed241	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Extends	True	Passed	Model Under Test Equivalent Model
ac27fa63feff5a57be26c685ec878df2f7674199	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Extends	False	Passed	Model Under Test Equivalent Model
a2a26f28d1238185bee2aa36203f115b63dceace	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Extends	True	Passed	Model Under Test Equivalent Model
6159959709ec21af79e67ebd54b95eda2643a108	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Extends	False	Passed	Model Under Test Equivalent Model
ebab4d6885028cd56a51f90da25af0a8bbb08379	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Extends	True	Passed	Model Under Test Equivalent Model
fdd10a29aef23df7e0d963f268a971ecf72fd4f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Extends	False	Passed	Model Under Test Equivalent Model
a508c8013909b23f3321398b50914e6e13ea3202	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Extends	True	Passed	Model Under Test Equivalent Model
05234546272cc2a550b3dd8a8e7f17cd62b10b19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Extends	False	Passed	Model Under Test Equivalent Model
a171cf53e516da73c72e69f74aa85078bd44f558	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Extends	True	Passed	Model Under Test Equivalent Model
bfdb470f81df6536528378d4771bab4bb934ede2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Extends	False	Passed	Model Under Test Equivalent Model
061b3265655721bdcffc1df0fc059c224a329bb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Extends	True	Passed	Model Under Test Equivalent Model
ac5015559081ac8242d94d92bde57ea0e6c9ca42	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Extends	False	Passed	Model Under Test Equivalent Model
5e9b99f8ba3cda7c00fe826de809d3c9266bd87d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Extends	True	Passed	Model Under Test Equivalent Model
577dc68504cf1925f36ac20c7d7023b1e9930ddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Extends	False	Passed	Model Under Test Equivalent Model
cc9dcae17f0b8f6f8e4a9cf7d915f195b5401404	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Extends	True	Passed	Model Under Test Equivalent Model
4ecf325204600a2ca7485b3cf51ab3d17a26b09b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Extends	False	Passed	Model Under Test Equivalent Model
11d78aedebf0d13cda7cc1ed59e5871d10bb91dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Extends	True	Passed	Model Under Test Equivalent Model
e85cbf9c7b9caa8e96c4df220b76c1380ab3bdcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Extends	False	Passed	Model Under Test Equivalent Model
3d969c98da8c01ba9302685abad261dc2d5e3f19	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Extends	True	Passed	Model Under Test Equivalent Model
908d77ffaeefa13bb3dc09c0a7a50f5db65fe32d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Extends	False	Passed	Model Under Test Equivalent Model
f7b9a23b862b1bf78b285e694abb7439e3be14cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Extends	True	Passed	Model Under Test Equivalent Model
0b5f0aa1b6f47ab3f304722c309c90e717ba9f0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Extends	False	Passed	Model Under Test Equivalent Model
cb37dd1e30be09422a512e9668545d4573389e94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Extends	True	Passed	Model Under Test Equivalent Model
344ce459a1f508f3547222523780e7c74a729528	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Extends	False	Passed	Model Under Test Equivalent Model
fea3fb4cc1f11b2fb74543f43b3eb4b86ceaf50b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Extends	True	Passed	Model Under Test Equivalent Model
ec2da61be26d5a2dfa4a6b7c546c8b9d3796243e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Extends	False	Passed	Model Under Test Equivalent Model
8c72eb2015dcd5a2cba1098819c18f7fad4c81cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Extends	True	Passed	Model Under Test Equivalent Model
65408ae0e66eaebe9450d2fb4e9d9da8126ddb92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Extends	False	Passed	Model Under Test Equivalent Model
8f804a16bdce4cd5f621d24f8b005ca1f94f422a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Extends	True	Passed	Model Under Test Equivalent Model
d5e5940378b02befa4db78165ce6d46671194267	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Extends	False	Passed	Model Under Test Equivalent Model
1772a94fa3cf70424ecbec824c029ba86019ec8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Extends	True	Passed	Model Under Test Equivalent Model
8dc71dd1258c89fd5668fcee348c3fd429bbb574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Extends	False	Passed	Model Under Test Equivalent Model
6bde675f4056f80a389df9e03b4ebc092f1d3f14	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Extends	True	Passed	Model Under Test Equivalent Model
02c87eacba77431283922218140d8a2318a74b1e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Extends	False	Passed	Model Under Test Equivalent Model
6525e3b8c3c7d28d2f36c6972ddbae341b29ff24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Extends	True	Passed	Model Under Test Equivalent Model
9156cc476602ea23da3836e2e47cbf79c5c8ee09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Extends	False	Passed	Model Under Test Equivalent Model
232fba39e441c1b0c7ec81af27b52179e5287e36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Extends	True	Passed	Model Under Test Equivalent Model
a095281b0f384ad0136e494013760a86ce8fb217	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Extends	False	Passed	Model Under Test Equivalent Model
bf28ac8f0d7d59c6cf07babc7a3335f505cfcb8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Extends	True	Passed	Model Under Test Equivalent Model
4a5dbacda9e182c057991d0332d5a1feda84ee57	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Extends	False	Passed	Model Under Test Equivalent Model
1647a25f97a564b0ba04defaf231be85713d7036	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Extends	True	Passed	Model Under Test Equivalent Model
091ec8e1ddaaa700642d84651907d379e16a7250	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Extends	False	Passed	Model Under Test Equivalent Model
fec17f39b1fa73585af1601d65e10c6c2af55cd2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Extends	True	Passed	Model Under Test Equivalent Model
625d743776d5ac170653a3c3df4f73e4e40b6fd0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Extends	False	Passed	Model Under Test Equivalent Model
fb476677a75e2828d0aeebe1269a579b07c744a7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Extends	True	Passed	Model Under Test Equivalent Model
59a1b14965e839fcff40744ce7e20c0cdad37802	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Extends	False	Passed	Model Under Test Equivalent Model
2b0198762b3ac33519fa6130c756e6b002024d92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Extends	True	Passed	Model Under Test Equivalent Model
62e9018e4cdcd3c18e977c3318786aa1dbe83242	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Extends	False	Passed	Model Under Test Equivalent Model
3f3f0b90ea66f31a118eeebe269b7b166b95dcbe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Extends	True	Passed	Model Under Test Equivalent Model
d8fbd2910f0f2999d19a161ffa8e94f791bbf0cf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Extends	False	Passed	Model Under Test Equivalent Model
40a73579dfd2eadd885009a2a028ed17149ab732	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Extends	True	Passed	Model Under Test Equivalent Model
e2e3e00b1d41e06be322248e0f21383b1857bc64	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Extends	False	Passed	Model Under Test Equivalent Model
ae978f6ad21935c5d14701d1645d2d84b7765574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Extends	True	Passed	Model Under Test Equivalent Model
5bc257e3bcf7cefc4454136c318d525bdd921739	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Extends	False	Passed	Model Under Test Equivalent Model
180650d135b6e4f13b34a3d965cd1236ae193036	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Extends	True	Passed	Model Under Test Equivalent Model
97eadb56cc482a8dfe453a10374fcf5ae44e2451	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Extends	False	Passed	Model Under Test Equivalent Model
c3dd786d6414fe8fb7edaef2a08ea43c4dafd5d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Extends	True	Passed	Model Under Test Equivalent Model
49d83c48cc00b435ea2848c2e9be0b2f287e5643	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Extends	False	Passed	Model Under Test Equivalent Model
e1872a8c8d9d97b4ba6b89d4cb8467db9c7b33d4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Extends	True	Passed	Model Under Test Equivalent Model
27a0adee9ef40792a0c6c072fb92aa0641e82bdf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Extends	False	Passed	Model Under Test Equivalent Model
2db4701a0a146b4bd80d94fb1f232b658d38fa46	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Extends	True	Passed	Model Under Test Equivalent Model
324000a6aeab8b70c37d001e87946da7bfaaae94	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Extends	False	Passed	Model Under Test Equivalent Model
e45b4548462b851e2e48e9b64bc850365466675d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Extends	True	Passed	Model Under Test Equivalent Model
0573156aff7d345ab97c28aaebd133081e6771b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Extends	False	Passed	Model Under Test Equivalent Model
6a6a36113ab1ddca87e617d190aa5eec8ad01e38	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Extends	True	Passed	Model Under Test Equivalent Model
2da9e30b0adedec3d8553eee6d084de38016d507	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Extends	False	Passed	Model Under Test Equivalent Model
c98b38c9fc0cb39e1fb96aa2d8b21e04b61b6768	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Extends	True	Passed	Model Under Test Equivalent Model
04182c5843d563adb8856f90e4fb84cfb5cf1e39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Extends	False	Passed	Model Under Test Equivalent Model
a82ed1700a74e31c9c143f71ba5e222d710e2e89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Extends	True	Passed	Model Under Test Equivalent Model
04ab6b57231fc2dff11e663d5b55f9bf235efe67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Extends	False	Passed	Model Under Test Equivalent Model
f3d939c8ed57ae99ad74302e66515ccba514e74c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Extends	True	Passed	Model Under Test Equivalent Model
f4a42ceae832b3873863039758704ae0e7ac21fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Extends	False	Passed	Model Under Test Equivalent Model
2ad17b4d10b8a2e835df1247cb51059f8e75e18c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Extends	True	Passed	Model Under Test Equivalent Model
5258dc3c1bf855762caa869f2955ec42bbba1888	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Extends	False	Passed	Model Under Test Equivalent Model
4248eada4c5a57a8e877e32c07fa17d13bdfc083	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Extends	True	Passed	Model Under Test Equivalent Model
80975ad9cb2ddd747af3a96bf15fa45fd91140c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Extends	False	Passed	Model Under Test Equivalent Model
a343647418d04e56dc4ec96836619fe420be66a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Extends	True	Passed	Model Under Test Equivalent Model
d5e94624e70a27ea5452b71c41e560ef2e36c1d0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Extends	False	Passed	Model Under Test Equivalent Model
13313c33f7d520531c732cc156ac117f09081c9f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Extends	True	Passed	Model Under Test Equivalent Model
1080e81ca6662bc6f69c9053c4df1bc7c0b293b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Extends	False	Passed	Model Under Test Equivalent Model
5ec549090a177fbdce29f08bffdc4e35ea5042dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Extends	True	Passed	Model Under Test Equivalent Model
170eadecf8a68d3ff8219b10fedab89858243c3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Extends	False	Passed	Model Under Test Equivalent Model
4a0453367c69b75332b9af0ffab89035c8c0f52e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Extends	True	Passed	Model Under Test Equivalent Model
f817779d2036bb550448521595e9d7fa57bf8922	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Extends	False	Passed	Model Under Test Equivalent Model
7e39b7d962d34ca7cdce92249bc229ca22557e3e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Extends	True	Passed	Model Under Test Equivalent Model
70c28db642699f7df471cc94915b8fff3ae05d1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Extends	False	Passed	Model Under Test Equivalent Model
dbabf6956b7ae5815045f55aa7abd419e925fc15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Extends	True	Passed	Model Under Test Equivalent Model
8c87cfeb50113dbf7bc7b60e74404337f710f039	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Extends	False	Passed	Model Under Test Equivalent Model
d9f77c63748564d662eac9ac993c741ecc8e15b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Extends	True	Passed	Model Under Test Equivalent Model
0024713958cfeed8cd57ad2772a0eee81a53c053	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Extends	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
f9d636345c2ba599025272e3ede976dc2cfe66be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Extends	True	Passed	Model Under Test Equivalent Model
8112cc417f8967124d71fad9aa3d205a481a7155	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Extends	False	Passed	Model Under Test Equivalent Model
5227123c762ffd9a7e5e2800a846dfc08b7d8e77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Extends	True	Passed	Model Under Test Equivalent Model
7740ab30f891bc7e03887457f360ce36a0b30874	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Extends	False	Passed	Model Under Test Equivalent Model
22abe7214bda3cc20104346791680e90c6cfce67	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Extends	True	Passed	Model Under Test Equivalent Model
ae5e5557af5c531338b93c49f00a91356916d5ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Extends	False	Passed	Model Under Test Equivalent Model
ed4a1dd8337aa85d6a76a0448df69306f6cf7662	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Extends	True	Passed	Model Under Test Equivalent Model
9688d5c844e07145340f5be9e0918367bc151baf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Extends	False	Passed	Model Under Test Equivalent Model
6e0476ce8d8d46a8094219b43fc34408bfb4fa0f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Extends	True	Passed	Model Under Test Equivalent Model
0b1a41a0e61b12775fd4a7fe93b8f7679b97df0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Extends	False	Passed	Model Under Test Equivalent Model
7de80dad50158e067d2a3cec324d089c965b5aba	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Extends	True	Passed	Model Under Test Equivalent Model
a106158624b39c962361b605431c6fcff8fb8793	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Extends	False	Passed	Model Under Test Equivalent Model
35485990afcc16ba283a8878563f5d45c88347a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Extends	True	Passed	Model Under Test Equivalent Model
30fb05cdeb9b000e548974637de4f100b22d86b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Extends	False	Passed	Model Under Test Equivalent Model
5430a1e47785da32c14ebe9158a1a61b1e16feaa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Extends	True	Passed	Model Under Test Equivalent Model
48ca0339c8f2823cdcd83c7a7820362ddb774b9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Extends	False	Passed	Model Under Test Equivalent Model
e06f7c32da042aafa8c19fdd4edb4871e89e3914	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Extends	True	Passed	Model Under Test Equivalent Model
03b09f91faca1c9d762aefedf0bf16d36538f3e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Extends	False	Passed	Model Under Test Equivalent Model
834b379ef670036fbdca6164b02e0c5de4a1da62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Extends	True	Passed	Model Under Test Equivalent Model
9f18f7845349f8336a851abd5dcb9f28f39a59cd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Extends	False	Passed	Model Under Test Equivalent Model
616856304c3c6dc8afb3f2b0a4a2cb283420610a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Extends	True	Passed	Model Under Test Equivalent Model
ba48caa293e41c1b3b4c770aae70ffb80be897f4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Assume	Extends	False	Passed	Model Under Test Equivalent Model
3f49b7d2d0a98fd624561728dabc01ca4405d0d6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Extends	True	Passed	Model Under Test Equivalent Model
c2745637fe27fe7ba9b4e0934eeb0ea9516488a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AssumeNamed	Extends	False	Passed	Model Under Test Equivalent Model
cae9ddbe945f1aaf8edab959d2088c4585199429	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Extends	True	Passed	Model Under Test Equivalent Model
9b91ffc05176452a2247213684ff677a746f8a92	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Extends	False	Passed	Model Under Test Equivalent Model
9a71f48657f687d8e0f39b19504e255325e8b90a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Extends	True	Passed	Model Under Test Equivalent Model
cf533821958b1769c9667a64d80db340eb235e60	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Extends	False	Passed	Model Under Test Equivalent Model
c420091c14ebb5cce47a294c8d0841882486e36b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Extends	True	Passed	Model Under Test Equivalent Model
30324f15e887659429bf9a1b0b366d2d9b1594db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Extends	False	Passed	Model Under Test Equivalent Model
ff02b2146b2a33bcf166a7bddabbfa66043b56d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Extends	True	Passed	Model Under Test Equivalent Model
936269b65162bf3d93ec7685bd109ba4d68689d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Extends	False	Passed	Model Under Test Equivalent Model
fc4ff48b624e3cf724b028ca19ab9414734604ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Extends	True	Passed	Model Under Test Equivalent Model
bdf6a93e80f86a45e7f1635e40ad1fe8b01f0460	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Extends	False	Passed	Model Under Test Equivalent Model
e1f2d4f49124b9491ce572d3dbd0ad8728fd1be0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Extends	True	Passed	Model Under Test Equivalent Model
a660ac9b7c1e695b2549f243b014e4290d826a24	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Extends	False	Passed	Model Under Test Equivalent Model
5f28201655e38ef3fcb1eff8aa874d87ec17d1a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Extends	True	Passed	Model Under Test Equivalent Model
7145a0bf25340783a991c708443d0084fd25fbf4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Extends	False	Passed	Model Under Test Equivalent Model
21b8765537a54b9384391b6998fa7227b253c661	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Extends	True	Passed	Model Under Test Equivalent Model
401785665cc3876befd66d58306f0c0238f74843	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Extends	False	Passed	Model Under Test Equivalent Model
bc9230b1e3b65b20dd39326fdfc7313a732f1b5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Extends	True	Passed	Model Under Test Equivalent Model
6a6e7ba0562659be277c049bddb4a4564780de75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Extends	False	Passed	Model Under Test Equivalent Model
693eb69288fd497277b0b3762d056e528cda60a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Extends	True	Passed	Model Under Test Equivalent Model
43584c060272cee0ce767e231330ae7d8680f38a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Extends	False	Passed	Model Under Test Equivalent Model
e27d0191f0a4d0a8c41449cc34f94c6126539313	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Extends	True	Passed	Model Under Test Equivalent Model
1d971ba76019fe4361395de39d39dd48c1ff0bc4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Extends	False	Passed	Model Under Test Equivalent Model
0340b84aa29b2174a9dca71b40b037bbf8344918	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Extends	True	Passed	Model Under Test Equivalent Model
51e03d316b673d2b8fbd4a5928cdfb0850dd6f96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Extends	False	Passed	Model Under Test Equivalent Model
babb3ee0b773de2fa186f9d7e833cc5c7a89b066	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Extends	True	Passed	Model Under Test Equivalent Model
7ac37bee925e752e3eca23fa363a15af9cc3a9de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Extends	False	Passed	Model Under Test Equivalent Model
b4143d3a2191020568c51996f51e1c4ca790dc09	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Extends	True	Passed	Model Under Test Equivalent Model
9cdeb2321a32557960151964dd6ac88536390a91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Extends	False	Passed	Model Under Test Equivalent Model
4f1a06ff23eb87585a90912183c67fc6ae4b25ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Extends	True	Passed	Model Under Test Equivalent Model
3c560acfa4c656d416839acb85a82aaf62cf5d25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Extends	False	Passed	Model Under Test Equivalent Model
83636fb998132637e36c8a676ea46063784012cc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Extends	True	Passed	Model Under Test Equivalent Model
dd2d334a7d34f278e3b3d717ed00ccb169547975	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Extends	False	Passed	Model Under Test Equivalent Model
ba4c6da5f3f75b764aa91544bd89c48d0770bdff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Extends	True	Passed	Model Under Test Equivalent Model
20337922e2d02334f2798994c03e5c9ef6b4e115	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Extends	False	Passed	Model Under Test Equivalent Model
0c5dfad32ed8764de7d98ef64394ee1907cf01a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Extends	True	Passed	Model Under Test Equivalent Model
49db1a5f3df70eef2ccf8c1d04574d372a009d45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Extends	False	Passed	Model Under Test Equivalent Model
bae5937d864526709967d18d7d39909724b03e86	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Extends	True	Passed	Model Under Test Equivalent Model
535039e6bb5fba20398811c3b371dbdfd8017258	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Extends	False	Passed	Model Under Test Equivalent Model
96a48be19fe3303ff0ca08b92b1b75128c2ab656	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Extends	True	Passed	Model Under Test Equivalent Model
b823489c0e0f9e826920673dd840aec514052823	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Extends	False	Passed	Model Under Test Equivalent Model
31f5153891c341920de444a67871baf7dae2b862	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Extends	True	Passed	Model Under Test Equivalent Model
d141b68b774d83d605cdd2e41973c1101db57953	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Extends	False	Passed	Model Under Test Equivalent Model
94b5b2f37a4d86abd59996b633160c0d40e1bca2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Extends	True	Passed	Model Under Test Equivalent Model
40dd0db1eb49815c11d4184915a1b8b631e899e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Extends	False	Passed	Model Under Test Equivalent Model
3251f7827a3561db90ec41745787273fa5797bf2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Extends	True	Passed	Model Under Test Equivalent Model
953295a4c67fc1c76d67a0548ab2551c818dcf97	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Extends	False	Passed	Model Under Test Equivalent Model
4c4b8ba556746b0c7b0cdfbb96d22dcdd1a51269	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Extends	True	Passed	Model Under Test Equivalent Model
d26ad38e10560321a8d9605d85f9c1eb95e1c519	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Extends	False	Passed	Model Under Test Equivalent Model
d1328ce598529cd478b28f8f1cecd2f5f95c11b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Extends	True	Passed	Model Under Test Equivalent Model
e1cc62d06768df0444ce6d94c24056ee89006a82	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Extends	False	Passed	Model Under Test Equivalent Model
9c06054735178af08baca72c3b8278ec1fd71efd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Extends	True	Passed	Model Under Test Equivalent Model
b58fa681b2d7af9cabc978055a045710a82199ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Extends	False	Passed	Model Under Test Equivalent Model
84d96d7c5d1a33316d7fc5728abba8505cb9be6f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Extends	True	Passed	Model Under Test Equivalent Model
902d3cfaaa2df5dcdb94eddad65ff12772edc196	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Extends	False	Passed	Model Under Test Equivalent Model
b65c73867f1e94e12f7f26e365c1b8322eb6372a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Extends	True	Passed	Model Under Test Equivalent Model
ec4145d4859c889ee94d326996294a0228bed9d5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Extends	False	Passed	Model Under Test Equivalent Model
35f526da593e2fa5cf01c5d7296d89eb9c281c98	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Extends	True	Passed	Model Under Test Equivalent Model
27c2d850d13a3a3bd178ba873290a2e3b9c7b20c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Extends	False	Passed	Model Under Test Equivalent Model
4f4f04910249d63d66f5fc7f87d3ec8c9a1946de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Extends	True	Passed	Model Under Test Equivalent Model
bfbfe6bf529c2386290aaad15062cb1e2a18fba8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Extends	False	Passed	Model Under Test Equivalent Model
69d7f7762f4e586fe2f4bc6c4cd517053ef17eb0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Extends	True	Passed	Model Under Test Equivalent Model
46577aded414c550f1a8ff9f22583b175eecf1dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Extends	False	Passed	Model Under Test Equivalent Model
348276e392b9cc015f86767368c034ccf5dc7107	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Extends	True	Passed	Model Under Test Equivalent Model
b2622a548c8d1eff7c595fee7ceaddc3fb18154f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Extends	False	Passed	Model Under Test Equivalent Model
80294f4a2f7e9ef74c05263804553032cb90827b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Extends	True	Passed	Model Under Test Equivalent Model
ea7f1f3a43f787cbc66c41cd2b768993408fde1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Extends	False	Passed	Model Under Test Equivalent Model
9850ede16b82a62409dd9c044adf345c41493136	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Extends	True	Passed	Model Under Test Equivalent Model
a386dd3d1c7212a483ee08fcde099764c91a8acd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Extends	False	Passed	Model Under Test Equivalent Model
f05943feea7a231a535b1468fa5f0b4461036772	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Extends	True	Passed	Model Under Test Equivalent Model
da735add4adc1d12633f641e9590c734477fd0be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Extends	False	Passed	Model Under Test Equivalent Model
8e6f28c14cf884d2be3350be947525dab0b01bb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Extends	True	Passed	Model Under Test Equivalent Model
9e0375cd53ed65db12d06264afe7147517a861fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Extends	False	Passed	Model Under Test Equivalent Model
b1b51ca0aef8e93be128df1da3db48191cc15adb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Extends	True	Passed	Model Under Test Equivalent Model
e7eb30c67d72c7a207f64322b1f6c9c9b98dfd32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Extends	False	Passed	Model Under Test Equivalent Model
38b7b33f1e7aa5ad618ab5e2b1c6a67d847420db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Extends	True	Passed	Model Under Test Equivalent Model
ad766682ab2de80ce43bbf5b752a4ac8cd5d96ef	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Extends	False	Passed	Model Under Test Equivalent Model
5ae97a13a7c4043efc6c2ec726d373ef4af7220f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Extends	True	Passed	Model Under Test Equivalent Model
7b766f70f1951907059163af7c76d72ef6aefa2a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Extends	False	Passed	Model Under Test Equivalent Model
e1af3b6c31837c40672caed92a293a661c508a8f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Extends	True	Passed	Model Under Test Equivalent Model
3689cbb8d6e72cf4e0d167d703390bbd49ff793e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Extends	False	Passed	Model Under Test Equivalent Model
993cc0bbcbc62f7725327923bbe39a3520f4a5dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Extends	True	Passed	Model Under Test Equivalent Model
23028fefeb1ae8817777f80f26ca895ffaa456bd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Extends	False	Passed	Model Under Test Equivalent Model
d4167ef4fda3bee143a13854d0df21ffcbea5caa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Extends	True	Passed	Model Under Test Equivalent Model
3bb1a0a611d062359e897e2350dd7f0342f20c12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Extends	False	Passed	Model Under Test Equivalent Model
ce9a5f1b0a2cd54499cb980a5e9addd033b84a31	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Extends	True	Passed	Model Under Test Equivalent Model
4688dd959d113e56265011007ce4f677d413b431	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Extends	False	Passed	Model Under Test Equivalent Model
5d8f4e1650646b924f766d51c81632b9bff3fe7f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Extends	True	Passed	Model Under Test Equivalent Model
2d9036e03715ef17e9008bfcb03cf7b61feae61d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Extends	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature Extends; CLI Option: -workers 2