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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
52b7255dbf28d50a768f48edbe33ae04a26ddd6d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Tuple	True	Passed	Model Under Test Equivalent Model
0daddc21c35ac4c3fa4d9aa736b1ad9765ea5273	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Tuple	False	Passed	Model Under Test Equivalent Model
9ba013b249aaa6436a9048ca59a82ef9730166e0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Tuple	True	Passed	Model Under Test Equivalent Model
171e6fc629b4570883de17fcca66f588feb149b1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Tuple	False	Passed	Model Under Test Equivalent Model
7a72c25df30603cd6c9ffddfa1c2d89d1d27619d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Tuple	True	Passed	Model Under Test Equivalent Model
aeba51f2a3ad724e57b669ca787ff61f43566729	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Tuple	False	Passed	Model Under Test Equivalent Model
6b10447242e6630d3788374a913c9bd22110e444	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Tuple	True	Passed	Model Under Test Equivalent Model
96fc0c0e62ea8330fb6c7843f1f21fc5c1cf894d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Tuple	False	Passed	Model Under Test Equivalent Model
544f5d9d49672c8feb6cb95a73a6393203282cb2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Tuple	True	Passed	Model Under Test Equivalent Model
7f1ed01fab2067c339f37c52f04d9c0d67a4d052	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Tuple	False	Passed	Model Under Test Equivalent Model
9a6bc34a1a64aa8ecfa2c99db4830afef7d723ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Tuple	True	Passed	Model Under Test Equivalent Model
b4d0a1559f909a78c6b3d52cdd53de1fd98216ca	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Tuple	False	Passed	Model Under Test Equivalent Model
48f1169247d0ce7bc962012d6fc5d5cad6d76af9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Tuple	True	Passed	Model Under Test Equivalent Model
2293b0e42a6ef3e82404bea3d7fbe96a31710670	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Tuple	False	Passed	Model Under Test Equivalent Model
7b7f12415b61d5037570c4d930c04205e6c787be	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Tuple	True	Passed	Model Under Test Equivalent Model
677426737ddbfb8148b0e295de80d59f680300e4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Tuple	False	Passed	Model Under Test Equivalent Model
7c337896cd9f87595547a1091fd35fbbdc1f306f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Tuple	True	Passed	Model Under Test Equivalent Model
12cc991d4e79f622f1a160c29484255a8c90dbcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Tuple	False	Passed	Model Under Test Equivalent Model
afeca293477e5b5960b80ab1dcf19f0c0604349b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Tuple	True	Passed	Model Under Test Equivalent Model
9c0eb260b43b1d5104a624a2cb90a1ab19f02a4d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Tuple	False	Passed	Model Under Test Equivalent Model
d62393adc6655c95cede644605f32489cb1d1297	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Tuple	True	Passed	Model Under Test Equivalent Model
326fc18b5d6240446518f11ede17b933174e3ee3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Tuple	False	Passed	Model Under Test Equivalent Model
b507c68abf2ee68d323e86ba759d74c0f66b28f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Tuple	True	Passed	Model Under Test Equivalent Model
dbdda16a8475ee501d35e223bf06370b152c34bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Tuple	False	Passed	Model Under Test Equivalent Model
ea55d0923ef05044a178b2a7ce47017afc36f187	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Tuple	True	Passed	Model Under Test Equivalent Model
4d6d0a42499bff46a3ebe944e59675c01777375c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Tuple	False	Passed	Model Under Test Equivalent Model
04a52c8b954728dd0dee1d37b81eb57fa6c19bc8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Tuple	True	Passed	Model Under Test Equivalent Model
b32a1eb110d574fe09077c30562da0294d8d0203	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Tuple	False	Passed	Model Under Test Equivalent Model
9b240ec08d5d767c55b32a7f144971ab617d152c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Tuple	True	Passed	Model Under Test Equivalent Model
326b4edd8825952d81b630c57c723d6fd5640b63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Tuple	False	Passed	Model Under Test Equivalent Model
8e0006aca39aa3dcb7e32fd6bbc4e3e2b858269d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Tuple	True	Passed	Model Under Test Equivalent Model
cd9a54be56d55e36d18ebdf732e1b87c0a661516	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Tuple	False	Passed	Model Under Test Equivalent Model
1a5c28f0aec0bff00984752c750d126614faf4f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Tuple	True	Passed	Model Under Test Equivalent Model
dd1876cd61072acc09eb43e084e38bf82a1bc77b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Tuple	False	Passed	Model Under Test Equivalent Model
e83a5afa9636f37ffc9c30b795cedecf0e8a3a36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Tuple	True	Passed	Model Under Test Equivalent Model
b442c86552f83b78a2a69275f35b47863a3ff22e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Tuple	False	Passed	Model Under Test Equivalent Model
273027890c6d3c56f04602d04cf4c706716f95a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Tuple	True	Passed	Model Under Test Equivalent Model
de20eed24ed4127b49097c082b3cd6a1dd0af01d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Tuple	False	Passed	Model Under Test Equivalent Model
3a05c434248ca968150f5c76dd3598b25ea9f864	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Tuple	True	Passed	Model Under Test Equivalent Model
2bc54b9b5fe6be40430ee98cd75280a83fbcd288	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Tuple	False	Passed	Model Under Test Equivalent Model
74ad04621355b1d4a3e6068449a3ae32cb1ba316	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Tuple	True	Passed	Model Under Test Equivalent Model
0e1bd5a2c2ece6b91b5c6532506fbbcd6d4392ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Tuple	False	Passed	Model Under Test Equivalent Model
0867d2b3a0a6f9a840c6f8d8de25fff829e9218c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Tuple	True	Passed	Model Under Test Equivalent Model
d0733d679fa56d7401fd20f3ce58f1a3cd2bef68	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Tuple	False	Passed	Model Under Test Equivalent Model
42524649d537527224343ccc814e14d5147c9e00	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Tuple	True	Passed	Model Under Test Equivalent Model
85f064378b340aadb873acb8c952417deaf00c1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Tuple	False	Passed	Model Under Test Equivalent Model
8195a7daf609740d85cfd97fef77285b8cf77c0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Tuple	True	Passed	Model Under Test Equivalent Model
f883c77751351ed25073d1afa157841d15325035	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Tuple	False	Passed	Model Under Test Equivalent Model
8b4e239a4612eb355708bbc50bc7a504af9bc0a9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Tuple	True	Passed	Model Under Test Equivalent Model
9013302fe064b50b6faddf597704987235b65b7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Tuple	False	Passed	Model Under Test Equivalent Model
1b470eec2bc30cd74e0be775c5e40c5074d2e746	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Tuple	True	Passed	Model Under Test Equivalent Model
af9a4ec7a09932cdfcc24cceda47891a4546a7c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Tuple	False	Passed	Model Under Test Equivalent Model
c5f601b39dde5b3ba3b31a3182070b2f0413b4a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Tuple	True	Passed	Model Under Test Equivalent Model
073d519555358d1524049508c0cd1b32dec1f150	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Tuple	False	Passed	Model Under Test Equivalent Model
3e9a65b33af8c6efb653e7f99b6ccd65ea6ca71b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Tuple	True	Passed	Model Under Test Equivalent Model
dafc59e15ad1f5db1226e04b68ed156f6419083e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Tuple	False	Passed	Model Under Test Equivalent Model
96f410f6ef9ee074f786ed07b8bfb33ce4156b45	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Tuple	True	Passed	Model Under Test Equivalent Model
51d61a2b89a43844ff05ad98ecfe998b959606ce	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Tuple	False	Passed	Model Under Test Equivalent Model
e97c94833139e8b2c342bd34a75f387de5ee1f52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Tuple	True	Passed	Model Under Test Equivalent Model
bcc0939be7a8a1c6c0b6062d4429c86978c7d135	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Tuple	False	Passed	Model Under Test Equivalent Model
9d23eb2481ba75859b0ba00a059c8f736b449b8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Tuple	True	Passed	Model Under Test Equivalent Model
818691801047dd9ea1f0ea0dae5ed72df79627bb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Tuple	False	Passed	Model Under Test Equivalent Model
f1621340f944f6e864fb06a6d3513619ee760443	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Tuple	True	Passed	Model Under Test Equivalent Model
d5bed1a8b7cb063afce6b6552505523c28348882	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Tuple	False	Passed	Model Under Test Equivalent Model
073d1cd21d906d21a97bd450cf4d7a31a7fc8a93	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Tuple	True	Passed	Model Under Test Equivalent Model
c623ef09c818d7e03f54ba41a084152a6d809326	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Tuple	False	Passed	Model Under Test Equivalent Model
deb7a266574fe436e96a3dc79def5d6f101781da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Tuple	True	Passed	Model Under Test Equivalent Model
c7f8e7d0af330a05a2c89a750b608e3275c1e9c6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Tuple	False	Passed	Model Under Test Equivalent Model
81ef49264af8b7088299c3d01bab19e3e4d9a0db	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Tuple	True	Passed	Model Under Test Equivalent Model
54f18131b8cc928cd4abd4746ae3c5ec4f26df7b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Tuple	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
2bc3022aa915b672f1a5f781a354f684055e28e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Tuple	True	Passed	Model Under Test Equivalent Model
124b88320538f92ea50d7fbe4d1f3f471959eac2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ConstantRank1	Tuple	False	Passed	Model Under Test Equivalent Model
b73087522688c8b5ef7513266bfd91a3a8f64953	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Tuple	True	Passed	Model Under Test Equivalent Model
30f256ca006c2155886b0afeff1f0028d2ea19b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Tuple	False	Passed	Model Under Test Equivalent Model
2d34a83093c04c0fcffe161845be4a28dfb54284	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Tuple	True	Passed	Model Under Test Equivalent Model
8508f1a558cb54608377a1c2bd4d1ebc8a7a8421	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Tuple	False	Passed	Model Under Test Equivalent Model
b35dfc6caf46de1ffded717b6f85dc123aa30717	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Tuple	True	Passed	Model Under Test Equivalent Model
370c70d6dcc6a4f39ce29b79d0e9ccca24b27a5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Tuple	False	Passed	Model Under Test Equivalent Model
b519f0892d2a46bb2c1cff14d261ef379e3cbf05	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Tuple	True	Passed	Model Under Test Equivalent Model
c390f203ceafb6245f0ded75b708ec56fd705b35	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Tuple	False	Passed	Model Under Test Equivalent Model
e1f781690617cae846ac9d56245a1b2a47bc2488	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
299f5425a799600748dda7ddad6fc78adc6c489f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
d6d6cf07ff68f94fd5a0f6a890679c2f2f74f77c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
be0bb0158714d0c37ea6003b709fd8ce5e03d8e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
7d21b4d7f9d6bb4ebe0e19c784b21001438c750f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
6fb8a3648b42cf73d95069de1ec00f00e02b461e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
5c4573bd6142a9ec4f83d0737ef53b7e4b72602d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Tuple	True	Passed	Model Under Test Equivalent Model
0bbb62fbdc7b6aea31184dbca8e479376c002150	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Tuple	False	Passed	Model Under Test Equivalent Model
c7d67d34a3d923b8db48c57285e45b94c3685355	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Tuple	True	Passed	Model Under Test Equivalent Model
794199a1d2a4c2f7508188dc83a1c6f3e22e6b77	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Tuple	False	Passed	Model Under Test Equivalent Model
1c40f039bf75cee07187788c57e266abad257f75	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Tuple	True	Passed	Model Under Test Equivalent Model
8e570f9971acbce3cdcfbe415c516997e5311f26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Tuple	False	Passed	Model Under Test Equivalent Model
88610b9e4c3adb5bbb0e06cee9394b2391339acd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Tuple	True	Passed	Model Under Test Equivalent Model
dbb76bc56047aee9095166572abdd10d0eb759d8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Tuple	False	Passed	Model Under Test Equivalent Model
5904705d442c8b461e009494da3db2297ef4d3b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Tuple	True	Passed	Model Under Test Equivalent Model
8811eb3bdf72195779ba6fe044878ddcf2cef722	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Tuple	False	Passed	Model Under Test Equivalent Model
4939995eeb7692c58777518ddb9ded629139de8e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Tuple	True	Passed	Model Under Test Equivalent Model
987069c9361951bc3ebd4a954deb99a9708c60fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Tuple	False	Passed	Model Under Test Equivalent Model
fc8f30523ebf03230e4b1d6202625ad9f257078d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Tuple	True	Passed	Model Under Test Equivalent Model
b1d3d7a6c0217fe08df8d4cf44157e0063ab01a2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Tuple	False	Passed	Model Under Test Equivalent Model
0f0cd25956fb6b1c6abd0f4117ffd9a002ff0430	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Tuple	True	Passed	Model Under Test Equivalent Model
655131069af2cbe795148a81455319f61a1ea144	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Tuple	False	Passed	Model Under Test Equivalent Model
4903159bee49219eb59b62bf0d10dcca6f65339a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Tuple	True	Passed	Model Under Test Equivalent Model
02e9c1a3ec91b57e7da11486395836d44ae055ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Tuple	False	Passed	Model Under Test Equivalent Model
96b5ec662a55c4a3ba8ab0a8f3a54de22bb73cc2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Tuple	True	Passed	Model Under Test Equivalent Model
82caf683756a978de36d58a323c311b72c25aae4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Tuple	False	Passed	Model Under Test Equivalent Model
72cb22a0b90332552c1887b7b1c4ce9ce8ba3492	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Tuple	True	Passed	Model Under Test Equivalent Model
ab8ed6fd6c90c78479cda7490d5e363a12f922f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Tuple	False	Passed	Model Under Test Equivalent Model
c91530845b7cf6700d8bc4cbc9f7d59907ba825f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Tuple	True	Passed	Model Under Test Equivalent Model
293cfe240f4adf9189e661bf9cb9841b5e41feb9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Tuple	False	Passed	Model Under Test Equivalent Model
c55e01cd18f2e4add7988ad2b10637c97fe5cada	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Tuple	True	Passed	Model Under Test Equivalent Model
33e058d1d982e299ac0f6c46fbb821fd2be3272b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Tuple	False	Passed	Model Under Test Equivalent Model
66e0fbd47f3374da075809e00135258ba00c4a4e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Tuple	True	Passed	Model Under Test Equivalent Model
30ae537cf6288be23b073347efd71569b284b83d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Tuple	False	Passed	Model Under Test Equivalent Model
ce864a37a703e9374274d4fbb2b9ea7de141d230	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Tuple	True	Passed	Model Under Test Equivalent Model
3d544ab13a08ee5c1da2dc645fe906059747c9e8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Tuple	False	Passed	Model Under Test Equivalent Model
5f5f1ca5b7acc5807d7dc34de5d8a9f6259b009d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Tuple	True	Passed	Model Under Test Equivalent Model
915f48c98d20833104a0b74e5bc59f675833b585	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Tuple	False	Passed	Model Under Test Equivalent Model
6f9eb5f73ce7374448147927f0802dcacc3f5bda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Tuple	True	Passed	Model Under Test Equivalent Model
72d3aad1cb680419fe92c8beaecc183507611279	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Tuple	False	Passed	Model Under Test Equivalent Model

Index

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