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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
00b363a65440d8a28a6751b4d73d4d6eefe59df1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	OneLineComment	True	Passed	Model Under Test Equivalent Model
4535ebc6f6d2d587a39db26bfbec267b1d8b687b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	OneLineComment	False	Passed	Model Under Test Equivalent Model
d4f22b188942f76a5add0cb3b69332fa4d388d6e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	MultiLineComment	True	Passed	Model Under Test Equivalent Model
bd5e765b58d8d237c1f2199d712c76191404d0f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	MultiLineComment	False	Passed	Model Under Test Equivalent Model
a4a6bfa440e1e4863d898e85c1adac1f7ae976ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BoolTrue	True	Passed	Model Under Test Equivalent Model
282d803d2c84194a1bc52d09f86f482d61b604aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BoolTrue	False	Passed	Model Under Test Equivalent Model
f63fb15a2a66d8311c40c6dc7f0e6ee36786a86c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BoolFalse	True	Passed	Model Under Test Equivalent Model
beb102a215d9c318c378eb21921421942df0fb78	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BoolFalse	False	Passed	Model Under Test Equivalent Model
6707034297280180899b9a2e299642856f3981f1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	And	True	Passed	Model Under Test Equivalent Model
e414aa34bca8ba2dc428f987f8d598d295b3e7c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	And	False	Passed	Model Under Test Equivalent Model
3c3cf1a4a3115684f60d11fdab96e5ecfdaf2ae5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	AndMultiLine	True	Passed	Model Under Test Equivalent Model
9d9ded9a98310a32666741f0554d1901798864a3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	AndMultiLine	False	Passed	Model Under Test Equivalent Model
1c0d35e06f18da3c7ec3acd168c911d76aa68511	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Imply	True	Passed	Model Under Test Equivalent Model
52fcfc02bdfff53953c35ba10a9bd633c2fac1c1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Imply	False	Passed	Model Under Test Equivalent Model
70e4408fcae07f71a75bfa0c51a86f8fa8340085	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Not	True	Passed	Model Under Test Equivalent Model
02da4fe950cd4ea3af2a22223ea03b3a451baa87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Not	False	Passed	Model Under Test Equivalent Model
510d8ce99442ad395cf27ea5d66f8ffb79e96066	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Or	True	Passed	Model Under Test Equivalent Model
1b449ae03410e0eadc1ac18fc29f3a28511fd80d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Or	False	Passed	Model Under Test Equivalent Model
bda1f2551d868bd6171bf02af19102f55e3f0dae	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	OrMultiLine	True	Passed	Model Under Test Equivalent Model
8519a7d21c67d8ec778aeea76183823843ce2a9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	OrMultiLine	False	Passed	Model Under Test Equivalent Model
849ea197091698bc608b0ed1ff127891a61b00d9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Eq	True	Passed	Model Under Test Equivalent Model
9a241ebe2518d8dc5fa08bc8c2a874edebc1599f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Eq	False	Passed	Model Under Test Equivalent Model
e63e095fbe43c435fc2c0f88483b4a9a35117230	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Ne	True	Passed	Model Under Test Equivalent Model
ff3f2748ba6fea186bf0d996e7a06073f51f4396	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Ne	False	Passed	Model Under Test Equivalent Model
b18a930ee19b97c7b51bf41a70b180a937ad0b54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Let	True	Passed	Model Under Test Equivalent Model
d882ffdff37a8155b8764ad5cae56b4f466af942	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Let	False	Passed	Model Under Test Equivalent Model
495e0b4a9245f25a644a572af5e5e366c38e28e3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	In	True	Passed	Model Under Test Equivalent Model
ce977e841154428e5da22b6ccdba29e646970828	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	In	False	Passed	Model Under Test Equivalent Model
0d0848a8ea89a2c756f30668989541dc3b4080ab	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NotIn	True	Passed	Model Under Test Equivalent Model
249485e3801bf280a6a762cf136979fe76537baf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NotIn	False	Passed	Model Under Test Equivalent Model
6823c20cff34f279fa9d78d9cde4d4110badf0d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Exists	True	Passed	Model Under Test Equivalent Model
442e469ff6b8709b312a2f5b3218523475f39c89	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Exists	False	Passed	Model Under Test Equivalent Model
a7d6ca3d3cb24f8a2207c44d8a7cce8b4de211b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Forall	True	Passed	Model Under Test Equivalent Model
209ded0aa5d763235174c58254532c081d1a79b8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Forall	False	Passed	Model Under Test Equivalent Model
49f563ebc7af71eb22f4f1f8bf876f53ba95d574	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Choose	True	Passed	Model Under Test Equivalent Model
19f8e73d1f1529d2d663615038a9117a38b9ab65	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Choose	False	Passed	Model Under Test Equivalent Model
e2df461dd71a108297bcd87a5839dcea594f67c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	FunApp	True	Passed	Model Under Test Equivalent Model
0a18d91dd459ba7655c2c0ff9926b0463fc6a99f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	FunApp	False	Passed	Model Under Test Equivalent Model
bfd0cbec2b210f8e404ce440f13cd40d98b1293c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Prime	True	Passed	Model Under Test Equivalent Model
b64c7e11778cc7de794a9e88a8d7f3bccb832107	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Prime	False	Passed	Model Under Test Equivalent Model
9a6ce4f980d50ba93cee2e68f63bf3a02eed3e25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumGt	True	Passed	Model Under Test Equivalent Model
59c7f9b8f09dbf5e1167aa898474e12a941f73ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumGt	False	Passed	Model Under Test Equivalent Model
1454265a439b1e92e4f711e0d1f9c6b62ab4145a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumGe	True	Passed	Model Under Test Equivalent Model
a46f898e9a86ee30d32caae3ad3975473017d5b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumGe	False	Passed	Model Under Test Equivalent Model
436cbfceb0eae6a958fd19e40d19a82105ef7259	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumLt	True	Passed	Model Under Test Equivalent Model
438926dbe9c8dfdb96c9b6030e8ca130215b0fff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumLt	False	Passed	Model Under Test Equivalent Model
500412e249fb073491b4661e7c4e747374894fe1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumLe	True	Passed	Model Under Test Equivalent Model
0c3acd6e049d4e34b56d72052133704f3b5bc648	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	NumLe	False	Passed	Model Under Test Equivalent Model
96e70c62b3875110293fb72b1f8d1772c3ed95a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def0	True	Passed	Model Under Test Equivalent Model
96962626cece384c42cc1b34db8fcdd8765fcd1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def0	False	Passed	Model Under Test Equivalent Model
9abe76a1de3580954e9dfa53ea0b133ae7339710	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef0	True	Passed	Model Under Test Equivalent Model
19c305aa28dc6f27f07ac4339f730665588ff3da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef0	False	Passed	Model Under Test Equivalent Model
2b4aeb1af2df9a88cc9970eae75bb69c091b3a25	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1	True	Passed	Model Under Test Equivalent Model
2a500ff648fb1202d12c8887bbaa26385b13db23	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1	False	Passed	Model Under Test Equivalent Model
7c1af370ef80953f40fb704f880bca4c80398857	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef1	True	Passed	Model Under Test Equivalent Model
debb0e1652cf08e2216d263f278117125b20b210	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef1	False	Passed	Model Under Test Equivalent Model
cd3b5f90777bca1136c7e8678c6c85efa24cc442	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def2	True	Passed	Model Under Test Equivalent Model
60352d9c9e1eeeb7519ae66f68c8769618e39d5e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def2	False	Passed	Model Under Test Equivalent Model
4d27c73e06e3cc7115ce6690933c10104bcef60e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef2	True	Passed	Model Under Test Equivalent Model
1ad98d95827a7481c7acb74eef17411ca163f3ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef2	False	Passed	Model Under Test Equivalent Model
c845adb7121f538a21127d43c32c190207c35a32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1Recursive	True	Passed	Model Under Test Equivalent Model
9d846e4d6574c1658c71303cc79dcdd4526fe279	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Def1Recursive	False	Passed	Model Under Test Equivalent Model
02da1628599b199b1da5ee650e77e70efa67fe95	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
55dabbf1b2c73871a03d3505cefb489d7f11bfe5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	LetDef1Recursive	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
eb0f8a1f64b85292a471c018d2aeb1aa19779119	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
61cde363baea07177f9e6b64ea41d47283dd439f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
4618e17baf4b641e701fd462a753246cbadc4757	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Variable	True	Passed	Model Under Test Equivalent Model
dcc28b2321a5e8fed4882a519e03a4b7c91ef43f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Variable	False	Passed	Model Under Test Equivalent Model
899917793ac5f28782ee756938fed96819c9384e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Constant	True	Passed	Model Under Test Equivalent Model
237db80d9b12ad5cc1da6a934e80288ed1b5d5fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Constant	False	Passed	Model Under Test Equivalent Model
e1df2d99633724a68eea7047ac8f15255d6db0f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	ConstantRank1	True	Passed	Model Under Test Equivalent Model
7279df1d4670cf6e876f47381eff669c9b59ee62	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	ConstantRank1	False	Passed	Model Under Test Equivalent Model
e92f8f4420e5d7f299501c956fbcceee2de4926b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Instance	True	Passed	Model Under Test Equivalent Model
5a391e4e8050a91eebfc34922d0fb0e0a70048ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Instance	False	Passed	Model Under Test Equivalent Model
dba0dd1d59f89fb1b1fb91b69d3b660b628bf834	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceWith	True	Passed	Model Under Test Equivalent Model
6ba7b5662e033059e00404bdddaa5c5b0ac43b0b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceWith	False	Passed	Model Under Test Equivalent Model
6f349bf143bff6c3fed8192d9cddb20322a87e8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamed	True	Passed	Model Under Test Equivalent Model
4138bfbd4dec49178acbf75e5ecf006f3174e699	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamed	False	Passed	Model Under Test Equivalent Model
47b70efbfcd7e90de3a3a2e276a8f07c188d67d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
e07123cacaf894fae75b9acd82fff03643d26f6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
abe0d12392f54cfd168d72eb0e048f63c9ad36b5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
b190b7bfce0d2459f8f64258b48bafe04a6ac37b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f321b95681245eb9cdd1548c16ed98cfaa2ffbe8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
d3c1170b1ee1e4d1929e77a066e091100163dcd8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
5898ba8f85ac3da83bc90902804dd764aceb8178	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
08560df6f61a42dcabaffd18e7a92f984296aca1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
1c1e2b318d1e1f9aed2d3a4f73d5507808251b08	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
8ff386a71e0f90bea1e8e0831551ffe4c6820aa8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
909ed19a5fcf17d2ae8728c895ebde03d767d82e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Enabled	True	Passed	Model Under Test Equivalent Model
388a36c5db551425c2b6b6095c6c7ce4ec82e99e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Enabled	False	Passed	Model Under Test Equivalent Model
43f6854b195df59ad18141d773bb2a6bd4541f2d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	SubsetEq	True	Passed	Model Under Test Equivalent Model
3147824657cace1093c92e298358c52eac4b25c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	SubsetEq	False	Passed	Model Under Test Equivalent Model
dd2d1371edf01fa663af076aa5da21149d561c0d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfCond	True	Passed	Model Under Test Equivalent Model
b23a030daace2fc9c4f39a32742f7f1af12eaa4a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfCond	False	Passed	Model Under Test Equivalent Model
ea0ee5ab4ac843a65d93d2f70b34dc9b1f1f5f43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfThen	True	Passed	Model Under Test Equivalent Model
072ea1b4337411baec33a45bd8eabd06634fe9dd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfThen	False	Passed	Model Under Test Equivalent Model
d6267dfa8618773612fdda64a8433b3469f841c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfElse	True	Passed	Model Under Test Equivalent Model
2e0adde080d1365833bc0c701f4d88f0f07c0953	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	IfElse	False	Passed	Model Under Test Equivalent Model
885714cc3a6293981f6da2741416b637f4429168	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Unchanged	True	Passed	Model Under Test Equivalent Model
2cc28a16f8d107e198a7bdb81da7cd53338d6c10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Unchanged	False	Passed	Model Under Test Equivalent Model
2e8da8c78029dd20be115336c759f040f996e629	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Equivalence	True	Passed	Model Under Test Equivalent Model
bc66c81e9438c4bb8a1dcba34d259cd29e8929c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	Equivalence	False	Passed	Model Under Test Equivalent Model
867c99348b4be5163fba56173d1cbcea949717d1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	TlcEval	True	Passed	Model Under Test Equivalent Model
e943ca6ef08e080fcd959a82ab136f2384c42bb7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	TlcEval	False	Passed	Model Under Test Equivalent Model
59dbd2f175ee385c5be333d93d24dc33c632ddcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BagBagIn	True	Passed	Model Under Test Equivalent Model
835ccbf4c62dc537931539ef7326b186954a59de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BagBagIn	False	Passed	Model Under Test Equivalent Model
16855f73f1774510e0316b2d380793415397ba3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BagSubsetEqBag	True	Passed	Model Under Test Equivalent Model
bd5c6d1aa29726b2933441f5cb66f27d06228883	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	BagSubsetEqBag	False	Passed	Model Under Test Equivalent Model
14297a39a58642cf8a599d296c06ece2ff3dd4af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	FiniteSetsIsFiniteSet	True	Passed	Model Under Test Equivalent Model
24458122997fe2ac69c60fc23e1f35ebd20939a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	FiniteSetsIsFiniteSet	False	Passed	Model Under Test Equivalent Model
e6265310a7f8c88fd81e0337ddb009590a0e0139	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	SeqHead	True	Passed	Model Under Test Equivalent Model
39760cb33323c659a75b539fb9d1d2365667be2e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Enabled	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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