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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
135c0f85c5638d2a0614e6680138dce5eeb69d15	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Variable	True	Passed	Model Under Test Equivalent Model
2497591bc66253ad0ccd4c69a1945b174e40c0f3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	And	Variable	False	Passed	Model Under Test Equivalent Model
8ae11fd59ff5f84cd2d43d9ce0d4122b0c99e064	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Variable	True	Passed	Model Under Test Equivalent Model
143c5b237ab8a5753d8ec886d984f706b36861fd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	AndMultiLine	Variable	False	Passed	Model Under Test Equivalent Model
d0a0fa923e87150782dfd4c9f35eee845f981208	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Variable	True	Passed	Model Under Test Equivalent Model
3f17d3a830512233cd62f7d149a46f3368ee75a5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Imply	Variable	False	Passed	Model Under Test Equivalent Model
09106400eba22d159c2fafcd3b17ddd5079302c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Variable	True	Passed	Model Under Test Equivalent Model
daad4570ca2d19b6cdefa7b54a649b2d3775cf3d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Not	Variable	False	Passed	Model Under Test Equivalent Model
c7c0223ee329405a9e3b46173b882b88075a09a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Variable	True	Passed	Model Under Test Equivalent Model
6b6910319b5bb3980befce2e0f29f7a14257ed1b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Or	Variable	False	Passed	Model Under Test Equivalent Model
bfec835928e86643830bb3d6b155686fcf2c3184	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Variable	True	Passed	Model Under Test Equivalent Model
d4ab7b643262f2e3b0d0e3d0fe9adc8fec0d0180	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	OrMultiLine	Variable	False	Passed	Model Under Test Equivalent Model
ac8186d24d50cbc176689f257981e9ebab0bfef5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Variable	True	Passed	Model Under Test Equivalent Model
d4a7cba3d9f05050a6aafb521eba798b76fdc9ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Boxed	Variable	False	Passed	Model Under Test Equivalent Model
4936cf5c99121671740ef3d1c4d000675eb1beb4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Variable	True	Passed	Model Under Test Equivalent Model
1f49fe5893cdb8456434db45b8f2c4683d4e393a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Eq	Variable	False	Passed	Model Under Test Equivalent Model
6284fa491bde6d1a00ceeb556edd866217234a39	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Variable	True	Passed	Model Under Test Equivalent Model
2c58c5a68f63323600b09a1f4fce27cea96e0e7c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Ne	Variable	False	Passed	Model Under Test Equivalent Model
e7d89e2f1d2e1f46ec3ec65b1ab3614d38e15871	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Variable	True	Passed	Model Under Test Equivalent Model
cf6418e905efb0b9af0a85773dfe52daa8e1d6eb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Let	Variable	False	Passed	Model Under Test Equivalent Model
8d3804eac95a9e9702bee6a7d0fa5d63fe0796a4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Variable	True	Passed	Model Under Test Equivalent Model
d6c159c1843b007767c09b1dceec68ff299002c7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set0	Variable	False	Passed	Model Under Test Equivalent Model
ff313e43a1dbb371f9341062b6dcf315596fac8b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Variable	True	Passed	Model Under Test Equivalent Model
a8fc5cb803709ffefc6d3b0cfea86c63be4cd7d3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1	Variable	False	Passed	Model Under Test Equivalent Model
2134b9657f2a6adb19eaef9325a6ca0390705a49	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Variable	True	Passed	Model Under Test Equivalent Model
840e72ba9aaef6918c48e5d526f37a99f7209a6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2	Variable	False	Passed	Model Under Test Equivalent Model
79189a7a0268c0b785e1d21d1d70bff383507179	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Variable	True	Passed	Model Under Test Equivalent Model
69035e85d39c4ad6bc2e53137f70ef62191a0259	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Fun	Variable	False	Passed	Model Under Test Equivalent Model
caeecc320d05caf489dbea220a2fea70fb49ffb5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Variable	True	Passed	Model Under Test Equivalent Model
9f0a09a3b2ca908ef0ebbb67379817516f15f257	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	Variable	False	Passed	Model Under Test Equivalent Model
fce731dd692487c3e32f13ef6d03cd7dd5948287	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Variable	True	Passed	Model Under Test Equivalent Model
2c3db85ee9c7888aa8f368b0ac646c4dcef8803b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	Variable	False	Passed	Model Under Test Equivalent Model
c7ffcb85c17ab5bce397be952ef1765b50310e9d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Variable	True	Passed	Model Under Test Equivalent Model
f1ad3faea3e4e33d8f2b4dc2da4fb5ec2bcc81ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Exists	Variable	False	Passed	Model Under Test Equivalent Model
d7ea8c52522a498ba1c9e2ae0fa4fd0f5c451961	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Variable	True	Passed	Model Under Test Equivalent Model
9eba77dc3b36493e9edcf8c7261ba63da8df203e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Forall	Variable	False	Passed	Model Under Test Equivalent Model
1ffadefa6b38e4a3cd3658ab940cee30a1b29422	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Variable	True	Passed	Model Under Test Equivalent Model
4912ac14ccaad0d115f4b526f55e6ef6d472e870	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Choose	Variable	False	Passed	Model Under Test Equivalent Model
1fb248b6057784809c082932b8af31ce400cdb26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Variable	True	Passed	Model Under Test Equivalent Model
f040639de0d36c89da7cbe887c8206d623b7f915	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Record	Variable	False	Passed	Model Under Test Equivalent Model
63564ae867b66ccd185ea86ae566ae6288fa892a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Variable	True	Passed	Model Under Test Equivalent Model
aa3694bc5a8c458bb36d5cec253e212f62748ef0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Tuple	Variable	False	Passed	Model Under Test Equivalent Model
c921df26c0cffd2cb9c17f978265ef7ecf454b32	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Variable	True	Passed	Model Under Test Equivalent Model
fbd08305a0429dec95064a2352e3fb02a4a8b014	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunApp	Variable	False	Passed	Model Under Test Equivalent Model
1e4fc331c87faaf716c98afbac789c19e1b25e27	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Variable	True	Passed	Model Under Test Equivalent Model
6e7813f6e9bc2606d4777475287ce536621c7dcc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except0	Variable	False	Passed	Model Under Test Equivalent Model
1a26656e0935c7a0ddebd0d30cf7d5815c890e96	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Variable	True	Passed	Model Under Test Equivalent Model
f99226c4e70ed9c6faacac1c760d81397dfde687	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Fun	Variable	False	Passed	Model Under Test Equivalent Model
96d73f665325c004766ba0833b47b1f6d3ba9483	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Variable	True	Passed	Model Under Test Equivalent Model
7f6f7d4d47f163c24139e5dc1d03b7d55f72ba54	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1FunWithAt	Variable	False	Passed	Model Under Test Equivalent Model
4c8d45d6e170282ae5f2eea59ad42aa300f0b97a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Variable	True	Passed	Model Under Test Equivalent Model
dbec3c19bfedf61faf1802c5f09417a2bd6f7aa7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1Rec	Variable	False	Passed	Model Under Test Equivalent Model
ca977b9c59570b58a5c7e00c20e2504015d442c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Variable	True	Passed	Model Under Test Equivalent Model
cf55071041e9568be1a0d3ac4befc00e17fee6c5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except1RecWithAt	Variable	False	Passed	Model Under Test Equivalent Model
f629e3b1ef7470f8bc4e0c0f400d5ebd61ba0ff9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Variable	True	Passed	Model Under Test Equivalent Model
8f6ec0966e010579bead11b71d0cad11eee83763	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2Fun	Variable	False	Passed	Model Under Test Equivalent Model
970a9b6c9622470d0116701b49f5ea5968a83e73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Variable	True	Passed	Model Under Test Equivalent Model
59776f3a6c7db12ed04132012dddfd08a43b07f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Except2FunTuple	Variable	False	Passed	Model Under Test Equivalent Model
3cd9da1d5aa9538d4b65beb0be11d2e78f49e7e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Variable	True	Passed	Model Under Test Equivalent Model
1edb599a8f0e3a21ce82b69768b5d3b0d6935916	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Prime	Variable	False	Passed	Model Under Test Equivalent Model
f43f898e4e41ccbd66d28e9dda06a70a07404455	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Variable	True	Passed	Model Under Test Equivalent Model
15a00585d5946ab91aa3e3cd64207e74c09e0c12	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumUnaryMinus	Variable	False	Passed	Model Under Test Equivalent Model
18c8f85886dc98f1fd872a740854ddb78453fc9b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Variable	True	Passed	Model Under Test Equivalent Model
231816c9b572cdb512af9df33446a8669b3f3538	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPlus	Variable	False	Passed	Model Under Test Equivalent Model
a97eaee243fd81d802efd64edb62692d3b4a1507	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Variable	True	Passed	Model Under Test Equivalent Model
0493aa7f7a053188413d3e1bdc16cd55e4692ae1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMinus	Variable	False	Passed	Model Under Test Equivalent Model
848a743c3aeb6e42be7a4eba3b0d5c1d6d7159c9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Variable	True	Passed	Model Under Test Equivalent Model
ebed724e9bd282d0032fe95def64c9698040443e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMul	Variable	False	Passed	Model Under Test Equivalent Model
08b9e9e649bd692bf0f67b8853917aaf445d5a10	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Variable	True	Passed	Model Under Test Equivalent Model
c1dfe1aac1c3cb67c9176806fbfbea80b588b00b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumDiv	Variable	False	Passed	Model Under Test Equivalent Model
ba67f1f34ad3c055a580d6be2159718eda8144a8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Variable	True	Passed	Model Under Test Equivalent Model
e63c134d9c8022d03840d8ecca75776087f2b65a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumMod	Variable	False	Passed	Model Under Test Equivalent Model
9313d0fafac7bcaaf61c1d505fea36f9015f288b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Variable	True	Passed	Model Under Test Equivalent Model
7be002c0c008e4b3c7c27a1a9b30137c86d09d7d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumPow	Variable	False	Passed	Model Under Test Equivalent Model
5c964ea87581ce81a82be83a34d4705d5a2188b4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Variable	True	Passed	Model Under Test Equivalent Model
8bece04f8d63da1392d77be246bbd30a4ae77eb1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGt	Variable	False	Passed	Model Under Test Equivalent Model
ec694c355e4cb971e4a82ab82de4bbace7a25829	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Variable	True	Passed	Model Under Test Equivalent Model
a8b85218fa475d1ffc157b229f01c90324a1ec11	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumGe	Variable	False	Passed	Model Under Test Equivalent Model
5024b4661b707c737cc2b0c61e296c8f976f1098	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Variable	True	Passed	Model Under Test Equivalent Model
9d87640d0a5a2c2d3a8de563900954bb7cc8c2b9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLt	Variable	False	Passed	Model Under Test Equivalent Model
705cd8ddad25da3d246c1f150793ca1d97eb2829	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Variable	True	Passed	Model Under Test Equivalent Model
01f1028c41871f81668f096cd120e61bee5ef8e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumLe	Variable	False	Passed	Model Under Test Equivalent Model
8aad8a603514a3f8cff2435170a63589f87bd83d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Variable	True	Passed	Model Under Test Equivalent Model
4dc7372c972df3e8868cd3916cf34b250ecc91da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFun	Variable	False	Passed	Model Under Test Equivalent Model
0ddd6b22ea3d706d05017acd92744dda6c81f959	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Variable	True	Passed	Model Under Test Equivalent Model
46b2e15a26feb503d32b203c0d659cead8d6a499	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFun	Variable	False	Passed	Model Under Test Equivalent Model
41843ded2849ab2a644e3fd6c388a25d8af63088	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Variable	True	Passed	Model Under Test Equivalent Model
b76667e550ee1b3926d647e95b3917b426df2a71	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunRecursive	Variable	False	Passed	Model Under Test Equivalent Model
e70ef543d3a2335a8dff0dff1d44d46ef25a4b73	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Variable	True	Passed	Model Under Test Equivalent Model
4df5cec13a65be9db9144f949fc1b7ddc3771f0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunRecursive	Variable	False	Passed	Model Under Test Equivalent Model
97cc0d33cc8901207975a2ba550f4442c81099fe	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Variable	True	Passed	Model Under Test Equivalent Model
01c432e25686aed3f55162ff78ff277be44979a1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def0	Variable	False	Passed	Model Under Test Equivalent Model
bf7fd94c283c4241ca6db9ee5760b501a31a0727	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Variable	True	Passed	Model Under Test Equivalent Model
377d80a10319d44d351501aad472816335754f0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef0	Variable	False	Passed	Model Under Test Equivalent Model
265305215a4d00a7b93eb826ce5fcb75556d16f8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Variable	True	Passed	Model Under Test Equivalent Model
f18693332cd0acfffabd652ca300f2ce1d07424b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1	Variable	False	Passed	Model Under Test Equivalent Model
19f3005bb6f4b7f77c965801c32bdd8bcc3938c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Variable	True	Passed	Model Under Test Equivalent Model
7db662aa60ce7eb3295dd060454020c64d69716c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1	Variable	False	Passed	Model Under Test Equivalent Model
5ae54bf3135c28eece230d713dede6f3136018de	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Variable	True	Passed	Model Under Test Equivalent Model
264382a2dff226dd1966a8d93e925ff99b35cbd4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def2	Variable	False	Passed	Model Under Test Equivalent Model
d867e7ef0a3c39b7908ab86a88fe0efbdbfca094	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Variable	True	Passed	Model Under Test Equivalent Model
7648273363b7fde988e75de288d8d19e5393a3ac	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef2	Variable	False	Passed	Model Under Test Equivalent Model
b008bdee7590c120985d34333e198c721b875305	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Variable	True	Passed	Model Under Test Equivalent Model
2eade6f346daa2e4d153a21fcf5af6eda481439b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Def1Recursive	Variable	False	Passed	Model Under Test Equivalent Model
4b09eee942761087ddb5e9f7b3d79f258b3dd706	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Variable	True	Passed	Model Under Test Equivalent Model
97448ba34046c8f9b8948a123ab8559d40b0e645	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDef1Recursive	Variable	False	Passed	Model Under Test Equivalent Model
993e6e790561ddf2d3311cd6ff32aa7124b016f6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Variable	True	Passed	Model Under Test Equivalent Model
08c90296d4611f86ba463f50c4292144ca4bbdd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Extends	Variable	False	Passed	Model Under Test Equivalent Model
d3354632596506aa384d7308d417e68740f4589c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Variable	True	Passed	Model Under Test Equivalent Model
fa929a70a2865bdcb8574fc6afb10a8b755cef52	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExtendsInDifferentFolder	Variable	False	Passed	Model Under Test Equivalent Model
251695b999b06c94a09cbf2fdf18b5125bbe69b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Variable	True	Passed	Model Under Test Equivalent Model
156096c580efad32ccbd051c9d9cfa372f077e91	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Variable	Variable	False	Passed	Model Under Test Equivalent Model
e80016f6b3c73b02c5fd76ab955c20418988747f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Variable	True	Passed	Model Under Test Equivalent Model
05468677fa1e1f99f9720c88856a1b0bbd361dcd	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	VariableViewExclude	Variable	False	Passed	Model Under Test Equivalent Model
e832339cdd08946c45a20f5377b824e36cf3b419	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Variable	True	Passed	Model Under Test Equivalent Model
6ff9a17552172bc4de7b428f750588196fa51ad4	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Instance	Variable	False	Passed	Model Under Test Equivalent Model
d0435a642238fe5f515714b906bd26185baae5c3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Variable	True	Passed	Model Under Test Equivalent Model
e20ed9aab576010493d7ca33c9c20f99b738ab87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWith	Variable	False	Passed	Model Under Test Equivalent Model
38279b3b0abaa1eae0b44da4ebc523d613d53bff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Variable	True	Passed	Model Under Test Equivalent Model
289017ff551c9dfdde6e88681437283141d5dcaf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamed	Variable	False	Passed	Model Under Test Equivalent Model
4389c68c354776967199f5ae20e304a3fce01f72	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Variable	True	Passed	Model Under Test Equivalent Model
7f3b61c0a8c354686f7ef66dd187392dd247b775	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWith	Variable	False	Passed	Model Under Test Equivalent Model
a28d1939cb9255e18350e8db3e6b065b1ad9b911	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Variable	True	Passed	Model Under Test Equivalent Model
3eb0d0ce115fb16603f6f8a5e23c8107754481f2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceInFolder	Variable	False	Passed	Model Under Test Equivalent Model
ffb00be3d92bc197e967f6484a543ec58bb9e983	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Variable	True	Passed	Model Under Test Equivalent Model
353ae70ef9ed30ef2495d639717096d28083ff8d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceWithInFolder	Variable	False	Passed	Model Under Test Equivalent Model
b4278e811625152d563420ecfa3dea8bac9f8861	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Variable	True	Passed	Model Under Test Equivalent Model
a0678641dbae44aac15bbb9686b25c523b596edc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedInFolder	Variable	False	Passed	Model Under Test Equivalent Model
2c4a464169f18f46dee88304c06932e17a66e4df	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Variable	True	Passed	Model Under Test Equivalent Model
8e825d6ad5d9f3919b0be4247aa36ae4c78741f7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	InstanceNamedWithInFolder	Variable	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
d9f50aab40f062de083c19994baa284e163d9afc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Variable	True	Passed	Model Under Test Equivalent Model
b03ec027dbec5a952f161a8e46120313b0fddbdb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Lambda	Variable	False	Passed	Model Under Test Equivalent Model
9f2c88a5ab22686185e94b07a3741bf6bc92f192	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Variable	True	Passed	Model Under Test Equivalent Model
29a775938911c77f3674e48250e131310a3d86d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross2	Variable	False	Passed	Model Under Test Equivalent Model
23a757fbacd1604242721a8563964b25408fd8e7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Variable	True	Passed	Model Under Test Equivalent Model
3415d6d54d7f140fa3e4a6cbcc0d660e91395540	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Cross3	Variable	False	Passed	Model Under Test Equivalent Model
be19bc6d4d26c254e86b2dd41b375731bcddaf8c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Variable	True	Passed	Model Under Test Equivalent Model
ccb820a9bf6e36cc579a2650c9ec6117cbc04c9a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	Variable	False	Passed	Model Under Test Equivalent Model
75fc1bc5280083c5faeae5dedd83aa67a106d13d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Variable	True	Passed	Model Under Test Equivalent Model
6ba55b84068dfeedef2782b39e07a3c61cbe18e2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	Variable	False	Passed	Model Under Test Equivalent Model
2551f38870469ea5f90441d073a020315321cce5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Variable	True	Passed	Model Under Test Equivalent Model
2693d5c8c345032cdf9d6841a3e64847a5192c6a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetDiff	Variable	False	Passed	Model Under Test Equivalent Model
899564afdf12676f4742c4b1bafec67f72723720	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Variable	True	Passed	Model Under Test Equivalent Model
1fdb37b01421c3a3b2bf1f9649bede9db71603b7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetUnion	Variable	False	Passed	Model Under Test Equivalent Model
0f9087e6abf98de2eb0f97567079e0336ecaa40d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Variable	True	Passed	Model Under Test Equivalent Model
d1ba7c977a86bdee1a3776d1c4a89b08091ccfea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SetIntersect	Variable	False	Passed	Model Under Test Equivalent Model
d0399d370efc41524fea18911dfeb9234a9dacf6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Variable	True	Passed	Model Under Test Equivalent Model
a8e157ba9a6ae29382d87d70a6f2dfcc7171140a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SubsetEq	Variable	False	Passed	Model Under Test Equivalent Model
642de999fe4b27bd5ab90459098cc8323d40a5a6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Variable	True	Passed	Model Under Test Equivalent Model
3fe034e98cad7d86c72e5df0a284d39a6d967220	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfCond	Variable	False	Passed	Model Under Test Equivalent Model
70e067e671256f1de84a2825726ecafb10a776b0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Variable	True	Passed	Model Under Test Equivalent Model
9bf448c4fd9279da53034bb8753e20ac343d586b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfThen	Variable	False	Passed	Model Under Test Equivalent Model
a38d349bfe27d1ad2f92195651b1655972dd9ac3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Variable	True	Passed	Model Under Test Equivalent Model
e6f196387c297ac2c45ac9dfc440edd2ce67e880	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	IfElse	Variable	False	Passed	Model Under Test Equivalent Model
c018eb9aa698078a7c9252d4f10df84d8d96c7cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Variable	True	Passed	Model Under Test Equivalent Model
51587f7161e67d8709275a58bc9b77585849c908	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Subset	Variable	False	Passed	Model Under Test Equivalent Model
e061b9ad8fe771c1da4eae3e53224d4d24183266	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Variable	True	Passed	Model Under Test Equivalent Model
b2d85c68b0ececf4ca91d1d4aa85985d2380cbc7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Domain	Variable	False	Passed	Model Under Test Equivalent Model
7f18be30c12c5cd9d97900a78d3657abcf91d398	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Variable	True	Passed	Model Under Test Equivalent Model
df9c8bfea47f26f15ea1abff450883bfc09a2da7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Union	Variable	False	Passed	Model Under Test Equivalent Model
8c67ac5f4ce414a6a1203ae0b7616623f85105ad	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Variable	True	Passed	Model Under Test Equivalent Model
2f13f2371e7e0d06b7310bcb1891c7e3c8d457ec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Unchanged	Variable	False	Passed	Model Under Test Equivalent Model
03fce8b0f3d452ebe1822f4018d925eac7e746fc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Variable	True	Passed	Model Under Test Equivalent Model
add7dce19846329c438739265a0bf6964a682856	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Equivalence	Variable	False	Passed	Model Under Test Equivalent Model
029174ad7640ef88a9ae0c593b37dd16d8e514e9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Variable	True	Passed	Model Under Test Equivalent Model
8f8fcdd36ba37194de337ab0c17ace0e166a633d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqLen	Variable	False	Passed	Model Under Test Equivalent Model
b985cd0b343f1c6c4ba2110a5662c9818e1f3325	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Variable	True	Passed	Model Under Test Equivalent Model
34be535ac6a467f06de3e864b0ebf091ff0a2004	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqConcat	Variable	False	Passed	Model Under Test Equivalent Model
a683e9f3cca8e6a489867eb361ded4c3840f2381	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Variable	True	Passed	Model Under Test Equivalent Model
2afc5d68bdfc456bdad8d183c01dbe3d8fafb33b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	Variable	False	Passed	Model Under Test Equivalent Model
6d564cb54eb08947af878675e1b2dcf41973b625	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Variable	True	Passed	Model Under Test Equivalent Model
fff6e6d8c380a8167ce8bbccf03bb85399b3086d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSelectSeq	Variable	False	Passed	Model Under Test Equivalent Model
367e97780e063f4bab58e38d8053512399ae2048	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Variable	True	Passed	Model Under Test Equivalent Model
f83f697b6255dd5f04a97957360e2636194028fb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSubSeq	Variable	False	Passed	Model Under Test Equivalent Model
66c5fd8f6d4217b7d89e23017104f7770618c912	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Variable	True	Passed	Model Under Test Equivalent Model
3671a98e4460c42d34cd56e2e6289e645f924ac0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NumRange	Variable	False	Passed	Model Under Test Equivalent Model
b564f92b1e1406ffc07ed0201a0abf168025360a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Variable	True	Passed	Model Under Test Equivalent Model
32f14bdb40702b5e6a6035a62f419a581ee5047c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSingletonFun	Variable	False	Passed	Model Under Test Equivalent Model
9c595a2b4d5d7f2b7f3ade6a8200f930b2770313	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Variable	True	Passed	Model Under Test Equivalent Model
3ad7f1b4c6ef1d43f7e5f41b8993d30bb70c1fec	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcExtendFun	Variable	False	Passed	Model Under Test Equivalent Model
d5f32a79bb5c086198dbfadd0e9d5c0cbe72a111	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Variable	True	Passed	Model Under Test Equivalent Model
6583759bb077a60097b0fb0507dd9a0d14392072	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcPermuteFun	Variable	False	Passed	Model Under Test Equivalent Model
ee3cddf4094f246199baf904c02a08a2b585d5da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Variable	True	Passed	Model Under Test Equivalent Model
5ce6ad256af2533aa812c874cf44d53624ffcb4f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcSortSeq	Variable	False	Passed	Model Under Test Equivalent Model
bb059c4ab03ea4b29a0b2c263eedf4ee63c81930	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Variable	True	Passed	Model Under Test Equivalent Model
ec9e043722463fe978c012aaa4d4063662469fc0	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	TlcEval	Variable	False	Passed	Model Under Test Equivalent Model
d2a0bd386b4aa185dd1f25e2016fc6c776b1c3c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Variable	True	Passed	Model Under Test Equivalent Model
f444ae7999360609b14ef2bb132a4baca30afaa5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagToSet	Variable	False	Passed	Model Under Test Equivalent Model
cc221e7d27c4baadd9352429502e4edc0e063b1f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Variable	True	Passed	Model Under Test Equivalent Model
61acb717dfd483ec968035095e4debbcf7c85352	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSetToBag	Variable	False	Passed	Model Under Test Equivalent Model
36c16d7c9c453c244004804e139a95871ef9bcd1	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Variable	True	Passed	Model Under Test Equivalent Model
32c0a549d0dd48a471ae1d0dd5445c23488f9223	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagIn	Variable	False	Passed	Model Under Test Equivalent Model
59daebe1b46de22bdfbbf690488294dd7314b1b6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Variable	True	Passed	Model Under Test Equivalent Model
651e619b94c4f05a628854cc1b7a1e71a2090184	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagAddBag	Variable	False	Passed	Model Under Test Equivalent Model
9babfcbd96af12d6a0e0b5eaccc94a0e76b28f5a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Variable	True	Passed	Model Under Test Equivalent Model
1c55171a4e666ec2de910c2b5d3e364579e58ff8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagSub	Variable	False	Passed	Model Under Test Equivalent Model
52bcaca09a97f0bde5df197922f3346daf5f650c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Variable	True	Passed	Model Under Test Equivalent Model
d2e053d0cb1a7bdfe1a2a180ca816c5feb92f182	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagCopiesIn	Variable	False	Passed	Model Under Test Equivalent Model
40fc286620fab0712096e5066bb4920617c207da	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Variable	True	Passed	Model Under Test Equivalent Model
c068e759c6068ce268a797e23fb17fc2e580c500	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubsetEqBag	Variable	False	Passed	Model Under Test Equivalent Model
595c7cf767e26f466a0e8457dfe3aabfbaa92e41	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Variable	True	Passed	Model Under Test Equivalent Model
af6ddc7f8294b8a0c583fc967db48e7509bfb597	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagUnion	Variable	False	Passed	Model Under Test Equivalent Model
0bfd46a6d7014b50da0d7e605f34dec8a1fe0cd9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Variable	True	Passed	Model Under Test Equivalent Model
31c541181a2b3b35e5ddd1f7dfc3c2dbd558818b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagCardinality	Variable	False	Passed	Model Under Test Equivalent Model
775c2cb8821e2dba88b5f22e454f709b49a2a9b3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Variable	True	Passed	Model Under Test Equivalent Model
b148b709babb53a99fc9a2d0d2c4ad873eb1fe4b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagBagOfAll	Variable	False	Passed	Model Under Test Equivalent Model
f857991a66ff7c992f823fbe06b6756905ad250f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Variable	True	Passed	Model Under Test Equivalent Model
c687f7822448924c67a4d4679beab1152f09900a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	BagSubBag	Variable	False	Passed	Model Under Test Equivalent Model
12126762f992c0edf8a40147ae5623b2230a26af	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Variable	True	Passed	Model Under Test Equivalent Model
5d548e4aca286da5978e327dc5a4ffdfef9e0500	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	Variable	False	Passed	Model Under Test Equivalent Model
35eee7c99ad13e465086c0718103070d39a6ca43	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Variable	True	Passed	Model Under Test Equivalent Model
89687b24c883321b8a116cf0803cbca4f9be5542	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsCardinality	Variable	False	Passed	Model Under Test Equivalent Model
69dbcd6b26bf83610e3117da28ad9dffc33130aa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Variable	True	Passed	Model Under Test Equivalent Model
b4a6870b139ea8334217510f2be821a0f17c43f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqHead	Variable	False	Passed	Model Under Test Equivalent Model
efde4011e2fe45a8130d28153c1e53bf97484274	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Variable	True	Passed	Model Under Test Equivalent Model
d667485ea47e54952006fe1b69c5adaa390ffcf8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqTail	Variable	False	Passed	Model Under Test Equivalent Model
158bf8e38fc54f3bdd632677b754f09ac536cae6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Variable	True	Passed	Model Under Test Equivalent Model
1fdc82bce44441ed7a5c124eb9933dd518d400c8	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqAppend	Variable	False	Passed	Model Under Test Equivalent Model

Index

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